Conference-Papers

J. Dix, T. Eiter, M. Fink, A. Polleres, Y. Zhang:
Monitoring Agents using Declarative Planning.
KI 2003, Advances in AI. A. Günther, R. Kruse, B. Neumann (Eds.), Hamburg 15-18 September 2003

Carlos Chesñevar, Juergen Dix, Guillermo Simari and Frieder Stolzenburg
Transformation Properties of Defeasible Logic Programming
CACIC 2000: Proceedings of the Argentinean Workshop on Agents
and Intelligent Systems, pages 371--381, 2000.
Get the full Paper. Get the Slides.
Bibtex-entry

1999

J. Dix, K. Schlechta
Explaining Updates by minimal Sums
FSTTCS'99: 19 th Conference on Foundations of
Software Technology and Theoretical Computer Science,
C. Pandu Rangan, V. Ramam, and R. Ramanujan (eds.),
Springer, pages 142--154, LNCS 1738, 1999.
Get the full Paper. Get the Slides.
Bibtex-entry
Extended version to appear in Theoretical Computer Science, ???, 2002.
Get the extended Version.

J. Dix, F. Stolzenburg, G. Simari, P. Fillotrani
Automating Defeasible Reasoning with Logic Programming.
Kickoff '99: Proc. of second Kickoff Workshop on
Information Technology, Koenigswinter, pages 39--46, March 1999.
Bibtex-entry

1998

S. Brass, J. Dix, I. Niemel"a and T. Przymusinski
A Comparison of the Static and the Disjunctive WFS and its Implementation
KR '98: Proc. of the Sixth Intern. Conf. on Principles of Knowledge Repr. and Reasoning,
A.~G.~Cohn and L.~K.~Schubert and S.~C.~Shapiro (eds.), Morgan Kaufmann, San Francisco 1998.
Get the Paper.Get the Slides.
Extended version to appear in Theoretical Computer Science, 2001.
Get the extended Version. Bibtex-entry

1997

J. Dix, F. Stolzenburg:
A Framework to incorporate Nonmonotonic Resoning into Constraint Logic Programming.
NMELP '96: Non-Monotonic Extensions of Logic Programming,
J. Dix, L.M. Pereira and T. Przymusinski (eds.),
LNAI 1216, pages 208-235, Springer, Berlin. April 1997.
Extended version appeared in Journal of Logic Programming, 37(1,2,3), 47--76, 1998.
Bibtex-entry

J. Dix and L. Pereira and T. Przymusinski:
Prolegomena to Logic Programming for Non-Monotonic Reasoning.
NMELP '96: Nonmonotonic Extensions of Logic Programming,
J.~Dix, L.~Pereira, and T.~Przymusinski, editors,
Springer, LNAI 1216, pages 1--36. April 1997.
Get the Paper. Bibtex-entry

S. Brass, J. Dix, I. Niemel"a and T. Przymusinski
A Comparison and Efficient Computation of the Static and the Disjunctive WFS.
DGNMR '97: Proc. of the third Dutch-German Workshop on
Nonmonotonic Reasoning, Max Planck Institute for CS, Saarbruecken, pages 37--42. Februar 1997.
Bibtex-entry

J. Dix, M. Osorio
On Well-behaved Semantics Suitable for Aggregation.
ILPS '97: In Jan Maluszynski, editor,
Logic Programming: Proceedings of the 1997 International Symposium,
page 405. MIT Press, 1997.
Bibtex-entry

C. Aravindan, J. Dix and I. Niemel"a :
DisLoP: Towards a Disjunctive Logic Programming System.
LPNMR '97: Proceedings of the Fourth International Conference on
Logic Programming and Non-Monotonic Reasoning,
J. Dix, U. Furbach and A. Nerode (eds.), LNAI 1265, pages 342--353, Springer, Berlin. June 1997.
Get the Paper. Bibtex-entry

J. Dix, M. Osorio
Provability Closures in Logic Programming.
ISCM '97: In Instituto Politecnico Nacional, editor, Proceedings of the
International Symposium on Computer Science in Mexico, pages 313--319, 1997.
Bibtex-entry

1996

S. Brass, J. Dix, T. Przymusinski:
Super Logic Programs.
KR '96: Proc. of the Fifth Intern. Conf. on Principles of Knowledge Repr. and Reasoning,
L.~C.~Aiello, J.~Doyle and S.~C.~Shapiro (eds.), Morgan Kaufmann, pages 529--541. San Francisco 1996.
Get the Paper. Get the Slides. Extended version appeared in Artificial Intelligence,112(1-2), 1999.
Bibtex-entry

