|
Behrens, T. and Dastani, M. and Dix, J. and H: The Multi-Agent Programming Contest, AI Magazine, Volume 33, 2012
|
|
Dix, J: Engineering Multi-Agent Systems (Dagstuhl Seminar 12342), Dagstuhl Reports, Volume 2, 2012
|
|
Behrens, Tristan and Dix, J: Editorial, Annals of Mathematics and Artificial Intelligence, Volume 61, Springer Netherlands, 2011
|
|
Behrens, Tristan and Hindriks, Koen and Dix, J: 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: Preface, Autonomous Agents and Multi-Agent Systems, Volume 23, 2011
|
 |
Dix, J: Preface to the special issue on computational logics in multi-agent systems, Annals of Mathematics and Artificial Intelligence, Volume 62, 2011
|
|
Dix, J: Where Logic and Agents meet, Annals of Mathematics and Artificial Intelligence, Volume 61, 2011
|
|
Dix, J: Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101), Dagstuhl Reports, Volume 1, Schloss Dagstuhl-Leibniz-Zentrum f, Dagstuhl, Germany, 2011
|
|
Bassiliades, Nick and Governatori, Guido and Paschke, Adrian and Dix, J: 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: Editorial, Annals of Mathematics and Artificial Intelligence, Volume 59, Springer Netherlands, 2010
|
|
Behrens, Tristan and Dastani, Mehdi and Dix, J: 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
|
|
Behrens, Tristan and Dastani, Mehdi and Dix, J: The multi-agent programming contest from 2005-2010, Annals of Mathematics and Artificial Intelligence, Volume 59, Springer Netherlands, 2010
|
|
Bulling, Nils and Dix, J: Modelling and Verifying Coalitions using Argumentation and ATL, Inteligencia Artificial, Volume 14, 2010
|
|
Dix, J: Agenten als Goldgr, KI, Volume 23, 2009
|
|
Dix, J: Research challenges for argumentation, Computer Science - R&D, Volume 23, 2009
|
|
Dix, J: Agenten als Goldgr, KI - Zeitschrift K, Volume 23, 2009
|
|
Dix, J: Dagstuhl Manifesto, Informatik Spektrum, Volume 32, 2009
|
|
Behrens, Tristan and Dix, J: 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: Model Checking Abilities of Agents: A Closer Look, Theory of Computing Systems, Volume 42, Springer, 2008
|
|
Dix, J: Preface, Annals of Mathematics and Artificial Intelligence, Volume 50, 2007
|
|
Acosta Guadarrama, J. C. and Dix, J: 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: Super Logic Programs, ACM Transactions of Computational Logic, Volume 5, ACM Press, New York, 2004
|
|
Dix, J. and : Improving Performance of Heavily Loaded Agents, Annals of Mathematics and Artificial Intelligence, Volume 41, 2004
|
|
Dix, J: IMPACTing SHOP: Putting an AI Planner into a Multi-Agent Environment, Annals of Mathematics and Artificial Intelligence, Volume 37, 2003
|
|
Dix, J: Monitoring Agents using Declarative Planning, Fundamenta Informaticae, Volume 57, 2003
|
|
Dix, J: Relating Defeasible and Normal Logic Programming through Transformation Properties, Theoretical Computer Science, Volume 290, 2002
|
|
Schlechta, Karl and Dix, J: Explaining Updates by minimal Sums, Theoretical Computer Science, Volume 266, 2002
|
|
Brass, Stefan and Dix, J: Transformation-Based Bottom-Up Computation of the Well-Founded Model, Theory and Practice of Logic Programming, Volume 1, 2001
|
|
Brass, Stefan and Dix, J: On the Equivalence of the Static and Disjunctive Well-Founded Semantics and its Computation, Theoretical Computer Science, Volume 258, 2001
|
|
Dix, J: Temporal Agent Reasoning, Artificial Intelligence, Volume 127, 2001
|
|
Dix, J: A General Theory of Confluent Rewriting Systems for Logic Programming and its Applications, Annals of Pure and Applied Logic, Volume 108, 2001
|
|
Dix, J: Probabilistic Agent Reasoning, ACM Transactions of Computational Logic, Volume 1, ACM Press, New York, 2000
|
|
Dix, J: Meta Agent Programs, Journal of Logic Programming, Volume 46, Elsevier, 2000
|
|
Brass, Stefan and Dix, J: Semantics of (Disjunctive) Logic Programs Based on Partial Evaluation, Journal of Logic Programming, Volume 40, Elsevier, 1999
|
|
Brass, Stefan and Dix, J: Computation of the Semantics of Autoepistemic Belief Theories, Artificial Intelligence, Volume 112, 1999
|
|
Dix, J: 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: Automated Deduction: A technological point of view, KI, Volume 4, 1998
|
|
Brass, Stefan and Dix, J: Characterizations of the Disjunctive Well-founded Semantics: Confluent Calculi and Iterated GCWA, Journal of Automated Reasoning, Volume 20, 1998
|
|
Dix, J: The Logic Programming Paradigm, AI Communications, Volume 11, 1998
|
|
Dix, J: A Framework to incorporate Nonmonotonic Reasoning into Constraint Logic Programming, Journal of Logic Programming, Volume 37, Elsevier, 1998
|
|
Aravindan, Chandrabose and Dix, J: DisLoP: A Research Project on Disjunctive Logic Programming, AI Communications, Volume 10, 1997
|
|
Brass, Stefan and Dix, J: 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: Deduktion und Logisches Programmieren, KI, Volume 2, 1996
|
|
Dix, J: Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations, Fundamenta Informaticae, Volume XXVIII, 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: A Classification-Theory of Semantics of Normal Logic Programs: I. Strong Properties, Fundamenta Informaticae, Volume XXII(3), 1995
|
|
Dix, J: A Classification-Theory of Semantics of Normal Logic Programs: II. Weak Properties, Fundamenta Informaticae, Volume XXII(3), 1995
|
|
Dix, J: Detailed Report on the First LP & NMR Retreat, AI Communications, Volume 8, 1995
|
|
Dix, J: Detailed Report on the First LP & NMR Retreat, Computational Logic, Volume 2, 1995
|
|
Dix, J: Review on Marek/Truszscynski's Book ''Nonmonotonic Logic``, Bulletin of the IGPL, Volume 6, 1994
|
|
Dix, J: Herbrand's Theorem for Nonstandard Inference Operations, Journal of Logic and Computation, Volume 4, 1994
|
|
Dix, J: LP&NMR '93: Report on the Second International Workshop on Logic Programming and Non-Monotonic Reasoning, AI Communications, Volume 6, 1993
|
|
Dix, J: Herbrand's Theorem for Nonstandard Inference Operations, Journal of Symbolic Logic, Volume 58, 1993
|
|
Dix, J: Nichtmonotones Schliessen: Wieviel Nichtmonotonie ist n, Kognitionswissenschaft, Volume 3, 1993
|
|
Dix, J: The Relationship between KLM and MAK models for Nonmonotonic Inference Operations, Journal of Logic, Language and Information, Volume 1, 1992
|
 |
Behrens, T. and Dix, J. and K: Special Issue about Multi-Agent-Contest II, Annals of Mathematics and Artificial Intelligence, Volume 61, Springer, Netherlands, 2011
|
 |
Bordini, Rafael and Dastani, Mehdi and Dix, J: Special Issue on Multi-Agent Programming, Journal of Autonomous Agents and Multi-Agent Systems, Volume 23, Springer, 2011
|
|
Dix, J: Special Issue: Selected Papers of CLIMA 2010, Annals of Mathematics and Artificial Intelligence, Volume 62, Springer, 2011
|
 |
Bassiliades, Nick and Governatori, Guido and Paschke, Adrian and Dix, J: Special Issue on Rule Representation, Interchange, and Reasoning in Distributed, Heterogeneous Environments, IEEE Transactions of Knowledge and Data Engineering, Volume 22, IEEE, 2010
|
|
Behrens, T. and Dastani, M. and Dix, J. and K: Special Issue about Multi-Agent-Contest I, Annals of Mathematics and Artificial Intelligence, Volume 59, Springer, Netherlands, 2010
|
 |
Dix, J: Computational Logic and Multi-Agent Systems, Revised Selected and Invited Papers of CLIMA X, Lecture Notes in Computer Science, Volume 6214, Springer, 2010
|
 |
