Prof. Dr. Jürgen Dix

Office: 116, Am Regenbogen 15

 

Phone: +49 5323 72-7181

 

Fax: +49 5323 72-7189

E-Mail: dix [at] tu-clausthal.de

 

Research Interests:

  • nonmonotonic reasoning
  • deductive databases
  • knowledge representation
  • agent systems
  • logics for agency
  • formal methods in AI

 

 

Projects:

Short CV

My short CV

Degrees

  • Habilitation in Information Systems, TU Vienna, 1996

      Thesis: Disjunctive Deductive Databases: Theoretical Foundations and Implementation
      Title: Univ.-Doz.

  • PhD in Computer Science, University of Karlsruhe, 1992

      Thesis: Nonmonotonic reasoning and semantics of logic programs
      Title: Dr. rer. nat.
      Grade: summa cum laude

  • Diploma in Mathematics, University of Heidelberg, 1986

      Thesis: Model-theory of (ultra-) metric vector spaces
      Title: Dipl.-Math.
      Grade: sehr gut

  • Abitur, Gutenberg-Gymnasium Wiesbaden, 1979

      Grade: 1.0

Downloads

SMALL_CV.pdf

Small CV

publications_cidix.pdf

List of Publications

Publications

All | Articles | Books and Collections | Book Chapters | Conference Papers 
Conference Proceedings | Technical Reports | Habilitation-Theses | PhD-Theses 
Bachelor-Theses | Master-Theses | Diploma-Theses | Minor-Theses 
Editor (Journal) | Steering Committee | Organizer | PC-Member 
Evaluator | Invited | Visit | Member 
Lead Function 


  tip
 

Articles (60)

Behrens, T. and Dastani, M. and Dix, J. and Hübner, J. and Köster, M. and Novák, P. and Schlesinger, F.: The Multi-Agent Programming Contest, AI Magazine, Volume 33, 2012

Dix, Jürgen and Hindriks, Koen V. and Logan, Brian and Wobcke, Wayne: Engineering Multi-Agent Systems (Dagstuhl Seminar 12342), Dagstuhl Reports, Volume 2, 2012

Behrens, Tristan and Dix, Jürgen and Hübner, Jomi and Köster, Michael: Editorial, Annals of Mathematics and Artificial Intelligence, Volume 61, Springer Netherlands, 2011

Behrens, Tristan and Hindriks, Koen and Dix, Jürgen: Towards an environment interface standard for agent platforms, Annals of Mathematics and Artificial Intelligence, Volume 61, Springer, 2011

Bordini, Rafael H. and Dastani, Mehdi and Dix, Jürgen and Fallah-Seghrouchni, Amal El: Preface, Autonomous Agents and Multi-Agent Systems, Volume 23, 2011

Dix, Jürgen and Fisher, Michael: Where Logic and Agents meet, Annals of Mathematics and Artificial Intelligence, Volume 61, 2011

Dix, Jürgen and Jamroga, Wojtek and Samet, Dov: Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101), Dagstuhl Reports, Volume 1, Schloss Dagstuhl-Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2011

Coverbild Dix, Jürgen and Leite, João: Preface to the special issue on computational logics in multi-agent systems, Annals of Mathematics and Artificial Intelligence, Volume 62, 2011

Bassiliades, Nick and Governatori, Guido and Paschke, Adrian and Dix, Jürgen: Guest Editors' Introduction: Rule Representation, Interchange, and Reasoning in Distributed, Heterogeneous Environments, IEEE Transactions for Knowledge and Data Engineering, Volume 22, IEEE, 2010

Behrens, Tristan and Dastani, Mehdi and Dix, Jürgen and and Köster, Michael and Nov�k, Peter: Editorial, Annals of Mathematics and Artificial Intelligence, Volume 59, Springer Netherlands, 2010

Behrens, Tristan and Dastani, Mehdi and Dix, Jürgen and Köster, Michael and Novák, Peter: The multi-agent programming contest from 2005-2010, Annals of Mathematics and Artificial Intelligence, Volume 59, Springer Netherlands, 2010

Behrens, Tristan and Dastani, Mehdi and Dix, Jürgen and Köster, Michael and Nov�k, Peter: The multi-agent programming contest from 2005-2010: From collecting gold to herding cows, Annals of Mathematics and Artificial Intelligence, Volume 59, Springer Netherlands, 2010

Bulling, Nils and Dix, Jürgen: Modelling and Verifying Coalitions using Argumentation and ATL, Inteligencia Artificial, Volume 14, 2010

Köster, Michael and Behrens, Tristan and Dix, Jürgen and Hübner, Jomi and Dastani, Mehdi and Novák, Peter: Editorial, Annals of Mathematics and Artificial Intelligence, Volume 59, Springer Netherlands, 2010

Dix, Jürgen and Behrens, Tristan and Köster, Michael and Novák, Peter: Agenten als Goldgräber und Cowboys, KI - Zeitschrift Künstliche Intelligenz, Volume 23, 2009

Dix, Jürgen and Behrens, Tristan M. and Köster, Michael and Novák, Peter: Agenten als Goldgräber und Cowboys, KI, Volume 23, 2009

Dix, Jürgen and Parsons, Simon and Prakken, Henry and Simari, Guillermo: Dagstuhl Manifesto, Informatik Spektrum, Volume 32, 2009

Dix, Jürgen and Parsons, Simon and Prakken, Henry and Simari, Guillermo Ricardo: Research challenges for argumentation, Computer Science - R&D, Volume 23, 2009

Behrens, Tristan and Dix, Jürgen: Model Checking Multiagent Systems with Logic Based Petri Nets, Annals of Mathematics and Artificial Intelligence, Volume 51, 2008

Bulling, N. and Jamroga, W. and Dix, J.: Reasoning about Temporal Properties of Rational Play, Annals of Mathematics and Artificial Intelligence, Volume 53, 2008

Jamroga, Wojciech and Dix, Jürgen: Model Checking Abilities of Agents: A Closer Look, Theory of Computing Systems, Volume 42, Springer, 2008

Dix, Jürgen and Hegner, Stephen J.: Preface, Annals of Mathematics and Artificial Intelligence, Volume 50, 2007

Acosta Guadarrama, J. C. and Dix, Jürgen and Osorio, Mauricio: Updating Pairs in MG-ASP Based on Refined Principles, Research in Computing Science, Volume 20, IEEE Computer Society, Louisville, KY, USA, 2006

Dix, J. and Kraus, S. and Subrahmanian, V. S.: Heterogenous Temporal Probabilistic Agents, ACM Transactions of Computational Logic, Volume 7, ACM Press, New York, 2006

Dix, J. and Eiter, T.: Answer Set Programming and Agents, Agentlink, Volume 19, November 2005

Brass, Stefan and Dix, Jürgen and Przymusinski, Teodor: Super Logic Programs, ACM Transactions of Computational Logic, Volume 5, ACM Press, New York, 2004

Dix, J. and Öczan, F. and Subrahmanian, V. S.: Improving Performance of Heavily Loaded Agents, Annals of Mathematics and Artificial Intelligence, Volume 41, 2004

Dix, Jürgen and Eiter, Thomas and Fink, Michael and Polleres, Axel and Zhang, Yingqian: Monitoring Agents using Declarative Planning, Fundamenta Informaticae, Volume 57, 2003

Dix, Jürgen and Munoz-Avila, Hector and Nau, Dana and Zhang, Lingling: IMPACTing SHOP: Putting an AI Planner into a Multi-Agent Environment, Annals of Mathematics and Artificial Intelligence, Volume 37, 2003

Dix, Jürgen and Chesnevar, C. and Stolzenburg, F. and Simari, G.: Relating Defeasible and Normal Logic Programming through Transformation Properties, Theoretical Computer Science, Volume 290, 2002

Schlechta, Karl and Dix, Jürgen: Explaining Updates by minimal Sums, Theoretical Computer Science, Volume 266, 2002

Brass, Stefan and Dix, Jürgen and Freitag, Burkhardt and Zukowski, Ulrich: Transformation-Based Bottom-Up Computation of the Well-Founded Model, Theory and Practice of Logic Programming, Volume 1, 2001

Brass, Stefan and Dix, Jürgen and Niemelä, Ilkka and Przymusinski, Teodor: On the Equivalence of the Static and Disjunctive Well-Founded Semantics and its Computation, Theoretical Computer Science, Volume 258, 2001

Dix, Jürgen and Kraus, Sarit and Subrahmanian, V. S.: Temporal Agent Reasoning, Artificial Intelligence, Volume 127, 2001

Dix, Jürgen and Osorio, Mauricio and Zepeda, Claudia: A General Theory of Confluent Rewriting Systems for Logic Programming and its Applications, Annals of Pure and Applied Logic, Volume 108, 2001

Dix, Jürgen and Nanni, Mirco and Subrahmanian, V. S.: Probabilistic Agent Reasoning, ACM Transactions of Computational Logic, Volume 1, ACM Press, New York, 2000

Dix, Jürgen and Subrahmanian, V. S. and Pick, George: Meta Agent Programs, Journal of Logic Programming, Volume 46, Elsevier, 2000

Brass, Stefan and Dix, Jürgen: Semantics of (Disjunctive) Logic Programs Based on Partial Evaluation, Journal of Logic Programming, Volume 40, Elsevier, 1999

Brass, Stefan and Dix, Jürgen and Przymusinski, Teodor: Computation of the Semantics of Autoepistemic Belief Theories, Artificial Intelligence, Volume 112, 1999

Dix, Jürgen and Osorio, Mauricio: Confluent Rewriting Systems in Non-monotonic Reasoning, Computacion y Sistemas, Volume II, 1999

Baumgartner, P. and Dahn, I. and Dix, J. and Furbach, U. and Kühn, M. and Stolzenburg, F. and Thomas, B.: Automated Deduction: A technological point of view, KI, Volume 4, 1998

Brass, Stefan and Dix, Jürgen: Characterizations of the Disjunctive Well-founded Semantics: Confluent Calculi and Iterated GCWA, Journal of Automated Reasoning, Volume 20, 1998

Dix, Jürgen: The Logic Programming Paradigm, AI Communications, Volume 11, 1998

Dix, Jürgen and Stolzenburg, Frieder: A Framework to incorporate Nonmonotonic Reasoning into Constraint Logic Programming, Journal of Logic Programming, Volume 37, Elsevier, 1998

Aravindan, Chandrabose and Dix, Jürgen and Niemelä, Ilkka: DisLoP: A Research Project on Disjunctive Logic Programming, AI Communications, Volume 10, 1997

Brass, Stefan and Dix, Jürgen: Characterizations of the Disjunctive Stable Semantics by Partial Evaluation, Journal of Logic Programming, Volume 32, Elsevier, 1997

Baumgartner, P. and Dix, J. and Furbach, U. and Schäfer, D. and Stolzenburg, F.: Deduktion und Logisches Programmieren, KI, Volume 2, 1996

Dix, J. and Furbach, U.: Logisches Programmieren mit Negation und Disjunktion, KI, Volume 3, 1996

Dix, J. and Furbach, U.: The DFG-Project DisLoP on Disjunctive Logic Programming, Computational Logic, Volume 2, 1996

Dix, Jürgen and Gottlob, Georg and Marek, Viktor: Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations, Fundamenta Informaticae, Volume XXVIII, 1996

Dix, Jürgen: A Classification-Theory of Semantics of Normal Logic Programs: I. Strong Properties, Fundamenta Informaticae, Volume XXII(3), 1995

Dix, Jürgen: A Classification-Theory of Semantics of Normal Logic Programs: II. Weak Properties, Fundamenta Informaticae, Volume XXII(3), 1995

Dix, Jürgen: Detailed Report on the First LP & NMR Retreat, AI Communications, Volume 8, 1995

Dix, Jürgen: Detailed Report on the First LP & NMR Retreat, Computational Logic, Volume 2, 1995

Dix, Jürgen: Review on Marek/Truszscynski's Book ''Nonmonotonic Logic``, Bulletin of the IGPL, Volume 6, 1994

Dix, Jürgen and Kummer, Martin: Herbrand's Theorem for Nonstandard Inference Operations, Journal of Logic and Computation, Volume 4, 1994

Dix, Jürgen: LP&NMR '93: Report on the Second International Workshop on Logic Programming and Non-Monotonic Reasoning, AI Communications, Volume 6, 1993