S. Brass, J. Dix:
Characterizing D-WFS: Confluence and Iterated GCWA.
J.J.~Alferes, L.M. Pereira and E. Orlowska (eds.),
LNAI 1126, pages 268--283, Springer 1996.
Extended version appeared in Journal of Automated Reasoning, 20(1)*143--165, 1998.
Bibtex-entry

S. Chandrabose Aravindan, Peter Baumgartner, Juergen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemelae Dorothea Schaefer, and Frieder Stolzenburg.:
On merging theorem proving and logic programming paradigms..
Poster Session at JICSLP '96:, Proceedings of the Poster Session at the
Joint International Conference and Symposium on Logic Programming,
GMD-Studien Nr. 296, pages 99--122, 1996.
Bibtex-entry

1995

S. Brass, J. Dix:
Disjunctive Semantics based upon Partial and Bottom-Up Evaluation.
ICLP '95: In Leon Sterling, editor, Proceedings of the 12th Int. Conf. on Logic Programming, Tokyo,
pages 199--213, MIT, June 1995.
Extended version appeared in the Journal of Logic Programming, 38(3)*167--213, 1999.
Bibtex-entry

S. Brass, J. Dix:
A General Approach to Bottom-Up Computation of Disjunctive Semantics.
NMELP '95: In J. Dix, L. Pereira, T. Przymusinski (eds.):
Non-Monotonic Extensions of Logic Programming,
Pages 127--155, LNAI 927, Springer, Berlin.
Get the Paper. Bibtex-entry

S. Brass and J. Dix:
Caracterizations of the Stable Semantics by Partial Evaluation.
LPNMR '95: In A.~Nerode, W.~Marek, and M.~Truszczy\'nski, editors,
Logic Programming and Non-Monotonic Reasoning,
Proceedings of the Third International Conference, pages 85--98. Springer LNCS 928, June 1995.
Extended version appeared in Journal of Logic Programming, 32(3)*207--228, 1997.
Bibtex-entry

J. Dix:
Characterizing Semantics by Partial Evaluation.
LMPS '95: In Proc. 10th International Congress of Logic, Methodology and
Philosophy of Science, Florence, Italy. August 1995.
Bibtex-entry

1994

S. Brass and J. Dix:
A Disjunctive Semantics based on Bottom-Up Evaluation and Unfolding.
IFIP '94: In Bernd Wolfinger, editor,
Innovationen bei Rechen- und Kommunikationssystemen,
(IFIP-Congress, Workshop FG2: Disjunctive Logic Programming and Disjunctive Databases), pages 83--91. Springer-Verlag, August 1994.
Bibtex-entry

J. Dix and M. Mueller:
The Stable Semantics and its Variants: A Comparison of Recent Approaches.
KI '94: In L.~Dreschler-Fischer and B.~Nebel, editors,
Proceedings of the 18th German Annual Conference on Artificial Intelligence,
Saarbruecken, Germany. Springer, LNAI 861, pages 82--93, September 1994.
Get the Paper. Bibtex-entry

S. Brass and J. Dix:
Computing Disjunctive Stable Semantics based on Clark's Completed Database.
GI-WS '94: In Proc. of the 6th GI-Workshop ``Grundlagen von Datenbanken'',
Bad Helmstedt, pages 30--34, September 1994.
Bibtex-entry

J. Dix and M. Mueller:
Extensions and Improvements of the Stable Semantics.
ISMIS '94: In Z.W. Ras and M.~Zemankova, editors,
Proceedings of the 8th Int. Symp. on Methodologies for Intelligent Systems,Charlotte, NC, 1994.
Springer, Lecture Notes in Artificial Intelligence 869, pages 511--520, August 1994.
Get the Paper. Bibtex-entry

J. Dix and M. Mueller:
An Axiomatic Framework for Representing and Characterizing Semantics of Disjunctive Logic Programs.
ICLP '94: In Pascal~Van Hentenryck, editor,
Proceedings of the 11th Int. Conf. on Logic Programming,
S. Margherita Ligure, pages 303--322, MIT, June 1994.
Bibtex-entry