Dix, J: Multiagent System Technologies, 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings, Lecture Notes in Computer Science, Volume 6251, Springer, 2010
|
 |
Dix, J: 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
|
 |
Bordini, Rafael H. and Dastani, Mehdi and Dix, J: Multi-Agent Programming: Languages, Tools and Applications, Springer, Berlin, 2009
|
 |
Dix, J: Biennial Report 2006/2007 of the Department of Informatics at Clausthal University of Technology, Papierflieger Verlag GmbH, April 2008
|
 |
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
|
 |
Dix, J. and Hegner, S.: Special Issue about FOIKS 2006, Annals of Mathematics and Artificial Intelligence, Volume 50, Springer, Netherlands, 2007
|
 |
Brewka, Gerhard and Dix, J: Special Issue on Answer Set Programming, Annals of Mathematics and Artificial Intelligence, Volume 47, Springer, 2006
|
 |
Dix, J: Biennial Report 2004/2005 of the Department of Informatics at Clausthal University of Technology, Papierflieger Verlag GmbH, March 2006
|
 |
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
|
 |
Dix, J: Special Issue on Logic-Based Agent Programming, Annals of Mathematics and Artificial Intelligence, Volume 41, Springer, Netherlands, 2004
|
 |
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
|
 |
Dix, J: Special Issue on Computational Logic and Multi-Agency, Volume 37, Kluwer, 2003
|
 |
Dix, J: Special Issue on CLIMA: Computational Logic in Multi Agent Systems, Electronic Notes on Theoretical Computer Science, Volume 70, Elsevier Science Publishers, 2002
|
 |
Dix, J: Selected Papers of Logic in AI, Volume 27, Kluwer, 2000
|
 |
Subrahmanian, V. S. and Bonatti, Piero and Dix, J: Heterogenous Active Agents, MIT Press, 2000
|
 |
Dix, J: Special Issue on Logic Programming with Non-monotonic Semantics., Annals of Mathematics and Artificial Intelligence, Volume 25, Maltzer Science Publishers, 1999
|
 |
Brewka, Gerd and Dix, J: Nonmonotonic Reasoning: An Overview, CSLI Lecture Notes, Volume 73, CSLI Publications, Stanford, CA, 1997
|
|
Dix, J: Privacy Preservation Using Multi-context Systems and Default Logic, Lecture Notes in Computer Science, Volume 7265, Springer, 2012
|
|
Dix, J: 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: 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: 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: Modelling Coalitions: ATL + Argumentation, ACM Press, 2008
|
|
Bulling, Nils and Dix, J: A Finer Grained Modeling of Rational Coalitions Using Goals, Red UNCI, 2008
|
|
Dastani, Mehdi and Dix, J: Agent Contest Competition - 4th edition, LNAI, Volume 5442, Springer Verlag, 2008
|
|
Dastani, Mehdi and Dix, J: Agent Contest Competition - 3rd edition, Lecture Notes in Artificial Intelligence, Springer, 2008
|
|
Dix, J: Strategic Abilities of Agents, Lecture Notes in Computer Science, Volume 4932, Springer, 2008
|
|
Behrens, Tristan and Dix, J: Model Checking with Logic Based Petri Nets, Univesidade Do Porto, 2007
|
|
Behrens, Tristan and Dix, J: LTL Model Checking with Logic Based Petri Nets, Technical Report, Volume 434, University of W, 2007
|
|
Ches~nevar, C. and Dix, J. and Simari, G. and Maguitman, A. and Stolzenburg, F. and Jamroga, W. and G: Modelado de Inferencia y Preferencias en Sistemas Multiagentes utilizando Argumentacion, 2007
|
|
Dastani, Mehdi and Dix, J: The Second Contest on Multi-Agent Systems based on Computational Logic, Lecture Notes in Artificial Intelligence, Springer, 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: 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: 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
|
|
Acosta Guadarrama, J. C. and Dix, J. and Osorio, M. and Zacar: Updates in Answer Set Programming based on structural properties, Technical Report Series, TU Dresden, 2005
|
|
Dastani, Mehdi and Dix, J: 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: 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: Monitoring Agents using Declarative Planning, Lecture Notes in Artificial Intelligence, Volume 2821, Springer, 2003
|
|
Dix, J: Planning in Answer Set Programming using Ordered Task Decomposition, Lecture Notes in Artificial Intelligence, Volume 2821, Springer, 2003
|
|
Dix, J: Planning in a Multi-Agent Environment: Theory and Practice, ACM Press, 2002
|
|
Dix, J: Agents dealing with time and uncertainty, ACM Press, 2002
|
|
Dix, J: Theoretical and Empirical Aspects of a Planner in a Multi-Agent Environment, Lecture Notes in Artificial Intelligence, Volume 2424, Springer, 2002
|
|
Dix, J: A Computational Logic Approach to Heterogenous Agent Systems, Lecture Notes in Computer Science, Volume 1265, Springer, 2001
|
|
Ches~nevar, Carlos and Dix, J: Relating Defeasible and Normal Logic Programming through Transformation Properties, 2000
|
|
Dix, J: IMPACTing SHOP: Planning in a Multi-Agent Environment, Imperial College, 2000
|
|
Dix, J: Explaining Updates by minimal Sums, Lecture Notes in Computer Science, Volume 1738, Springer, 1999
|
|
Dix, J: Automating Defeasible Reasoning with Logic Programming, 1999
|
|
Brass, Stefan and Dix, J: A Comparison of the Static and the Disjunctive Well-founded Semantics and its Implementation, Morgan Kaufmann, 1998
|
|
Aravindan, Chandrabose and Dix, J: DisLoP: Towards a Disjunctive Logic Programming System, Lecture Notes in Artificial Intelligence, Volume 1265, Springer, 1997
|
|
Brass, Stefan and Dix, J: Comparison and Efficient Computation of the Static and the Disjunctive WFS, Max Planck Institute for Computer Science, Saarbr, 1997
|
|
Dix, J: Provability Closures in Logic Programming, 1997
|
|
Dix, J: Prolegomena to Logic Programming for Non-Monotonic Reasoning, Lecture Notes in Artificial Intelligence, Volume 1216, Springer, 1997
|
|
Dix, J: Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming (Preliminary Report), Lecture Notes in Artificial Intelligence, Volume 1216, Springer, 1997
|
|
Dix, J: On Well-Behaved Semantics Suitable for Aggregation, MIT Press, 1997
|
|
Aravindan, Chandrabose and Baumgartner, Peter and Dix, J: On merging theorem proving and logic programming paradigms, MIT Press, 1996
|
|
Aravindan, Chandrabose and Baumgartner, Peter and Dix, J: On merging theorem proving and logic programming paradigms, GMD-Studien Nr. 296, 1996
|
|
Brass, Stefan and Dix, J: Characterizing D-WFS: Confluence and Iterated GCWA, Lecture Notes in Artificial Intelligence, Volume 1126, Springer, 1996
|
|
Brass, Stefan and Dix, J: Super Logic Programs, Morgan Kaufmann, 1996
|
|
Brass, Stefan and Dix, J: Characterizations of the Stable Semantics by Partial Evaluation, Lecture Notes in Artificial Intelligence, Volume 928, Springer, 1995
|
 |
