|
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
|
