On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract)

This document contains a list of 226 publications (more than 100 in refereed journals and conferences) and a list of 65 invited talks. The publications consist of 29 books and invited articles in books, 46 Journal-Publications, 10 invited Tutorials, 54 papers in refereed conferences, 48 additional papers, and 39 supervised papers. My DBLP count (http://www.informatik.uni-trier.de/~ley/ db/indices/a-tree/index.html) is currently at 108. I am mentioned in the list of the most cited authors in computer science (http://citeseer.nj.nec.com/ allcitedn.html): my current position is 3840.

[1]  Jack Minker,et al.  On Indefinite Databases and the Closed World Assumption , 1987, CADE.

[2]  Jürgen Dix,et al.  Non-monotonic Extensions of Logic Programming: Theory, Implementation and Applications , 1996 .

[3]  Jürgen Dix,et al.  Towards Well-Behaved Semantics Suitable for Aggregation , 1997 .

[4]  Jürgen Dix,et al.  Nichtmonotones Schliessen und dessen Anwendung auf Semantiken logischer Programme , 1992 .

[5]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[6]  Jorge Lobo,et al.  Foundations of disjunctive logic programming , 1992, Logic Programming.

[7]  Marcello Balduccini,et al.  Logic Programming And Nonmonotonic Reasoning , 1997, Lecture Notes in Computer Science.

[8]  Jürgen Dix.  Detailed Report on the First LP&NMR Retreat , 1995, AI Commun..

[9]  Jürgen Dix,et al.  Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming , 1996, NMELP.

[10]  Non-Monotonic Extensions of Logic Programming , 1994, Lecture Notes in Computer Science.

[11]  L. Sterling.  Disjunctive Semantics based upon Partial and Bottom-Up Evaluation , 1995 .

[12]  Jürgen Dix,et al.  The relationship between KLM and MAK models for nonmonotonic inference operations , 1992, J. Log. Lang. Inf..

[13]  Jan Maluszy¿ski.  Logic Programming and Knowledge Representation (LPKR'97) , 1997 .

[14]  Jürgen Dix.  Some Tendencies in Non-monotonic Reasoning: 1. The main Approaches , 1989, Easter Conference on Model Theory.

[15]  Jürgen Dix,et al.  Characterizations and Implementation of Static Semantics of Disjunctive Programs , 1996 .

[16]  Ilkka Niemelä.  A Tableau Calculus for Minimal Model Reasoning , 1996, TABLEAUX.