×

zbMATH — the first resource for mathematics

Dix, Jurgen

Compute Distance To:
Author ID: dix.jurgen Recent zbMATH articles by "Dix, Jurgen"
Published as: Dix, J.; Dix, Jurgen; Dix, Jürgen
External Links: MGP
Documents Indexed: 66 Publications since 1989, including 15 Books

Publications by Year

Citations contained in zbMATH

44 Publications have been cited 206 times in 133 Documents Cited by Year
Characterizations of the disjunctive stable semantics by partial evaluation. Zbl 0883.68082
Brass, Stefan; Dix, Jürgen
18
1997
Semantics of (disjunctive) logic programs based on partial evaluation. Zbl 0946.68088
Brass, Stefan; Dix, Jürgen
14
1999
Multi-agent programming. Languages, platforms and applications. Zbl 1101.68456
Bordini, Rafael H. (ed.); Dastani, Mehdi (ed.); Dix, Jürgen (ed.); El Fallah Seghrouchni, Amal (ed.)
13
2005
A classification theory of semantics of normal logic programs. II: Weak properties. Zbl 0829.68022
Dix, Jürgen
12
1995
Characterizations of the disjunctive well-founded semantics: Confluent calculi and iterated GCWA. Zbl 0893.68026
Brass, Stefan; Dix, Jürgen
11
1998
Nonmonotonic reasoning. An overview. Zbl 0876.68102
Brewka, Gerhard; Dix, Jürgen; Konolige, Kurt
11
1997
Transformation-based bottom-up computation of the well-founded model. Zbl 1105.68322
Brass, Stefan; Dix, Jürgen; Freitag, Burkhard; Zukowski, Ulrich
10
2001
Semantics of logic programs: Their intuitions and formal properties. An overview. Zbl 0917.68044
Dix, Jürgen
10
1996
Model checking logics of strategic ability: complexity. Zbl 1201.68070
Bulling, N.; Dix, J.; Jamroga, W.
8
2010
Model checking abilities of agents: a closer look. Zbl 1136.68036
Jamroga, Wojciech; Dix, Jürgen
8
2008
Nonmonotonic reasoning: Towards efficient calculi and implementations. Zbl 0991.03036
Dix, Jürgen; Furbach, Ulrich; Niemelä, Ilkka
8
2001
A classification theory of semantics of normal logic programs. I: Strong properties. Zbl 0829.68021
Dix, Jürgen
8
1995
Relating defeasible and normal logic programming through transformation properties. Zbl 1051.68043
Chesñevar, Carlos Iván; Dix, Jürgen; Stolzenburg, Frieder; Simari, G. R. Guillermo Ricardo
7
2003
Reasoning about temporal properties of rational play. Zbl 1187.03016
Bulling, Nils; Jamroga, Wojciech; Dix, Jürgen
6
2008
A general theory of confluent rewriting systems for logic programming and its applications. Zbl 0980.68069
Dix, Jürgen; Osorio, Mauricio; Zepeda, Claudia
6
2001
The relationship between KLM and MAK models for nonmonotonic inference operations. Zbl 0796.03033
Dix, Jürgen; Makinson, David
5
1992
On the equivalence of the static and disjunctive well-founded semantics and its computation. Zbl 0973.68132
Brass, S.; Dix, J.; Niemelä, I.; Przymusinski, T. C.
4
2001
IMPACTing SHOP: Putting an AI planner into a multi-agent environment. Zbl 1010.68171
Dix, Jürgen; Muñoz-Avila, Héctor; Nau, Dana S.; Zhang, Lingling
3
2003
Temporal agent programs. Zbl 0976.68121
Dix, J.; Kraus, S.; Subrahmanian, V. S.
3
2001
A framework to incorporate non-monotonic reasoning into constraint logic programming. Zbl 0936.68018
Dix, Jürgen; Stolzenburg, Frieder
3
1998
Reducing disjunctive to non-disjunctive semantics by shift-operations. Zbl 0863.68088
Dix, Jürgen; Gottlob, Georg; Marek, Wiktor
3
1996
A tutorial on nonmonotonic reasoning. Zbl 0819.68106
Brewka, G.; Dix, J.; Konolige, K.
3
1993
Multi-agent programming. Languages, tools and applications. Zbl 1169.68001
Bordini, Rafael H. (ed.); Dastani, Mehdi (ed.); Dix, Jürgen (ed.); El Fallah Seghrouchni, Amal (ed.)
2
2009
The second contest on multi-agent systems based on computational logic. Zbl 1177.68222
Dastani, Mehdi; Dix, Jürgen; Novák, Peter
2
2007
Heterogeneous temporal probabilistic agents. Zbl 1367.68316
Dix, Jürgen; Kraus, Sarit; Subrahmanian, V. S.
2
2006
The first contest on multi-agent systems based on computational logic. Zbl 1176.68217
Dastani, Mehdi; Dix, Jürgen; Novak, Peter
2
2006
The relationship between reasoning about privacy and default logics. Zbl 1143.68598
Dix, Jürgen; Faber, Wolfgang; Subrahmanian, V. S.
2
2005
Probabilistic agent programs. Zbl 1365.68419
Dix, Jürgen; Nanni, Mirco; Subrahmanian, V. S.
2
2000
Meta-agent programs. Zbl 0971.68155
Dix, Jürgen; Subrahmanian, V. S.; Pick, George
2
2000
Computation of the semantics of autoepistemic belief theories. Zbl 0996.68194
Brass, Stefan; Dix, Jürgen; Przymusinski, Teodor C.
2
1999
Logic programming and nonmonotonic reasoning. Proceedings of the 4th international conference, LPNMR ’97, held in Dagstuhl, Germany, July 28–31, 1997. Zbl 0936.00041
Dix, Jürgen (ed.); Furbach, Ulrich (ed.); Nerode, Anil (ed.)
2
1997
Nichtmonotones Schließen und dessen Anwendung auf Semantiken logischer Programme. Zbl 0785.03010
Dix, Jürgen
2
1992
Belief change and argumentation in multi-agent scenarios. Zbl 1360.03011
Dix, Jürgen (ed.); Hansson, Sven Ove (ed.); Kern-Isberner, Gabriele (ed.); Simari, Guillermo R. (ed.)
1
2016
Computational logic in multi-agent systems. 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16–17, 2010. Proceedings. Zbl 1194.68025
Dix, Jürgen (ed.); Leite, João (ed.); Governatori, Guido (ed.); Jamroga, Wojtek (ed.)
1
2010
Model checking multi-agent systems with logic based Petri nets. Zbl 1137.68054
Behrens, Tristan M.; Dix, Jürgen
1
2007
Planning in answer set programming using ordered task decomposition. Zbl 1219.68142
Dix, Jürgen; Kuter, Ugur; Nau, Dana
1
2005
Model checking strategic abilities of agents under incomplete information. Zbl 1136.68425
Jamroga, Wojciech; Dix, Jürgen
1
2005
Monitoring agents using declarative planning. Zbl 1274.68578
Dix, Jürgen; Eiter, Thomas; Fink, Michael; Polleres, Axel; Zhang, Yingqian
1
2003
Planning in answer set programming using ordered task decomposition. Zbl 1274.68420
Dix, Jürgen; Kuter, Ugur; Nau, Dana
1
2003
Monitoring agents using declarative planning. Zbl 1110.68512
Dix, Jürgen; Eiter, Thomas; Fink, Michael; Polleres, Axel; Zhang, Yingqian
1
2003
CLIMA’2002. Computational logic in multi-agent systems (FLoC satellite event), Copenhagen, Denmark, August 1, 2002. Zbl 1270.68023
Dix, Jurgen (ed.); Leite, Joao Alexandre (ed.); Satoh, Ken (ed.)
1
2002
A computational logic approach to heterogeneous agent systems. Zbl 1007.68584
Dix, Jürgen
1
2001
Cumulativity and rationality in semantics of normal logic programs. Zbl 0792.68018
Dix, Jürgen
1
1991
Nonmonotonic and inductive logic. 1st international workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings. Zbl 0768.00011
Dix, Jürgen (ed.); Jantke, Klaus P. (ed.); Schmitt, Peter H. (ed.)
1
1991
Belief change and argumentation in multi-agent scenarios. Zbl 1360.03011
Dix, Jürgen (ed.); Hansson, Sven Ove (ed.); Kern-Isberner, Gabriele (ed.); Simari, Guillermo R. (ed.)
1
2016
Model checking logics of strategic ability: complexity. Zbl 1201.68070
Bulling, N.; Dix, J.; Jamroga, W.
8
2010
Computational logic in multi-agent systems. 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16–17, 2010. Proceedings. Zbl 1194.68025
Dix, Jürgen (ed.); Leite, João (ed.); Governatori, Guido (ed.); Jamroga, Wojtek (ed.)
1
2010
Multi-agent programming. Languages, tools and applications. Zbl 1169.68001
Bordini, Rafael H. (ed.); Dastani, Mehdi (ed.); Dix, Jürgen (ed.); El Fallah Seghrouchni, Amal (ed.)
2
2009
Model checking abilities of agents: a closer look. Zbl 1136.68036
Jamroga, Wojciech; Dix, Jürgen
8
2008
Reasoning about temporal properties of rational play. Zbl 1187.03016
Bulling, Nils; Jamroga, Wojciech; Dix, Jürgen
6
2008
The second contest on multi-agent systems based on computational logic. Zbl 1177.68222
Dastani, Mehdi; Dix, Jürgen; Novák, Peter
2
2007
Model checking multi-agent systems with logic based Petri nets. Zbl 1137.68054
Behrens, Tristan M.; Dix, Jürgen
1
2007
Heterogeneous temporal probabilistic agents. Zbl 1367.68316
Dix, Jürgen; Kraus, Sarit; Subrahmanian, V. S.
2
2006
The first contest on multi-agent systems based on computational logic. Zbl 1176.68217
Dastani, Mehdi; Dix, Jürgen; Novak, Peter
2
2006
Multi-agent programming. Languages, platforms and applications. Zbl 1101.68456
Bordini, Rafael H. (ed.); Dastani, Mehdi (ed.); Dix, Jürgen (ed.); El Fallah Seghrouchni, Amal (ed.)
13
2005
The relationship between reasoning about privacy and default logics. Zbl 1143.68598
Dix, Jürgen; Faber, Wolfgang; Subrahmanian, V. S.
2
2005
Planning in answer set programming using ordered task decomposition. Zbl 1219.68142
Dix, Jürgen; Kuter, Ugur; Nau, Dana
1
2005
Model checking strategic abilities of agents under incomplete information. Zbl 1136.68425
Jamroga, Wojciech; Dix, Jürgen
1
2005
Relating defeasible and normal logic programming through transformation properties. Zbl 1051.68043
Chesñevar, Carlos Iván; Dix, Jürgen; Stolzenburg, Frieder; Simari, G. R. Guillermo Ricardo
7
2003
IMPACTing SHOP: Putting an AI planner into a multi-agent environment. Zbl 1010.68171
Dix, Jürgen; Muñoz-Avila, Héctor; Nau, Dana S.; Zhang, Lingling
3
2003
Monitoring agents using declarative planning. Zbl 1274.68578
Dix, Jürgen; Eiter, Thomas; Fink, Michael; Polleres, Axel; Zhang, Yingqian
1
2003
Planning in answer set programming using ordered task decomposition. Zbl 1274.68420
Dix, Jürgen; Kuter, Ugur; Nau, Dana
1
2003
Monitoring agents using declarative planning. Zbl 1110.68512
Dix, Jürgen; Eiter, Thomas; Fink, Michael; Polleres, Axel; Zhang, Yingqian
1
2003
CLIMA’2002. Computational logic in multi-agent systems (FLoC satellite event), Copenhagen, Denmark, August 1, 2002. Zbl 1270.68023
Dix, Jurgen (ed.); Leite, Joao Alexandre (ed.); Satoh, Ken (ed.)
1
2002
Transformation-based bottom-up computation of the well-founded model. Zbl 1105.68322
Brass, Stefan; Dix, Jürgen; Freitag, Burkhard; Zukowski, Ulrich
10
2001
Nonmonotonic reasoning: Towards efficient calculi and implementations. Zbl 0991.03036
Dix, Jürgen; Furbach, Ulrich; Niemelä, Ilkka
8
2001
A general theory of confluent rewriting systems for logic programming and its applications. Zbl 0980.68069
Dix, Jürgen; Osorio, Mauricio; Zepeda, Claudia
6
2001
On the equivalence of the static and disjunctive well-founded semantics and its computation. Zbl 0973.68132
Brass, S.; Dix, J.; Niemelä, I.; Przymusinski, T. C.
4
2001
Temporal agent programs. Zbl 0976.68121
Dix, J.; Kraus, S.; Subrahmanian, V. S.
3
2001
A computational logic approach to heterogeneous agent systems. Zbl 1007.68584
Dix, Jürgen
1
2001
Probabilistic agent programs. Zbl 1365.68419
Dix, Jürgen; Nanni, Mirco; Subrahmanian, V. S.
2
2000
Meta-agent programs. Zbl 0971.68155
Dix, Jürgen; Subrahmanian, V. S.; Pick, George
2
2000
Semantics of (disjunctive) logic programs based on partial evaluation. Zbl 0946.68088
Brass, Stefan; Dix, Jürgen
14
1999
Computation of the semantics of autoepistemic belief theories. Zbl 0996.68194
Brass, Stefan; Dix, Jürgen; Przymusinski, Teodor C.
2
1999
Characterizations of the disjunctive well-founded semantics: Confluent calculi and iterated GCWA. Zbl 0893.68026
Brass, Stefan; Dix, Jürgen
11
1998
A framework to incorporate non-monotonic reasoning into constraint logic programming. Zbl 0936.68018
Dix, Jürgen; Stolzenburg, Frieder
3
1998
Characterizations of the disjunctive stable semantics by partial evaluation. Zbl 0883.68082
Brass, Stefan; Dix, Jürgen
18
1997
Nonmonotonic reasoning. An overview. Zbl 0876.68102
Brewka, Gerhard; Dix, Jürgen; Konolige, Kurt
11
1997
Logic programming and nonmonotonic reasoning. Proceedings of the 4th international conference, LPNMR ’97, held in Dagstuhl, Germany, July 28–31, 1997. Zbl 0936.00041
Dix, Jürgen (ed.); Furbach, Ulrich (ed.); Nerode, Anil (ed.)
2
1997
Semantics of logic programs: Their intuitions and formal properties. An overview. Zbl 0917.68044
Dix, Jürgen
10
1996
Reducing disjunctive to non-disjunctive semantics by shift-operations. Zbl 0863.68088
Dix, Jürgen; Gottlob, Georg; Marek, Wiktor
3
1996
A classification theory of semantics of normal logic programs. II: Weak properties. Zbl 0829.68022
Dix, Jürgen
12
1995
A classification theory of semantics of normal logic programs. I: Strong properties. Zbl 0829.68021
Dix, Jürgen
8
1995
A tutorial on nonmonotonic reasoning. Zbl 0819.68106
Brewka, G.; Dix, J.; Konolige, K.
3
1993
The relationship between KLM and MAK models for nonmonotonic inference operations. Zbl 0796.03033
Dix, Jürgen; Makinson, David
5
1992
Nichtmonotones Schließen und dessen Anwendung auf Semantiken logischer Programme. Zbl 0785.03010
Dix, Jürgen
2
1992
Cumulativity and rationality in semantics of normal logic programs. Zbl 0792.68018
Dix, Jürgen
1
1991
Nonmonotonic and inductive logic. 1st international workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings. Zbl 0768.00011
Dix, Jürgen (ed.); Jantke, Klaus P. (ed.); Schmitt, Peter H. (ed.)
1
1991
all top 5

