Edit Profile Dix, Jurgen Compute Distance To: Compute Author ID: dix.jurgen Published as: Dix, J.; Dix, Jurgen; Dix, Jürgen External Links: MGP Documents Indexed: 66 Publications since 1989, including 15 Books all top 5 Co-Authors 7 single-authored 7 Brass, Stefan 7 Subrahmanian, V. S. 5 Dastani, Mehdi M. 4 Furbach, Ulrich 4 Jamroga, Wojciech 4 Novak, Peter 4 Przymusinski, Teodor C. 3 Behrens, Tristan M. 3 Leite, João 3 Nau, Dana 2 Bordini, Rafael H. 2 Brewka, Gerhard 2 Bulling, Nils 2 Eiter, Thomas 2 El Fallah Seghrouchni, Amal 2 Faber, Wolfgang 2 Fariñas del Cerro, Luis 2 Fink, Michael 2 Fisher, Michael E. 2 Konolige, Kurt 2 Kraus, Sarit 2 Kuter, Ugur 2 Muñoz-Avila, Héctor 2 Polleres, Axel 2 Schlechta, Karl 2 Simari, Guillermo Ricardo 2 Stolzenburg, Frieder 2 Zhang, Lingling 2 Zhang, Yingqian 1 Chesñevar, Carlos Iván 1 Diochnos, Dimitrios I. 1 Freitag, Burkhard 1 Gottlob, Georg 1 Governatori, Guido 1 Hansson, Sven Ove 1 Hegner, Stephen J. 1 Hindriks, Koen V. 1 Hübner, Jomi Fred 1 Jamroga, Wojtek 1 Jantke, Klaus-Peter 1 Kern-Isberner, Gabriele 1 Köster, Michael 1 Kummer, Martin 1 Leite, João Alexandre 1 Lobo, Jorge 1 Makinson, David Clement 1 Marek, V. Wiktor 1 Moniz Pereira, Luís 1 Nanni, Mirco 1 Nau, Dana S. 1 Nerode, Anil 1 Niemelä, Ilkka N. F. 1 Osorio, Mauricio A. 1 Özcan, Fatma 1 Pereira, Louis Moniz 1 Pick, George 1 Satoh, Ken 1 Schmitt, Peter H. 1 Simari, G. R. Guillermo Ricardo 1 Zepeda, Claudia 1 Zukowski, Ulrich all top 5 Serials 12 Annals of Mathematics and Artificial Intelligence 9 Lecture Notes in Computer Science 4 The Journal of Logic Programming 3 Annales Societatis Mathematicae Polonae. Series IV 3 ACM Transactions on Computational Logic 2 Artificial Intelligence 2 Theoretical Computer Science 1 Annals of Pure and Applied Logic 1 Journal of Automated Reasoning 1 Journal of Logic and Computation 1 Journal of Logic, Language and Information 1 Theory of Computing Systems 1 Fundamenta Informaticae 1 Theory and Practice of Logic Programming 1 Seminarbericht, Humboldt-Universität zu Berlin, Sektion Mathematik 1 CSLI Lecture Notes 1 Electronic Notes in Theoretical Computer Science all top 5 Fields 63 Computer science (68-XX) 16 General and overarching topics; collections (00-XX) 15 Mathematical logic and foundations (03-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications 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.68082Brass, Stefan; Dix, Jürgen 18 1997 Semantics of (disjunctive) logic programs based on partial evaluation. Zbl 0946.68088Brass, Stefan; Dix, Jürgen 14 1999 Multi-agent programming. Languages, platforms and applications. Zbl 1101.68456Bordini, 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.68022Dix, Jürgen 12 1995 Characterizations of the disjunctive well-founded semantics: Confluent calculi and iterated GCWA. Zbl 0893.68026Brass, Stefan; Dix, Jürgen 11 1998 Nonmonotonic reasoning. An overview. Zbl 0876.68102Brewka, Gerhard; Dix, Jürgen; Konolige, Kurt 11 1997 Transformation-based bottom-up computation of the well-founded model. Zbl 1105.68322Brass, Stefan; Dix, Jürgen; Freitag, Burkhard; Zukowski, Ulrich 10 2001 Semantics of logic programs: Their intuitions and formal properties. An overview. Zbl 0917.68044Dix, Jürgen 10 1996 Model checking logics of strategic ability: complexity. Zbl 1201.68070Bulling, N.; Dix, J.; Jamroga, W. 8 2010 Model checking abilities of agents: a closer look. Zbl 1136.68036Jamroga, Wojciech; Dix, Jürgen 8 2008 Nonmonotonic reasoning: Towards efficient calculi and implementations. Zbl 0991.03036Dix, Jürgen; Furbach, Ulrich; Niemelä, Ilkka 8 2001 A classification theory of semantics of normal logic programs. I: Strong properties. Zbl 0829.68021Dix, Jürgen 8 1995 Relating defeasible and normal logic programming through transformation properties. Zbl 1051.68043Chesñ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.03016Bulling, Nils; Jamroga, Wojciech; Dix, Jürgen 6 2008 A general theory of confluent rewriting systems for logic programming and its applications. Zbl 0980.68069Dix, Jürgen; Osorio, Mauricio; Zepeda, Claudia 6 2001 The relationship between KLM and MAK models for nonmonotonic inference operations. Zbl 0796.03033Dix, Jürgen; Makinson, David 5 1992 On the equivalence of the static and disjunctive well-founded semantics and its computation. Zbl 0973.68132Brass, S.; Dix, J.; Niemelä, I.; Przymusinski, T. C. 4 2001 IMPACTing SHOP: Putting an AI planner into a multi-agent environment. Zbl 1010.68171Dix, Jürgen; Muñoz-Avila, Héctor; Nau, Dana S.; Zhang, Lingling 3 2003 Temporal agent programs. Zbl 0976.68121Dix, J.; Kraus, S.; Subrahmanian, V. S. 3 2001 A framework to incorporate non-monotonic reasoning into constraint logic programming. Zbl 0936.68018Dix, Jürgen; Stolzenburg, Frieder 3 1998 Reducing disjunctive to non-disjunctive semantics by shift-operations. Zbl 0863.68088Dix, Jürgen; Gottlob, Georg; Marek, Wiktor 3 1996 A tutorial on nonmonotonic reasoning. Zbl 0819.68106Brewka, G.; Dix, J.; Konolige, K. 3 1993 Multi-agent programming. Languages, tools and applications. Zbl 1169.68001Bordini, 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.68222Dastani, Mehdi; Dix, Jürgen; Novák, Peter 2 2007 Heterogeneous temporal probabilistic agents. Zbl 1367.68316Dix, Jürgen; Kraus, Sarit; Subrahmanian, V. S. 2 2006 The first contest on multi-agent systems based on computational logic. Zbl 1176.68217Dastani, Mehdi; Dix, Jürgen; Novak, Peter 2 2006 The relationship between reasoning about privacy and default logics. Zbl 1143.68598Dix, Jürgen; Faber, Wolfgang; Subrahmanian, V. S. 2 2005 Probabilistic agent programs. Zbl 1365.68419Dix, Jürgen; Nanni, Mirco; Subrahmanian, V. S. 2 2000 Meta-agent programs. Zbl 0971.68155Dix, Jürgen; Subrahmanian, V. S.; Pick, George 2 2000 Computation of the semantics of autoepistemic belief theories. Zbl 0996.68194Brass, 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.00041Dix, Jürgen (ed.); Furbach, Ulrich (ed.); Nerode, Anil (ed.) 2 1997 Nichtmonotones Schließen und dessen Anwendung auf Semantiken logischer Programme. Zbl 0785.03010Dix, Jürgen 2 1992 Belief change and argumentation in multi-agent scenarios. Zbl 1360.03011Dix, 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.68025Dix, 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.68054Behrens, Tristan M.; Dix, Jürgen 1 2007 Planning in answer set programming using ordered task decomposition. Zbl 1219.68142Dix, Jürgen; Kuter, Ugur; Nau, Dana 1 2005 Model checking strategic abilities of agents under incomplete information. Zbl 1136.68425Jamroga, Wojciech; Dix, Jürgen 1 2005 Monitoring agents using declarative planning. Zbl 1274.68578Dix, Jürgen; Eiter, Thomas; Fink, Michael; Polleres, Axel; Zhang, Yingqian 1 2003 Planning in answer set programming using ordered task decomposition. Zbl 1274.68420Dix, Jürgen; Kuter, Ugur; Nau, Dana 1 2003 Monitoring agents using declarative planning. Zbl 1110.68512Dix, 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.68023Dix, Jurgen (ed.); Leite, Joao Alexandre (ed.); Satoh, Ken (ed.) 1 2002 A computational logic approach to heterogeneous agent systems. Zbl 1007.68584Dix, Jürgen 1 2001 Cumulativity and rationality in semantics of normal logic programs. Zbl 0792.68018Dix, Jürgen 1 1991 Nonmonotonic and inductive logic. 1st international workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings. Zbl 0768.00011Dix, Jürgen (ed.); Jantke, Klaus P. (ed.); Schmitt, Peter H. (ed.) 1 1991 Belief change and argumentation in multi-agent scenarios. Zbl 1360.03011Dix, 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.68070Bulling, 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.68025Dix, Jürgen (ed.); Leite, João (ed.); Governatori, Guido (ed.); Jamroga, Wojtek (ed.) 1 2010 Multi-agent programming. Languages, tools and applications. Zbl 1169.68001Bordini, 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.68036Jamroga, Wojciech; Dix, Jürgen 8 2008 Reasoning about temporal properties of rational play. Zbl 1187.03016Bulling, Nils; Jamroga, Wojciech; Dix, Jürgen 6 2008 The second contest on multi-agent systems based on computational logic. Zbl 1177.68222Dastani, Mehdi; Dix, Jürgen; Novák, Peter 2 2007 Model checking multi-agent systems with logic based Petri nets. Zbl 1137.68054Behrens, Tristan M.; Dix, Jürgen 1 2007 Heterogeneous temporal probabilistic agents. Zbl 1367.68316Dix, Jürgen; Kraus, Sarit; Subrahmanian, V. S. 2 2006 The first contest on multi-agent systems based on computational logic. Zbl 1176.68217Dastani, Mehdi; Dix, Jürgen; Novak, Peter 2 2006 Multi-agent programming. Languages, platforms and applications. Zbl 1101.68456Bordini, 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.68598Dix, Jürgen; Faber, Wolfgang; Subrahmanian, V. S. 2 2005 Planning in answer set programming using ordered task decomposition. Zbl 1219.68142Dix, Jürgen; Kuter, Ugur; Nau, Dana 1 2005 Model checking strategic abilities of agents under incomplete information. Zbl 1136.68425Jamroga, Wojciech; Dix, Jürgen 1 2005 Relating defeasible and normal logic programming through transformation properties. Zbl 1051.68043Chesñ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.68171Dix, Jürgen; Muñoz-Avila, Héctor; Nau, Dana S.; Zhang, Lingling 3 2003 Monitoring agents using declarative planning. Zbl 1274.68578Dix, Jürgen; Eiter, Thomas; Fink, Michael; Polleres, Axel; Zhang, Yingqian 1 2003 Planning in answer set programming using ordered task decomposition. Zbl 1274.68420Dix, Jürgen; Kuter, Ugur; Nau, Dana 1 2003 Monitoring agents using declarative planning. Zbl 1110.68512Dix, 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.68023Dix, Jurgen (ed.); Leite, Joao Alexandre (ed.); Satoh, Ken (ed.) 1 2002 Transformation-based bottom-up computation of the well-founded model. Zbl 1105.68322Brass, Stefan; Dix, Jürgen; Freitag, Burkhard; Zukowski, Ulrich 10 2001 Nonmonotonic reasoning: Towards efficient calculi and implementations. Zbl 0991.03036Dix, Jürgen; Furbach, Ulrich; Niemelä, Ilkka 8 2001 A general theory of confluent rewriting systems for logic programming and its applications. Zbl 0980.68069Dix, Jürgen; Osorio, Mauricio; Zepeda, Claudia 6 2001 On the equivalence of the static and disjunctive well-founded semantics and its computation. Zbl 0973.68132Brass, S.; Dix, J.; Niemelä, I.; Przymusinski, T. C. 4 2001 Temporal agent programs. Zbl 0976.68121Dix, J.; Kraus, S.; Subrahmanian, V. S. 3 2001 A computational logic approach to heterogeneous agent systems. Zbl 1007.68584Dix, Jürgen 1 2001 Probabilistic agent programs. Zbl 1365.68419Dix, Jürgen; Nanni, Mirco; Subrahmanian, V. S. 2 2000 Meta-agent programs. Zbl 0971.68155Dix, Jürgen; Subrahmanian, V. S.; Pick, George 2 2000 Semantics of (disjunctive) logic programs based on partial evaluation. Zbl 0946.68088Brass, Stefan; Dix, Jürgen 14 1999 Computation of the semantics of autoepistemic belief theories. Zbl 0996.68194Brass, Stefan; Dix, Jürgen; Przymusinski, Teodor C. 2 1999 Characterizations of the disjunctive well-founded semantics: Confluent calculi and iterated GCWA. Zbl 0893.68026Brass, Stefan; Dix, Jürgen 11 1998 A framework to incorporate non-monotonic reasoning into constraint logic programming. Zbl 0936.68018Dix, Jürgen; Stolzenburg, Frieder 3 1998 Characterizations of the disjunctive stable semantics by partial evaluation. Zbl 0883.68082Brass, Stefan; Dix, Jürgen 18 1997 Nonmonotonic reasoning. An overview. Zbl 0876.68102Brewka, 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.00041Dix, Jürgen (ed.); Furbach, Ulrich (ed.); Nerode, Anil (ed.) 2 1997 Semantics of logic programs: Their intuitions and formal properties. An overview. Zbl 0917.68044Dix, Jürgen 10 1996 Reducing disjunctive to non-disjunctive semantics by shift-operations. Zbl 0863.68088Dix, Jürgen; Gottlob, Georg; Marek, Wiktor 3 1996 A classification theory of semantics of normal logic programs. II: Weak properties. Zbl 0829.68022Dix, Jürgen 12 1995 A classification theory of semantics of normal logic programs. I: Strong properties. Zbl 0829.68021Dix, Jürgen 8 1995 A tutorial on nonmonotonic reasoning. Zbl 0819.68106Brewka, G.; Dix, J.; Konolige, K. 3 1993 The relationship between KLM and MAK models for nonmonotonic inference operations. Zbl 0796.03033Dix, Jürgen; Makinson, David 5 1992 Nichtmonotones Schließen und dessen Anwendung auf Semantiken logischer Programme. Zbl 0785.03010Dix, Jürgen 2 1992 Cumulativity and rationality in semantics of normal logic programs. Zbl 0792.68018Dix, Jürgen 1 1991 Nonmonotonic and inductive logic. 1st international workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings. Zbl 0768.00011Dix, Jürgen (ed.); Jantke, Klaus P. (ed.); Schmitt, Peter H. (ed.) 1 1991 all cited Publications top 5 cited Publications 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 all top 5 Cited in 28 Serials 27 Artificial Intelligence 16 Annals of Mathematics and Artificial Intelligence 12 Theory and Practice of Logic Programming 11 Theoretical Computer Science 8 Journal of Applied Non-Classical Logics 4 Studia Logica 3 Journal of Applied Logic 2 Information Processing Letters 2 Annals of Pure and Applied Logic 2 Journal of Computer Science and Technology 2 Information and Computation 2 International Journal of Intelligent Systems 2 ACM Transactions on Computational Logic 1 Fuzzy Sets and Systems 1 Journal of Computer and System Sciences 1 Synthese 1 Science of Computer Programming 1 International Journal of Approximate Reasoning 1 Formal Aspects of Computing 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 Archive for Mathematical Logic 1 Journal of Logic, Language and Information 1 Theory of Computing Systems 1 Topoi 1 Computer Languages, Systems & Structures 1 Journal of Zhejiang University. Science A 1 International Journal of Information Technology & Decision Making 1 Journal of Control Science and Engineering all top 5 Cited in 8 Fields 124 Computer science (68-XX) 44 Mathematical logic and foundations (03-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 General and overarching topics; collections (00-XX) 1 Probability theory and stochastic processes (60-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year