Dix, Jürgen and Kummer, Martin: Herbrand's Theorem for Nonstandard Inference Operations, Journal of Symbolic Logic, Volume 58, 1993

Dix, Jürgen and Schmitt, Peter: Nichtmonotones Schliessen: Wieviel Nichtmonotonie ist nötig?, Kognitionswissenschaft, Volume 3, 1993

Dix, Jürgen and Makinson, David: The Relationship between KLM and MAK models for Nonmonotonic Inference Operations, Journal of Logic, Language and Information, Volume 1, 1992

Books and Collections (23)

Coverbild Behrens, T. and Dix, J. and Köster, M. and Hübner, J.: Special Issue about Multi-Agent-Contest II, Annals of Mathematics and Artificial Intelligence, Volume 61, Springer, Netherlands, 2011

Coverbild Bordini, Rafael and Dastani, Mehdi and Dix, Jürgen and Segrouchni, Amal El Fallah: Special Issue on Multi-Agent Programming, Journal of Autonomous Agents and Multi-Agent Systems, Volume 23, Springer, 2011

Coverbild Dix, Jürgen and Leite, Joao: Special Issue: Selected Papers of CLIMA 2010, Annals of Mathematics and Artificial Intelligence, Volume 62, Springer, 2011

Coverbild Bassiliades, Nick and Governatori, Guido and Paschke, Adrian and Dix, Jürgen: Special Issue on Rule Representation, Interchange, and Reasoning in Distributed, Heterogeneous Environments, IEEE Transactions of Knowledge and Data Engineering, Volume 22, IEEE, 2010

Coverbild Behrens, T. and Dastani, M. and Dix, J. and Köster, M. and Novak, P.: Special Issue about Multi-Agent-Contest I, Annals of Mathematics and Artificial Intelligence, Volume 59, Springer, Netherlands, 2010

Coverbild Dix, Jürgen and Fisher, Michael and Novák, Peter: Computational Logic and Multi-Agent Systems, Revised Selected and Invited Papers of CLIMA X, Lecture Notes in Computer Science, Volume 6214, Springer, 2010

Coverbild Dix, Jürgen and Leite, João and Governatori, Guido and Jamroga, Wojtek: Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings, Lecture Notes in Computer Science, Volume 6245, Springer, 2010

Coverbild Dix, Jürgen and Witteveen, Cees: Multiagent System Technologies, 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings, Lecture Notes in Computer Science, Volume 6251, Springer, 2010

Coverbild Bordini, Rafael H. and Dastani, Mehdi and Dix, Jürgen and Fallah-Seghrouchni, Amal El: Multi-Agent Programming: Languages, Tools and Applications, Springer, Berlin, 2009

Coverbild Dix, Jürgen: Biennial Report 2006/2007 of the Department of Informatics at Clausthal University of Technology, Papierflieger Verlag GmbH, April 2008

Coverbild Bordini, R. and Dastani, M. and Dix, J. and El Fallah Seghrouchni, A.: Special Issue on Programming Multi-Agent Systems, International Journal of Agent-Oriented Software Engineering, Volume 1, Springer, 2007

Coverbild Dix, J. and Hegner, S.: Special Issue about FOIKS 2006, Annals of Mathematics and Artificial Intelligence, Volume 50, Springer, Netherlands, 2007

Coverbild Brewka, Gerhard and Dix, Jürgen: Special Issue on Answer Set Programming, Annals of Mathematics and Artificial Intelligence, Volume 47, Springer, 2006

Coverbild Dix, Jürgen: Biennial Report 2004/2005 of the Department of Informatics at Clausthal University of Technology, Papierflieger Verlag GmbH, March 2006

Coverbild Bordini, R. and Dastani, M. and Dix, J. and El Fallah Seghrouchni, A.: Programming Multi Agent Systems: Languages, Platforms and Applications, Multiagent Systems, Artificial Societies and Simulated Organizations, Volume 15, Springer, Berlin, 2005

Coverbild Dix, J. and Leite, J. and Satoh, K.: Special Issue on Computational Logic and Multi Agency, Annals of Mathematics and Artificial Intelligence, Volume 42, Springer, Netherlands, 2004

Coverbild Dix, Jürgen and Fisher, Michael and Levesque, Hector J. and Sterling, Leon: Special Issue on Logic-Based Agent Programming, Annals of Mathematics and Artificial Intelligence, Volume 41, Springer, Netherlands, 2004

Coverbild Dix, Jürgen and Sadri, Fariba and Satoh, Ken: Special Issue on Computational Logic and Multi-Agency, Volume 37, Kluwer, 2003

Coverbild Dix, Jürgen and Leite, Joao and Satoh, Ken: Special Issue on CLIMA: Computational Logic in Multi Agent Systems, Electronic Notes on Theoretical Computer Science, Volume 70, Elsevier Science Publishers, 2002

Coverbild Dix, Jürgen and del Cerro, Luis Farinas and Furbach, Ulrich: Selected Papers of Logic in AI, Volume 27, Kluwer, 2000

Coverbild Subrahmanian, V. S. and Bonatti, Piero and Dix, Jürgen and Eiter, Thomas and Kraus, Sarit and Özcan, Fatma and Ross, Robert: Heterogenous Active Agents, MIT Press, 2000

Coverbild Dix, Jürgen and Lobo, Jorge: Special Issue on Logic Programming with Non-monotonic Semantics., Annals of Mathematics and Artificial Intelligence, Volume 25, Maltzer Science Publishers, 1999

Coverbild Brewka, Gerd and Dix, Jürgen and Konolige, Kurt: Nonmonotonic Reasoning: An Overview, CSLI Lecture Notes, Volume 73, CSLI Publications, Stanford, CA, 1997

Book Chapters (12)

Coverbild Bordini, Rafael and Dix, Jürgen: Chapter 13: Programming Multi-Agent Systems, MIT-Press, 2013

Coverbild Dix, Jürgen and Fisher, Michael: Chapter 14: Verifying Multi-Agent Systems, MIT-Press, 2013

Hindriks, Koen and Dix, Jürgen: GOAL: A Multi-Agent Programming Language Applied to an Exploration Game, Springer, 2013

Behrens, Tristan and Köster, Michael and Schlesinger, Federico and Dix, Jürgen and Hübner, Jomi: The Multi-agent Programming Contest 2011: A Résumé, Lecture Notes in Computer Science, Volume 7217, Heidelberg, Springer Berlin /, 2012

Coverbild Bulling, Nils and Dix, Jürgen and Jamroga, Wojciech: Model Checking Logics of Strategic Ability: Complexity, Springer, 2010

Coverbild Garcia, Alejandro and Dix, Jürgen and Simari, Guillermo: Argument-based Logic Programming, Springer, Berlin, 2009

Coverbild Brewka, Gerhard and Dix, Jürgen: Knowledge Representation with Extended Logic Programs, Volume 12, Publ., Reidel, 2005

Coverbild Dix, Jürgen and Kuter, Ugur and Nau, Dana: Planning in Answer Set Programming using Ordered Task Decomposition, Publications, King's College, London, 2005

Coverbild Dix, Jürgen and Zhang, Yingqian: IMPACT: A multi-agent framework with declarative semantics, Volume 15, Springer, Berlin, 2005

Coverbild Dix, Jürgen and Furbach, Ulrich and Niemelä, Ilkka: Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations, Elsevier-Science-Press, 2001

Coverbild Dix, Jürgen: Cognitive Systems, Sons, John Wiley &, Chicester, New York, 1999

Coverbild Dix, Jürgen: Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview., DeGruyter, 1996

Conference Papers (72)

Dix, Jürgen and Faber, Wolfgang and Subrahmanian, V. S.: Privacy Preservation Using Multi-context Systems and Default Logic, Lecture Notes in Computer Science, Volume 7265, Springer, 2012

Dix, Jürgen and Köster, Michael and Schlesinger, Federico: The Multi-Agent Programming Contest 2012, Lecture Notes in Computer Science, Volume 7837, Springer, 2012

Behrens, Tristan and Bordini, Rafael and Braubach, Lars and Dastani, Mehdi and Dix, Jürgen and Hindriks, Koen and Hübner, Jomi and Pokahr, Alexander: An Interface for Agent-Environment Interaction, LNCS, Volume 6599, Springer Verlag, 2011

Bulling, Nils and Farwer, Berndt: Expressing Properties of Resource-Bounded Systems: The Logics RBTL and RBTL$^*$, LNCS 6214, 2010

Behrens, Tristan and Dastani, Mehdi and Dix, Jürgen and Novák, Peter: Agent Contest Competition: 4th Edition, Lecture Notes in Computer Science, Volume 5442, Springer, 2009

Bulling, N. and Dix, J. and Ches~nevar, C.: An Argumentative Approach for Modelling Coalitions using ATL, Lecture Notes, Springer, 2009

Bulling, N. and Farwer, B.: Expressing Properties of Resource-Bounded Systems: The Logics RBTL and RBTL$^*$, 2009

Bulling, Nils and Chesnevar, Carlos and Dix, Jürgen: Modelling Coalitions: ATL + Argumentation, ACM Press, 2008

Bulling, Nils and Dix, Jürgen: A Finer Grained Modeling of Rational Coalitions Using Goals, Red UNCI, 2008

Dastani, Mehdi and Dix, Jürgen and Novák, Peter: Agent Contest Competition - 4th edition, LNAI, Volume 5442, Springer Verlag, 2008

Dastani, Mehdi and Dix, Jürgen and Novák, Peter: Agent Contest Competition - 3rd edition, Lecture Notes in Artificial Intelligence, Springer, 2008

Dix, Jürgen: Strategic Abilities of Agents, Lecture Notes in Computer Science, Volume 4932, Springer, 2008

Behrens, Tristan and Dix, Jürgen: Model Checking with Logic Based Petri Nets, Univesidade Do Porto, 2007

Behrens, Tristan and Dix, Jürgen: LTL Model Checking with Logic Based Petri Nets, Technical Report, Volume 434, University of Würzburg, 2007

Ches~nevar, C. and Dix, J. and Simari, G. and Maguitman, A. and Stolzenburg, F. and Jamroga, W. and Gómez, S. and Bulling, N.: Modelado de Inferencia y Preferencias en Sistemas Multiagentes utilizando Argumentacion, 2007

Dastani, Mehdi and Dix, Jürgen and Novák, Peter: The Second Contest on Multi-Agent Systems based on Computational Logic, Lecture Notes in Artificial Intelligence, Springer, 2007

Novák, Peter and Dix, Jürgen: Adding structure to agent programming languages, ACM Press, 2007

Novák, Peter and Dix, Jürgen: Adding structure to agent programming languages, LNAI, Volume 4908, Springer Verlag, 2007

Acosta Guadarrama, J. C. and Dix, J. and Osorio, M.: Update Sequences in Generalised Answer Set Programming Based on Structural Properties, IEEE Computer Society, 2006

Dastani, Mehdi and Dix, Jürgen and Novák, Peter: The first contest on multi-agent systems based on computational logic, Lecture Notes in Artificial Intelligence, Volume 3900, Springer, 2006

Dastani, Mehdi and Dix, Jürgen and Novák, Peter: The Second Contest on Multi-Agent Systems Based on Computational Logic, Lecture Notes on Computer Science, Volume 4371, Springer, 2006

Jamroga, W. and Dix, J.: Model Checking Abilities under Incomplete Information is Indeed Delta2-complete, 2006

Novák, Peter and Dix, Jürgen: Modular BDI architecture, ACM, 2006

Acosta Guadarrama, J. C. and Dix, J. and Osorio, M. and Zacarías, F.: Updates in Answer Set Programming based on structural properties, Technical Report Series, TU Dresden, 2005

Dastani, Mehdi and Dix, Jürgen and Novák, Peter: The First Contest on Multi-agent Systems Based on Computational Logic, Lecture Notes in Computer Science, Volume 3900, Springer, 2005

Dix, J. and Faber, W. and Subrahmanian, V. S.: The Relationship between Reasoning about Privacy and Default Logics, Lecture Notes in Artificial Intelligence, Springer, 2005

Jamroga, W. and Dix, J.: Turning Game Models Turn-Based for Model Checking Properties of Agents, 2005