Cited by 227 Authors

12 Dix, Jurgen
8 Jamroga, Wojciech
6 Eiter, Thomas
6 Osorio, Mauricio A.
5 Truszczyński, Mirosław
4 Chesñevar, Carlos Iván
4 Dastani, Mehdi M.
4 Leite, João
4 Leone, Nicola
4 Simari, Guillermo Ricardo
3 Arrazola Ramírez, José Ramón Enrique
3 Bulling, Nils
3 Costantini, Stefania
3 Dima, Cătălin
3 Faber, Wolfgang
3 Formisano, Andrea
3 Hindriks, Koen V.
3 Murano, Aniello
3 Nieves, Juan Carlos
3 Przymusinski, Teodor C.
3 Stolzenburg, Frieder
3 Subrahmanian, V. S.
3 Wang, Kewen
3 Woltran, Stefan
2 Antoniou, Grigoris
2 Behrens, Tristan M.
2 Beyersdorff, Olaf
2 Bonatti, Piero Andrea
2 Brass, Stefan
2 Brogi, Antonio
2 Cabalar, Pedro
2 Cuenca Grau, Bernardo
2 Dovier, Agostino
2 Fichte, Johannes Klaus
2 Fisher, Michael W.
2 Gelfond, Michael
2 Godo, Lluís
2 Gonçalves, Ricardo
2 Guelev, Dimitar P.
2 Janhunen, Tomi
2 Knapik, Michal Jozef
2 Knorr, Matthias
2 Leitgeb, Hannes
2 Makinson, David Clement
2 Mello, Paola
2 Meyer, John-Jules Charles
2 Mogavero, Fabio
2 Niemelä, Ilkka N. F.
2 Odintsov, Sergei P.
2 Palopoli, Luigi
2 Pearce, David G.
2 Pontelli, Enrico
2 Sardina, Sebastian
2 Slota, Martin
2 Szeider, Stefan
2 Tinnemeier, Nick
2 You, Jia-Huai
1 Acosta-Guadarrama, Juan
1 Alcântara, João
1 Alechina, Natasha
1 Alferes, José Júlio
1 Alsinet, Teresa
1 Amandi, Analía
1 Angiulli, Fabrizio
1 Balai, Evgenii
1 Baselice, Sabrina
1 Belardinelli, Francesco
1 Ben-Eliyahu-Zohary, Rachel
1 Benedikt, Michael A.
1 Benferhat, Salem
1 Berthold, Matti
1 Bevrani, Hassan
1 Bistarelli, Stefano
1 Bochman, Alexander
1 Bonevac, Daniel
1 Bryl, Volha
1 Campo, Marcelo R.
1 Cao, Rui
1 Carballido, José Luis
1 Cartwright, Robert
1 Catalano, Gelsomina
1 Čermák, Petr
1 Chen, Xiaoping
1 Condurache, Rodica
1 Confalonieri, Roberto
1 Constantini, Stefania
1 Cortés, Ulises
1 Daneshfar, Fatemeh
1 D’Antona, Ottavio M.
1 De Cock, Martine
1 De Giacomo, Giuseppe
1 de Silva, Lavindra
1 Dennis, Louise Abigail
1 Díaz, Arelis
1 Dubois, Didier
1 Elkhatib, Omar
1 Enea, Constantin
1 Etalle, Sandro
1 Ferrari, Mauro
1 Fiorentini, Camillo
...and 127 more Authors

Citations by Year