Search the dblp DataBase
Jürgen Dix :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Jürgen Dix Classifying Semantics of Disjunctive Logic Programs. [Citation Graph (2, 0)][DBLP ] JICSLP, 1992, pp:798-812 [Conf ] Stefan Brass , Jürgen Dix Disjunctive Semantics based upon Partial and Bottom-Up Evaluation. [Citation Graph (2, 0)][DBLP ] ICLP, 1995, pp:199-213 [Conf ] Stefan Brass , Jürgen Dix , Teodor C. Przymusinski Super Logic Programs. [Citation Graph (1, 0)][DBLP ] KR, 1996, pp:529-540 [Conf ] Jürgen Dix A Framework for Representing and Characterizing Semantics of Logic Programs. [Citation Graph (1, 0)][DBLP ] KR, 1992, pp:591-602 [Conf ] Martin Müller , Jürgen Dix Implementing Semantics of Disjunctive Logic Programs Using Fringes and Abstract Properties (Extended Abstract). [Citation Graph (1, 0)][DBLP ] LPNMR, 1993, pp:43-59 [Conf ] Jürgen Dix A Classification Theory of Semantics of Normal Logic Programs: II. Weak Properties. [Citation Graph (1, 0)][DBLP ] Fundam. Inform., 1995, v:22, n:3, pp:257-288 [Journal ] Jürgen Dix , Joachim Posegga , Peter H. Schmitt Modal logics for AI planning. [Citation Graph (0, 0)][DBLP ] Expert Planning Systems, 1990, pp:157-162 [Conf ] Jürgen Dix , Sarit Kraus , V. S. Subrahmanian Agents dealing with time and uncertainty. [Citation Graph (0, 0)][DBLP ] AAMAS, 2002, pp:912-919 [Conf ] Jürgen Dix , Héctor Muñoz-Avila , Dana S. Nau , Lingling Zhang Planning in a multi-agent environment: theory and practice. [Citation Graph (0, 0)][DBLP ] AAMAS, 2002, pp:944-945 [Conf ] Peter Novák , Jürgen Dix Modular BDI architecture. [Citation Graph (0, 0)][DBLP ] AAMAS, 2006, pp:1009-1015 [Conf ] Jürgen Dix , Ugur Kuter , Dana S. Nau Planning in Answer Set Programming using Ordered Task Decomposition. [Citation Graph (0, 0)][DBLP ] We Will Show Them! (1), 2005, pp:521-576 [Conf ] Wojciech Jamroga , Jürgen Dix Turning Game Models Turn-Based for Model Checking Properties of Agents. [Citation Graph (0, 0)][DBLP ] BNAIC, 2005, pp:143-150 [Conf ] Wojciech Jamroga , Jürgen Dix Do Agents Make Model Checking Explode (Computationally)? [Citation Graph (0, 0)][DBLP ] CEEMAS, 2005, pp:398-407 [Conf ] Jürgen Dix , Héctor Muñoz-Avila , Dana S. Nau IMPACTing SHOP: Planning in a Multi-agent Environment. [Citation Graph (0, 0)][DBLP ] CL-2000 Workshop on Computational Logic in Multi-Agent Systems, 2000, pp:44-55 [Conf ] Mehdi Dastani , Jürgen Dix , Peter Novák The First Contest on Multi-agent Systems Based on Computational Logic. [Citation Graph (0, 0)][DBLP ] CLIMA VI, 2005, pp:373-384 [Conf ] Mehdi Dastani , Jürgen Dix , Peter Novák The Second Contest on Multi-Agent Systems Based on Computational Logic. [Citation Graph (0, 0)][DBLP ] CLIMA VII, 2006, pp:266-283 [Conf ] Jürgen Dix Default Theories of Poole-Type and a Method for constructing Cumulative Versions of Default Logic. [Citation Graph (0, 0)][DBLP ] ECAI, 1992, pp:289-293 [Conf ] Jürgen Dix , Karl Schlechta Explaining Updates by Minimal Sums. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1999, pp:142-154 [Conf ] Jürgen Dix , Frieder Stolzenburg , Guillermo Ricardo Simari , Pablo R. Fillottrani Automating Defeasible Reasoning with Logic Programming. [Citation Graph (0, 0)][DBLP ] German-Argentinian Workshop on Information Technology, 1999, pp:39-46 [Conf ] Stefan Brass , Jürgen Dix A Disjunctive Semantics Bases on Unfolding and Bottom-Up Evaluation. [Citation Graph (0, 0)][DBLP ] GI Jahrestagung, 1994, pp:83-91 [Conf ] Stefan Brass , Jürgen Dix Computing Disjunctive Stable Semantics Based on Clark's Completed Database. [Citation Graph (0, 0)][DBLP ] Grundlagen von Datenbanken, 1994, pp:30-34 [Conf ] Chandrabose Aravindan , Peter Baumgartner , Jürgen Dix , Ulrich Furbach , Gerd Neugebauer , Ilkka Niemelä , Dorothea Schäfer , Frieder Stolzenburg On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract). [Citation Graph (0, 0)][DBLP ] JICSLP, 1996, pp:546- [Conf ] Jürgen Dix , Georg Gottlob , V. Wiktor Marek Causal Models of Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP ] ICLP, 1994, pp:290-302 [Conf ] Jürgen Dix , Martin Müller Abstract Properties and Computational Complexity of Semantics for Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP ] Structural Complexity and Recursion-theoretic methods in Logic-Programming, 1992, pp:15-28 [Conf ] Jürgen Dix , Martin Müller An Axiomatic Approach to Semantics of Disjunctive Programs. [Citation Graph (0, 0)][DBLP ] ICLP, 1994, pp:303-320 [Conf ] Wojciech Jamroga , Jürgen Dix Model Checking Strategic Abilities of Agents Under Incomplete Information. [Citation Graph (0, 0)][DBLP ] ICTCS, 2005, pp:295-308 [Conf ] Jürgen Dix , Martin Müller Partial Evaluation and Relevance for Approximations of Stable Semantics. [Citation Graph (0, 0)][DBLP ] ISMIS, 1994, pp:511-520 [Conf ] Jürgen Dix , Héctor Muñoz-Avila , Dana S. Nau , Lingling Zhang Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment. [Citation Graph (0, 0)][DBLP ] JELIA, 2002, pp:173-185 [Conf ] Stefan Brass , Jürgen Dix Characterizing D-WFS: Confluence and Iterated GCWA. [Citation Graph (0, 0)][DBLP ] JELIA, 1996, pp:268-283 [Conf ] Jürgen Dix , Thomas Eiter , Michael Fink , Axel Polleres , Yingqian Zhang Monitoring Agents Using Declarative Planning. [Citation Graph (0, 0)][DBLP ] KI, 2003, pp:646-660 [Conf ] Jürgen Dix , Ugur Kuter , Dana S. Nau Planning in Answer Set Programming Using Ordered Task Decomposition. [Citation Graph (0, 0)][DBLP ] KI, 2003, pp:490-504 [Conf ] Jürgen Dix , Martin Müller The Stable Semantics and its Variants: A Comparison of Recent Approaches. [Citation Graph (0, 0)][DBLP ] KI, 1994, pp:82-93 [Conf ] Stefan Brass , Jürgen Dix , Ilkka Niemelä , Teodor C. Przymusinski A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation. [Citation Graph (0, 0)][DBLP ] KR, 1998, pp:74-85 [Conf ] Jürgen Dix Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview. [Citation Graph (0, 0)][DBLP ] Logic, Action, and Information, 1996, pp:241-327 [Conf ] Jürgen Dix , Wolfgang Faber , V. S. Subrahmanian The Relationship Between Reasoning About Privacy and Default Logics. [Citation Graph (0, 0)][DBLP ] LPAR, 2005, pp:637-650 [Conf ] Gerhard Brewka , Jürgen Dix Knowledge Representation with Logic Programs. [Citation Graph (0, 0)][DBLP ] LPKR, 1997, pp:1-51 [Conf ] Chandrabose Aravindan , Jürgen Dix , Ilkka Niemelä Dislop: Towards a Disjunctive Logic Programming System. [Citation Graph (0, 0)][DBLP ] LPNMR, 1997, pp:342-353 [Conf ] Stefan Brass , Jürgen Dix Characterizations of the Stable Semantics by Partial Evaluation. [Citation Graph (0, 0)][DBLP ] LPNMR, 1995, pp:85-98 [Conf ] Jürgen Dix A Computational Logic Approach to Heterogenous Agent Systems. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:1-20 [Conf ] Jürgen Dix Classifying Semantics of Logic Programs (Extended Abstract). [Citation Graph (0, 0)][DBLP ] LPNMR, 1991, pp:166-180 [Conf ] Jürgen Dix Some Tendencies in Non-monotonic Reasoning: 1. The main Approaches. [Citation Graph (0, 0)][DBLP ] Easter Conference on Model Theory, 1989, pp:81-105 [Conf ] Gerhard Brewka , Jürgen Dix , Kurt Konolige A Tutorial on Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Nonmonotonic and Inductive Logic, 1991, pp:1-88 [Conf ] Jürgen Dix Cumulativity and Rationality in Semantics of Normal Logic Programs. [Citation Graph (0, 0)][DBLP ] Nonmonotonic and Inductive Logic, 1990, pp:13-37 [Conf ] Stefan Brass , Jürgen Dix A general Approach to Bottom-Up Computation of Disjunctive Semantics. [Citation Graph (0, 0)][DBLP ] NMELP, 1994, pp:127-155 [Conf ] Jürgen Dix , Luís Moniz Pereira , Teodor C. Przymusinski Prolegomena to Logic Programming for Non-monotonic Reasoning. [Citation Graph (0, 0)][DBLP ] NMELP, 1996, pp:1-36 [Conf ] Jürgen Dix , Frieder Stolzenburg Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] NMELP, 1996, pp:202-224 [Conf ] Jürgen Dix , Mauricio Osorio On Well-Behaved Semantics Suitable for Aggregation. [Citation Graph (0, 0)][DBLP ] ILPS, 1997, pp:405- [Conf ] Jürgen Dix , Teodor C. Przymusinski , Luís Moniz Pereira Logic Programming and Knowledge Representation (LPKR'97). [Citation Graph (0, 0)][DBLP ] ILPS, 1997, pp:419-420 [Conf ] Stefan Brass , Jürgen Dix A Characterization of the Stable Semantics by Partial Evaluation. [Citation Graph (0, 0)][DBLP ] WLP, 1994, pp:81-84 [Conf ] Stefan Brass , Jürgen Dix , Teodor C. Przymusinski Computation of the Semantics of Autoepistemic Belief Theories. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1999, v:112, n:1-2, pp:233-250 [Journal ] Jürgen Dix , Sarit Kraus , V. S. Subrahmanian Temporal agent programs. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 2001, v:127, n:1, pp:87-135 [Journal ] Chandrabose Aravindan , Jürgen Dix , Ilkka Niemelä DisLoP: A Research Project on Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP ] AI Commun., 1997, v:10, n:3-4, pp:151-165 [Journal ] Jürgen Dix Detailed Report on the First LP&NMR Retreat. [Citation Graph (0, 0)][DBLP ] AI Commun., 1995, v:8, n:1, pp:39-43 [Journal ] Jürgen Dix The Logic Programming Paradigm. [Citation Graph (0, 0)][DBLP ] AI Commun., 1998, v:11, n:2, pp:123-131 [Journal ] Jürgen Dix Selected Papers of Logic in AI - Editorial. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 1999, v:27, n:1-4, pp:1-2 [Journal ] Jürgen Dix , Michael Fisher , Hector J. Levesque , Leon Sterling Introduction. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2004, v:41, n:2-4, pp:131-133 [Journal ] Jürgen Dix , Jorge Lobo Editorial - Logic Programming with Non-monotonic Semantics: Representing Knowledge and its Computation. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 1999, v:25, n:3-4, pp:161-164 [Journal ] Jürgen Dix , João Alexandre Leite , Ken Satoh Introduction. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2004, v:42, n:1-3, pp:1-3 [Journal ] Jürgen Dix , Héctor Muñoz-Avila , Dana S. Nau , Lingling Zhang IMPACTing SHOP: Putting an AI Planner Into a Multi-Agent Environment. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2003, v:37, n:4, pp:381-407 [Journal ] Jürgen Dix , Fariba Sadri , Ken Satoh Introduction. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2003, v:37, n:1-2, pp:1-3 [Journal ] Fatma Ozcan , V. S. Subrahmanian , Jürgen Dix Improving Performance of Heterogeneous Agents. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2004, v:41, n:2-4, pp:339-395 [Journal ] Gerhard Brewka , Jürgen Dix Preface. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2006, v:47, n:1-2, pp:1-2 [Journal ] Jürgen Dix , Mauricio Osorio , Claudia Zepeda A general theory of confluent rewriting systems for logic programming and its applications. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2001, v:108, n:1-3, pp:153-188 [Journal ] Stefan Brass , Jürgen Dix , Teodor C. Przymusinski Super Logic Programs [Citation Graph (0, 0)][DBLP ] CoRR, 2000, v:0, n:, pp:- [Journal ] Jürgen Dix , Mirco Nanni , V. S. Subrahmanian Probabilistic Agent Programs [Citation Graph (0, 0)][DBLP ] CoRR, 1999, v:0, n:, pp:- [Journal ] Stefan Brass , Jürgen Dix , Burkhard Freitag , Ulrich Zukowski Transformation-Based Bottom-Up Computation of the Well-Founded Model [Citation Graph (0, 0)][DBLP ] CoRR, 2000, v:0, n:, pp:- [Journal ] Fatma Ozcan , V. S. Subrahmanian , Jürgen Dix Improving Performance of heavily loaded agents [Citation Graph (0, 0)][DBLP ] CoRR, 2000, v:0, n:, pp:- [Journal ] José Arrazola , Jürgen Dix , Mauricio Osorio Confluent Rewriting systems in Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Computación y Sistemas, 1999, v:2, n:2-3, pp:104-123 [Journal ] Jürgen Dix , João Alexandre Leite , Ken Satoh Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:70, n:5, pp:- [Journal ] Jürgen Dix A Classification Theory of Semantics of Normal Logic Programs: I. Strong Properties. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1995, v:22, n:3, pp:227-255 [Journal ] Jürgen Dix , Thomas Eiter , Michael Fink , Axel Polleres , Yingqian Zhang Monitoring Agents using Declarative Planning. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2003, v:57, n:2-4, pp:345-370 [Journal ] Jürgen Dix , Georg Gottlob , V. Wiktor Marek Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1996, v:28, n:1-2, pp:87-100 [Journal ] Jürgen Dix Review of Nonmonotonic Logic by W. Marek and M. Truszscynski, Springer, 1993. [Citation Graph (0, 0)][DBLP ] Bulletin of the IGPL, 1994, v:2, n:2, pp:251-253 [Journal ] Stefan Brass , Jürgen Dix Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1998, v:20, n:1, pp:143-165 [Journal ] Stefan Brass , Jürgen Dix Characterizations of the Disjunctive Stable Semantics by Partial Evaluation. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1997, v:32, n:3, pp:207-228 [Journal ] Stefan Brass , Jürgen Dix Semantics of (disjunctive) Logic Programs Based on Partial Evaluation. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1999, v:40, n:1, pp:1-46 [Journal ] Jürgen Dix , Frieder Stolzenburg A Framework to Incorporate Non-Monotonic Reasoning Into Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1998, v:37, n:1-3, pp:47-76 [Journal ] Jürgen Dix , V. S. Subrahmanian , George Pick Meta-agent programs. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 2000, v:46, n:1-2, pp:1-60 [Journal ] Jürgen Dix , David Makinson The Relationship between KLM and MAK models for Nonmonotonic Inference Operations. [Citation Graph (0, 0)][DBLP ] Journal of Logic, Language and Information, 1992, v:1, n:2, pp:131-140 [Journal ] Jürgen Dix , Martin Kummer Herbrand's Theorem for Nonstandard Inference Operations (Abstract). [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1993, v:58, n:3, pp:1116-1117 [Journal ] Peter Baumgartner , Ingo Dahn , Jürgen Dix , Ulrich Furbach , Michael Kühn , Frieder Stolzenburg , Bernd Thomas Automated Deduction: a Technological Point of View. [Citation Graph (0, 0)][DBLP ] KI, 1998, v:12, n:4, pp:7-14 [Journal ] Peter Baumgartner , Jürgen Dix , Ulrich Furbach , Dorothea Schäfer , Frieder Stolzenburg Deduktion und Logisches Programmieren. [Citation Graph (0, 0)][DBLP ] KI, 1996, v:10, n:2, pp:34-39 [Journal ] Jürgen Dix , Ulrich Furbach Logisches Programmieren mit Negation und Disjunktion. [Citation Graph (0, 0)][DBLP ] KI, 1996, v:10, n:3, pp:24-31 [Journal ] Jürgen Dix , Peter H. Schmitt Nichtmonotones Schließen: Wieviel Nichtmonotonie ist nötig? [Citation Graph (0, 0)][DBLP ] Kognitionswissenschaft, 1993, v:3, n:1, pp:53-69 [Journal ] Jürgen Dix , Martin Kummer Herbrand's Theorem for Nonstandard Inference Operations. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 1994, v:4, n:2, pp:143-156 [Journal ] Stefan Brass , Jürgen Dix , Ilkka Niemelä , Teodor C. Przymusinski On the equivalence of the static and disjunctive well-founded semantics and its computation. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2001, v:258, n:1-2, pp:523-553 [Journal ] Carlos Iván Chesñevar , Jürgen Dix , Frieder Stolzenburg , Guillermo Ricardo Simari Relating defeasible and normal logic programming through transformation properties. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2003, v:290, n:1, pp:499-529 [Journal ] Karl Schlechta , Jürgen Dix Explaining updates by minimal sums. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2001, v:266, n:1-2, pp:819-838 [Journal ] Stefan Brass , Jürgen Dix , Teodor C. Przymusinski Super logic programs. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Log., 2004, v:5, n:1, pp:129-176 [Journal ] Jürgen Dix , Sarit Kraus , V. S. Subrahmanian Heterogeneous temporal probabilistic agents. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Log., 2006, v:7, n:1, pp:151-198 [Journal ] Jürgen Dix , Mirco Nanni , V. S. Subrahmanian Probabilistic agent programs. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Log., 2000, v:1, n:2, pp:208-246 [Journal ] Stefan Brass , Jürgen Dix , Burkhard Freitag , Ulrich Zukowski Transformation-based bottom-up computation of the well-founded model. [Citation Graph (0, 0)][DBLP ] TPLP, 2001, v:1, n:5, pp:497-538 [Journal ] Jürgen Dix , Stephen J. Hegner Preface. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2007, v:50, n:1-2, pp:1-3 [Journal ] An Argumentative Approach for Modelling Coalitions Using ATL. [Citation Graph (, )][DBLP ] Modelling coalitions: ATL + argumentation. [Citation Graph (, )][DBLP ] Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete. [Citation Graph (, )][DBLP ] Strategic Abilities of Agents. [Citation Graph (, )][DBLP ] Agent Contest Competition: 3rd Edition. [Citation Graph (, )][DBLP ] Adding Structure to Agent Programming Languages. [Citation Graph (, )][DBLP ] Agent Contest Competition: 4th Edition. [Citation Graph (, )][DBLP ] Model checking multi-agent systems with logic based Petri nets. [Citation Graph (, )][DBLP ] Reasoning about temporal properties of rational play. [Citation Graph (, )][DBLP ] Search in 0.005secs, Finished in 0.610secs