Jamroga, W. and Dix, J.: Model Checking Strategic Abilities of Agents under Incomplete Information, Lecture Notes in Computer Science, Volume 3701, Springer, 2005

Jamroga, W. and Dix, J.: Do Agents Make Model Checking Explode (Computationally)?, Lecture Notes in Computer Science, Volume 3690, Springer, 2005

Müller, J. P. and Bauer, B. and Friese, T.: Programming software agents as designing executable business processes: a model-driven perspective, Lecture Notes in Artificial Intelligence, Volume 3067, Springer-Verlag, 2004

Subrahmanian, V. S. and Kraus, S. and Zhang, Y.: Distributed Algorithms for Dynamic Survivability of Multiagent Systems, Lecture Notes in Artificial Intelligence, Volume 3259, Springer, 2004

Dix, Jürgen and Eiter, Thomas and Fink, Michael and Polleres, Axel and Zhang, Yingqian: Monitoring Agents using Declarative Planning, Lecture Notes in Artificial Intelligence, Volume 2821, Springer, 2003

Dix, Jürgen and Kuter, Ugur and Nau, Dana: Planning in Answer Set Programming using Ordered Task Decomposition, Lecture Notes in Artificial Intelligence, Volume 2821, Springer, 2003

Dix, Jürgen and Kraus, Sarit and Subrahmanian, V. S.: Agents dealing with time and uncertainty, ACM Press, 2002

Dix, Jürgen and Munoz-Avila, Hector and an Lingling Zhang, Dana Nau: Theoretical and Empirical Aspects of a Planner in a Multi-Agent Environment, Lecture Notes in Artificial Intelligence, Volume 2424, Springer, 2002

Dix, Jürgen and Munoz-Avila, Hector and Nau, Dana and Zhang, Lingling: Planning in a Multi-Agent Environment: Theory and Practice, ACM Press, 2002

Dix, Jürgen: A Computational Logic Approach to Heterogenous Agent Systems, Lecture Notes in Computer Science, Volume 1265, Springer, 2001

Ches~nevar, Carlos and Dix, Jürgen and Simari, Guillermo and Stolzenburg, Frieder: Relating Defeasible and Normal Logic Programming through Transformation Properties, 2000

Dix, Jürgen and Munoz-Avila, Hector and Nau, Dana: IMPACTing SHOP: Planning in a Multi-Agent Environment, Imperial College, 2000

Dix, Jürgen and Schlechta, Karl: Explaining Updates by minimal Sums, Lecture Notes in Computer Science, Volume 1738, Springer, 1999

Dix, Jürgen and Stolzenburg, Frieder and Simari, Guillermo and Fillotrani, Pablo: Automating Defeasible Reasoning with Logic Programming, 1999

Brass, Stefan and Dix, Jürgen and Niemelä, Ilkka and Przymusinski, Teodor. C.: A Comparison of the Static and the Disjunctive Well-founded Semantics and its Implementation, Morgan Kaufmann, 1998

Aravindan, Chandrabose and Dix, Jürgen and Niemelä, Ilkka: DisLoP: Towards a Disjunctive Logic Programming System, Lecture Notes in Artificial Intelligence, Volume 1265, Springer, 1997

Brass, Stefan and Dix, Jürgen and Niemelä, Ilkka and Przymusinski, Teodor. C.: Comparison and Efficient Computation of the Static and the Disjunctive WFS, Max Planck Institute for Computer Science, Saarbrücken, 1997

Dix, Jürgen and Osorio, Mauricio: Provability Closures in Logic Programming, 1997

Dix, Jürgen and Osorio, Mauricio: On Well-Behaved Semantics Suitable for Aggregation, MIT Press, 1997

Dix, Jürgen and Pereira, Luis and Przymusinski, Teodor: Prolegomena to Logic Programming for Non-Monotonic Reasoning, Lecture Notes in Artificial Intelligence, Volume 1216, Springer, 1997

Dix, Jürgen and Stolzenburg, Frieder: Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming (Preliminary Report), Lecture Notes in Artificial Intelligence, Volume 1216, Springer, 1997

Aravindan, Chandrabose and Baumgartner, Peter and Dix, Jürgen and Furbach, Ulrich and Neugebauer, Gerd and Niemelä, Ilkka and Schäfer, Dorothea and Stolzenburg, Frieder: On merging theorem proving and logic programming paradigms, MIT Press, 1996

Aravindan, Chandrabose and Baumgartner, Peter and Dix, Jürgen and Furbach, Ulrich and Neugebauer, Gerd and Niemelä, Ilkka and Schäfer, Dorothea and Stolzenburg, Frieder: On merging theorem proving and logic programming paradigms, GMD-Studien Nr. 296, 1996

Brass, Stefan and Dix, Jürgen: Characterizing D-WFS: Confluence and Iterated GCWA, Lecture Notes in Artificial Intelligence, Volume 1126, Springer, 1996

Brass, Stefan and Dix, Jürgen and Przymusinski, Teodor. C.: Super Logic Programs, Morgan Kaufmann, 1996

Brass, Stefan and Dix, Jürgen: Characterizations of the Stable Semantics by Partial Evaluation, Lecture Notes in Artificial Intelligence, Volume 928, Springer, 1995

Coverbild Brass, Stefan and Dix, Jürgen: A General Approach to Bottom-Up Computation of Disjunctive Semantics, Lecture Notes in Artificial Intelligence, Volume 927, Springer, 1995

Brass, Stefan and Dix, Jürgen: Disjunctive Semantics Based upon Partial and Bottom-Up Evaluation, MIT Press, 1995

Brass, Stefan and Dix, Jürgen: Computing Disjunctive Stable Semantics Based on Clark's Completed Database, 1994

Brass, Stefan and Dix, Jürgen: A Characterization of the Stable Semantics by Partial Evaluation, 1994

Brass, Stefan and Dix, Jürgen: A Disjunctive Semantics Based on Unfolding and Bottom-Up Evaluation, Springer, 1994

Dix, Jürgen and Gottlob, Georg and Marek, Viktor: Causal Models for Disjunctive Logic Programs, MIT Press, 1994

Dix, Jürgen and Müller, Martin: The Stable Semantics and its Variants: A Comparison of Recent Approaches, Lecture Notes in Artificial Intelligence, Volume 861, Springer, 1994

Dix, Jürgen and Müller, Martin: An Axiomatic Framework for Representing and Characterizing Semantics of Disjunctive Logic Programs, MIT Press, 1994

Dix, Jürgen and Müller, Martin: Partial Evaluation and Relevance for Approximations of the Stable Semantics, Lecture Notes in Artificial Intelligence, Volume 869, Springer, 1994

Dix, Jürgen and Müller, Martin: Implementing Semantics for Disjunctive Logic Programs Using Fringes and Abstract Properties, MIT Press, 1993

Brewka, Gerd and Dix, Jürgen and Konolige, Kurt: A Tutorial on Nonmonotonic Reasoning, Lecture Notes in Artificial Intelligence, Volume 659, Springer, 1992

Dix, Jürgen: A Framework for Representing and Characterizing Semantics of Logic Programs, Morgan Kaufmann, 1992

Dix, Jürgen: Default Theories of Poole-Type and a Method for Constructing Cumulative Versions of Default Logic, John Wiley & Sons, 1992

Dix, Jürgen: Classifying Semantics of Disjunctive Logic Programs, MIT Press, 1992

Dix, Jürgen and Müller, Martin: Abstract Properties and Computational Complexity of Semantics for Disjunctive Logic Programs, H. Blair and W. Marek and A. Nerode and J. Remmel, 1992

Dix, Jürgen: Classifying Semantics of Logic Programs, MIT Press, 1991

Dix, Jürgen: Cumulativity and Rationality in Semantics of Normal Logic Programs, Lecture Notes in Artificial Intelligence, Volume 543, Springer, 1990

Dix, Jürgen and Posegga, Achim and Schmitt, Peter. H.: Modal Logics for AI Planning, Conf. Publ. No. 322, 1990

Dix, Jürgen: Some Tendencies in Non Monotonic Reasoning: I. The Main Approaches, 1989

Conference Proceedings (22)

Coverbild Collier, Rem W. and Dix, Jürgen and Novák, Peter: Programming Multi-Agent Systems - 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers, Lecture Notes in Computer Science, Volume 6599, Springer, 2012

Dix, J. and Fisher, M. and Novak, P.: Computational Logic and Multi-Agent Systems, Post Conference Proceedings of the 10th international workshop on Computational Logic in Multi-Agent Systems (CLIMA X), Lecture Notes in Artificial Intelligence, Volume 6214, Springer, Berlin, 2010

Dix, J. and Leite, J. and Governatori, Guido and Jamroga, Woitek: Computational Logic and Multi-Agent Systems, Conference Proceedings of the 11th international workshop on Computational Logic in Multi-Agent Systems (CLIMA XI), Lecture Notes in Artificial Intelligence, Volume 6245, Springer, Berlin, 2010

Dix, J. and Witteveen, Cees: MATES '10, Conference Proceedings of the Eigth International Workshop on Multi-Agent System Technologies, Lecture Notes in Artificial Intelligence, Volume 6251, Springer, Berlin, 2010

Coverbild Bordini, Rafael H. and Dastani, Mehdi and Dix, Jürgen and El Fallah Seghrouchni, A.: Programming Multi-Agent Systems, Fourth International Workshop, ProMAS 2006, Revised and Invited Papers, Lecture Notes in Computer Science, Volume 4411, Springer, Hakodate, Japan, 2007

