The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jürgen Dix: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jürgen Dix
    Classifying Semantics of Disjunctive Logic Programs. [Citation Graph (2, 0)][DBLP]
    JICSLP, 1992, pp:798-812 [Conf]
  2. 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]
  3. Stefan Brass, Jürgen Dix, Teodor C. Przymusinski
    Super Logic Programs. [Citation Graph (1, 0)][DBLP]
    KR, 1996, pp:529-540 [Conf]
  4. Jürgen Dix
    A Framework for Representing and Characterizing Semantics of Logic Programs. [Citation Graph (1, 0)][DBLP]
    KR, 1992, pp:591-602 [Conf]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. Peter Novák, Jürgen Dix
    Modular BDI architecture. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:1009-1015 [Conf]
  11. 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]
  12. 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]
  13. Wojciech Jamroga, Jürgen Dix
    Do Agents Make Model Checking Explode (Computationally)? [Citation Graph (0, 0)][DBLP]
    CEEMAS, 2005, pp:398-407 [Conf]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. Jürgen Dix, Karl Schlechta
    Explaining Updates by Minimal Sums. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1999, pp:142-154 [Conf]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. Stefan Brass, Jürgen Dix
    Characterizing D-WFS: Confluence and Iterated GCWA. [Citation Graph (0, 0)][DBLP]
    JELIA, 1996, pp:268-283 [Conf]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. Gerhard Brewka, Jürgen Dix
    Knowledge Representation with Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPKR, 1997, pp:1-51 [Conf]
  37. 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]
  38. Stefan Brass, Jürgen Dix
    Characterizations of the Stable Semantics by Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1995, pp:85-98 [Conf]
  39. Jürgen Dix
    A Computational Logic Approach to Heterogenous Agent Systems. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:1-20 [Conf]
  40. Jürgen Dix
    Classifying Semantics of Logic Programs (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    LPNMR, 1991, pp:166-180 [Conf]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. Jürgen Dix, Mauricio Osorio
    On Well-Behaved Semantics Suitable for Aggregation. [Citation Graph (0, 0)][DBLP]
    ILPS, 1997, pp:405- [Conf]
  48. 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]
  49. 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]
  50. 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]
  51. 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]
  52. 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]
  53. 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]
  54. Jürgen Dix
    The Logic Programming Paradigm. [Citation Graph (0, 0)][DBLP]
    AI Commun., 1998, v:11, n:2, pp:123-131 [Journal]
  55. 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]
  56. 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]
  57. 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]
  58. 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]
  59. 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]
  60. 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]
  61. 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]
  62. 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]
  63. 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]
  64. Stefan Brass, Jürgen Dix, Teodor C. Przymusinski
    Super Logic Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  65. Jürgen Dix, Mirco Nanni, V. S. Subrahmanian
    Probabilistic Agent Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 1999, v:0, n:, pp:- [Journal]
  66. 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]
  67. 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]
  68. 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]
  69. 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]
  70. 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]
  71. 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]
  72. 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]
  73. 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]
  74. 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]
  75. 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]
  76. 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]
  77. 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]
  78. 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]
  79. 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]
  80. 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]
  81. 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]
  82. 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]
  83. 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]
  84. 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]
  85. 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]
  86. 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]
  87. 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]
  88. 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]
  89. 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]
  90. 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]
  91. 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]
  92. 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]
  93. 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]

  94. An Argumentative Approach for Modelling Coalitions Using ATL. [Citation Graph (, )][DBLP]


  95. Modelling coalitions: ATL + argumentation. [Citation Graph (, )][DBLP]


  96. Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete. [Citation Graph (, )][DBLP]


  97. Strategic Abilities of Agents. [Citation Graph (, )][DBLP]


  98. Agent Contest Competition: 3rd Edition. [Citation Graph (, )][DBLP]


  99. Adding Structure to Agent Programming Languages. [Citation Graph (, )][DBLP]


  100. Agent Contest Competition: 4th Edition. [Citation Graph (, )][DBLP]


  101. Model checking multi-agent systems with logic based Petri nets. [Citation Graph (, )][DBLP]


  102. Reasoning about temporal properties of rational play. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.610secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002