Jurgen Dix, Fatma Ozcan, VS Subrahmanian
Improving Performance of Heterogenous Agents.
Annals of Math and AI, to appear 2004.
Bibtex-entry
S. Brass, J. Dix, T. Przymusinski:
Super Logic Programs.
ACM Transactions of Computational Logic,
5(1)*129--176 2004.
Get the Full Paper.
Bibtex-entry
2003
Jurgen Dix, Thomas Eiter, Michael Fink, Axel Polleres,
Yingqian Zhang
Monitoring Agents using Declarative Planning.
Fundamenta Informaticae, 57(2-4)*345--370, 2003.
Get the Full Paper.
Bibtex-entry
Juergen Dix, Hector Munoz-Avila and Dana Nau
IMPACTing SHOP: Planning in a Multi-Agent Environment.
Annals of Math and AI, 37(4)*381--407, 2003.
Get the Full Paper.
Bibtex-entry
2002
J. Dix,
C. Chesnevar, F. Stolzenburg, G. Simari:
Relating Defeasible and Normal Logic Programming through
Transformation Properties.
Theoretical Computer Science,
290(1)*499--529, 2002.
Get the Full Paper.
Bibtex-entry
2001
J. Dix, K. Schlechta:
Updating by minimal Sums.
Theoretical Computer Science, 266(1-2)*819--838, 2001.
Get the Full Paper.
Bibtex-entry
S.
Brass, J. Dix, B. Freitag, U. Zukowski:
Transformation-Based Bottom-Up Computation of the
Well-Founded Model.
Theory and Practice of Logic Programming, 1(5)*497--538, 2001.
Get the Full Paper.
Bibtex-entry
J. Dix, S. Kraus, VS Subrahmanian:
Temporal Agent Reasoning
Artificial Intelligence, 127(1)*87--135, 2001.
Get the Full Paper.
Bibtex-entry
S. Brass, J. Dix, I. Niemelae, T. Przymusinski:
On the
Equivalence of the STATIC and
disjunctive Well-founded Semantics
and their Computation.
Theoretical Computer Science,
258(1-2)*523-553, 2001.
Get the Full
Paper.
Bibtex-entry
J. Dix, M. Osorio, C. Zepeda:
A General Theory of
Confluent Rewriting Systems
for Logic
Programming and its Applications.
Annals of Pure and Applied Logic,
108(1-3)*153-188, 2001.
Get the Full Paper.
Bibtex-entry
2000
J. Dix, M. Nanni, VS Subrahmanian:
Probabilistic Agent Reasoning
ACM Transactions of Computational Logic,
1(2)*207--245, 2000.
Get the Full Paper.
Bibtex-entry
J. Dix, V.S. Subrahmanian, G. Pick:
Meta Agent Programs.
Journal of Logic Programming, 46(1-2)*1--60, 2000.
Get the Full Paper.
Bibtex-entry
1999
S. Brass,
J. Dix, T. Przymusinski:
Computation of
the Semantics for Autoepistemic Beliefs.
Artificial Intelligence, 112(1-2)*104--123, 1999.
Get the Full
Paper.
Bibtex-entry
J. Dix, M. Osorio:
Confluent Term Rewriting Systems for Non-Monotonic Reasoning.
Computacion y Sistemas, II(2-3)*104--123, 1999.
Bibtex-entry
S. Brass, J. Dix:
Semantics of (Disjunctive)
Logic Programs based on Partial Evaluation.
Journal of Logic Programming, 38(3)*167--213, 1999.
Get a Preliminary Version.
Extended Abstract appeared at Proc. 12th Int. Conf. on Logic
Programming, MIT,
pages 199--213, 1995.
Bibtex-entry
1998
J. Dix.
The Logic Programming Paradigm.
The European Journal on Artificial Intelligence, 11(3)*39--43, 1998.
Get it.
Bibtex-entry
Peter Baumgartner, Ingo Dahn, Juergen Dix, Ulrich Furbach,
Micha Kuehn, Frieder Stolzenburg, Bernd Thomas.
Automated Deduction: A Technological Point of View.
Kuenstliche Intelligenz, 4*22--29, 1998.
Themenheft ueber Deduktion und Anwendung, 1998.
Get it.
Bibtex-entry
J. Dix, F. Stolzenburg:
A Framework to incorporate Nonmonotonic Resoning
into Constraint Logic Programming.
Journal of Logic Programming, 35(1,2,3)*5--37, 1998.
Special Issue on Constraint Logic Programming,
(Guest editors: Kim Marriott and Peter Stuckey).
Get an almost final draft.
Extended Abstract appeared at NMELP '97,
LNAI 1216, pages 208-235, Springer, Berlin, 1997.
Bibtex-entry
S. Brass, J. Dix:
Characterizations of the Disjunctive Well-founded
Semantics:
Confluent Calculi and Iterated GCWA.
Journal of Automated Reasoning, 20(1)*143--165, 1998.
Get a Preliminary Version.
Extended Abstract appeared at Proc. JELIA, Springer LNAI 1126,
268-283, 1996.
Bibtex-entry
1997
Ch. Aravindan, J. Dix, I. Niemelae:
DISLOP: A research Project on Disjunctive Logic
Programming
AI Communications Vol. 10, No. 3/4*151--165, 1997.
Get the full Paper.
Bibtex-entry
S. Brass, J. Dix:
Characterizations of the (Disjunctive) Stable Semantics by Partial Evaluation.
Journal of Logic Programming, 32(3)*207--228, 1997.
Get a Preliminary
Version.
Extended Abstract appeared at LPNMR '95, LNAI 928, Springer,
pages 85-89, 1995.
Bibtex-entry
1996
J. Dix, G. Gottlob, W. Marek:
Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations.
Fundamenta Informaticae XXVIII(1/2)*87--100, 1996.
Get the Paper. Bibtex-entry
J. Dix, U. Furbach:
Logisches Programmieren mit Negation und Disjunktion.
Kuenstliche Intelligenz, Vol. 3*24--31, 1996.
Bibtex-entry
P. Baumgartner, J. Dix, U. Furbach, D. Schaefer, F. Stolzenburg:
Deduktion und Logisches Programmieren.
Kuenstliche Intelligenz, Vol. 2*34--39, 1996.
Bibtex-entry
1995
J. Dix:
Detailed Report on the First LP&NMR
Retreat.
The European Journal on Artificial
Intelligence, Vol. 8, No. 1*39--43, 1995.
Bibtex-entry
J. Dix:
A Classification Theory of Semantics of Normal Logic Programs: I. Strong Properties.
Fundamenta Informaticae XXII(3)*227--255, 1995.
Get the Paper.
Bibtex-entry
J. Dix:
A Classification Theory of Semantics Normal Logic Programs: II. Weak Properties.
Fundamenta Informaticae XXII(3)*257--288, 1995
Get the Paper.
Bibtex-entry
1994
J. Dix:
Review on Marek/Truszczynski's Book: Nonmonotonic
Logic.
Bulletin of the IGPL, Vol. 6, No. 1*250--254, 1994.
Bibtex-entry
J. Dix, M. Kummer:
Herbrand's Theorem for Nonstandard Inference Operations.
Journal of Logic and Computation, Vol. 4, No. 2*143--156, 1994.
Get the Paper.
Bibtex-entry
J. Dix:
LP&NMR '93: Report on the Second International
Workshop.
The European Journal on Artificial
Intelligence, Vol. 6, No. 3/4*229--231, 1994.
Get the Paper.
Bibtex-entry
1993
J. Dix, M. Kummer:
Herbrands Theorem for Nonstandard Inference Operations (Abstract).
Journal of Symbolic Logic, 58*1116--1117, 1993.
Bibtex-entry
J. Dix, P. Schmitt:
Nichtmonotones Schliessen: Wieviel Nichtmonotonie ist noetig?
Kognitionswissenschaft, 3*53--69, 1993.
Get the english version.
Bibtex-entry
1992
J. Dix, D. Makinson:
The Relationship between KLM and MAK models for
Nonmonotonic
Inference Operations.
Journal of Logic, Language and Information, Vol. 1, No. 2*131--140, 1992.
Get the Paper.
Bibtex-entry