Brass, Stefan and Dix, J: A General Approach to Bottom-Up Computation of Disjunctive Semantics, Lecture Notes in Artificial Intelligence, Volume 927, Springer, 1995
|
|
Brass, Stefan and Dix, J: Disjunctive Semantics Based upon Partial and Bottom-Up Evaluation, MIT Press, 1995
|
|
Brass, Stefan and Dix, J: Computing Disjunctive Stable Semantics Based on Clark's Completed Database, 1994
|
|
Brass, Stefan and Dix, J: A Characterization of the Stable Semantics by Partial Evaluation, 1994
|
|
Brass, Stefan and Dix, J: A Disjunctive Semantics Based on Unfolding and Bottom-Up Evaluation, Springer, 1994
|
|
Dix, J: The Stable Semantics and its Variants: A Comparison of Recent Approaches, Lecture Notes in Artificial Intelligence, Volume 861, Springer, 1994
|
|
Dix, J: Causal Models for Disjunctive Logic Programs, MIT Press, 1994
|
|
Dix, J: An Axiomatic Framework for Representing and Characterizing Semantics of Disjunctive Logic Programs, MIT Press, 1994
|
|
Dix, J: Partial Evaluation and Relevance for Approximations of the Stable Semantics, Lecture Notes in Artificial Intelligence, Volume 869, Springer, 1994
|
|
Dix, J: Implementing Semantics for Disjunctive Logic Programs Using Fringes and Abstract Properties, MIT Press, 1993
|
|
Brewka, Gerd and Dix, J: A Tutorial on Nonmonotonic Reasoning, Lecture Notes in Artificial Intelligence, Volume 659, Springer, 1992
|
|
Dix, J: 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: A Framework for Representing and Characterizing Semantics of Logic Programs, Morgan Kaufmann, 1992
|
|
Dix, J: Default Theories of Poole-Type and a Method for Constructing Cumulative Versions of Default Logic, John Wiley & Sons, 1992
|
|
Dix, J: Classifying Semantics of Disjunctive Logic Programs, MIT Press, 1992
|
|
Dix, J: Classifying Semantics of Logic Programs, MIT Press, 1991
|
|
Dix, J: Modal Logics for AI Planning, Conf. Publ. No. 322, 1990
|
|
Dix, J: Cumulativity and Rationality in Semantics of Normal Logic Programs, Lecture Notes in Artificial Intelligence, Volume 543, Springer, 1990
|
|
Dix, J: Some Tendencies in Non Monotonic Reasoning: I. The Main Approaches, 1989
|
 |
Collier, Rem W. and Dix, J: 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
|
 |
Bordini, Rafael H. and Dastani, Mehdi and Dix, J: Programming Multi-Agent Systems, Fourth International Workshop, ProMAS 2006, Revised and Invited Papers, Lecture Notes in Computer Science, Volume 4411, Springer, Hakodate, Japan, 2007
|
 |
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
|
 |
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
|
 |
Dix, J: 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
|
 |
Dix, J: Abstracts Collection - Logic Based Information Agents, Dagstuhl Seminar Proceedings, Volume 4171, Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany, Dagstuhl, Germany, 2006
|
 |
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
|
 |
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
|
 |
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
|
 |
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
|
 |
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
|
 |
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
|
 |
Dix, J. and Farinas~del~Cerro, L. and Furbach, U.: Logics in Artificial Intelligence, Lecture Notes in Artificial Intelligence, Volume 1489, Springer, Berlin, 1998
|
 |
Dix, J. and Pereira, L. and Przymusinski, T.: Logic Programming and Knowledge Representation, Lecture Notes in Artificial Intelligence, Volume 1471, Springer, Berlin, 1998
|
 |
Dix, J. and Furbach, U. and Nerode, A.: Logic Programming and Nonmonotonic Reasoning, Lecture Notes in Artificial Intelligence, Volume 1265, Springer, Berlin, 1997
|
 |
Dix, J. and Pereira, L. and Przymusinski, T.: Non-Monotonic Extensions of Logic Programming, Lecture Notes in Artificial Intelligence, Volume 1216, Springer, Berlin, 1997
|
 |