J. Dix, G. Gottlob, and V. Marek:
Causal Models for Disjunctive Logic Programs.
ICLP '94: In Pascal~Van Hentenryck, editor,
Proceedings of the 11th Int. Conf. on Logic Programming,
S. Margherita Ligure, pages 290--302, MIT, June 1994.
Extended version appeared in Fundamenta Informaticae, XXVIII(1/2)*87--100, 1996.
Bibtex-entry

S. Brass and J. Dix:
A Characterization of the Stable Semantics by Partial Evaluation.
GI-WS '94: In Proc. of the 10th Workshop on Logic Programming, Zuerich, October 1994.
Bibtex-entry

1993

G. Brewka, J. Dix, and K. Konolige:
A Tutorial on Nonmonotonic Reasoning.
NIL '91: In G.~Brewka, K.~P. Jantke, and P.~H. Schmitt, editors,
Nonmonotonic and Inductive Logic, Proceedings of the Second International Workshop,
Reinhardsbrunn Castle, Germany, December 1991, pages 1--88. LNCS 659, Springer, February 1993.
Bibtex-entry

J. Dix and M. Mueller:
Implementing Semantics for Disjunctive Logic Programs Using Fringes and Abstract Properties.
LPNMR '93: In Luis~Moniz Pereira and Anil Nerode, editors,
Logic Programming and Non-Monotonic Reasoning,
Proceedings of the Second International Workshop, pages 43--59. Lisbon, MIT Press, July 1993.
Bibtex-entry

1992

J. Dix:
Classifying Semantics of Disjunctive Logic Programs.
JICSLP '92: In K.~Apt, editor,
LOGIC PROGRAMMING: Proceedings of the 1992 Joint International Conference and Symposium,
pages 798--812. MIT Press, November 1992.
Bibtex-entry

J. Dix:
Abstract Properties and Computational Complexity of
Semantics of Disjunctive Logic Programs.
Workshop W1: Structural Complexity and Recursion-theoretic Methods in LP:
WS at Joint International Conference and Symposium, November 1992.
Bibtex-entry

J. Dix:
A Framework for Representing and Characterizing Semantics of Logic Programs.
KR '92: In B.~Nebel, C.~Rich, and W.~Swartout, editors,
Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference,
pages 591--602. San Mateo, CA, Morgan Kaufmann, October 1992.
Extended version appeared in Fundamenta Informaticae, XXII(3), 257-288, 1995.
Bibtex-entry

J. Dix, Martin Kummer:
Herbrand's Theorem for Nonstandard Inference Operations.
Logic Colloquium '92:, Veszprem, Hungaria, August 1992.
Bibtex-entry

J. Dix:
Default Theories of Poole-Type and a Method for Constructing Cumulative Versions of Default Logic.
ECAI '92: In Bernd Neumann, editor, Proceedings European Conference on Artificial Intelligence, pages 289--293. John Wiley \& Sons, August 1992.
Bibtex-entry

1991

J. Dix:
Normal Logic Programs and Cumulativity.
LMPS '91: Proceedings 9th International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 1991.
Bibtex-entry

J. Dix:
Cumulativity and Rationality in Semantics of Normal Logic Programs.
Nil '90: In J.~Dix, K.~P. Jantke, and P.~H. Schmitt, editors,
Proceedings of the first Workshop on Nonmonotonic and Inductive Logic 1990 in Karlsruhe,
pages 13--37. LNCS 543, Springer, October 1991.
Bibtex-entry

J. Dix:
Classifying Semantics of Logic Programs.
LPNMR '91: In Anil Nerode, Wiktor Marek, and V.~S. Subrahmanian, editors,
Logic Programming and Non-Monotonic Reasoning, Proceedings of the first International Workshop,
pages 166--180. Washington D.C, MIT Press, July 1991.
Extended version appeared in Fundamenta Informaticae, XXII(3), 227--255, 1995.
Bibtex-entry

1990

J. Dix, A. Posegga, and P.~H. Schmitt:
Modal Logics for AI Planning.
In Proceedings of the First International Conference on Expert Planning Systems, Brighton,
pages 157--162. Conf. Publ. No. 322, June 1990.
Bibtex-entry

1989

J. Dix:
Some Tendencies in Non Monotonic Reasoning: I. The Main Approaches.
In Bernd~I. Dahn and Helmut Wolter, editors,
Proceedings of the 7th Easter Conference on Model-Theory,
pages 81--105, 1086 Berlin, PSF 1297, DDR,
Sektion Mathematik der Humboldt Universit\"at, April 1989.
Bibtex-entry