Coverbild Bordini, R. and Dastani, M. and Dix, J. and El Fallah Seghrouchni, A.: Pre-Proceedings of the 4th International Workshop on Programming Multi Agent Systems (ProMAS '06), Hakodate University, Hakodate, Japan, 2006

Coverbild Bordini, R. and Dastani, M. and Dix, J. and El Fallah Seghrouchni, A.: Programming Multi Agent Systems (ProMAS '05), Lecture Notes in Artificial Intelligence, Volume 3862, Springer, Berlin, 2006

Coverbild Dix, J. and Hegner, S.: Proceedings of the Fourth International Symposium on Foundations of Information and Knowledge Systems (FOIKS '06), Lecture Notes in Computer Science, Volume 3861, Springer, Berlin, 2006

Dix, Juergen and Hunter, Anthony: Proceedings of the 11th Workshop on Nonmonotonic Reasoning, Technical Report Series, Clausthal University of Technology, 2006

Coverbild Dix, Jürgen and Eiter, Thomas and Franconi, Enrico: Abstracts Collection - Logic Based Information Agents, Dagstuhl Seminar Proceedings, Volume 4171, Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany, Dagstuhl, Germany, 2006

Coverbild Dix, Jürgen and Hunter, Anthony: Pre-Proceedings of the Eleventh International Nonmonotonic Reasoning Workshop '06, Technical Reports Series, Volume IfI-06-04, Department of Informatics, Clausthal University of Technology, 2006

Coverbild Dastani, M. and Dix, J. and El Fallah Seghrouchni, A.: Programming Multi-Agent Systems (ProMAS 2004), Lecture Notes in Artificial Intelligence, Volume 3346, Springer, Berlin, 2005

Coverbild Dastani, M. and Dix, J. and El Fallah Seghrouchni, A.: Programming Multi Agent Systems (ProMAS '03), Lecture Notes in Artificial Intelligence, Volume 3067, Springer, Berlin, 2004

Coverbild Dix, J. and Leite, J.: Logic and Multi-Agent Systems, Post Conference Proceedings of the fourth international workshop on Computational Logic in Multi-Agent Systems (CLIMA IV), Lecture Notes in Artificial Intelligence, Volume 3259, Springer, Berlin, 2004

Coverbild Dix, J. and Leite, J.: Pre-Proceedings of the 4th international workshop on Computational Logic in Multi-Agent Systems (CLIMA IV), Volume 1, Papierflieger, Clausthal-Zellerfeld, Germany, 2004

Coverbild Dastani, M. and Dix, J. and Kinny, D. and Seghrouchni, A. El Fallah: Pre-Proceedings of the 1st International Workshop on Programming Multi Agent Systems (ProMAS '03), Royal Melbourne Institute of Technology, Melbourne, Australia, 2003

Coverbild Dix, J. and Farinas~del~Cerro, L. and Furbach, U.: Logics in Artificial Intelligence, Lecture Notes in Artificial Intelligence, Volume 1489, Springer, Berlin, 1998

Coverbild Dix, J. and Pereira, L. and Przymusinski, T.: Logic Programming and Knowledge Representation, Lecture Notes in Artificial Intelligence, Volume 1471, Springer, Berlin, 1998

Coverbild Dix, J. and Furbach, U. and Nerode, A.: Logic Programming and Nonmonotonic Reasoning, Lecture Notes in Artificial Intelligence, Volume 1265, Springer, Berlin, 1997

Coverbild Dix, J. and Pereira, L. and Przymusinski, T.: Non-Monotonic Extensions of Logic Programming, Lecture Notes in Artificial Intelligence, Volume 1216, Springer, Berlin, 1997

Coverbild Dix, J. and Pereira, L. and Przymusinski, T.: Non-Monotonic Extensions of Logic Programming, Lecture Notes in Artificial Intelligence, Volume 927, Springer, Berlin, 1995

Coverbild Dix, J. and Jantke, K. P. and Schmitt, P. H.: Nonmonotonic and Inductive Logic, Proceedings of the first International Workshop, Karlsruhe, Germany, 1990, Lecture Notes in Artificial Intelligence, Volume 543, Springer, Berlin, 1991

Technical Reports (61)

Behrens, Tristan and Dix, Jürgen and Hübner, Jomi and Köster, Michael and Schlesinger, Federico: Multi-Agent Programming Contest 2011 Edition Documentation, 2012

Behrens, Tristan and Dix, Jürgen and Hübner, Jomi and Köster, Michael and Schlesinger, Federico: Multi-Agent Programming Contest 2011 Edition Evaluation and Team Descriptions, 2012

Behrens, Tristan and Dastani, Mehdi and Dix, Jürgen and Köster, Michael and Novák, Peter: The Multi-Agent Programming Contest from 2005-2010: From Gold Collecting to Herding Cows, 2010

Dix, Jürgen and Fisher, Michael: Where Logic and Agents Meet, 2010

Behrens, Tristan M. and Dix, Jürgen and Hindriks, Koen V.: The Environment Interface Standard for Agent-Oriented Programming Platform Integration Guide and Interface Implementation Guide, 2009

Behrens, Tristan M. and Dix, Jürgen and Hindriks, Koen V.: Towards an Environment Interface Standard for Agent-Oriented Programming, 2009

Dix, Jürgen and Fisher, Michael and (eds.), Peter Novák: Proceedings of the 10th International Workshop on Computational Logic in Multi-Agent Systems 2009, 2009

Behrens, Tristan M. and Dix, Jürgen and Dastani, Mehdi and Köster, Michael and Novák, Peter: Technical Foundations of the Agent Contest 2008, 2008

Bulling, Nils and Jamroga, Wojciech and Dix, Jürgen: Reasoning about Temporal Properties of Rational Play, 2008

Behrens, Tristan M. and Dix, Jürgen: LTL Model Checking with Logic Based Petri Nets, 2007

Behrens, Tristan M. and Dix, Jürgen: Model Checking with Logic Based Petri Nets, 2007

Dastani, Mehdi and Dix, Jürgen and Novák, Peter: Agent Contest Competition - 3rd edition, 2007

Dastani, Mehdi and Dix, Juergen and Novak, Peter: The Second Contest on Multi-Agent Systems based on Computational Logic, 2006

Jamroga, Wojciech and Dix, Juergen: Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete, 2006

Jamroga, Wojciech and Dix, Juergen: Model Checking Abilities of Agents: A Closer Look, 2006

Novak, Peter and Dix, Juergen: Adding Structure to Agent Programming Languages, 2006

Dix, Juergen and Faber, Wolfgang and Subrahmanian, V.S.: The Relationship between Reasoning about Privacy and Default Logics, 2005

Dix, Juergen and Kraus, Sarit and Subrahmanian, V.S.: Heterogeneous Temporal Probabilistic Agents, 2005

Dix, Juergen and Kuter, Ugur and Nau, Dana: Planning in Answer Set Programming using Ordered Task Decomposition, 2005

Dix, Juergen and Zhang, Yingqian: IMPACT: A multi-agent framework with declarative semantics, 2005

Dix, Jürgen and Eiter, Thomas: Theoretical foundations and practical applications of Heterogenous agent systems, 2002

Dix, Jürgen and Fisher, Michael and Zhang, Yingqian: Programming Multi Agent Systems based on Logic, 2002

Dix, Jürgen and Kraus, Sarit and Subrahmanian, V. S.: Agents dealing with time and uncertainty, 2002

Dix, Jürgen and Kuter, Ugur and Nau, Dana: HTN planning in Answer Set Programming, 2002

Dix, Jürgen and Munoz-Avila, Hector and Nau, Dana and Zhang, Lingling: Planning in a multi agent environment: Theory and Practice., 2002

Dix, Jürgen and Eiter, Thomas: IMPACT: A flexible framework for Multi-Agents., 2000

Dix, Jürgen and Munoz-Avila, Hector and Nau, Dana: IMPACTing Shop: Foundations for Integrating HTN Planning and Multi Agency., 2000

Dix, Jürgen and Özcan, Fatma and Subrahmanian., V. S.: Improving Performance of Heavily Loaded Agents, 2000

Dix, Jürgen and Kraus, Sarit and Subrahmanian, V. S.: Temporal Agent Programs, 1999

Dix, Jürgen and Nanni, Mirco and Subrahmanian, V. S.: Probabilistic Agent Reasoning, 1999

Dix, Jürgen and Osorio, Mauricio and Zepeda, Claudia: A General Theory of Confluent Rewriting Systems for Logic Programming and its Applications, 1999

Dix, Jürgen and Schlechta, Karl: Explaining Updates by minimal Sums, 1999

Dix, Jürgen and Subrahmanian, V. S. and Pick, George: Meta-Agent Programs, 1999

Arrazola, J. and Dix, Jürgen and Osorio, Mauricio and Zepeda, Claudia: Well-behaved semantics for Logic Programming, 1998

Brass, Stefan and Dix, Jürgen and Freitag, Burkhard and Zukowski, Ulrich: Transformation-Based Bottom-Up Computation of the Well-Founded Model, 1998

Brass, Stefan and Dix, Jürgen and Przymusinski, Teodor: Super Logic Programs, 1998

Dix, Jürgen: The Logic Programming Paradigm, 1998

Dix, Jürgen and Furbach, Ulrich and Niemelä, Ilkka: Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations, 1998

Dix, Jürgen and Hölldobler, Steffen: Inference Mechanisms in Knowledge-Based Systems: Theory and Applications. Proceedings of a WS at KI '98, 1998

Dix, Jürgen and Lobo, Jorge: Logic Programming and Nonmonotonic Reasoning, 1998

Aravindan, Chandrabose and Dix, Jürgen and Niemelä, Ilkka: The DisLoP-Project, 1997

Arrazola, J. and Dix, Jürgen and Osorio, Mauricio: Confluent Rewriting Systems for Logic Programming Semantics, 1997

Dix, Jürgen and Osorio, Mauricio: Towards Well-Behaved Semantics Suitable for Aggregation, 1997

Dix, Jürgen and Pereira, Luis Moniz and Przymusinski, Teodor: Logic Programming and Knowledge Representation, 1997

Brass, Stefan and Dix, Jürgen and Niemelä, Ilkka and Przymusinski, Teodor. C.: A Comparison of Static Semantics and D-WFS, 1996

Brass, Stefan and Dix, Jürgen and Przymusinski, Teodor. C.: Characterizations and Implementation of Static Semantics of Disjunctive Programs, 1996

Brewka, Gerhard and Dix, Jürgen: Knowledge Representation with Logic Programs, 1996

Brewka, Gerhard and Dix, Jürgen: Generalized Logic Programs and their use in Knowledge Representation: An introductory course, 1996

Dix, J. and Pereira, L. and Przymusinski, T.: Proceedings of Non-Monotonic Extensions of Logic Programming, 1996

Dix, Jürgen and Loveland, Donald and Minker, Jack and Warren, David. S.: Disjunctive Logic Programming and Databases: Nonmonotonic Aspects, 1996

Brass, Stefan and Dix, Jürgen: D-WFS: A Confluent Calculus and an Equivalent Characterization, 1995

Dix, J.: Disjunctive Deductive Databases: Theoetical Foundations and Operational Semantics, 1995

Dix, Jürgen: On Cumulativity in Default Logic and its Relation to Poole's Approach, 1991

Dix, Jürgen and Makinson, David: A Note on the Relationship between KLM and MAK models for Nonmonotonic Inference Operations, 1991

Dix, Jürgen and Merkle, Stefan and Troppens, Ulf and Waelde, Stefan: KLM's Abschlüsse $K^cum$ und $K^pref$ versus LM's Abschluss $K^rat$: Theorie und Implementierung, 1991

Dix, Jürgen: Some Tendencies in Non Monotonic Reasoning: I. The Main Approaches, 1990

Dix, Jürgen and Dold, Axel and Fuchss, Thomas and Müller, Martin: Theorist und MVL: Erfahrungen und Hinweise im Umgang mit nichtmonotonen Beweissystemen, 1990

Dix, Jürgen and Schmitt, Peter and Hähnle, Reiner: über die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken: Teil 1, 1990

Dix, Jürgen and Schmitt, Peter and Hähnle, Reiner: über die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken: Teil 2, 1990

Dix, Jürgen: Logik und Spezifikation, 1988

Dix, Jürgen: Model Theory of (Ultra-) Metric Spaces, 1986

Habilitation-Theses (1)

Jamroga, Wojciech: Mobile Processes: Ideas, models, properties, 2009

PhD-Theses (4)

Behrens, Tristan: Towards Building Blocks for Agent-Oriented Programming, 2012

Bulling, Nils: Modelling and Verifying Abilities of Rational Agents, 2010

Guadarrama, Juan C.: On Updates of Epistemic States, 2009

Novák, Peter: Behavioural State Machines - Agent Programming and Engineering, 2009

Bachelor-Theses (1)

Queralt, Xavier: Model Checking Rational Behaviour of Agents, 2007

Diploma-Theses (14)

Brummer, Jan-Michael: Transformation von Promela nach SLPN, September 2009

Deren, Slawomir: Inter Agent Kommunikationsmodul für Jazzyk, August 2009

Fuhrmann, Bernd: Implementierung eines URBI- und Rubymoduls für Jazzyk zur Entwicklung von Robotern, July 2009

Gogolin, Markus: Optimierte SLPN-LTL-Modelchecker, February 2009

Köster, Michael: Implementierung eines autonomen Agenten in einer Simulierten 3D Umgebung: Wissensrepräsentation, March 2008

Mainzer, David: Implementierung eines autonomen Agenten in einer simulierten 3d-Umgebung: Interaktion mit der Umwelt, April 2008

Steinborn, Dominik: Entwurf und Implementierung eines ontologiebasierten Systems zur Extraktion von Produktinformationen aus Onlineshops, August 2008

Lesniak, Michael Alexander: Solving consistency conflicts in distributed ontologies, August 2007

Behrens, Tristan: Statische Analyse von Spec-Sharp-Programmen, February 2006

Bulling, Nils: Modal Logics for Games, Time and Beliefs, March 2006

Winhuysen, Jan: Entwurf und Implementierung eines Werkzeugs zur statischen Analyse von JAVA Bytecode, March 2006

Winkler, Markus: Modellierung des Temperaturverlaufs in einem Schmelzofen, April 2006

Görz, Thomas: Modellbasierte Diagnose des Zündsystems im Ottomotor: Entwicklung neuer Modellierungstechniken, 2005

Kononowicz, Andrzej: Anwendungen von semantischen Netzen auf die Struktierung von Lehrinhalten im Rahmen einer Multi-Agentenarchitektur für das E-Learning, July 2005

Editor (Journal) (12)

Dix, Jürgen: IfI Technical Report Series Department of Informatics, TU Clausthal, 2005-, Editor-in-Chief

Dix, Jürgen: Journal of Applied Logic Elsevier, 2003-, Editorial Board

Dix, Jürgen: International Journal of Agent-Oriented Software Engineering Publishers, Inderscience, 2005-, Editorial Board

Dix, Jürgen: Theory and Practice of Logic Programming Press, Cambridge University, 2005-, Editorial Board

Dix, Jürgen: International Journal of Pattern Springer, 2007-, Advisory Board

Dix, Jürgen: IEEE Transactions of Knowledge and Data Engineering Press, AAAI, 2008-, Editorial Board

Dix, Jürgen: Journal of Algorithms in Cognition, Informatics and Logic Elsevier, 2008-, Editorial Board

Dix, Jürgen: Annals of Mathematics and Artificial Intelligence Springer, 2008-, Associate Editor

Dix, Jürgen: Journal of Knowledge-Based and Intelligent Engineering Systems Press, IOS, 2008-, Member of Review Board

Dix, Jürgen: Annals of Mathematics and Artificial Intelligence Springer, 2001-2008, Editorial Board

Dix, Jürgen: Journal of Artificial Intelligence Research Press, AAAI, 2005-2008, Editorial Board

Dix, Jürgen: AI Communications Press, IOS, 1995-2003, Editorial Board

Steering Committee (7)

Dix, Jürgen: Engineering Multi-Agent Sytems, 2012-

Dix, Jürgen: Multi-Agent Programming Contest, 2009-

Dix, Jürgen: NMR: International Workshops on Nonmonotonic Reasoning, 2008-

Dix, Jürgen: ProMAS: International Workshop on Programming Multiagent Systems Languages and Tools, 2003-

Dix, Jürgen: CLIMA: Computational Logic in Multi-Agent Systems, 2002-

Dix, Jürgen: LAMAS: Network on Logical Aspects of Multi-Agent Systems, 2010-

Dix, Jürgen: FoIKS: Foundations of Information and Knowledge Systems, 2005-2006

Organizer (39)

Dix, Jürgen: Dagstuhl Seminar: Belief Change and Argumentation in Multiagent Systems, Schloss Dagstuhl, DE, June 2013, Co-Chair (with Gabriele Kern-Isberner, Sven Ove Hansson and Guillermo Simari)

Dix, Jürgen: Dagstuhl Seminar: Engineering Multiagent Sytems, Schloss Dagstuhl, DE, 2012, Co-Chair (with Koen Hindriks, Brian Logan and Wayne Wobcke)

Dix, Jürgen: Dagstuhl Seminar: Reasoning about Interaction: From Game Theory to Logic and back, Schloss Dagstuhl, DE, March 2011, Co-Chair (with Dov Samet, Aviad Heifetz, Wojtek Jamroga)

Dix, Jürgen: International RuleML Symposium 2011, Barcelona, ES, July 2011, General Co-Chair (with Georg Gottlob)

Dix, Jürgen: CLIMA XI: Eleventh International Workshop on Computational Logic in Multi-Agent Systems, Lisbon, PT, September 2010, Co-Chair (with Joao Leite)

Dix, Jürgen: MATES: Eighth International Workshop on Multiagent System Technologies, Bielefeld, DE, September 2010, Co-Chair (with Cees Witteveen)

Dix, Jürgen: ProMAS '10: Seventh international Workshop on Programming Multi-Agent Systems , Toronto, CA, 2010, Co-Chair (with Rem Collier and Peter Novak)

Dix, Jürgen: Agent Contest: Multiagent Programming Contest, Hamburg, DE, September 2009, Co-Organizer (with Tristan Behrens, Mehdi Dastani, Michael Köster and Peter Novák)

Dix, Jürgen: CLIMA X: Tenth International Workshop on Computational Logic in Multi-Agent Systems, Hamburg, DE, September 2009, Co-Chair (with Michael Fisher and Peter Novak)

Dix, Jürgen: Dagstuhl Seminar: Programming Multiagent Systems, Schloss Dagstuhl, DE, September 2008, Co-Chair (with Rafael Bordini, Mehdi Dastani and Amal El Fallah Segrouchni)

Dix, Jürgen: Dagstuhl Seminar: Theory and Practice of Argumentation Systems, Schloss Dagstuhl, DE, January 2008, Co-Chair (with Simon Parsons, Henry Prakken and Guillermo Simari)

Dix, Jürgen: Dagstuhl Seminar: Planning in Multiagent Systems, Schloss Dagstuhl, DE, November 2008, Co-Chair (with Ed Durfee and Cees Witteveen)

Dix, Jürgen: Agent Contest: Multiagent Programming Contest, Budapest, HU, 2008, Co-Organizer (with Tristan Behrens, Mehdi Dastani and Peter Novák)

Dix, Jürgen: Agent Contest: Multiagent Programming Contest, Honolulu, HI, US, 2007, Co-Organizer (with Mehdi Dastani and Peter Novák)

Dix, Jürgen: NMR '06: Eleventh International Workshop on Non-Monotonic Reasoning, Lake District, UK, 2006, Co-Chair (with Anthony Hunter)

Dix, Jürgen: CLIMA Contest 2: The Second CLIMA Contest, Hakodate, JP, 2006, Co-Organizer (with Mehdi Dastani and Peter Novák)

Dix, Jürgen: FoIKS '06: Fourth International Symposium on Foundations of Information and Knowledge Systems, Budapest, HU, February 2006, Co-Chair (with Stephen Hegner)

Dix, Jürgen: ProMAS '06: Fourth international Workshop on Programming Multi-Agent Systems, Hakodate, JP, 2006, Co-Chair (with Rafael Bordini, Mehdi Dastani and Amal El Fallah Segrouchni)

Dix, Jürgen: ProMAS '05: Third international Workshop on Programming Multi-Agent Systems , Utrecht, NL, July 2005, Co-Chair (with Rafael Bordini, Mehdi Dastani and Amal El Fallah Segrouchni)

Dix, Jürgen: CLIMA Contest: The First CLIMA Contest, London, UK, June 2005, Co-Organizer (with Mehdi Dastani)

Dix, Jürgen: AAMAS '05: Doctoral Mentoring Programme, Utrecht, NL, January 2005, Chair

Dix, Jürgen: ProMAS '04: Second international Workshop on Programming Multi-Agent Systems , New York, US, July 2004, Co-Chair (with Rafael Bordini, Mehdi Dastani and Amal El Fallah Segrouchni)

Dix, Jürgen: Panel on Potential Areas for the Use of ASP (Workshop at JELIA '04), Lisbon, PT, September 2004, Co-Chair (with Gerd Brewka and Thomas Eiter)

Dix, Jürgen: CLIMA IV: Fourth International Workshop on Computational Logic in Multi-Agent Systems, Fort Lauderdale, FL, USA, January 2004, Co-Chair (with João Leite)

Dix, Jürgen: Dagstuhl Seminar 04171: Logic Based Information Agents, Schloss Dagstuhl, DE, April 2004, Co-Chair (with Thomas Eiter and Enrico Franconi)

Dix, Jürgen: ProMAS '03: First international Workshop on Programming Multi-Agent Systems , Melbourne, AU, July 2003, Co-Chair (with Mehdi Dastani, David Kinny and Amal El Fallah Segrouchni)

Dix, Jürgen: LBAI '03: Logic-Based Agent Implementation (An AgentLink/CologNet Symposium), Barcelona, ES, February 2003, Co-Chair (with Michael Fisher)

Dix, Jürgen: CLIMA '02: Second International Workshop on Computational Logic in Multi-Agent Systems, København, DK, August 2002, Co-Chair (with Ken Satoh)

Dix, Jürgen: CLIMA '02: Third International Workshop on Computational Logic in Multi-Agent Systems, Copenhagen, DK, August 2002, Co-Chair (with João Leite and Ken Satoh)

Dix, Jürgen: Dagstuhl Seminar 02481: Programming Multi Agent Systems based on Logic, Schloss Dagstuhl, DE, November 2002, Co-Chair (with Michael Fisher)

Dix, Jürgen: Inference-Mechanisms in Knowledge-Based-Systems: Theory and Applications (WS at KI '98), Dresden, DE, September 1998, Co-Chair (with Steffen Hoelldobler)

Dix, Jürgen: JELIA '98: 6th European Workshop on Logics in AI, Schloss Dagstuhl, DE, 1998, Chair

Dix, Jürgen: Logic Programming Track (at NMR '98), Trento, IT, 1998, Co-Chair (with Jorge Lobo)

Dix, Jürgen: JELIA '97: 6th European Workshop on Logics in AI, Schloss Dagstuhl, DE, July 1997, Co-Chair (with Ulrich Furbach)

Dix, Jürgen: Inferencesystems from a logical and a cognitive viewpoint (WS at KI '97), Freiburg, DE, September 1997, Co-Chair (with Ulrich Furbach, Simone Pribbenow and Ulrich Schlieder)

Dix, Jürgen: Logic Programming and Knowledge Representation (WS at ILPS '97), Port Jefferson, USA, 1997, Co-Chair (with Luis Pereira and Teodor Przymusinski)

Dix, Jürgen: Non-Monotonic Extensions of Logic Programming: Theory, Applications and Implementations (WS at JICSLP '96), Bonn, DE, September 1996, Co-Chair (with Luis Pereira and Teodor Przymusinski)

Dix, Jürgen: Dagstuhl Seminar 9627: Disjunctive Logic Programming and Databases: Nonmonotonic Aspects, Schloss Dagstuhl, DE, July 1996, Co-Chair (with Donald Loveland and David Warren)

Dix, Jürgen: Non-Monotonic Extensions of Logic Programming: Theory, Applications and Implementations (WS at ICLP '94), Santa Margherita Ligure, IT, June 1994, Co-Chair (with Luis Pereira and Teodor Przymusinski)

PC-Member (188)

Dix, Jürgen: LAM 2013: Sixth International Workshop on Logics, Agents, and Mobility, Exeter, UK, 2013

Dix, Jürgen: AAMAS 2013: International Conference on Autonomous Agents and Multi-Agent Systems, Saint Paul, Minnesota, USA, 2013

Dix, Jürgen: ICJAI 2013: International Joint Conference on Artificial Intelligence, Beijing, China, 2013

Dix, Jürgen: LPNMR '13: Logic Programming and Nonmonotonic Reasoning, Corunna, ES, September 2013

Dix, Jürgen: MATES '13: Eleventh German Conference on Multiagent System Technologies, Koblenz, DE, September 2013

Dix, Jürgen: EMAS '13: First international Workshop on Engineering Multi-Agent Systems , Saint Paul, Minnesota, US, 2013

Dix, Jürgen: SUM '13: Seventh International Conference on Scalable Uncertainty Management, Washington DC, USA, September 2013

Dix, Jürgen: WLP 2013: 27th Workshop on Logic Programming, Kiel, DE, September 2013

Dix, Jürgen: MIWAI '13: The Seventh Multi-Disciplinary Workshop on Artificial Intelligence, Krabi, Thailand, 2013

Dix, Jürgen: AT '13: Second International Conference on Agreement Technologies, Beijing, CN, August 2013

Dix, Jürgen: ICAART '12: Fourth International Conference on Agents and Artificial Intelligence, Vilamoura, PT, February 2012

Dix, Jürgen: Student Session of the 12th European Agent Systems Summer School (EASSS 2012), Valencia, Spain, 2012

Dix, Jürgen: CLIMA XIII: 13th International Workshop on Computational Logic in Multi-Agent Systems, Montpellier, France, 2012

Dix, Jürgen: NMR '12: Fourteenth International Workshop on Non-Monotonic Reasoning, Rome, IT, June 2012

Dix, Jürgen: COMMA '12: Fourth International Conference on Computational Models of Argument, University of Vienna, AU, September 2012

Dix, Jürgen: RuleML '12: Fourth International Symposium on Rules and Rule Markup Languages for the Semantic Web, Montpellier, FR, August 2012

Dix, Jürgen: LAMAS 2012: 5th International Workshop on Logical Aspects of Multi-Agent Systems, Valencia, Spain, 2012

Dix, Jürgen: SUM '12: Sixth International Conference on Scalable Uncertainty Management, Marburg, DE, September 2012

Dix, Jürgen: EUMAS '12: Tenth European Workshop on Multi-Agent Systems, Dublin, IE, November 2012

Dix, Jürgen: FoIKS '12: International Symposium on Foundations of Information and Knowledge Systems, Kiel, DE, March 2012

Dix, Jürgen: Workshop on Logics for Agents and Mobility, Logic in Computer Science, Hamburg, DE, June 2012

Dix, Jürgen: MATES '12: Tenth German Conference on Multiagent System Technologies, Trier, DE, 2012

Dix, Jürgen: MIWAI '12: The Sixth Multi-Disciplinary Workshop on Artificial Intelligence, Ho Chi Minh City, Vietnam, 2012

Dix, Jürgen: WLP 2012: 26th Workshop on Logic Programming, Bonn, DE, September 2012

Dix, Jürgen: AGERE '12: 2nd International Workshop on Programming based on Actors, Agents, and Decentralized Control , Tucson, AZ, USA, 2012

Dix, Jürgen: AT '12: First International Conference on Agreement Technologies, Dubrovnik, CR, 2012

Dix, Jürgen: DATALOG 2.0 2012, Vienna, AR, September 2012

Dix, Jürgen: LPNMR '11: Logic Programming and Nonmonotonic Reasoning, Vancouver, CA, 2011

Dix, Jürgen: SUM '11: Fifth International Conference on Scalable Uncertainty Management, Dayton, Ohio, US, April 2011

Dix, Jürgen: M4M '11: 7th workshop on Methods for Modalities, Osuna, ES, November 2011

Dix, Jürgen: KEOD '11: International Conference on Knowledge Engineering and Ontology Development, Paris, FR, 2011

Dix, Jürgen: WEBIST '11: 7th International Conference on Web Information Systems and Technologies, Noordwijkerhout, NL, 2011

Dix, Jürgen: CLIMA XII: Twelth International Workshop on Computational Logic in Multi-Agent Systems, Barcelona, ES, July 2011

Dix, Jürgen: Workshop on Logics for Agents and Mobility at CONCUR' 2011, Aachen, DE, September 2011

Dix, Jürgen: MIWAI '11: The Fifth Mahasarakham International Workshop on Artificial Intelligence 2011, Hyderabad, IN, 2011

Dix, Jürgen: EUMAS '11: Ninth European Workshop on Multi-Agent Systems, Maastricht, NL, November 2011

Dix, Jürgen: Workshop on Logics for Agents and Mobility, Logic in Computer Science (CONCUR '11), Aachen, DE, September 2011

Dix, Jürgen: 20th ACM International Conference on Information and Knowledge Management, Glasgow, UK, 2011

Dix, Jürgen: WLP 2011: 25th Workshop on Logic Programming, Vienna, AU, September 2011

Dix, Jürgen: INAP 2011: 19th International Conference on Applications of Declarative Programming and Knowledge Management, Vienna, AU, September 2011

Dix, Jürgen: DKB-2011: Third Workshop on Dynamics of Knowledge and Belief: Evolving Knowledge in Theory and Applications , berlin, DE, 2011

Dix, Jürgen: MATES '11: Ninth German Conference on Multiagent System Technologies, Berlin, DE, 2011

Dix, Jürgen: AGERE '11: First International Workshop on Programming based on Actors, Agents, and Decentralized Control , Portland, OR, USA, 2011

Dix, Jürgen: AAMAS '10: Tenth International Joint Conference on Autonomous Agents and Multiagent Systems, Toronto, CA, 2010

Dix, Jürgen: SUM '10: Fourth International Conference on Scalable Uncertainty Management, Toulouse, FR, September 2010

Dix, Jürgen: KR '10, Toronto, CA, 2010

Dix, Jürgen: COMMA '10: Third International Conference on Computational Models of Argument, University of Brescia, IT, September 2010

Dix, Jürgen: FoIKS '10: International Symposium on Foundations of Information and Knowledge Systems, Sofia, BG, February 2010

Dix, Jürgen: AAAI-10 Special Track on New Scientific and Technical Advances in Research (Nectar), Atlanta, US, July 2010

Dix, Jürgen: Workshop on Logics for Agents and Mobility, Logic in Computer Science (LICS '10), Edinburgh, UK, July 2010

Dix, Jürgen: SBIA '10: 20th Brazilian Symposium on Artificial Intelligence, S�o Bernardo do Campo, BR, 2010

Dix, Jürgen: Workshop on Logics for Agents and Mobility, Logic in Computer Science (LICS '10), Edinburgh, UK, July 2010

Dix, Jürgen: ECAI 2010: The 19th European Conference on Artificial Intelligence, Lisbon, PT, September 2010

Dix, Jürgen: Sixth Workshop on Agents and Data Mining Interaction, Toronto, CA, 2010

Dix, Jürgen: 19th ACM International Conference on Information and Knowledge Management, Toronto, CA, 2010

Dix, Jürgen: LADS '10: Third International Workshop on LAnguages, methodologies and Development tools for multi-agent systemS, Lyon, FR, September 2010

Dix, Jürgen: RuleML '10: Fourth International Symposium on Rules and Rule Markup Languages for the Semantic Web, Washington, DC, US, 2010

Dix, Jürgen: KEOD '10: International Conference on Knowledge Engineering and Ontology Development, Valencia, ES, 2010

Dix, Jürgen: FoIKS '10: International Symposium on Foundations of Information and Knowledge Systems, Sofia, BU, March 2010

Dix, Jürgen: MICAI '10: Mexican International Conference on Artificial Intelligence, Pachuca, MX, November 2010

Dix, Jürgen: EUMAS '10: Eigth European Workshop on Multi-Agent Systems, Paris, FR, 2010

Dix, Jürgen: RuleML '10: Challenge on Modelling Rules in the Temporal and Geospatial Applications, Washington, DC, US, 2010

Dix, Jürgen: EASSS 2010: 12th European Agent Systems Summer School, Student session, Saint Etienne, FR, August 2010

Dix, Jürgen: MIWAI '10: The Fourth Mahasarakham International Workshop on Artificial Intelligence 2009, Mahasarakham, TH, 2010

Dix, Jürgen: ICAART '09: International Conference on Agents and Artificial Intelligence, Porto, PT, January 2009

Dix, Jürgen: RuleML '09 Challenge, Las Vegas, Nevada, US, November 2009

Dix, Jürgen: EASSS 2009: 11th European Agent Systems Summer School, Student session, Torino, IT, August 2009

Dix, Jürgen: MIWAI '09: The Third Mahasarakham International Workshop on Artificial Intelligence 2009, Mahasarakham, TH, 2009

Dix, Jürgen: RuleML '09: Third International Symposium on Rules and Rule Markup Languages for the Semantic Web, Las Vegas, Nevada, US, November 2009

Dix, Jürgen: LADS '09: Second International Workshop on LAnguages, methodologies and Development tools for multi-agent systemS, Torino, IT, September 2009

Dix, Jürgen: WLP 2009: 23rd Workshop on Logic Programming, Potsdam, DE, September 2009

Dix, Jürgen: AAMAS '09: Ninth International Joint Conference on Autonomous Agents and Multiagent Systems, Budapest, HU, 2009

Dix, Jürgen: KI2009: 32nd German Conference on Artificial Intelligence, WS on Relational approaches to knowledge representation and learning, Paderborn, DE, September 2009

Dix, Jürgen: CORE-8: 10th Conference on Computing, Mexico City, MX, 2009

Dix, Jürgen: KEOD '09: International Conference on Knowledge Engineering and Ontology Development, Madeira, PT, 2009

Dix, Jürgen: SUM '09: Third International Conference on Scalable Uncertainty Management, Washington, DC, USA, September 2009

Dix, Jürgen: Workshop on Multi-Agent Systems Technology and Semantics (MASTS '09), Bucharest, RO, 2009

Dix, Jürgen: EUMAS '09: Seventh European Workshop on Multi-Agent Systems, Ayia Napa, CY, 2009

Dix, Jürgen: Workshop on Logics for Agents and Mobility, Logic in Computer Science (LICS '09), Los Angeles, US, April 2009

Dix, Jürgen: Workshop on Logic and Agent Programming, 21st European Summer School in Logic, Language and Information (ESSLLI '09), Bordeaux, FR, July 2009

Dix, Jürgen: International Joint Conference on Artificial Intelligence, Pasadena (CA), US, July 2009

Dix, Jürgen: WEBIST '09: 5th International Conference on Web Information Systems and Technologies, Lisbon, PT, March 2009

Dix, Jürgen: MATES '09: Seventh German Conference on Multiagent System Technologies, Hamburg, DE, September 2009

Dix, Jürgen: CIC '09: 18th International Conference on Computing, Mexico City, MX, 2009

Dix, Jürgen: NMR '08: Twelth International Workshop on Non-Monotonic Reasoning, Sydney, AU, September 2008

Dix, Jürgen: SBIA '08: 19th Brazilian Symposium on Artificial Intelligence, Salvador, Bahia, BR, 2008

Dix, Jürgen: RuleML '08: Fourth International Conference on Rules and Rule Markup Languages for the Semantic Web, Orlando, Florida, USA, 2008

Dix, Jürgen: SUM '08: Second International Conference on Scalable Uncertainty Management, Naples, IT, 2008

Dix, Jürgen: RR2008: Second International Conference on Web Reasoning and Rule Systems, Karlsruhe, DE, 2008

Dix, Jürgen: JELIA '08: 11th European Conference on Logics in Artificial Intelligence, Dresden, DE, September 2008

Dix, Jürgen: FoIKS '08: International Symposium on Foundations of Information and Knowledge Systems, Pisa, IT, February 2008

Dix, Jürgen: AAMAS '08: Eigth International Joint Conference on Autonomous Agents and Multiagent Systems, Estoril, PT, 2008

Dix, Jürgen: AAAI '08: 23. AAAI Conference on Artificial Intelligence , Chicago, US, July 2008

Dix, Jürgen: WEBIST '08: 4th International Conference on Web Information Systems and Technologies, Funchal (Madeira), PT, 2008

Dix, Jürgen: KR 2008: Eleventh International Conference on Principles of Knowledge Representation and Reasoning, Sydney, AU, September 2008

Dix, Jürgen: CORE-7: 9th Conference on Computing, Mexico City, MX, 2008

Dix, Jürgen: WLP 2008: 22th Workshop on Logic Programming, Dresden, DE, September 2008

Dix, Jürgen: CLIMA 2008: Ninth Workshop on Computational Logic in Multi-Agent Systems, Dresden, DE, September 2008

Dix, Jürgen: EASSS 2008: 10th European Agent Systems Summer School, Student session, Lisbon, PT, 2008

Dix, Jürgen: MATES '08: Sixth German Conference on Multiagent System Technologies, Kaiserslautern, DE, September 2008

Dix, Jürgen: CITII '08: 6th International Conference on Intelligent and Information Technologies, Apizaco, Tlaxcala, MX, 2008

Dix, Jürgen: CIC '08: 17th International Conference on Computing, Mexico City, MX, 2008

Dix, Jürgen: CIS '08: International Conference on Computational Intelligence and Security , Suzhou, CN, 2008

Dix, Jürgen: EUMAS '08: Sixth European Workshop on Multi-Agent Systems, Bath, UK, 2008

Dix, Jürgen: MICAI '07: Mexican International Conference on Artificial Intelligence, Aguascalientes, MX, November 2007

Dix, Jürgen: SUM '07: First International Conference on Scalable Uncertainty Management, Washington, DC, USA, 2007

Dix, Jürgen: FAInt '07: Workshop on Foundations of Artificial Intelligence at KI '07, Osnabrück, DE, September 2007

Dix, Jürgen: LADS '07: First International Workshop on LAnguages, methodologies and Development tools for multi-agent systemS, Durham, UK, September 2007

Dix, Jürgen: MATES '07: Fifth German Conference on Multiagent System Technologies, Leipzig, DE, September 2007

Dix, Jürgen: KBR at KI '07: Workshop on Dynamics of Knowledge and Belief Representation, Osnabrück, DE, September 2007

Dix, Jürgen: ATPL at TABLEAUX '07: Workshop on Agents, Theorem Proving and Logic, Aix-en-Provence, FR, July 2007

Dix, Jürgen: LPNMR '07: Logic Programming and Nonmonotonic, Tempe, AZ, USA, 2007

Dix, Jürgen: ARGNMR '07: Argumentation and Nonmonotonic Reasoning, Tempe, AZ, USA, 2007

Dix, Jürgen: AAMAS '07: Sixth International Joint Conference on Autonomous Agents and Multiagent Systems, Honolulu, HI, US, 2007

Dix, Jürgen: The First International Workshop on Pattern Languages: Addressing Challenges (PLAC 2007), Montreal, CA, 2007

Dix, Jürgen: The First International Workshop on Unified Data Mining Engine: Addressing Challenges (UDME 2007), Montreal, CA, 2007

Dix, Jürgen: EUMAS '07: Fifth European Workshop on Multi-Agent Systems, Hammamet, TN, 2007

Dix, Jürgen: WLP 2007: 21th Workshop on Logic Programming, Würzburg, DE, September 2007

Dix, Jürgen: CIC '07: 16th International Conference on Computing, Mexico City, MX, November 2007

Dix, Jürgen: CACIC '07: XIII Argentine Congress on Computer Science, Corrientes and Resistencia, AR, 2007

Dix, Jürgen: WIAS '07: VIII Workshop of Intelligent Agents and Systems, Corrientes and Resistencia, AR, 2007

Dix, Jürgen: CIS '07: International Conference on Computational Intelligence and Security , Harbin, CN, 2007

Dix, Jürgen: MIWAI '07: Mahasarakham International Workshop on Artificial Intelligence 2007, Mahasarakham, TH, November 2007

Dix, Jürgen: RuleML '07: Third International Conference on Rules and Rule Markup Languages for the Semantic Web, Orlando, Florida, USA, 2007

Dix, Jürgen: MICAI '07: Mexican International Conference on Artificial Intelligence, Agualientes, MX, November 2007

Dix, Jürgen: EUMAS '06: Fourth European Workshop on Multi-Agent Systems, Lisbon, PT, 2006

Dix, Jürgen: MICAI '06: Mexican International Conference on Artificial Intelligence, Monterrey, MX, 2006

Dix, Jürgen: CIC '06: 15th International Conference on Computing, Mexico City, MX, November 2006

Dix, Jürgen: RuleML '06: Second International Conference on Rules and Rule Markup Languages for the Semantic Web, Athens, GA, USA, November 2006

Dix, Jürgen: CACIC '06: XII Argentine Congress on Computer Science, Potrero de los Funes, San Luis, AR, 2006

Dix, Jürgen: JELIA '06: 10th European Conference on Logics in Artificial Intelligence, Liverpool, UK, September 2006

Dix, Jürgen: ECAI 2006: The 17th European Conference on Artificial Intelligence, Riva del Garda, IT, August 2006

Dix, Jürgen: AAMAS '06: Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, Hakodate, JP, 2006

Dix, Jürgen: AMKM 2006: Agent Mediated Knowledge Management, Utrecht, NL, August 2006

Dix, Jürgen: CLIMA '06: Sixth Workshop on Computational Logic in Multi-Agent Systems, Hakodate, JP, 2006

Dix, Jürgen: WLP 2006: 20th Workshop on Logic Programming, Wien, AT, February 2006

Dix, Jürgen: FoIKS 2006: Foundations of Information and Knowledge Systems, Budapest, HU, February 2006

Dix, Jürgen: EUMAS 2005: Third European Workshop on Multi-Agent Systems, Bruxelles, BE, 2005

Dix, Jürgen: MICAI 2005: 4th Mexican International Conference on Artificial Intelligence, Monterrey, MX, November 2005

Dix, Jürgen: KI2005: 28th German Conference on Artificial Intelligence, Koblenz, DE, September 2005

Dix, Jürgen: 8th International Conference on Logic Programming and Nonmonotonic Reasoning, Cosenza, IT, September 2005

Dix, Jürgen: LCMAS 2005: 3rd international workshop on Logic and Communication in Multi-Agent Systems, Edinburgh, UK, August 2005

Dix, Jürgen: AMKM 2005: Agent Mediated Knowledge Management, Utrecht, NL, July 2005

Dix, Jürgen: AAMAS '05: Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, Utrecht, NL, July 2005

Dix, Jürgen: CLIMA VI: Sixth International Workshop on Computational Logic in Multi-Agent Systems, London, UK, June 2005

Dix, Jürgen: DALT 2005: Declarative Agent Languages and Technologies, Utrecht, NL, June 2005

Dix, Jürgen: SELMAS '05: Software Engineering for Large-Scale Multi-Agent Systems, St. Louis, MO, USA, 2005

Dix, Jürgen: EUMAS '04: Second European Workshop on Multi-Agent Systems, Barcelona, ES, 2004

Dix, Jürgen: IBERAMIA '04: Iberoamerican Conference on Artificial Intelligence, Puebla, MX, November 2004

Dix, Jürgen: ICLP '04: International Conference on Logic Programming, Saint-Malo, FR, September 2004

Dix, Jürgen: AAMAS '04: Third International Joint Conference on Autonomous Agents & Multi-Agent Systems, New York, NY, USA, July 2004

Dix, Jürgen: MICAI '04: Mexican International Conference on Artificial Intelligence, Mexico City, MX, March 2004

Dix, Jürgen: FoIKS '04: International Symposium on Foundations of Information and Knowledge Systems, Wien, AT, February 2004

Dix, Jürgen: LPNMR '04: Seventh International Conference on Logic Programming and Nonmonotonic Reasoning, Fort Lauderdale, FL, USA, January 2004

Dix, Jürgen: EUMAS '03, 1st European Workshop on Multiagent Systems, Oxford, UK, 2003

Dix, Jürgen: AAMAS '03, Second International Joint Conference on Autonomous Agents & Multi-Agent Systems, Melbourne, AU, July 2003

Dix, Jürgen: DALT 2003, First International Workshop on Declarative Agent Languages and Technologies, Melbourne, AU, July 2003

Dix, Jürgen: UKMAS '02, National Workshop on Multi Agent Systems, Liverpool, UK, 2002

Dix, Jürgen: JELIA '02, Journees Europeens de la Logique en Intelligence Artificielle, Cosenza, IT, September 2002

Dix, Jürgen: MoChArt '02, Workshop on Model Checking and AI, Lyon, FR, July 2002

Dix, Jürgen: AAMAS '02, First International Joint Conference on Autonomous Agents & Multi-Agent Systems, Bologna, IT, July 2002

Dix, Jürgen: MICAI '02, Mexican International Conference on Artificial Intelligence, Yucatan, MX, April 2002

Dix, Jürgen: FoIKS '02, International Symposium on Foundations of Information and Knowledge Systems, Bad Salzau, DE, February 2002

Dix, Jürgen: ICLP '01, International Conference on Logic Programming, Paphos, CY, 2001

Dix, Jürgen: UKMAS '01, National Workshop on Multi Agent Systems, Oxford, UK, 2001

Dix, Jürgen: LPAR '01, 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Havanna, CU, 2001

Dix, Jürgen: KI 2001, Joint German/Austrian Conference on Artificial Intelligence, Vienna, AT, September 2001

Dix, Jürgen: WFLP '01, International Workshop on Functional and (Constraint) Logic Programming, Kiel, DE, September 2001

Dix, Jürgen: CL 2000 - stream on Knowledge Representation and Reasoning, London, UK, September 2001

Dix, Jürgen: DGNMR '01: Dutch German Workshop on NMR, Potsdam, DE, April 2001

Dix, Jürgen: NMR 2000, Eighth Workshop on Nonmonotonic Reasoning, Breckenridge Resort, CO, USA, April 2000

Dix, Jürgen: CL 2000 - stream on Automated Deduction, London, UK, July 2000

Dix, Jürgen: CL 2000 - workshop on Computational Logic in Multi-Agent Systems, London, UK, July 2000

Dix, Jürgen: ICMAS 2000, Fourth International Conference on Multiagent Systems, Boston, MA, USA, July 2000

Dix, Jürgen: SEKE 2000, Twelfth International Conference on Software Engineering and Knowledge Engineering, Chicago, IL, USA, July 2000

Dix, Jürgen: WLP 2000, Workshop Logische Programmierung, Würzburg, DE, January 2000

Dix, Jürgen: DGNMR '99: Dutch German Workshop on NMR, Amsterdam, NL, March 1999

Dix, Jürgen: Workshop on Multi-Agent Systems in Logic Programming, Las Cruces, NM, USA, 1999

Dix, Jürgen: LPNMR '99, Fifth International Conference on Logic Programming and Nonmonotonic Reasoning, El Pasco, TX, USA, 1999

Dix, Jürgen: ICLP '99, International Conference on Logic Programming, La Cruces, NM, USA, November 1999

Dix, Jürgen: DEXA '99 Agent WS, Florence, IT, September 1999

Dix, Jürgen: JELIA '98, Journees Europeens de la Logique en Intelligence Artificielle, Dagstuhl, DE, 1998

Dix, Jürgen: JICSLP '98, Joint Conference and Symposium on Logic Programming, Manchester, UK, June 1998

Dix, Jürgen: KI '97, Jahrestagung fuer Kuenstliche Intelligenz, Freiburg, DE, September 1997

Dix, Jürgen: LPNMR '97, Fourth International Conference on Logic Programming and Nonmonotonic Reasoning, Dagstuhl, DE, July 1997

Dix, Jürgen: DGNMR '97, Saarbrücken, DE, February 1997

Dix, Jürgen: JICSLP '96, Joint Conference and Symposium on Logic Programming, Bad Honnef, DE, September 1996

Dix, Jürgen: FLAIRS '96 - Workshop on Controlling Search in Automated Reasoning Systems, Key West, FL, USA, January 1996

Evaluator (51)

Dix, Jürgen: Chetan Yadati Narashima: Coordinating Autonomous Planning and Scheduling., Delft University, January 2013, PhD External Examiner

Dix, Jürgen: Italian Ministry of Information, Rome, IT, September 2001-, Expert Evaluator

Dix, Jürgen: Finnish Academy of Science, Helsinki, FL, September 2004-, Expert Evaluator

Dix, Jürgen: EPSRC Research Council, The Engineering and Physical Sciences Research Council, Swindon, UK, 2006-, Expert Evaluator

Dix, Jürgen: Cost Action IC0801, Brussels, Belgium, June 2008-, Management Comittee Member (nominated by German Government)

Dix, Jürgen: DICODE, Luxemburg, LU, 2012, EU-ICT-FP7, Expert Evaluator

Dix, Jürgen: Michal Sindlar: In the Eye of the Beholder: Explaining Behavior through Mental State Abduction., Utrecht University, November 2011, PhD External Examiner

Dix, Jürgen: FSTC, University of Luxemburg, LU, 2011, Expert Evaluator

Dix, Jürgen: DICODE, Luxemburg, LU, 2011, EU-ICT-FP7, Expert Evaluator

Dix, Jürgen: Nils Bulling: Modelling and Verifying Abilities of rational Agents, Clausthal Univesity of Technology, Clausthal, DE, 2010, PhD (Erstgutachter)

Dix, Jürgen: Promotion to Assistant Professor, Delft University, The Netherlands, 2010, Expert Referee

Dix, Jürgen: Peter Novak: Behavioural State Machines Agent Programming and Engineering, Clausthal University of Technology, Clausthal, DE, September 2009, PhD (Erstgutachter)

Dix, Jürgen: Juan Carlos Acosta Guadarrama: Updates of Epistemic States, Clausthal Univesity of Technology, Clausthal, DE, 2009, PhD (Erstgutachter)

Dix, Jürgen: Michael Köhler-Bussmeier: Koordinierte Selbstorganisation und selbstorganisierte Koordination, Universität Hamburg, DE, March 2009, Expert Reviewer (Habilitation Thesis)

Dix, Jürgen: Wojtek Jamroga: Modeling, Verification, and Strategic Reasoning in Multi-Agent Systems, TU Clausthal, DE, March 2009, Expert Reviewer (Habilitation Thesis)

Dix, Jürgen: NSF: National Science Foundation, Robust Intelligence (RI) Division of Information and Intelligent Systems (IIS), July 2009, Expert Evaluator

Dix, Jürgen: NWO: The Netherlands Organisation for Scientific Research, Den Haag, NL, April 2009, Expert Evaluator

Dix, Jürgen: Netherlands Organisation for Scientific Research, NE, April 2009, Expert Evaluator

Dix, Jürgen: Marie Curie individual fellowship, Brussels, BE, August 2009, 7th Framework Program Electronic Proposal Submission Service (EPSS)

Dix, Jürgen: Strategic Objective ICT-2009.4., Brussels, BE, 2009, EU Framework 7, Expert Evaluator

Dix, Jürgen: Promotion to Full Professor, University of Aberdeen, UK, June 2009, Expert Referee

Dix, Jürgen: Promotion to Full Professor, New Mexico State University, Texas, US, September 2009, Expert Referee

Dix, Jürgen: Juan Carlos Nieves Sanchez: Modeling arguments and uncertain information - A non-monotonic reasoning approach., Universitat Polit�cnica de Catalunya, ES, April 2008, PhD External Reviewer

Dix, Jürgen: Gerhard Weiss: Agent Orientation in Computer Science, Johannes Kepler Universität Linz, AT, 2008, Expert Reviewer (Habilitation Thesis)

Dix, Jürgen: IWT: Research funding and innovation stimulation agency of the Flanders government, BE, April 2008, Expert Evaluator

Dix, Jürgen: Promotion to Reader, University of Aberdeen, UK, 2008, Expert Referee

Dix, Jürgen: Promotion to Teaching Fellow, University of Durham, UK, 2008, Expert Referee

Dix, Jürgen: Promotion to Reader, Imperial CollegeUK, March 2008, Expert Referee

Dix, Jürgen: Promotion to Senior Lecturer, University of Bath, UK, March 2008, Expert Referee

Dix, Jürgen: IWT: Research funding and innovation stimulation agency of the Flanders government, BE, March 2007, Expert Evaluator

Dix, Jürgen: ASPIC, Oxford, UK, March 2007, EU Framework 6, Expert Evaluator

Dix, Jürgen: FP7-ICT-2007-1, Brussels, BE, June 2007, EU Framework 7, Expert Evaluator

Dix, Jürgen: ASPIC, Final Evaluation, London, UK, September 2007, EU Framework 6, Expert Evaluator

Dix, Jürgen: Promotion to Associate Professor, Holon Institute of Technology, IL, August 2007, Expert Referee

Dix, Jürgen: Owen Cliffe: Specifying and Analysing Institutions in Multi-Agent Systems using Answer Set Programming., Bath, UK, 2006, PhD External Examiner

Dix, Jürgen: German Israeli Foundation for Scientific Research and Development, Tel Aviv, Israel, March 2006, Expert Evaluator

Dix, Jürgen: Research Council K.U.Leuven, Leuven, BE, 2006, Expert Evaluator

Dix, Jürgen: Promotion to Associate Professor, Texas State University, San Marcos, US, November 2006, Expert Referee

Dix, Jürgen: Promotion to Full Professor, Universite Paris 6, FR, April 2006, Expert Referee

Dix, Jürgen: Arianna Tocchio: Intelligent Agents in Computational Logic., Universitta degli Studi Dell Aquila, IT, 2005, PhD External Examiner

Dix, Jürgen: Yingqian Zhang: Fault-tolerant multi agent systems., The University of Manchester, Manchester, UK, November 2005, PhD External Examiner

Dix, Jürgen: ROYAL ACADEMY OF ENGINEERING/LEVERHULME TRUST, UK, 2005, Nominated Referee

Dix, Jürgen: Science and Technology Assistence Agency, Bratislava, SK, June 2005, Expert Evaluator

Dix, Jürgen: Promotion to Senior Lecturer, Imperial College, UK, February 2005, Expert Referee

Dix, Jürgen: Promotion to Associate Professor, University of Cyprus, CY, April 2005, Expert Referee

Dix, Jürgen: Ioannis Xanthakos: Integration of Information by Abduction., Imperial College, UK, January 2004, PhD External Examiner

Dix, Jürgen: FSTC, University of Luxemburg, LU, 2004, Expert Evaluator

Dix, Jürgen: NWO: The Netherlands Organisation for Scientific Research, Den Haag, NL, March 2004, Expert Evaluator

Dix, Jürgen: British Council in Poland, Warsaw, PL, March 2003, Expert Evaluator

Dix, Jürgen: Pablo Fillotrani: Semantics for Negation in Extended Logic Program., University del Sur, Bahia Blanca, AR, March 2001, PhD External Examiner

Dix, Jürgen: Wenjin Lue: Nonmonotonic Reasoning based on Minimal Models and its Implementation, University of Koblenz, Koblenz, DE, November 1998, PhD (Erstgutachter)

Invited (27)

Dix, Jürgen: Introduction to the modelling and verification of, and reasoning about multi-agent systems, EASSS '12: European Agent Systems Summer School, Valencia, Spain, 2012, Invited Lecturer

Dix, Jürgen: How to test and compare Multi-agent systems?, Nonmonotonic Reasoning and Action and Change (NRAC '11), Barcelona, ES, July 2011, Invited Talk (Conference)

Dix, Jürgen: Benchmarking our research, Nonmonotonic Reasoning and Action and Change (NRAC '11), Barcelona, ES, July 2011, Invited Panelist

Dix, Jürgen: Model Checking Temporal and Strategic Logic, EASSS '10: European Agent Systems Summer School, Saint-Etienne, FR, 2010, Invited Lecturer

Dix, Jürgen: Logic, Games and Argumentation, ICR Symposion on Games, Argumentation and Logic Programming, Luxemburg, LU, April 2009, Invited Talk (Symposium)

Dix, Jürgen: What Coalitions can achieve, EASSS '08: European Agent Systems Summer school, Lisbon, PT, August 2008, Invited Lecturer

Dix, Jürgen: Agents and Their Abilities, FOIKS '08, Pisa, IT, February 2008, Invited Talk (Conference)

Dix, Jürgen: Universit� Pierre et Marie Curie, LIP 6, Paris, FR, March 2007, Visiting Professor

Dix, Jürgen: Two Traditions: Logic Programming vs. Modal Logic, ESSLLI '07: European Summer School on Logic, Language and Information, Dublin, IR, August 2007, Invited Lecturer

Dix, Jürgen: Modal Logic of Agents, EASSS '07: European Agent Systems Summer school, Durham, UK, August 2007, Invited Lecturer

Dix, Jürgen: Model Checking Abilities of Agents: A Closer Look, Universit� Pierre et Marie Curie, Department of Computer Science, Paris, FR, March 2007, Invited Talk (Colloquium)

Dix, Jürgen: Heterogenous Temporal Probabilistic Programs, Universit� Pierre et Marie Curie, Seminaire Desir, Paris, FR, March 2007, Invited Talk (Colloquium)

Dix, Jürgen: What can agents achieve in multi-agent systems?, Department of Computer Science, University of Dortmund, DE, March 2007, Invited Talk (Colloquium)

Dix, Jürgen: Modal Logic of Agency, EASSS '06: European Agent Systems Summer school, Annecy, FR, July 2006, Invited Lecturer

Dix, Jürgen: Model Checking in Variants of ATL, Department of Computer Science, University of Bath, UK, 2006, Invited Talk (Colloquium)

Dix, Jürgen: The second CLIMA-Contest, AAMAS 06, The Future University, Hakodate, JP, 2006, Invited Talk

Dix, Jürgen: Combining Agents, Answer Sets and Planning, NICTA, Sidney, AU, 2003, Visiting Professor

Dix, Jürgen: Logic Based Agents, JELIA '02: 8th European Conference on Logics in Artificial Intelligence, Cosenza, IT, September 2002, Invited Talk (Conference)

Dix, Jürgen: Programming and Reasoning with Agents, ESSLLI '02: European Summer School on Logic, Language and Information, Trento, IT, August 2002, Invited Lecturer

Dix, Jürgen: Computational Logic and Heterogenous Agent Systems, LPNMR '01: Sixth International Conference on Logic Progrmming and Nonmonotonic Reasoning, Vienna, AT, September 2001, Invited Talk (Conference)

Dix, Jürgen: Multi-Agent Systems, Universidad Nacional del Sur, Bahia Blanca, AR, 2000, Visiting Professor

Dix, Jürgen: Heterogenous Agent Systems, CACIC '00: National Conference on Computer Science, Ushuaia, ARG, 2000, Invited Talk (Conference)

Dix, Jürgen: Data Structures and Algorithms (CMSC251), University of Maryland, College Park, USA, 1999, Visiting Professor

Dix, Jürgen: Knowledge Representation, Universidad Nacional del Sur, Bahia Blanca, AR, 1998, Visiting Professor

Dix, Jürgen: Knowledge Representation with Extended Logic Programs, ESSLLI '97: European Summer School on Logic, Language and Information, Aix-en-Provence, FR, August 1997, Invited Lecturer

Dix, Jürgen: Knowledge Representation with Logic Programs, ECAI '96: European Conference on Artificial Intelligence, Budapest, HU, August 1996, Invited Tutorial

Dix, Jürgen: Nonmonotonic Reasoning, Universite de Provence, Marseille, FR, March 1994, Visiting Professor

Visit (14)

Dix, Jürgen: Witteveen, Prof. Dr. Cees, Department of Computer Science, Delft University of Technology, NL, 2013

Dix, Jürgen: Witteveen, Prof. Dr. Cees, Department of Computer Science, Delft University of Technology, NL, 2011

Dix, Jürgen: van der Torre, Prof. Dr. Leendert, Department of Computer Science, University of Luxemburg, L, 2009

Dix, Jürgen: Segrouchni, Prof. Dr. Amal El Fallah, Department of Computer Science, University of Paris 7, FR, 2009

Dix, Jürgen: Witteveen, Prof. Dr. Cees, Department of Computer Science, Delft University of Technology, NL, 2009

Dix, Jürgen: Subrahmanian, Prof. Dr. VS, Department of Computer Science, University of Oxford, GB, 2008

Dix, Jürgen: Moraitis, Prof. Dr. Pavlos, Department of Computer Science, University of Paris 6, FR, 2008

Dix, Jürgen: Segrouchni, Prof. Dr. Amal El Fallah, Department of Computer Science, University of Paris 7, FR, 2008

Dix, Jürgen: Gottlob, Prof. Dr. Georg, Department of Computer Science, University of Oxford, GB, 2007

Dix, Jürgen: Kern-Isberner, Prof. Dr. G., Department of Computer Science, University of Dortmund, DE, 2007

Dix, Jürgen: Bockmayr, Prof. Dr. Alexander, Department of Computer Science, FU Berlin, DE, 2007

Dix, Jürgen: Brewka, Prof. Dr. Gerhard, Department of Computer Science, University of Leipzig, DE, 2007

Dix, Jürgen: Padget, Prof. Dr. G. Julian, Department of Computer Science, University of Bath, GB, 2006

Dix, Jürgen: de Vos, Dr. Marina, Department of Computer Science, University of Bath, GB, 2006

Member (5)

Dix, Jürgen: Technische Universität Clausthal, 2011-2014

Dix, Jürgen: Niedersächsische Technische Hochschule, 2011-2014

Dix, Jürgen: 2001 L Street, NW. Suite 700, Washington, DC 20036-4910, USA, 2004-

Dix, Jürgen: USA, 2004-

Dix, Jürgen: Favoritenstrasse, 1040 Wien, AT, 1996-

Lead Function (8)

Dix, Jürgen: Faculty 3, Clausthal University of Technology, DE, 2011-, Vice Dean of Faculty for Mathematics/Computer Science and Engineering

Dix, Jürgen: Clausthal University of Technology, DE, 2008-, Vertrauensdozent der Studienstiftung an der TU Clausthal

Dix, Jürgen: Clausthal University of Technology, DE, 2008-, Member of Lenkungskreis NTH, Area Computer Science

Dix, Jürgen: Faculty 3, Clausthal University of Technology, DE, 2008-2011, Dean of Faculty for Mathematics/Computer Science and Engineering

Dix, Jürgen: Clausthal University of Technology, DE, 2010, Studiendekan der NTH

Dix, Jürgen: Institut für Informatik, Clausthal University of Technology, DE, 2004-2008, Director of Institute for Informatics

Dix, Jürgen: Clausthal University of Technology, DE, 2007-2008, Chairman of the committee for W2-Professorship on Combinatorial Optimization

Dix, Jürgen: Clausthal University of Technology, DE, 2005-2006, Chairman of the committee for W3-Professorship on Databases and Information Systems

Show results as BibTeX-Code
 

Kontakt  Suche  Sitemap  Datenschutz  Imprint
© TU Clausthal 2016