Dix, J. and Pereira, L. and Przymusinski, T.: Non-Monotonic Extensions of Logic Programming, Lecture Notes in Artificial Intelligence, Volume 927, Springer, Berlin, 1995
|
 |
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
|
|
Behrens, Tristan and Dix, J: Multi-Agent Programming Contest 2011 Edition Documentation, 2012
|
|
Behrens, Tristan and Dix, J: Multi-Agent Programming Contest 2011 Edition Evaluation and Team Descriptions, 2012
|
|
Behrens, Tristan and Dastani, Mehdi and Dix, J: The Multi-Agent Programming Contest from 2005-2010: From Gold Collecting to Herding Cows, 2010
|
|
Dix, J: Where Logic and Agents Meet, 2010
|
|
Behrens, Tristan M. and Dix, J: The Environment Interface Standard for Agent-Oriented Programming Platform Integration Guide and Interface Implementation Guide, 2009
|
|
Behrens, Tristan M. and Dix, J: Towards an Environment Interface Standard for Agent-Oriented Programming, 2009
|
|
Dix, J: Proceedings of the 10th International Workshop on Computational Logic in Multi-Agent Systems 2009, 2009
|
|
Behrens, Tristan M. and Dix, J: Technical Foundations of the Agent Contest 2008, 2008
|
|
Bulling, Nils and Jamroga, Wojciech and Dix, J: Reasoning about Temporal Properties of Rational Play, 2008
|
|
Behrens, Tristan M. and Dix, J: LTL Model Checking with Logic Based Petri Nets, 2007
|
|
Behrens, Tristan M. and Dix, J: Model Checking with Logic Based Petri Nets, 2007
|
|
Dastani, Mehdi and Dix, J: 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: Theoretical foundations and practical applications of Heterogenous agent systems, 2002
|
|
Dix, J: Programming Multi Agent Systems based on Logic, 2002
|
|
Dix, J: Agents dealing with time and uncertainty, 2002
|
|
Dix, J: HTN planning in Answer Set Programming, 2002
|
|
Dix, J: Planning in a multi agent environment: Theory and Practice., 2002
|
|
Dix, J: IMPACT: A flexible framework for Multi-Agents., 2000
|
|
Dix, J: IMPACTing Shop: Foundations for Integrating HTN Planning and Multi Agency., 2000
|
|
Dix, J: Improving Performance of Heavily Loaded Agents, 2000
|
|
Dix, J: Temporal Agent Programs, 1999
|
|
Dix, J: Probabilistic Agent Reasoning, 1999
|
|
Dix, J: A General Theory of Confluent Rewriting Systems for Logic Programming and its Applications, 1999
|
|
Dix, J: Explaining Updates by minimal Sums, 1999
|
|
Dix, J: Meta-Agent Programs, 1999
|
|
Arrazola, J. and Dix, J: Well-behaved semantics for Logic Programming, 1998
|
|
Brass, Stefan and Dix, J: Transformation-Based Bottom-Up Computation of the Well-Founded Model, 1998
|
|
Brass, Stefan and Dix, J: Super Logic Programs, 1998
|
|
Dix, J: The Logic Programming Paradigm, 1998
|
|
Dix, J: Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations, 1998
|
|
Dix, J: Inference Mechanisms in Knowledge-Based Systems: Theory and Applications. Proceedings of a WS at KI '98, 1998
|
|
Dix, J: Logic Programming and Nonmonotonic Reasoning, 1998
|
|
Aravindan, Chandrabose and Dix, J: The DisLoP-Project, 1997
|
|
Arrazola, J. and Dix, J: Confluent Rewriting Systems for Logic Programming Semantics, 1997
|
|
Dix, J: Towards Well-Behaved Semantics Suitable for Aggregation, 1997
|
|
Dix, J: Logic Programming and Knowledge Representation, 1997
|
|
Brass, Stefan and Dix, J: A Comparison of Static Semantics and D-WFS, 1996
|
|
Brass, Stefan and Dix, J: Characterizations and Implementation of Static Semantics of Disjunctive Programs, 1996
|
|
Brewka, Gerhard and Dix, J: Knowledge Representation with Logic Programs, 1996
|
|
Brewka, Gerhard and Dix, J: Generalized Logic Programs and their use in Knowledge Representation: An introductory course, 1996
|
|
Dix, J: Disjunctive Logic Programming and Databases: Nonmonotonic Aspects, 1996
|
|
Dix, J. and Pereira, L. and Przymusinski, T.: Proceedings of Non-Monotonic Extensions of Logic Programming, 1996
|
|
Brass, Stefan and Dix, J: D-WFS: A Confluent Calculus and an Equivalent Characterization, 1995
|
|
Dix, J.: Disjunctive Deductive Databases: Theoetical Foundations and Operational Semantics, 1995
|
|
Dix, J: On Cumulativity in Default Logic and its Relation to Poole's Approach, 1991
|
|
Dix, J: A Note on the Relationship between KLM and MAK models for Nonmonotonic Inference Operations, 1991
|
|
Dix, J: KLM's Abschl, 1991
|
|
Dix, J: Some Tendencies in Non Monotonic Reasoning: I. The Main Approaches, 1990
|
|
Dix, J: Theorist und MVL: Erfahrungen und Hinweise im Umgang mit nichtmonotonen Beweissystemen, 1990
|
|
Dix, J: 1990
|
|
Dix, J: 1990
|
|
Dix, J: Logik und Spezifikation, 1988
|
|
Dix, J: Model Theory of (Ultra-) Metric Spaces, 1986
|
|
Dix, J: 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: Dagstuhl Seminar: Engineering Multiagent Sytems, Schloss Dagstuhl, DE, 2012, Co-Chair (with Koen Hindriks, Brian Logan and Wayne Wobcke)
|
|
Dix, J: 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: International RuleML Symposium 2011, Barcelona, ES, July 2011, General Co-Chair (with Georg Gottlob)
|
|
Dix, J: CLIMA XI: Eleventh International Workshop on Computational Logic in Multi-Agent Systems, Lisbon, PT, September 2010, Co-Chair (with Joao Leite)
|
|
Dix, J: MATES: Eighth International Workshop on Multiagent System Technologies, Bielefeld, DE, September 2010, Co-Chair (with Cees Witteveen)
|
|
Dix, J: ProMAS '10: Seventh international Workshop on Programming Multi-Agent Systems , Toronto, CA, 2010, Co-Chair (with Rem Collier and Peter Novak)
|
|
Dix, J: Agent Contest: Multiagent Programming Contest, Hamburg, DE, September 2009, Co-Organizer (with Tristan Behrens, Mehdi Dastani, Michael K
|
|
Dix, J: 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: Dagstuhl Seminar: Programming Multiagent Systems, Schloss Dagstuhl, DE, September 2008, Co-Chair (with Rafael Bordini, Mehdi Dastani and Amal El Fallah Segrouchni)
|
|
Dix, J: 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: Dagstuhl Seminar: Planning in Multiagent Systems, Schloss Dagstuhl, DE, November 2008, Co-Chair (with Ed Durfee and Cees Witteveen)
|
|
Dix, J: Agent Contest: Multiagent Programming Contest, Budapest, HU, 2008, Co-Organizer (with Tristan Behrens, Mehdi Dastani and Peter Nov
|
|
Dix, J: Agent Contest: Multiagent Programming Contest, Honolulu, HI, US, 2007, Co-Organizer (with Mehdi Dastani and Peter Nov
|
|
Dix, J: NMR '06: Eleventh International Workshop on Non-Monotonic Reasoning, Lake District, UK, 2006, Co-Chair (with Anthony Hunter)
|
|
Dix, J: CLIMA Contest 2: The Second CLIMA Contest, Hakodate, JP, 2006, Co-Organizer (with Mehdi Dastani and Peter Nov
|
|
Dix, J: FoIKS '06: Fourth International Symposium on Foundations of Information and Knowledge Systems, Budapest, HU, February 2006, Co-Chair (with Stephen Hegner)
|
|
Dix, J: 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: 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: CLIMA Contest: The First CLIMA Contest, London, UK, June 2005, Co-Organizer (with Mehdi Dastani)
|
|
Dix, J: AAMAS '05: Doctoral Mentoring Programme, Utrecht, NL, January 2005, Chair
|
|
Dix, J: 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: 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: CLIMA IV: Fourth International Workshop on Computational Logic in Multi-Agent Systems, Fort Lauderdale, FL, USA, January 2004, Co-Chair (with Jo
|
|
Dix, J: Dagstuhl Seminar 04171: Logic Based Information Agents, Schloss Dagstuhl, DE, April 2004, Co-Chair (with Thomas Eiter and Enrico Franconi)
|
|
Dix, J: 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: LBAI '03: Logic-Based Agent Implementation (An AgentLink/CologNet Symposium), Barcelona, ES, February 2003, Co-Chair (with Michael Fisher)
|
|
Dix, J: CLIMA '02: Second International Workshop on Computational Logic in Multi-Agent Systems, K, August 2002, Co-Chair (with Ken Satoh)
|
|
Dix, J: CLIMA '02: Third International Workshop on Computational Logic in Multi-Agent Systems, Copenhagen, DK, August 2002, Co-Chair (with Jo
|
|
Dix, J: Dagstuhl Seminar 02481: Programming Multi Agent Systems based on Logic, Schloss Dagstuhl, DE, November 2002, Co-Chair (with Michael Fisher)
|
|
Dix, J: Inference-Mechanisms in Knowledge-Based-Systems: Theory and Applications (WS at KI '98), Dresden, DE, September 1998, Co-Chair (with Steffen Hoelldobler)
|
|
Dix, J: JELIA '98: 6th European Workshop on Logics in AI, Schloss Dagstuhl, DE, 1998, Chair
|
|
Dix, J: Logic Programming Track (at NMR '98), Trento, IT, 1998, Co-Chair (with Jorge Lobo)
|
|
Dix, J: JELIA '97: 6th European Workshop on Logics in AI, Schloss Dagstuhl, DE, July 1997, Co-Chair (with Ulrich Furbach)
|
|
Dix, J: 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: Logic Programming and Knowledge Representation (WS at ILPS '97), Port Jefferson, USA, 1997, Co-Chair (with Luis Pereira and Teodor Przymusinski)
|
|
Dix, J: 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: 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: 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)
|
|
Dix, J: LAM 2013: Sixth International Workshop on Logics, Agents, and Mobility, Exeter, UK, 2013
|
|
Dix, J: AAMAS 2013: International Conference on Autonomous Agents and Multi-Agent Systems, Saint Paul, Minnesota, USA, 2013
|
|
Dix, J: ICJAI 2013: International Joint Conference on Artificial Intelligence, Beijing, China, 2013
|
|
Dix, J: LPNMR '13: Logic Programming and Nonmonotonic Reasoning, Corunna, ES, September 2013
|
|
Dix, J: MATES '13: Eleventh German Conference on Multiagent System Technologies, Koblenz, DE, September 2013
|
|
Dix, J: EMAS '13: First international Workshop on Engineering Multi-Agent Systems , Saint Paul, Minnesota, US, 2013
|
|
Dix, J: SUM '13: Seventh International Conference on Scalable Uncertainty Management, Washington DC, USA, September 2013
|
|
Dix, J: WLP 2013: 27th Workshop on Logic Programming, Kiel, DE, September 2013
|
|
Dix, J: MIWAI '13: The Seventh Multi-Disciplinary Workshop on Artificial Intelligence, Krabi, Thailand, 2013
|
|
Dix, J: AT '13: Second International Conference on Agreement Technologies, Beijing, CN, August 2013
|
|
Dix, J: ICAART '12: Fourth International Conference on Agents and Artificial Intelligence, Vilamoura, PT, February 2012
|
|
Dix, J: Student Session of the 12th European Agent Systems Summer School (EASSS 2012), Valencia, Spain, 2012
|
|
Dix, J: CLIMA XIII: 13th International Workshop on Computational Logic in Multi-Agent Systems, Montpellier, France, 2012
|
|
Dix, J: NMR '12: Fourteenth International Workshop on Non-Monotonic Reasoning, Rome, IT, June 2012
|
|
Dix, J: COMMA '12: Fourth International Conference on Computational Models of Argument, University of Vienna, AU, September 2012
|
|
Dix, J: RuleML '12: Fourth International Symposium on Rules and Rule Markup Languages for the Semantic Web, Montpellier, FR, August 2012
|
|
Dix, J: LAMAS 2012: 5th International Workshop on Logical Aspects of Multi-Agent Systems, Valencia, Spain, 2012
|
|
Dix, J: SUM '12: Sixth International Conference on Scalable Uncertainty Management, Marburg, DE, September 2012
|
|
Dix, J: EUMAS '12: Tenth European Workshop on Multi-Agent Systems, Dublin, IE, November 2012
|
|
Dix, J: FoIKS '12: International Symposium on Foundations of Information and Knowledge Systems, Kiel, DE, March 2012
|
|
Dix, J: Workshop on Logics for Agents and Mobility, Logic in Computer Science, Hamburg, DE, June 2012
|
|
Dix, J: MATES '12: Tenth German Conference on Multiagent System Technologies, Trier, DE, 2012
|
|
Dix, J: MIWAI '12: The Sixth Multi-Disciplinary Workshop on Artificial Intelligence, Ho Chi Minh City, Vietnam, 2012
|
|
Dix, J: WLP 2012: 26th Workshop on Logic Programming, Bonn, DE, September 2012
|
|
Dix, J: AGERE '12: 2nd International Workshop on Programming based on Actors, Agents, and Decentralized Control , Tucson, AZ, USA, 2012
|
|
Dix, J: AT '12: First International Conference on Agreement Technologies, Dubrovnik, CR, 2012
|
|
Dix, J: DATALOG 2.0 2012, Vienna, AR, September 2012
|
|
Dix, J: LPNMR '11: Logic Programming and Nonmonotonic Reasoning, Vancouver, CA, 2011
|
|
Dix, J: SUM '11: Fifth International Conference on Scalable Uncertainty Management, Dayton, Ohio, US, April 2011
|
|
Dix, J: M4M '11: 7th workshop on Methods for Modalities, Osuna, ES, November 2011
|
|
Dix, J: KEOD '11: International Conference on Knowledge Engineering and Ontology Development, Paris, FR, 2011
|
|
Dix, J: WEBIST '11: 7th International Conference on Web Information Systems and Technologies, Noordwijkerhout, NL, 2011
|
|
Dix, J: CLIMA XII: Twelth International Workshop on Computational Logic in Multi-Agent Systems, Barcelona, ES, July 2011
|
|
Dix, J: Workshop on Logics for Agents and Mobility at CONCUR' 2011, Aachen, DE, September 2011
|
|
Dix, J: MIWAI '11: The Fifth Mahasarakham International Workshop on Artificial Intelligence 2011, Hyderabad, IN, 2011
|
|
Dix, J: EUMAS '11: Ninth European Workshop on Multi-Agent Systems, Maastricht, NL, November 2011
|
|
Dix, J: Workshop on Logics for Agents and Mobility, Logic in Computer Science (CONCUR '11), Aachen, DE, September 2011
|
|
Dix, J: 20th ACM International Conference on Information and Knowledge Management, Glasgow, UK, 2011
|
|
Dix, J: WLP 2011: 25th Workshop on Logic Programming, Vienna, AU, September 2011
|
|
Dix, J: INAP 2011: 19th International Conference on Applications of Declarative Programming and Knowledge Management, Vienna, AU, September 2011
|
|
Dix, J: DKB-2011: Third Workshop on Dynamics of Knowledge and Belief: Evolving Knowledge in Theory and Applications , berlin, DE, 2011
|
|
Dix, J: MATES '11: Ninth German Conference on Multiagent System Technologies, Berlin, DE, 2011
|
|
Dix, J: AGERE '11: First International Workshop on Programming based on Actors, Agents, and Decentralized Control , Portland, OR, USA, 2011
|
|
Dix, J: AAMAS '10: Tenth International Joint Conference on Autonomous Agents and Multiagent Systems, Toronto, CA, 2010
|
|
Dix, J: SUM '10: Fourth International Conference on Scalable Uncertainty Management, Toulouse, FR, September 2010
|
|
Dix, J: KR '10, Toronto, CA, 2010
|
|
Dix, J: COMMA '10: Third International Conference on Computational Models of Argument, University of Brescia, IT, September 2010
|
|
Dix, J: FoIKS '10: International Symposium on Foundations of Information and Knowledge Systems, Sofia, BG, February 2010
|
|
Dix, J: AAAI-10 Special Track on New Scientific and Technical Advances in Research (Nectar), Atlanta, US, July 2010
|
|
Dix, J: Workshop on Logics for Agents and Mobility, Logic in Computer Science (LICS '10), Edinburgh, UK, July 2010
|
|
Dix, J: SBIA '10: 20th Brazilian Symposium on Artificial Intelligence, S?o Bernardo do Campo, BR, 2010
|
|
Dix, J: Workshop on Logics for Agents and Mobility, Logic in Computer Science (LICS '10), Edinburgh, UK, July 2010
|
|
Dix, J: ECAI 2010: The 19th European Conference on Artificial Intelligence, Lisbon, PT, September 2010
|
|
Dix, J: Sixth Workshop on Agents and Data Mining Interaction, Toronto, CA, 2010
|
|
Dix, J: 19th ACM International Conference on Information and Knowledge Management, Toronto, CA, 2010
|
|
Dix, J: LADS '10: Third International Workshop on LAnguages, methodologies and Development tools for multi-agent systemS, Lyon, FR, September 2010
|
|
Dix, J: RuleML '10: Fourth International Symposium on Rules and Rule Markup Languages for the Semantic Web, Washington, DC, US, 2010
|
|
Dix, J: KEOD '10: International Conference on Knowledge Engineering and Ontology Development, Valencia, ES, 2010
|
|
Dix, J: FoIKS '10: International Symposium on Foundations of Information and Knowledge Systems, Sofia, BU, March 2010
|
|
Dix, J: MICAI '10: Mexican International Conference on Artificial Intelligence, Pachuca, MX, November 2010
|
|
Dix, J: EUMAS '10: Eigth European Workshop on Multi-Agent Systems, Paris, FR, 2010
|
|
Dix, J: RuleML '10: Challenge on Modelling Rules in the Temporal and Geospatial Applications, Washington, DC, US, 2010
|
|
Dix, J: EASSS 2010: 12th European Agent Systems Summer School, Student session, Saint Etienne, FR, August 2010
|
|
Dix, J: MIWAI '10: The Fourth Mahasarakham International Workshop on Artificial Intelligence 2009, Mahasarakham, TH, 2010
|
|
Dix, J: ICAART '09: International Conference on Agents and Artificial Intelligence, Porto, PT, January 2009
|
|
Dix, J: RuleML '09 Challenge, Las Vegas, Nevada, US, November 2009
|
|
Dix, J: EASSS 2009: 11th European Agent Systems Summer School, Student session, Torino, IT, August 2009
|
|
Dix, J: MIWAI '09: The Third Mahasarakham International Workshop on Artificial Intelligence 2009, Mahasarakham, TH, 2009
|
|
Dix, J: RuleML '09: Third International Symposium on Rules and Rule Markup Languages for the Semantic Web, Las Vegas, Nevada, US, November 2009
|
|
Dix, J: LADS '09: Second International Workshop on LAnguages, methodologies and Development tools for multi-agent systemS, Torino, IT, September 2009
|
|
Dix, J: WLP 2009: 23rd Workshop on Logic Programming, Potsdam, DE, September 2009
|
|
Dix, J: AAMAS '09: Ninth International Joint Conference on Autonomous Agents and Multiagent Systems, Budapest, HU, 2009
|
|
Dix, J: KI2009: 32nd German Conference on Artificial Intelligence, WS on Relational approaches to knowledge representation and learning, Paderborn, DE, September 2009
|
|
Dix, J: CORE-8: 10th Conference on Computing, Mexico City, MX, 2009
|
|
Dix, J: KEOD '09: International Conference on Knowledge Engineering and Ontology Development, Madeira, PT, 2009
|
|
Dix, J: SUM '09: Third International Conference on Scalable Uncertainty Management, Washington, DC, USA, September 2009
|
|
Dix, J: Workshop on Multi-Agent Systems Technology and Semantics (MASTS '09), Bucharest, RO, 2009
|
|
Dix, J: EUMAS '09: Seventh European Workshop on Multi-Agent Systems, Ayia Napa, CY, 2009
|
|
Dix, J: Workshop on Logics for Agents and Mobility, Logic in Computer Science (LICS '09), Los Angeles, US, April 2009
|
|
Dix, J: Workshop on Logic and Agent Programming, 21st European Summer School in Logic, Language and Information (ESSLLI '09), Bordeaux, FR, July 2009
|
|
Dix, J: International Joint Conference on Artificial Intelligence, Pasadena (CA), US, July 2009
|
|
Dix, J: WEBIST '09: 5th International Conference on Web Information Systems and Technologies, Lisbon, PT, March 2009
|
|
Dix, J: MATES '09: Seventh German Conference on Multiagent System Technologies, Hamburg, DE, September 2009
|
|
Dix, J: CIC '09: 18th International Conference on Computing, Mexico City, MX, 2009
|
|
Dix, J: NMR '08: Twelth International Workshop on Non-Monotonic Reasoning, Sydney, AU, September 2008
|
|
Dix, J: SBIA '08: 19th Brazilian Symposium on Artificial Intelligence, Salvador, Bahia, BR, 2008
|
|
Dix, J: RuleML '08: Fourth International Conference on Rules and Rule Markup Languages for the Semantic Web, Orlando, Florida, USA, 2008
|
|
Dix, J: SUM '08: Second International Conference on Scalable Uncertainty Management, Naples, IT, 2008
|
|
Dix, J: RR2008: Second International Conference on Web Reasoning and Rule Systems, Karlsruhe, DE, 2008
|
|
Dix, J: JELIA '08: 11th European Conference on Logics in Artificial Intelligence, Dresden, DE, September 2008
|
|
Dix, J: FoIKS '08: International Symposium on Foundations of Information and Knowledge Systems, Pisa, IT, February 2008
|
|
Dix, J: AAMAS '08: Eigth International Joint Conference on Autonomous Agents and Multiagent Systems, Estoril, PT, 2008
|
|
Dix, J: AAAI '08: 23. AAAI Conference on Artificial Intelligence , Chicago, US, July 2008
|
|
Dix, J: WEBIST '08: 4th International Conference on Web Information Systems and Technologies, Funchal (Madeira), PT, 2008
|
|
Dix, J: KR 2008: Eleventh International Conference on Principles of Knowledge Representation and Reasoning, Sydney, AU, September 2008
|
|
Dix, J: CORE-7: 9th Conference on Computing, Mexico City, MX, 2008
|
|
Dix, J: WLP 2008: 22th Workshop on Logic Programming, Dresden, DE, September 2008
|
|
Dix, J: CLIMA 2008: Ninth Workshop on Computational Logic in Multi-Agent Systems, Dresden, DE, September 2008
|
|
Dix, J: EASSS 2008: 10th European Agent Systems Summer School, Student session, Lisbon, PT, 2008
|
|
Dix, J: MATES '08: Sixth German Conference on Multiagent System Technologies, Kaiserslautern, DE, September 2008
|
|
Dix, J: CITII '08: 6th International Conference on Intelligent and Information Technologies, Apizaco, Tlaxcala, MX, 2008
|
|
Dix, J: CIC '08: 17th International Conference on Computing, Mexico City, MX, 2008
|
|
Dix, J: CIS '08: International Conference on Computational Intelligence and Security , Suzhou, CN, 2008
|
|
Dix, J: EUMAS '08: Sixth European Workshop on Multi-Agent Systems, Bath, UK, 2008
|
|
Dix, J: MICAI '07: Mexican International Conference on Artificial Intelligence, Aguascalientes, MX, November 2007
|
|
Dix, J: SUM '07: First International Conference on Scalable Uncertainty Management, Washington, DC, USA, 2007
|
|
Dix, J: FAInt '07: Workshop on Foundations of Artificial Intelligence at KI '07, Osnabr, September 2007
|
|
Dix, J: LADS '07: First International Workshop on LAnguages, methodologies and Development tools for multi-agent systemS, Durham, UK, September 2007
|
|
Dix, J: MATES '07: Fifth German Conference on Multiagent System Technologies, Leipzig, DE, September 2007
|
|
Dix, J: KBR at KI '07: Workshop on Dynamics of Knowledge and Belief Representation, Osnabr, September 2007
|
|
Dix, J: ATPL at TABLEAUX '07: Workshop on Agents, Theorem Proving and Logic, Aix-en-Provence, FR, July 2007
|
|
Dix, J: LPNMR '07: Logic Programming and Nonmonotonic, Tempe, AZ, USA, 2007
|
|
Dix, J: ARGNMR '07: Argumentation and Nonmonotonic Reasoning, Tempe, AZ, USA, 2007
|
|
Dix, J: AAMAS '07: Sixth International Joint Conference on Autonomous Agents and Multiagent Systems, Honolulu, HI, US, 2007
|
|
Dix, J: The First International Workshop on Pattern Languages: Addressing Challenges (PLAC 2007), Montreal, CA, 2007
|
|
Dix, J: The First International Workshop on Unified Data Mining Engine: Addressing Challenges (UDME 2007), Montreal, CA, 2007
|
|
Dix, J: EUMAS '07: Fifth European Workshop on Multi-Agent Systems, Hammamet, TN, 2007
|
|
Dix, J: WLP 2007: 21th Workshop on Logic Programming, W, September 2007
|
|
Dix, J: CIC '07: 16th International Conference on Computing, Mexico City, MX, November 2007
|
|
Dix, J: CACIC '07: XIII Argentine Congress on Computer Science, Corrientes and Resistencia, AR, 2007
|
|
Dix, J: WIAS '07: VIII Workshop of Intelligent Agents and Systems, Corrientes and Resistencia, AR, 2007
|
|
Dix, J: CIS '07: International Conference on Computational Intelligence and Security , Harbin, CN, 2007
|
|
Dix, J: MIWAI '07: Mahasarakham International Workshop on Artificial Intelligence 2007, Mahasarakham, TH, November 2007
|
|
Dix, J: RuleML '07: Third International Conference on Rules and Rule Markup Languages for the Semantic Web, Orlando, Florida, USA, 2007
|
|
Dix, J: MICAI '07: Mexican International Conference on Artificial Intelligence, Agualientes, MX, November 2007
|
|
Dix, J: EUMAS '06: Fourth European Workshop on Multi-Agent Systems, Lisbon, PT, 2006
|
|
Dix, J: MICAI '06: Mexican International Conference on Artificial Intelligence, Monterrey, MX, 2006
|
|
Dix, J: CIC '06: 15th International Conference on Computing, Mexico City, MX, November 2006
|
|
Dix, J: RuleML '06: Second International Conference on Rules and Rule Markup Languages for the Semantic Web, Athens, GA, USA, November 2006
|
|
Dix, J: CACIC '06: XII Argentine Congress on Computer Science, Potrero de los Funes, San Luis, AR, 2006
|
|
Dix, J: JELIA '06: 10th European Conference on Logics in Artificial Intelligence, Liverpool, UK, September 2006
|
|
Dix, J: ECAI 2006: The 17th European Conference on Artificial Intelligence, Riva del Garda, IT, August 2006
|
|
Dix, J: AAMAS '06: Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, Hakodate, JP, 2006
|
|
Dix, J: AMKM 2006: Agent Mediated Knowledge Management, Utrecht, NL, August 2006
|
|
Dix, J: CLIMA '06: Sixth Workshop on Computational Logic in Multi-Agent Systems, Hakodate, JP, 2006
|
|
Dix, J: WLP 2006: 20th Workshop on Logic Programming, Wien, AT, February 2006
|
|
Dix, J: FoIKS 2006: Foundations of Information and Knowledge Systems, Budapest, HU, February 2006
|
|
Dix, J: EUMAS 2005: Third European Workshop on Multi-Agent Systems, Bruxelles, BE, 2005
|
|
Dix, J: MICAI 2005: 4th Mexican International Conference on Artificial Intelligence, Monterrey, MX, November 2005
|
|
Dix, J: KI2005: 28th German Conference on Artificial Intelligence, Koblenz, DE, September 2005
|
|
Dix, J: 8th International Conference on Logic Programming and Nonmonotonic Reasoning, Cosenza, IT, September 2005
|
|
Dix, J: LCMAS 2005: 3rd international workshop on Logic and Communication in Multi-Agent Systems, Edinburgh, UK, August 2005
|
|
Dix, J: AMKM 2005: Agent Mediated Knowledge Management, Utrecht, NL, July 2005
|
|
Dix, J: AAMAS '05: Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, Utrecht, NL, July 2005
|
|
Dix, J: CLIMA VI: Sixth International Workshop on Computational Logic in Multi-Agent Systems, London, UK, June 2005
|
|
Dix, J: DALT 2005: Declarative Agent Languages and Technologies, Utrecht, NL, June 2005
|
|
Dix, J: SELMAS '05: Software Engineering for Large-Scale Multi-Agent Systems, St. Louis, MO, USA, 2005
|
|
Dix, J: EUMAS '04: Second European Workshop on Multi-Agent Systems, Barcelona, ES, 2004
|
|
Dix, J: IBERAMIA '04: Iberoamerican Conference on Artificial Intelligence, Puebla, MX, November 2004
|
|
Dix, J: ICLP '04: International Conference on Logic Programming, Saint-Malo, FR, September 2004
|
|
Dix, J: AAMAS '04: Third International Joint Conference on Autonomous Agents & Multi-Agent Systems, New York, NY, USA, July 2004
|
|
Dix, J: MICAI '04: Mexican International Conference on Artificial Intelligence, Mexico City, MX, March 2004
|
|
Dix, J: FoIKS '04: International Symposium on Foundations of Information and Knowledge Systems, Wien, AT, February 2004
|
|
Dix, J: LPNMR '04: Seventh International Conference on Logic Programming and Nonmonotonic Reasoning, Fort Lauderdale, FL, USA, January 2004
|
|
Dix, J: EUMAS '03, 1st European Workshop on Multiagent Systems, Oxford, UK, 2003
|
|
Dix, J: AAMAS '03, Second International Joint Conference on Autonomous Agents & Multi-Agent Systems, Melbourne, AU, July 2003
|
|
Dix, J: DALT 2003, First International Workshop on Declarative Agent Languages and Technologies, Melbourne, AU, July 2003
|
|
Dix, J: UKMAS '02, National Workshop on Multi Agent Systems, Liverpool, UK, 2002
|
|
Dix, J: JELIA '02, Journees Europeens de la Logique en Intelligence Artificielle, Cosenza, IT, September 2002
|
|
Dix, J: MoChArt '02, Workshop on Model Checking and AI, Lyon, FR, July 2002
|
|
Dix, J: AAMAS '02, First International Joint Conference on Autonomous Agents & Multi-Agent Systems, Bologna, IT, July 2002
|
|
Dix, J: MICAI '02, Mexican International Conference on Artificial Intelligence, Yucatan, MX, April 2002
|
|
Dix, J: FoIKS '02, International Symposium on Foundations of Information and Knowledge Systems, Bad Salzau, DE, February 2002
|
|
Dix, J: ICLP '01, International Conference on Logic Programming, Paphos, CY, 2001
|
|
Dix, J: UKMAS '01, National Workshop on Multi Agent Systems, Oxford, UK, 2001
|
|
Dix, J: LPAR '01, 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Havanna, CU, 2001
|
|
Dix, J: KI 2001, Joint German/Austrian Conference on Artificial Intelligence, Vienna, AT, September 2001
|
|
Dix, J: WFLP '01, International Workshop on Functional and (Constraint) Logic Programming, Kiel, DE, September 2001
|
|
Dix, J: CL 2000 - stream on Knowledge Representation and Reasoning, London, UK, September 2001
|
|
Dix, J: DGNMR '01: Dutch German Workshop on NMR, Potsdam, DE, April 2001
|
|
Dix, J: NMR 2000, Eighth Workshop on Nonmonotonic Reasoning, Breckenridge Resort, CO, USA, April 2000
|
|
Dix, J: CL 2000 - stream on Automated Deduction, London, UK, July 2000
|
|
Dix, J: CL 2000 - workshop on Computational Logic in Multi-Agent Systems, London, UK, July 2000
|
|
Dix, J: ICMAS 2000, Fourth International Conference on Multiagent Systems, Boston, MA, USA, July 2000
|
|
Dix, J: SEKE 2000, Twelfth International Conference on Software Engineering and Knowledge Engineering, Chicago, IL, USA, July 2000
|
|
Dix, J: WLP 2000, Workshop Logische Programmierung, W, January 2000
|
|
Dix, J: DGNMR '99: Dutch German Workshop on NMR, Amsterdam, NL, March 1999
|
|
Dix, J: Workshop on Multi-Agent Systems in Logic Programming, Las Cruces, NM, USA, 1999
|
|
Dix, J: LPNMR '99, Fifth International Conference on Logic Programming and Nonmonotonic Reasoning, El Pasco, TX, USA, 1999
|
|
Dix, J: ICLP '99, International Conference on Logic Programming, La Cruces, NM, USA, November 1999
|
|
Dix, J: DEXA '99 Agent WS, Florence, IT, September 1999
|
|
Dix, J: JELIA '98, Journees Europeens de la Logique en Intelligence Artificielle, Dagstuhl, DE, 1998
|
|
Dix, J: JICSLP '98, Joint Conference and Symposium on Logic Programming, Manchester, UK, June 1998
|
|
Dix, J: KI '97, Jahrestagung fuer Kuenstliche Intelligenz, Freiburg, DE, September 1997
|
|
Dix, J: LPNMR '97, Fourth International Conference on Logic Programming and Nonmonotonic Reasoning, Dagstuhl, DE, July 1997
|
|
Dix, J: DGNMR '97, Saarbr, February 1997
|
|
Dix, J: JICSLP '96, Joint Conference and Symposium on Logic Programming, Bad Honnef, DE, September 1996
|
|
Dix, J: FLAIRS '96 - Workshop on Controlling Search in Automated Reasoning Systems, Key West, FL, USA, January 1996
|
|
Dix, J: Chetan Yadati Narashima: Coordinating Autonomous Planning and Scheduling., Delft University, January 2013, PhD External Examiner
|
|
Dix, J: Italian Ministry of Information, Rome, IT, September 2001-, Expert Evaluator
|
|
Dix, J: Finnish Academy of Science, Helsinki, FL, September 2004-, Expert Evaluator
|
|
Dix, J: EPSRC Research Council, The Engineering and Physical Sciences Research Council, Swindon, UK, 2006-, Expert Evaluator
|
|
Dix, J: Cost Action IC0801, Brussels, Belgium, June 2008-, Management Comittee Member (nominated by German Government)
|
|
Dix, J: DICODE, Luxemburg, LU, 2012, EU-ICT-FP7, Expert Evaluator
|
|
Dix, J: Michal Sindlar: In the Eye of the Beholder: Explaining Behavior through Mental State Abduction., Utrecht University, November 2011, PhD External Examiner
|
|
Dix, J: FSTC, University of Luxemburg, LU, 2011, Expert Evaluator
|
|
Dix, J: DICODE, Luxemburg, LU, 2011, EU-ICT-FP7, Expert Evaluator
|
|
Dix, J: Nils Bulling: Modelling and Verifying Abilities of rational Agents, Clausthal Univesity of Technology, Clausthal, DE, 2010, PhD (Erstgutachter)
|
|
Dix, J: Promotion to Assistant Professor, Delft University, The Netherlands, 2010, Expert Referee
|
|
Dix, J: Peter Novak: Behavioural State Machines Agent Programming and Engineering, Clausthal University of Technology, Clausthal, DE, September 2009, PhD (Erstgutachter)
|
|
Dix, J: Juan Carlos Acosta Guadarrama: Updates of Epistemic States, Clausthal Univesity of Technology, Clausthal, DE, 2009, PhD (Erstgutachter)
|
|
Dix, J: Michael K, Universit, March 2009, Expert Reviewer (Habilitation Thesis)
|
|
Dix, J: Wojtek Jamroga: Modeling, Verification, and Strategic Reasoning in Multi-Agent Systems, TU Clausthal, DE, March 2009, Expert Reviewer (Habilitation Thesis)
|
|
Dix, J: NSF: National Science Foundation, Robust Intelligence (RI) Division of Information and Intelligent Systems (IIS), July 2009, Expert Evaluator
|
|
Dix, J: NWO: The Netherlands Organisation for Scientific Research, Den Haag, NL, April 2009, Expert Evaluator
|
|
Dix, J: Netherlands Organisation for Scientific Research, NE, April 2009, Expert Evaluator
|
|
Dix, J: Marie Curie individual fellowship, Brussels, BE, August 2009, 7th Framework Program Electronic Proposal Submission Service (EPSS)
|
|
Dix, J: Strategic Objective ICT-2009.4., Brussels, BE, 2009, EU Framework 7, Expert Evaluator
|
|
Dix, J: Promotion to Full Professor, University of Aberdeen, UK, June 2009, Expert Referee
|
|
Dix, J: Promotion to Full Professor, New Mexico State University, Texas, US, September 2009, Expert Referee
|
|
Dix, J: 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: Gerhard Weiss: Agent Orientation in Computer Science, Johannes Kepler Universit, 2008, Expert Reviewer (Habilitation Thesis)
|
|
Dix, J: IWT: Research funding and innovation stimulation agency of the Flanders government, BE, April 2008, Expert Evaluator
|
|
Dix, J: Promotion to Reader, University of Aberdeen, UK, 2008, Expert Referee
|
|
Dix, J: Promotion to Teaching Fellow, University of Durham, UK, 2008, Expert Referee
|
|
Dix, J: Promotion to Reader, Imperial CollegeUK, March 2008, Expert Referee
|
|
Dix, J: Promotion to Senior Lecturer, University of Bath, UK, March 2008, Expert Referee
|
|
Dix, J: IWT: Research funding and innovation stimulation agency of the Flanders government, BE, March 2007, Expert Evaluator
|
|
Dix, J: ASPIC, Oxford, UK, March 2007, EU Framework 6, Expert Evaluator
|
|
Dix, J: FP7-ICT-2007-1, Brussels, BE, June 2007, EU Framework 7, Expert Evaluator
|
|
Dix, J: ASPIC, Final Evaluation, London, UK, September 2007, EU Framework 6, Expert Evaluator
|
|
Dix, J: Promotion to Associate Professor, Holon Institute of Technology, IL, August 2007, Expert Referee
|
|
Dix, J: Owen Cliffe: Specifying and Analysing Institutions in Multi-Agent Systems using Answer Set Programming., Bath, UK, 2006, PhD External Examiner
|
|
Dix, J: German Israeli Foundation for Scientific Research and Development, Tel Aviv, Israel, March 2006, Expert Evaluator
|
|
Dix, J: Research Council K.U.Leuven, Leuven, BE, 2006, Expert Evaluator
|
|
Dix, J: Promotion to Associate Professor, Texas State University, San Marcos, US, November 2006, Expert Referee
|
|
Dix, J: Promotion to Full Professor, Universite Paris 6, FR, April 2006, Expert Referee
|
|
Dix, J: Arianna Tocchio: Intelligent Agents in Computational Logic., Universitta degli Studi Dell Aquila, IT, 2005, PhD External Examiner
|
|
Dix, J: Yingqian Zhang: Fault-tolerant multi agent systems., The University of Manchester, Manchester, UK, November 2005, PhD External Examiner
|
|
Dix, J: ROYAL ACADEMY OF ENGINEERING/LEVERHULME TRUST, UK, 2005, Nominated Referee
|
|
Dix, J: Science and Technology Assistence Agency, Bratislava, SK, June 2005, Expert Evaluator
|
|
Dix, J: Promotion to Senior Lecturer, Imperial College, UK, February 2005, Expert Referee
|
|
Dix, J: Promotion to Associate Professor, University of Cyprus, CY, April 2005, Expert Referee
|
|
Dix, J: Ioannis Xanthakos: Integration of Information by Abduction., Imperial College, UK, January 2004, PhD External Examiner
|
|
Dix, J: FSTC, University of Luxemburg, LU, 2004, Expert Evaluator
|
|
Dix, J: NWO: The Netherlands Organisation for Scientific Research, Den Haag, NL, March 2004, Expert Evaluator
|
|
Dix, J: British Council in Poland, Warsaw, PL, March 2003, Expert Evaluator
|
|
Dix, J: Pablo Fillotrani: Semantics for Negation in Extended Logic Program., University del Sur, Bahia Blanca, AR, March 2001, PhD External Examiner
|
|
Dix, J: Wenjin Lue: Nonmonotonic Reasoning based on Minimal Models and its Implementation, University of Koblenz, Koblenz, DE, November 1998, PhD (Erstgutachter)
|
|
Dix, J: 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: 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: Benchmarking our research, Nonmonotonic Reasoning and Action and Change (NRAC '11), Barcelona, ES, July 2011, Invited Panelist
|
|
Dix, J: Model Checking Temporal and Strategic Logic, EASSS '10: European Agent Systems Summer School, Saint-Etienne, FR, 2010, Invited Lecturer
|
|
Dix, J: Logic, Games and Argumentation, ICR Symposion on Games, Argumentation and Logic Programming, Luxemburg, LU, April 2009, Invited Talk (Symposium)
|
|
Dix, J: What Coalitions can achieve, EASSS '08: European Agent Systems Summer school, Lisbon, PT, August 2008, Invited Lecturer
|
|
Dix, J: Agents and Their Abilities, FOIKS '08, Pisa, IT, February 2008, Invited Talk (Conference)
|
|
Dix, J: Universit? Pierre et Marie Curie, LIP 6, Paris, FR, March 2007, Visiting Professor
|
|
Dix, J: 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: Modal Logic of Agents, EASSS '07: European Agent Systems Summer school, Durham, UK, August 2007, Invited Lecturer
|
|
Dix, J: 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: Heterogenous Temporal Probabilistic Programs, Universit? Pierre et Marie Curie, Seminaire Desir, Paris, FR, March 2007, Invited Talk (Colloquium)
|
|
Dix, J: What can agents achieve in multi-agent systems?, Department of Computer Science, University of Dortmund, DE, March 2007, Invited Talk (Colloquium)
|
|
Dix, J: Modal Logic of Agency, EASSS '06: European Agent Systems Summer school, Annecy, FR, July 2006, Invited Lecturer
|
|
Dix, J: Model Checking in Variants of ATL, Department of Computer Science, University of Bath, UK, 2006, Invited Talk (Colloquium)
|
|
Dix, J: The second CLIMA-Contest, AAMAS 06, The Future University, Hakodate, JP, 2006, Invited Talk
|
|
Dix, J: Combining Agents, Answer Sets and Planning, NICTA, Sidney, AU, 2003, Visiting Professor
|
|
Dix, J: Logic Based Agents, JELIA '02: 8th European Conference on Logics in Artificial Intelligence, Cosenza, IT, September 2002, Invited Talk (Conference)
|
|
Dix, J: Programming and Reasoning with Agents, ESSLLI '02: European Summer School on Logic, Language and Information, Trento, IT, August 2002, Invited Lecturer
|
|
Dix, J: 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: Multi-Agent Systems, Universidad Nacional del Sur, Bahia Blanca, AR, 2000, Visiting Professor
|
|
Dix, J: Heterogenous Agent Systems, CACIC '00: National Conference on Computer Science, Ushuaia, ARG, 2000, Invited Talk (Conference)
|
|
Dix, J: Data Structures and Algorithms (CMSC251), University of Maryland, College Park, USA, 1999, Visiting Professor
|
|
Dix, J: Knowledge Representation, Universidad Nacional del Sur, Bahia Blanca, AR, 1998, Visiting Professor
|
|
Dix, J: 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: Knowledge Representation with Logic Programs, ECAI '96: European Conference on Artificial Intelligence, Budapest, HU, August 1996, Invited Tutorial
|
|
Dix, J: Nonmonotonic Reasoning, Universite de Provence, Marseille, FR, March 1994, Visiting Professor
|
|
Dix, J: Witteveen, Prof. Dr. Cees, Department of Computer Science, Delft University of Technology, NL, 2013
|
|
Dix, J: Witteveen, Prof. Dr. Cees, Department of Computer Science, Delft University of Technology, NL, 2011
|
|
Dix, J: van der Torre, Prof. Dr. Leendert, Department of Computer Science, University of Luxemburg, L, 2009
|
|
Dix, J: Segrouchni, Prof. Dr. Amal El Fallah, Department of Computer Science, University of Paris 7, FR, 2009
|
|
Dix, J: Witteveen, Prof. Dr. Cees, Department of Computer Science, Delft University of Technology, NL, 2009
|
|
Dix, J: Subrahmanian, Prof. Dr. VS, Department of Computer Science, University of Oxford, GB, 2008
|
|
Dix, J: Moraitis, Prof. Dr. Pavlos, Department of Computer Science, University of Paris 6, FR, 2008
|
|
Dix, J: Segrouchni, Prof. Dr. Amal El Fallah, Department of Computer Science, University of Paris 7, FR, 2008
|
|
Dix, J: Gottlob, Prof. Dr. Georg, Department of Computer Science, University of Oxford, GB, 2007
|
|
Dix, J: Kern-Isberner, Prof. Dr. G., Department of Computer Science, University of Dortmund, DE, 2007
|
|
Dix, J: Bockmayr, Prof. Dr. Alexander, Department of Computer Science, FU Berlin, DE, 2007
|
|
Dix, J: Brewka, Prof. Dr. Gerhard, Department of Computer Science, University of Leipzig, DE, 2007
|
|
Dix, J: Padget, Prof. Dr. G. Julian, Department of Computer Science, University of Bath, GB, 2006
|
|
Dix, J: de Vos, Dr. Marina, Department of Computer Science, University of Bath, GB, 2006
|
