-*- BibTeX -*-
=====================================
This file has been sorted by
bibSort.edt on 16.02.04 at 17:56:13.
It includes 158 items, sorted by
"author|editor" first, then by "year".
(No cross-referenced entries.)
=====================================
-*- BibTeX -*-
==============================
This file has been created by
bibAuxExtract.edt on 07.10.02 at 14:14
@STRING{aaai = "Proceedings of the Conference of the American
Association
of Artificial Intelligence" }
@STRING{ac = "Acta Cybernetica" }
@STRING{adm = " Annals of Discrete Mathematics " }
@STRING{ai = "Artificial Intelligence" }
@STRING{aij = "Artificial Intelligence" }
@STRING{amai = "Annals of Mathematics and Artificial
Intelligence" }
@STRING{apal = "Annals of Pure and Applied Logic" }
@STRING{cacm = "Communications of the ACM" }
@STRING{cade = "Proceedings of the Conference on Automated
Deduction" }
@STRING{ci = "Computational Intelligence" }
@STRING{comment = " % - Article in Journal %@Article{dd, % author
= {}, %
title = {}, % journal = {}, % year = {}, % OPTkey = {}, %,
,
optvolume = {}, % OPTnumber = {}, % OPTpages = {}, %,
,
optmonth = {}, % OPTnote = {}, % OPTannote = {} % } % % %,
,
%%% - Article in Conference % %@InProceedings{44, % author
= {}, % title = {}, % booktitle = {}, % OPTcrossref = {}, %
optkey = {}, % OPTpages = {}, % OPTyear = {}, % OPTeditor =,
,
{}, % OPTvolume = {}, % OPTnumber = {}, % OPTseries = {}, %
optaddress = {}, % OPTmonth = {}, % OPTorganization = {}, %,
,
optpublisher = {}, % OPTnote = {}, % OPTannote = {} % } % %,
,
%%% - Article in a Collection % %@InCollection{, % author =
{}, % title = {}, % booktitle = {}, % OPTcrossref = {}, %
optkey = {}, % OPTpages = {}, % OPTpublisher = {}, %,
,
optyear = {}, % OPTeditor = {}, % OPTvolume = {}, %,
,
optnumber = {}, % OPTseries = {}, % OPTtype = {}, %,
,
optchapter = {}, % OPTaddress = {}, % OPTedition = {}, %,
,
optmonth = {}, % OPTnote = {}, % OPTannote = {} % } % % %%%,
,
- Chapter or pages in a Book % %@InBook{, % ALTauthor = {},
% ALTeditor = {}, % title = {}, % chapter = {}, % publisher
= {}, % year = {}, % OPTkey = {}, % OPTvolume = {}, %
optnumber = {}, % OPTseries = {}, % OPTtype = {}, %,
,
optaddress = {}, % OPTedition = {}, % OPTmonth = {}, %,
,
optpages = {}, % OPTnote = {}, % OPTannote = {} % } % % %,
,
%%% - Conference Proceeedings % %@Proceedings{, % title =
{}, % year = {}, % OPTkey = {}, % OPTeditor = {}, %
optvolume = {}, % OPTnumber = {}, % OPTseries = {}, %,
,
optaddress = {}, % OPTmonth = {}, % OPTorganization = {}, %,
,
optpublisher = {}, % OPTnote = {}, % OPTannote = {} % } % %,
,
% %%% - Book % %@Book{, % ALTauthor = {}, % ALTeditor = {},
% title = {}, % publisher = {}, % year = {}, % OPTkey = {},
% OPTvolume = {}, % OPTnumber = {}, % OPTseries = {}, %
optaddress = {}, % OPTedition = {}, % OPTmonth = {}, %,
,
optnote = {}, % OPTannote = {} % } % % % %%% - PhD-Thesis %,
,
%@PhdThesis{, % author = {}, % title = {}, % school = {}, %
year = {}, % OPTkey = {}, % OPTtype = {}, % OPTaddress =,
,
{}, % OPTmonth = {}, % OPTnote = {}, % OPTannote = {} % } %
% % %%% - Masters Thesis % %@MastersThesis{, % author = {},
% title = {}, % school = {}, % year = {}, % OPTkey = {}, %
opttype = {}, % OPTaddress = {}, % OPTmonth = {}, % OPTnote,
,
= {}, % OPTannote = {} % } % % %%% - Technical Report % %,
%@TechReport{, % author = {}, % title = {}, % institution =
{}, % year = {}, % OPTkey = {}, % OPTtype = {}, % OPTnumber
= {}, % OPTaddress = {}, % OPTmonth = {}, % OPTnote = {}, %
optannote = {} % } % % % % %%% - Technical Manual %,
,
%@Manual{, % title = {}, % OPTkey = {}, % OPTauthor = {}, %
OPTorganization = {}, % OPTaddress = {}, % OPTedition = {},
% OPTmonth = {}, % OPTyear = {}, % OPTnote = {}, %
optannote = {} % } % % % %%% - Unpublished %,
,
%@Unpublished{, % author = {}, % title = {}, % note = {}, %
optkey = {}, % OPTmonth = {}, % OPTyear = {}, % OPTannote =,
,
{} % } % " }
@STRING{comment = " % - Article in Journal %@Article{dd, % author
= {}, %
title = {}, % journal = {}, % year = {}, % OPTkey = {}, %,
,
optvolume = {}, % OPTnumber = {}, % OPTpages = {}, %,
,
optmonth = {}, % OPTnote = {}, % OPTannote = {} % } % % %,
,
%%% - Article in Conference % %@InProceedings{44, % author
= {}, % title = {}, % booktitle = {}, % OPTcrossref = {}, %
optkey = {}, % OPTpages = {}, % OPTyear = {}, % OPTeditor =,
,
{}, % OPTvolume = {}, % OPTnumber = {}, % OPTseries = {}, %
optaddress = {}, % OPTmonth = {}, % OPTorganization = {}, %,
,
optpublisher = {}, % OPTnote = {}, % OPTannote = {} % } % %,
,
%%% - Article in a Collection % %@InCollection{, % author =
{}, % title = {}, % booktitle = {}, % OPTcrossref = {}, %
optkey = {}, % OPTpages = {}, % OPTpublisher = {}, %,
,
optyear = {}, % OPTeditor = {}, % OPTvolume = {}, %,
,
optnumber = {}, % OPTseries = {}, % OPTtype = {}, %,
,
optchapter = {}, % OPTaddress = {}, % OPTedition = {}, %,
,
optmonth = {}, % OPTnote = {}, % OPTannote = {} % } % % %%%,
,
- Chapter or pages in a Book % %@InBook{, % ALTauthor = {},
% ALTeditor = {}, % title = {}, % chapter = {}, % publisher
= {}, % year = {}, % OPTkey = {}, % OPTvolume = {}, %
optnumber = {}, % OPTseries = {}, % OPTtype = {}, %,
,
optaddress = {}, % OPTedition = {}, % OPTmonth = {}, %,
,
optpages = {}, % OPTnote = {}, % OPTannote = {} % } % % %,
,
%%% - Conference Proceeedings % %@Proceedings{, % title =
{}, % year = {}, % OPTkey = {}, % OPTeditor = {}, %
optvolume = {}, % OPTnumber = {}, % OPTseries = {}, %,
,
optaddress = {}, % OPTmonth = {}, % OPTorganization = {}, %,
,
optpublisher = {}, % OPTnote = {}, % OPTannote = {} % } % %,
,
% %%% - Book % %@Book{, % ALTauthor = {}, % ALTeditor = {},
% title = {}, % publisher = {}, % year = {}, % OPTkey = {},
% OPTvolume = {}, % OPTnumber = {}, % OPTseries = {}, %
optaddress = {}, % OPTedition = {}, % OPTmonth = {}, %,
,
optnote = {}, % OPTannote = {} % } % % % %%% - PhD-Thesis %,
,
%@PhdThesis{, % author = {}, % title = {}, % school = {}, %
year = {}, % OPTkey = {}, % OPTtype = {}, % OPTaddress =,
,
{}, % OPTmonth = {}, % OPTnote = {}, % OPTannote = {} % } %
% % %%% - Masters Thesis % %@MastersThesis{, % author = {},
% title = {}, % school = {}, % year = {}, % OPTkey = {}, %
opttype = {}, % OPTaddress = {}, % OPTmonth = {}, % OPTnote,
,
= {}, % OPTannote = {} % } % % %%% - Technical Report % %,
%@TechReport{, % author = {}, % title = {}, % institution =
{}, % year = {}, % OPTkey = {}, % OPTtype = {}, % OPTnumber
= {}, % OPTaddress = {}, % OPTmonth = {}, % OPTnote = {}, %
optannote = {} % } % % % % %%% - Technical Manual %,
,
%@Manual{, % title = {}, % OPTkey = {}, % OPTauthor = {}, %
OPTorganization = {}, % OPTaddress = {}, % OPTedition = {},
% OPTmonth = {}, % OPTyear = {}, % OPTnote = {}, %
optannote = {} % } % % % %%% - Unpublished %,
,
%@Unpublished{, % author = {}, % title = {}, % note = {}, %
optkey = {}, % OPTmonth = {}, % OPTyear = {}, % OPTannote =,
,
{} % } % " }
@STRING{comment2= " % %%% - Miscelleneous % %@Misc{, % OPTkey =
{}, %
optauthor = {}, % OPTtitle = {}, % OPThowpublished = {}, %,
,
optmonth = {}, % OPTyear = {}, % OPTnote = {}, % OPTannote,
,
= {} % } % " }
@STRING{comment2= " % %%% - Miscelleneous % %@Misc{, % OPTkey =
{}, %
optauthor = {}, % OPTtitle = {}, % OPThowpublished = {}, %,
,
optmonth = {}, % OPTyear = {}, % OPTnote = {}, % OPTannote,
,
= {} % } % " }
@STRING{cotarak = "Conference on Theoretical Aspects of Reasoning
about
Knowledge" }
@STRING{csai = "Proceedings of the Conference of the Canadian
Society for
Computational Studies of Intelligence" }
@STRING{dam = " Discrete Applied Mathematics " }
@STRING{dans = "Dokl.\ Akad.\ Nauk SSSR" }
@STRING{danstrans="English Translation in Soviet. Math. Dokl., " }
@STRING{dm = " Discrete Mathematics " }
@STRING{eatcsbull="Bulletin of the EATCS" }
@STRING{elspub = "Elsevier Science Publishers B.V.
(North-Holland) " }
@STRING{fennica = "Acta Philosophica Fennica" }
@STRING{fi = "Fundamenta Informaticae" }
@STRING{ieeetdke= "IEEE Transactions on Knowledge and Data
Engineering" }
@STRING{ieeetoc = "IEEE Transactions on Computers" }
@STRING{ieeetor = "IEEE Transactions on Reliability" }
@STRING{ieeetpds= "IEEE Transactions on Parallel and Distributed
Systems" }
@STRING{ieeetse = "IEEE Transactions on Software Engineering" }
@STRING{ieeetsmc= "IEEE Transactions on Systems, Man, and
Cybernetics" }
@STRING{ijcai = "Proceedings of the International Joint
Conference on
Artificial Intelligence" }
@STRING{infcomp = "Information and Computation" }
@STRING{infspek = "Informatik-Spektrum" }
@STRING{ipl = "Information Processing Letters" }
@STRING{ismis = "Proceedings of the International Symposium on
Methodologies for Intelligent Systems" }
@STRING{jacm = "Journal of the ACM" }
@STRING{jair = "Journal of Artificial Intelligence Research" }
@STRING{jalg = "Journal of Algorithms" }
@STRING{jancl = "Journal of Applied Non-Classical Logics" }
@STRING{jar = "Journal of Automated Reasoning" }
@STRING{jcss = "Journal of Computer and System Sciences" }
@STRING{jct = " Journal of Combinatorial Theory, " }
@STRING{jelia = "Joint European workshop on Logics in AI" }
@STRING{jlc = "Journal of Logic and Computation" }
@STRING{jlp = "The Journal of Logic Programming" }
@STRING{jsc = "Journal of Symbolic Computation" }
@STRING{jsl = "Journal of Symbolic Logic" }
@STRING{kr = "Proceedings of the International Conference on
Knowledge
Representation and Reasoning" }
@STRING{lnai = "Lecture Notes in Artificial Intelligence" }
@STRING{lncs = "Lecture Notes in Computer Science" }
@STRING{mfocs = "Mathematical Foundations of Computer Science" }
@STRING{mitai = "MIT Artificial Intelligence Laboratory" }
@STRING{mk = "Morgan Kaufmann" }
@STRING{mp = "Menlo Park, California" }
@STRING{ngc = "New Generation Computing" }
@STRING{pods = "ACM Symposium on the Principles of Database
Systems" }
@STRING{siamadm = "SIAM J. Algebraic and Discrete Methods" }
@STRING{siamam = "SIAM J. Applied Mathematics" }
@STRING{siamjc = "SIAM Journal of Computing" }
@STRING{sri = "SRI Artificial Intelligence Center" }
@STRING{stacs = "ACM Symposium on Theoretical Aspects of
Computing" }
@STRING{stoc = "ACM Symposium on the Theory of Computing" }
@STRING{tcs = "Theoretical Computer Science" }
@STRING{tods = "ACM Transactions on Database Systems" }
@STRING{aaai = "Proceedings of the Conference of the American
Association
of Artificial Intelligence" }
@INPROCEEDINGS{araetal96jicslp,
author = {Chandrabose Aravindan and Peter Baumgartner and J\"{u}rgen
Dix and Ulrich Furbach and Gerd Neugebauer and Ilkka
Niemel\"{a} and Dorothea Sch{\"{a}}fer and Frieder
Stolzenburg},
title = { On merging theorem proving and logic programming
paradigms},
booktitle = {Proceedings of the Joint International Conference and
Symposium on Logic Programming},
year = 1996,
editor = {M. Maher},
pages = 546,
publisher = {The MIT Press},
address = {Bonn, Germany},
month = {September},
}
@INPROCEEDINGS{araetal96jicslpposter,
author = {Chandrabose Aravindan and Peter Baumgartner and J\"{u}rgen
Dix and Ulrich Furbach and Gerd Neugebauer and Ilkka
Niemel\"{a} and Dorothea Sch{\"{a}}fer and Frieder
Stolzenburg},
title = { On merging theorem proving and logic programming
paradigms},
booktitle = {Proceedings of the Poster Session at the Joint
International Conference and Symposium on Logic
Programming},
year = 1996,
editor = {N.~Fuchs and U.~Geske},
pages = {99--122},
publisher = {GMD-Studien Nr. 296},
address = {Bonn, Germany},
month = {September},
}
@ARTICLE{aradixnie97comp,
author = {Chandrabose Aravindan and J\"{u}rgen Dix and Ilkka
Niemel\"{a}},
title = {DisLoP: A Research Project on Disjunctive Logic
Programming},
journal = {AI Communications},
year = 1997,
volume = 10,
number = {3/4},
pages = {151--165},
annote = {Extended Abstract apeared in {\em Computational Logic},
Vol. 3, No. 2, 1997.},
}
@INPROCEEDINGS{aradixnie97lpnmr,
author = {Chandrabose Aravindan and J\"{u}rgen Dix and Ilkka
Niemel\"{a}},
title = {{D}is{L}o{P}: {T}owards a {D}isjunctive {L}ogic
{P}rogramming {S}ystem},
booktitle = {Logic Programming and Non-Monotonic Reasoning, Proceedings
of the Fourth International Conference },
year = 1997,
pages = {342--353},
editor = {J.~Dix and U.~Furbach and A.~Nerode},
publisher = {Springer},
address = {Berlin},
series = {LNAI 1265},
month = {June},
}
@TECHREPORT{aradixnie97,
author = {Chandrabose Aravindan and J\"{u}rgen Dix and Ilkka
Niemel\"{a}},
title = {The {D}is{L}o{P}-Project},
year = 1997,
month = {January},
number = {TR 1/97},
institution = {University of Koblenz, Department of Computer Science,
Rheinau 1},
}
@TECHREPORT{aradixoso97,
author = {J. Arrazola and J\"{u}rgen Dix and Mauricio Osorio},
title = {Confluent Rewriting Systems for Logic Programming
Semantics},
year = 1997,
month = {October},
number = {TR 27/97},
institution = {University of Koblenz, Department of Computer Science,
Rheinau 1},
}
@TECHREPORT{aradixosozep98,
author = {J. Arrazola and J\"{u}rgen Dix and Mauricio Osorio and
Claudia Zepeda},
title = {Well-behaved semantics for Logic Programming},
year = 1998,
month = {September},
number = {TR 18/98},
institution = {University of Koblenz, Department of Computer Science,
Rheinau 1},
}
@PROCEEDINGS{baretal00,
title = {{P}roceedings of the 8th {I}nternational {W}orkshop on
{N}onmonotonic Reasoning, Breckenridge, Colorado, USA,
2000},
year = 2000,
editor = {C. Baral and S. Benferhat and S. Chopra and M. Denecker
and J. Dix and T. Kakas and V. Lifschitz and H. Prade
and A. Provetti and M. Truszczynski},
publisher = {University of Kentucky, archived at arXiv.org under
cs.AI/0003073},
month = {March},
}
@ARTICLE{baudixfurschsto98,
author = {P.~Baumgartner and I. Dahn and J.~Dix and U.~Furbach and
M.~K\"{u}hn and F.~Stolzenburg and B.~Thomas},
title = {Automated Deduction: A technological point of view},
journal = {KI},
year = 1998,
volume = 4,
pages = {7--14},
}
@ARTICLE{baudixfurschsto95,
author = {P.~Baumgartner and J.~Dix and U.~Furbach and
D.~Sch{\"{a}}fer and F.~Stolzenburg},
title = {Deduktion und {L}ogisches {P}rogrammieren},
journal = {KI},
year = 1996,
volume = 2,
pages = {34--39},
}
@INPROCEEDINGS{bradix94a,
author = {Stefan Brass and J{\"{u}}rgen Dix},
title = {A {C}haracterization of the {S}table {S}emantics by
{P}artial {E}valuation},
editor = {N. E. Fuchs and G. Gottlob},
booktitle = {Proc. of the 10th Workshop on Logic Programming,
Z\"{u}rich, October 1994},
year = 1994,
}
@INPROCEEDINGS{bradix94computing,
author = {Stefan Brass and J\"{u}rgen Dix},
title = {Computing {D}isjunctive {S}table {S}emantics Based on
{C}lark's {C}ompleted {D}atabase},
booktitle = {Proc. of the 6th GI-Workshop ``Grundlagen von
Datenbanken'', Bad Helmstedt, September 1994},
institute = {Otto-von-Guericke-Universit{\"{a}}t Magdeburg, Institut
f{\"{u}}r technische Informationssysteme},
pages = {30-34},
year = 1994,
}
@INPROCEEDINGS{bradix94,
author = {Brass, Stefan and Dix, J{\"{u}}rgen},
title = {A Disjunctive Semantics Based on Unfolding and Bottom-Up
Evaluation},
year = 1994,
editor = {Wolfinger, Bernd},
booktitle = {Innovationen bei Rechen- und Kommunikationssystemen, {\em
(IFIP '94-Congress, Workshop FG2: Disjunctive Logic
Programming and Disjunctive Databases)\/}},
publisher = {Springer},
address = {Berlin},
pages = {83--91},
}
@INCOLLECTION{bradix95a,
author = {Stefan Brass and J\"{u}rgen Dix},
title = {{A} {G}eneral {A}pproach to {B}ottom-{U}p {C}omputation of
{D}isjunctive {S}emantics},
booktitle = {Nonmonotonic Extensions of Logic Programming},
year = 1995,
pages = {127--155},
editor = {J. Dix and L. Pereira and T. Przymusinski},
publisher = {Springer},
address = {Berlin},
series = {LNAI 927},
}
@INPROCEEDINGS{bradix95characterizations,
author = {Stefan Brass and J\"{u}rgen Dix},
title = {{C}haracterizations of the {S}table {S}emantics by
{P}artial {E}valuation},
booktitle = {Logic Programming and Non-Monotonic Reasoning, Proceedings
of the Third International Conference },
year = 1995,
pages = {85--98},
editor = {A.~Nerode and W.~Marek and M.~Truszczy{\'n}ski},
publisher = {Springer},
address = {Berlin},
series = {LNCS 928},
month = {June},
}
@INPROCEEDINGS{bradix95disjunctive,
author = {Stefan Brass and J\"{u}rgen Dix},
title = {{D}isjunctive {S}emantics Based upon {P}artial and
{B}ottom-{U}p {E}valuation},
booktitle = {Proceedings of the 12th Int. Conf. on Logic Programming,
Tokyo},
year = 1995,
pages = {199--213},
editor = {Leon Sterling},
publisher = {MIT Press},
month = {June},
}
@TECHREPORT{bradix95d,
author = {Stefan Brass and J\"{u}rgen Dix},
title = {D-{W}{F}{S}: {A} {C}onfluent Calculus and an {E}quivalent
{C}haracterization},
year = 1995,
month = {September},
number = {TR 12/95},
institution = {University of Koblenz, Department of Computer Science,
Rheinau 1},
}
@INPROCEEDINGS{bradix96,
author = {Stefan Brass and J\"{u}rgen Dix},
title = {Characterizing {D}-{W}{F}{S}: {C}onfluence and {I}terated
{G}{C}{W}{A}},
booktitle = {Logics in Artificial Intelligence (JELIA '96)},
year = 1996,
editor = {J.J.~Alferes, L.M. Pereira and E. Orlowska},
publisher = {Springer},
series = {LNCS 1126},
adress = {Berlin},
pages = {268--283},
}
@ARTICLE{bradix96jlp1,
author = {Stefan Brass and J\"{u}rgen Dix},
title = {{C}haracterizations of the {D}isjunctive {S}table
{S}emantics by {P}artial {E}valuation},
journal = {Journal of Logic Programming},
year = 1997,
volume = {32(3)},
pages = {207--228},
note = {(Extended abstract appeared in: \newblock
{C}haracterizations of the {S}table {S}emantics by
{P}artial {E}valuation \newblock {\em LPNMR, Proceedings of
the Third International Conference, Kentucky\/}, pages
85--98, 1995. LNCS 928, Springer.)},
}
@ARTICLE{bradix97ar,
author = {Stefan Brass and J\"{u}rgen Dix},
title = {Characterizations of the {D}isjunctive {W}ell-founded
{S}emantics: {C}onfluent {C}alculi and {I}terated
{G}{C}{W}{A}},
journal = {Journal of Automated Reasoning},
year = 1998,
volume = {20(1)},
pages = {143--165},
note = {(Extended abstract appeared in: \newblock Characterizing
{D}-{W}{F}{S}: {C}onfluence and {I}terated {G}{C}{W}{A}.
\newblock {\em Logics in Artificial Intelligence, JELIA
'96\/}, pages 268--283, 1996. Springer, LNCS 1126.)},
}
@ARTICLE{bradix96jlp2,
author = {Stefan Brass and J\"{u}rgen Dix},
title = {Semantics of ({D}isjunctive) {L}ogic {P}rograms {B}ased on
{P}artial {E}valuation},
journal = {Journal of Logic Programming},
year = 1999,
volume = {38(3)},
pages = {167--213},
note = {(Extended abstract appeared in: \newblock {D}isjunctive
{S}emantics Based upon {P}artial and {B}ottom-{U}p
{E}valuation, \newblock {\em Proceedings of the 12-th
International Logic Programming Conference, Tokyo\/}, pages
199--213, 1995. MIT Press.)},
}
@TECHREPORT{braetal98tr,
author = {Brass, Stefan and Dix, J\"{u}rgen and Freitag, Burkhard
and Zukowski, Ulrich},
title = {Transformation-Based Bottom-Up Computation of the
Well-Founded Model},
year = 1998,
month = {August},
number = {TR 15/98},
institution = {University of Koblenz, Department of Computer Science,
Rheinau 1},
note = {Currently under review for {\em Theory and Practice of
Logic Programming}.},
}
@ARTICLE{bradixfrezuk99,
author = {Stefan Brass and J\"{u}rgen Dix and Burkhardt Freitag and
Ulrich Zukowski},
title = {Transformation-Based Bottom-Up Computation of the
Well-Founded Model},
journal = {Theory and Practice of Logic Programming},
year = 2001,
volume = 1,
number = 5,
pages = {497--538},
}
@ARTICLE{bradixnieprz99,
author = {Stefan Brass and J\"{u}rgen Dix and Ilkka Niemel\"{a} and
Teodor Przymusinski},
title = {On the {E}quivalence of the {S}tatic and {D}isjunctive
{W}ell-{F}ounded {S}emantics and its {C}omputation},
journal = {Theoretical Computer Science},
year = 2001,
volume = 258,
number = {1-2},
pages = {523--553},
}
@TECHREPORT{bradixnieprz96,
author = {Stefan Brass and J\"{u}rgen Dix and Ilkka Niemel\"{a} and
Teodor.~C.~Przymusinski},
title = {A {C}omparison of {S}tatic {S}emantics and {D}-{W}{F}{S}},
year = 1996,
month = {February},
number = {TR 2/96},
institution = {University of Koblenz, Department of Computer Science,
Rheinau 1},
}
@INCOLLECTION{bradixnieprz97dutch,
author = {Stefan Brass and J\"{u}rgen Dix and Ilkka Niemel\"{a} and
Teodor.~C.~Przymusinski},
title = {{C}omparison and {E}fficient {C}omputation of the {S}tatic
and the {D}isjunctive {W}{F}{S}},
booktitle = {Proceedings of the third {D}utch-{G}erman {W}orkshop on
{N}onmonotonic {R}easoning and its {A}pplications},
editor = {Gerd Brewka and Emil Weydert and Cees Witteveen},
pages = {37--42},
year = 1997,
month = {February},
publisher = {Max Planck Institute for Computer Science,
Saarbr\"{u}cken},
note = {appeared also as TR 2/96},
}
@INPROCEEDINGS{bradixnieprz98kr,
author = {Stefan Brass and J\"{u}rgen Dix and Ilkka Niemel\"{a} and
Teodor.~C.~Przymusinski},
title = {A {C}omparison of the {S}tatic and the {D}isjunctive
{W}ell-founded {S}emantics and its {I}mplementation},
booktitle = {Principles of Knowledge Representation and Reasoning:
Proceedings of the Sixth International Conference (KR
'98)},
editor = {A.~G.~Cohn and L.~K.~Schubert and S.~C.~Shapiro},
year = 1998,
pages = {74--85},
publisher = {Morgan Kaufmann},
organization = {San Francisco, CA},
month = {May},
note = {appeared also as TR 17/97, University of Koblenz},
}
@TECHREPORT{bradixprz98tr,
author = {Stefan Brass and J\"{u}rgen Dix and Teodor Przymusinski},
title = {{S}uper {L}ogic {P}rograms},
year = 1998,
month = {September},
number = {TR 17/98},
institution = {University of Koblenz, Department of Computer Science,
Rheinau 1},
}
@ARTICLE{bradixprz99,
author = {Stefan Brass and J\"{u}rgen Dix and Teodor Przymusinski},
title = {Computation of the Semantics of Autoepistemic Belief
Theories},
journal = {Artificial Intelligence},
year = 1999,
volume = 112,
number = {1-2},
pages = {104--123},
note = {(Partial results appeared in: \newblock {S}uper {L}ogic
{P}rograms. \newblock {\em Proceedings of the 5-th
International Conference on Principles of Knowledge
Representation and Reasoning. Boston, MA\/}, pages
529--541, 1996. Morgan Kaufman.)},
}
@ARTICLE{bradixprz03,
author = {Stefan Brass and J\"{u}rgen Dix and Teodor Przymusinski},
title = {Super {L}ogic {P}rograms},
journal = {ACM Transactions of Computational Logic},
year = 2004,
volume = 5,
pages = {129--176},
}
@INPROCEEDINGS{bradixprz96super,
author = {Stefan Brass and J\"{u}rgen Dix and
Teodor.~C.~Przymusinski},
title = {{S}uper {L}ogic {P}rograms},
booktitle = {Principles of Knowledge Representation and Reasoning:
Proceedings of the Fifth International Conference (KR
'96)},
editor = {L.~C.~Aiello and J.~Doyle and S.~C.~Shapiro},
pages = {529--541},
publisher = {Morgan Kaufmann},
organization = {San Francisco, CA},
year = 1996,
}
@TECHREPORT{bradixprz96ch,
author = {Stefan Brass and J\"{u}rgen Dix and
Teodor.~C.~Przymusinski},
title = {Characterizations and {I}mplementation of {S}tatic
{S}emantics of {D}isjunctive {P}rograms},
year = 1996,
month = {February},
number = {TR 4/96},
institution = {University of Koblenz, Department of Computer Science,
Rheinau 1},
}
@INPROCEEDINGS{bredixkon93a,
author = {Gerd Brewka and J\"{u}rgen Dix and Kurt Konolige},
title = {{A} {T}utorial on {N}onmonotonic {R}easoning},
booktitle = {Nonmonotonic and Inductive Logic, Proceedings of the
Second International Workshop, Reinhardsbrunn Castle,
Germany, December 1991},
year = 1993,
editor = {G. Brewka and K. P. Jantke and P. H. Schmitt},
pages = {1-88},
series = {LNCS 659},
publisher = {Springer},
address = {Berlin},
month = {February},
}
@BOOK{bredixkon93,
author = {Gerd Brewka and J\"{u}rgen Dix and Kurt Konolige},
title = {{N}onmonotonic {R}easoning: {A}n {O}verview},
publisher = {CSLI Publications},
year = 1997,
address = {Stanford, CA},
series = {CSLI Lecture Notes 73},
}
@TECHREPORT{bredix96,
author = {Gerhard Brewka and J\"{u}rgen Dix},
title = {Knowledge Representation with Logic Programs},
institution = { Tutorial Notes of the 12th European Conference on
Artificial Intelligence (ECAI '96)},
note = {Also appeared as Technical Report 15/96, Dept. of CS of
the University of Koblenz-Landau. Will appear as Chapter 6
in {\em Handbook of Philosophical Logic\/}, 2nd edition
(2004), Volume 6, Methodologies},
year = 1996,
}
@TECHREPORT{bredix97esslli,
author = {Gerhard Brewka and J\"{u}rgen Dix},
title = {Generalized Logic Programs and their use in Knowledge
Representation: An introductory course},
institution = { Working Notes of the {\em 9th annual European Summer
School in Logic, Language and Information\/},
Aix-en-Provence 1997},
year = 1996,
}
@INCOLLECTION{bredix00,
author = {Gerhard Brewka and J\"{u}rgen Dix},
title = {Knowledge Representation with Extended Logic Programs},
booktitle = {Handbook of Philosophical Logic, 2nd Edition, Volume 6,
Methodologies},
publisher = {Reidel Publ.},
year = 2001,
editor = {D. Gabbay and F. Guenthner},
chapter = 6,
note = {Shortened version also appeared in Dix, Pereira,
Przymusinski (Eds.), \emph{Logic Programming and Knowledge
Representation}, Springer LNAI 1471, pages 1--55, 1998.},
}
@INPROCEEDINGS{dixetal00cacic,
author = {Carlos Ches{\~n}evar and J\"{u}rgen Dix and Guillermo
Simari and Frieder Stolzenburg},
title = {Relating Defeasible and Normal Logic Programming through
Transformation Properties},
booktitle = {Proceedings of the 6th Argentinean Congress on Computer
Science, CACIC 2000},
year = 2000,
month = {October},
pages = {371--381},
organization = {JAIIO, Buenos Aires, Argentina},
isbn = {ISBN 950-763-033-3},
}
@PROCEEDINGS{mehdixel04,
title = {{P}rogramming {M}ulti {A}gent {S}ystems ({ProMAS} '03)},
year = 2004,
editor = {M.~Dastani and J.~Dix and Amal~El~Fallah~Segrouchni},
publisher = {Springer},
address = {Berlin},
series = {LNCS},
}
@TECHREPORT{dix95habil,
author = {J.~Dix},
title = {Disjunctive {D}eductive {D}atabases: {T}heoetical
{F}oundations and {O}perational {S}emantics},
institution = {Technical University of Vienna, Institute for
Information-Systems},
year = 1995,
month = {September},
note = {Habilitation Thesis},
}
@PROCEEDINGS{dixfarfur98,
title = {{L}ogics in {A}rtificial {I}ntelligence},
year = 1998,
editor = {J.~Dix and L.~{Farinas~del~Cerro} and U.~Furbach},
publisher = {Springer},
address = {Berlin},
series = {LNCS},
number = 1489,
}
@ARTICLE{dixfur96the,
author = {J.~Dix and U.~Furbach},
title = {The {D}{F}{G}-{P}roject {D}is{L}o{P} on {D}isjunctive
{L}ogic {P}rogramming},
journal = {Computational Logic},
year = 1996,
volume = {2(2)},
pages = {89--90},
}
@ARTICLE{dixfur96,
author = {J.~Dix and U.~Furbach},
title = {Logisches {P}rogrammieren mit {N}egation und
{D}isjunktion},
journal = {KI},
year = 1996,
volume = 3,
pages = {24--31},
note = {Special Issue on Logic Programming},
}
@PROCEEDINGS{dixfurner97,
title = {{L}ogic {P}rogramming and {N}onmonotonic {R}easoning},
year = 1997,
editor = {J.~Dix and U.~Furbach and A.~Nerode},
publisher = {Springer},
address = {Berlin},
series = {LNAI 1265},
}
@PROCEEDINGS{dixjansch91,
title = {{N}onmonotonic and {I}nductive {L}ogic, {P}roceedings of
the first {I}nternational {W}orkshop, {K}arlsruhe,
{G}ermany, 1990},
year = 1991,
editor = {J. Dix and K. P. Jantke and P. H. Schmitt},
publisher = {Springer},
address = {Berlin},
series = {LNAI 543},
month = {October},
}
@PROCEEDINGS{dixlei04,
title = {Logic and {M}ulti-{A}gent {S}ystems, {P}ost {C}onference
{P}roceedings of({CLIMA IV})},
year = 2004,
editor = {J.~Dix and J. Leite},
publisher = {Springer},
address = {Berlin},
series = {LNCS},
}
@PROCEEDINGS{dixperprz95,
title = {{N}on-{M}onotonic {E}xtensions of {L}ogic {P}rogramming},
year = 1995,
editor = {J. Dix and L. Pereira and T. Przymusinski},
publisher = {Springer},
address = {Berlin},
series = {LNAI 927},
}
@PROCEEDINGS{dixperprz96,
title = {{N}on-{M}onotonic {E}xtensions of {L}ogic {P}rogramming},
year = 1996,
editor = {J. Dix and L. Pereira and T. Przymusinski},
institution = {Dept. of CS, Universit\"{a}t Koblenz-Landau},
series = {TR-17-96},
}
@PROCEEDINGS{dixperprz97,
title = {{N}on-{M}onotonic {E}xtensions of {L}ogic {P}rogramming},
year = 1997,
editor = {J. Dix and L. Pereira and T. Przymusinski},
publisher = {Springer},
address = {Berlin},
series = {LNAI 1216},
}
@PROCEEDINGS{dixperprz98,
title = {{L}ogic {P}rogramming and {K}nowledge {R}epresentation},
year = 1998,
editor = {J. Dix and L. Pereira and T. Przymusinski},
publisher = {Springer},
address = {Berlin},
series = {LNAI 1471},
}
@TECHREPORT{dix86,
author = {J\"{u}rgen Dix},
title = {{M}odel {T}heory of ({U}ltra-) {M}etric {S}paces},
institution = {Master Thesis, Heidelberg University (in german) },
year = 1986,
}
@TECHREPORT{dix88,
author = {J\"{u}rgen Dix},
title = {{L}ogik und {S}pezifikation},
institution = {Institut f\"{u}r Mikrorechner und Automation},
year = 1988,
type = {Technical Report},
address = {University of Karlsruhe, Computer Science Department,
POBox 6980, 7500 Karlsruhe},
month = {Februar},
}
@INPROCEEDINGS{dix89,
author = {J\"{u}rgen Dix},
title = {{S}ome {T}endencies in {N}on {M}onotonic {R}easoning: I.
{T}he {M}ain {A}pproaches},
booktitle = {Proceedings of the 7th Easter Conference on Model-Theory},
year = 1989,
editor = {Dahn, Bernd I. and Wolter, Helmut},
pages = {81-105},
organization = {Sektion Mathematik der Humboldt Universit\"{a}t},
address = {1086 Berlin, PSF 1297, DDR},
month = {April},
}
@TECHREPORT{dix90,
author = {J\"{u}rgen Dix},
title = {{S}ome {T}endencies in {N}on {M}onotonic {R}easoning: I.
{T}he {M}ain {A}pproaches},
institution = {Institut f\"{u}r {L}ogik und {K}omplexit\"{a}t},
year = 1990,
number = { 15/90},
address = {University of Karlsruhe, PoBox 6980, 7500 Karlsruhe},
month = {November},
}
@TECHREPORT{dix91on,
author = {J\"{u}rgen Dix},
title = {{O}n {C}umulativity in {D}efault {L}ogic and its
{R}elation to {P}oole's {A}pproach},
institution = {Institute for Logic and Complexity},
year = 1991,
type = {Technical Report},
address = {University of Karlsruhe, Computer Science Department,
POBox 6980, 7500 Karlsruhe},
month = {October},
}
@INPROCEEDINGS{dix91classifying,
author = {J\"{u}rgen Dix},
title = {{C}lassifying {S}emantics of {L}ogic {P}rograms},
booktitle = {Logic Programming and Non-Monotonic Reasoning, Proceedings
of the first International Workshop },
year = 1991,
editor = {Anil Nerode and Wiktor Marek and V. S. Subrahmanian},
pages = {166-180},
organization = {Washington D.C },
publisher = {MIT Press},
address = {Cambridge, Mass.},
month = {July},
}
@MISC{dix91normal,
author = {J\"{u}rgen Dix},
title = {{N}ormal {L}ogic {P}rograms and {C}umulativity},
howpublished = {9 th International Congress of Logic, Methodology and
Philosophy of Science, Uppsala, Sweden},
month = {August},
year = 1991,
}
@INPROCEEDINGS{dix91cumulativity,
author = {J\"{u}rgen Dix},
title = {{C}umulativity and {R}ationality in {S}emantics of
{N}ormal {L}ogic {P}rograms},
booktitle = {Proceedings of the first Workshop on Nonmonotonic and
Inductive Logic 1990 in Karlsruhe},
year = 1991,
editor = {J. Dix and K. P. Jantke and P. H. Schmitt},
pages = {13-37},
series = {LNCS 543},
publisher = {Springer},
address = {Berlin},
month = {October},
}
@PHDTHESIS{dix92nichtmonotones,
author = {J\"{u}rgen Dix},
title = {{N}ichtmonotones {S}chlie{\ss}en und dessen {A}nwendung
auf {S}emantiken logischer {P}rogramme},
school = {University of Karlsruhe},
year = 1992,
}
@INPROCEEDINGS{dix92default,
author = {J\"{u}rgen Dix},
title = {{D}efault {T}heories of {P}oole-{T}ype and a {M}ethod for
{C}onstructing {C}umulative {V}ersions of {D}efault
{L}ogic},
booktitle = {Proc.~of 10th European Conf.~on Artificial Intelligence
ECAI~92},
year = 1992,
pages = {289-293},
editor = {Bernd Neumann},
publisher = {John Wiley \& Sons},
}
@INPROCEEDINGS{dix92aframework,
author = {J\"{u}rgen Dix},
title = {{A} {F}ramework for {R}epresenting and {C}haracterizing
{S}emantics of {L}ogic {P}rograms},
booktitle = {Principles of Knowledge Representation and Reasoning:
Proceedings of the Third International Conference (KR
'92)},
editor = {B. Nebel and C. Rich and W. Swartout},
pages = {591-602},
publisher = {Morgan Kaufmann},
organization = {San Mateo, CA},
year = 1992,
}
@INPROCEEDINGS{dix92classifyingdisjunctive,
author = {J\"{u}rgen Dix},
title = {{C}lassifying {S}emantics of {D}isjunctive {L}ogic
{P}rograms},
booktitle = {LOGIC PROGRAMMING: Proceedings of the 1992 Joint
International Conference and Symposium},
year = 1992,
editor = {K. R. Apt},
pages = {798-812},
publisher = {MIT Press},
address = {Cambridge, Mass.},
month = {November},
}
@ARTICLE{dix93lp,
author = {J\"{u}rgen Dix},
title = {{L}{P}\&{N}{M}{R} '93: {R}eport on the {S}econd
{I}nternational {W}orkshop on {L}ogic {P}rogramming and
{N}on-{M}onotonic {R}easoning},
journal = {AI Communications},
year = 1993,
volume = {Vol. 6, Nos. 3/4},
pages = {229-231},
note = {Also in Newsletter of the Association of Logic
Programming, Vol. 6/4, 1993, pages 2-3 },
}
@ARTICLE{dix94review,
author = {J\"{u}rgen Dix},
title = {{R}eview on {M}arek/{T}ruszscynski's {B}ook
''{N}onmonotonic {L}ogic``},
journal = {Bulletin of the IGPL},
year = 1994,
volume = {Vol. 6, No. 1},
pages = {250-254},
}
@INPROCEEDINGS{dix93semantics,
author = {J\"{u}rgen Dix},
title = {{S}emantics of {L}ogic {P}rograms: {T}heir {I}ntuitions
and {F}ormal {P}roperties. {A}n {O}verview.},
booktitle = {Logic, Action and Information -- Essays on Logic in
Philosophy and Artificial Intelligence},
editor = {Andre Fuhrmann and Hans Rott},
publisher = {DeGruyter},
year = 1995,
pages = {241--327},
}
@ARTICLE{dix93aclassificationtheoryii,
author = {J\"{u}rgen Dix},
title = {{A} {C}lassification-{T}heory of {S}emantics of {N}ormal
{L}ogic {P}rograms: {I}{I}. {W}eak {P}roperties},
journal = {Fundamenta Informaticae},
year = 1995,
volume = {XXII(3)},
pages = {257--288},
}
@ARTICLE{dix93aclassificationtheoryi,
author = {J\"{u}rgen Dix},
title = {{A} {C}lassification-{T}heory of {S}emantics of {N}ormal
{L}ogic {P}rograms: {I}. {S}trong {P}roperties},
journal = {Fundamenta Informaticae},
year = 1995,
volume = {XXII(3)},
pages = {227--255},
}
@ARTICLE{dix94retreat,
author = {J\"{u}rgen Dix},
title = {{D}etailed {R}eport on the {F}irst {L}{P} \& {N}{M}{R}
Retreat},
journal = {AI Communications},
year = 1995,
volume = {Vol. 8, No. 1},
pages = {39-43},
note = {Also in Computational Logic, Vol. 2, 1995, pages 94--97},
}
@BOOK{dix95nml,
author = {J\"{u}rgen Dix},
title = {Nichtmonotones Schliessen},
publisher = {Universit\"{a}t Koblenz-Landau, Lecture Notes},
note = {Vorlesungsskriptum},
year = 1995,
}
@MISC{dix95lmps,
author = {J\"{u}rgen Dix},
title = {Characterizing Semantics of Logic Programs by Partial
Evaluation},
howpublished = {10 th International Congress of Logic, Methodology and
Philosophy of Science, Florence, Italy},
month = {August},
year = 1995,
abstract = { Our aim is to look from a more structural point of view
at the various semantics for logic programs with negation
that have been considered in the last years. Nearly all
semantics SEM are defined by associating with any program
$P$ a subset of its 3-valued Herbrand models
\[\mbox{SEM}(P)\subseteq
\mbox{MOD}^{Herbrand}_{3-val}(P).\] But a purely
model-theoretical investigation is not possible, because
all these semantics depend on the way the program is
written down. They are not invariant under classical
equivalence: \[P \Leftrightarrow P' \mbox{ \ does not imply
\ } \mbox{SEM}(P) = \mbox{SEM}(P').\] Therefore the
syntactic structure of the program $P$, partially
represented by its dependency graph ${\cal G}_P$, plays an
important role. We show that some particular {\em syntactic
transformations\/} suffice to determine certain semantics uniquely.},
}
@ARTICLE{dix94retreat2,
author = {J\"{u}rgen Dix},
title = {{D}etailed {R}eport on the {F}irst {L}{P} \& {N}{M}{R}
Retreat},
journal = {Computational Logic},
year = 1995,
volume = {Vol. 2, No. 1},
pages = {94--97},
note = {Also in AI Communications, Vol. 8, 1995, pages 39--43},
}
@BOOK{dix95ddb,
author = {J\"{u}rgen Dix},
title = {Deduktive Datenbanken},
publisher = {Universit\"{a}t Koblenz-Landau, Lecture Notes},
note = {Vorlesungsskriptum},
year = 1996,
}
@BOOK{dix97ki,
author = {J\"{u}rgen Dix},
title = {K\"{u}nstliche Intelligenz},
publisher = {Universit\"{a}t Koblenz-Landau, Lecture Notes},
note = {Vorlesungsskriptum},
year = 1997,
}
@BOOK{dix97kiwr,
author = {J\"{u}rgen Dix},
title = {K\"{u}nstliche Intelligenz und Wissensrepr\"{a}sentation},
publisher = {Technische Universit\"{a}t Wien, Lecture Notes},
note = {Vorlesungsskriptum},
year = 1997,
}
@ARTICLE{dix98lpp,
author = {J\"{u}rgen Dix},
title = {The {L}ogic {P}rogramming {P}aradigm},
journal = {AI Communications},
year = 1998,
volume = {Vol. 11, No. 3},
pages = {39--43},
note = {Short version in Newsletter of ALP, Vol. 11(3), 1998,
pages 10--14},
}
@TECHREPORT{dix98lpptr,
author = {J\"{u}rgen Dix},
title = {The {L}ogic {P}rogramming {P}aradigm},
year = 1998,
month = {August},
number = {TR 16/98},
institution = {University of Koblenz, Department of Computer Science,
Rheinau 1},
}
@INCOLLECTION{dix99,
author = {J\"{u}rgen Dix},
title = {Cognitive {S}ystems},
pages = {531--540},
booktitle = {Encyclopedia of Electrical and Electronics Engineering, 24
Volumes},
publisher = {John Wiley \& Sons},
address = {Chicester, New York},
year = 1999,
editor = {John G. Webster},
}
@TECHREPORT{dix00bahia,
author = {J\"{u}rgen Dix},
title = {Multi-{A}gency: An {I}ntroduction.},
institution = { Working Notes of the \emph{Tutorial on Multi-Agency},
Universidad del Sur, Dept. of CS, Bahia Blanca, September 2000.},
year = 2000,
}
@INPROCEEDINGS{dix01,
author = {J\"{u}rgen Dix},
title = {{A} {C}omputational {L}ogic {A}pproach to {H}eterogenous
{A}gent {S}ystems},
booktitle = {Logic Programming and Non-Monotonic Reasoning, Proceedings
of the Sixth International Conference },
year = 2001,
editor = {Th.~Eiter and M.~Truszczy{\'n}ski and W.~Faber},
publisher = {Springer},
address = {Berlin},
series = {LNCS},
month = {September},
}
@BOOK{dixfarfur99,
editor = {J\"{u}rgen Dix and Luis Farinas del Cerro and Ulrich
Furbach},
title = {Selected {P}apers of Logic in {A}{I}},
publisher = {Baltzer Science Publishers},
series = {{S}pecial Issue of the Annals in Mathematics and
Artificiel Intelligence},
volume = {27(1--2)},
year = 2000,
}
@ARTICLE{dixetal02tcs,
author = {J\"{u}rgen Dix and C. Chesnevar and F. Stolzenburg and G. Simari},
title = {Relating {D}efeasible and {N}ormal {L}ogic {P}rogramming through
{T}ransformation {P}roperties},
journal = {Theoretical Computer Science},
year = 2002,
volume = 290,
number = 1,
pages = {499--529},
}
@TECHREPORT{dixdolfucmue90,
author = {J\"{u}rgen Dix and Axel Dold and Thomas Fuch{\ss} and
Martin M\"{u}ller},
title = {{T}heorist und {M}{V}{L}: {E}rfahrungen und {H}inweise im
{U}mgang mit nichtmonotonen {B}eweissystemen},
institution = {Universit\"{a}t Karlsruhe, Fakult\"{a}t f\"{u}r Informatik},
year = 1990,
address = {Institut f\"{u}r Logik, Komplexit\"{a}t und
Deduktionssysteme},
month = {July},
}
@TECHREPORT{dix00usuahia,
author = {J\"{u}rgen Dix and Thomas Eiter},
title = {IMPACT: A flexible framework for Multi-Agents.},
institution = { Working Notes of the \emph{National Argentine Conference on Computer
Science},
Usuahia, October 2000.},
year = 2000,
}
@TECHREPORT{dixeit02esslli,
author = {J\"{u}rgen Dix and Thomas Eiter},
title = {Theoretical foundations and practical applications of Heterogenous agent systems},
institution = { Working Notes of the {\em 14th annual European Summer
School in Logic, Language and Information\/},
Trento 2002},
year = 2002,
}
@BOOK{dixfislevste04,
editor = {J\"{u}rgen Dix and Michael Fisher and Hector Levesque and Leo Sterling},
title = {{L}ogic {B}ased {I}mplementation of {A}gent {S}ystems},
publisher = {Baltzer Science Publishers},
series = {{S}pecial Issue of the Annals in Mathematics and
Artificial Intelligence},
year = 2004,
}
@TECHREPORT{dixfiszhan02,
author = {J\"{u}rgen Dix and Michael Fisher and Yingqian Zhang},
title = {Programming {M}ulti {A}gent {S}ystems based on {L}ogic},
number = {Dagstuhl Seminar Report 361},
year = 2002,
institution = {IBFI GmbH, Schlo{\ss} Dagstuhl},
url = {http://www.dagstuhl.de/02481/},
}
@TECHREPORT{dixfurnie98tr,
author = {J\"{u}rgen Dix and Ulrich Furbach and Ilkka Niemel\"{a}},
title = {Nonmonotonic {R}easoning: {T}owards {E}fficient {C}alculi
and {I}mplementations},
year = 1998,
month = {August},
number = {TR 20/98},
institution = {University of Koblenz, Department of Computer Science,
Rheinau 1},
}
@INCOLLECTION{dixfurnie98,
author = {J\"{u}rgen Dix and Ulrich Furbach and Ilkka Niemel\"{a}},
title = {Nonmonotonic {R}easoning: {T}owards {E}fficient {C}alculi
and {I}mplementations},
booktitle = {Handbook of Automated Reasoning},
publisher = {Elsevier-Science-Press},
year = 2001,
pages = {1121--1234},
editor = {Andrei Voronkov and Alan Robinson},
}
@INPROCEEDINGS{dixgotmar93,
author = {J\"{u}rgen Dix and Georg Gottlob and Viktor Marek},
title = {{C}ausal {M}odels for {D}isjunctive {L}ogic {P}rograms},
booktitle = {Proceedings of the 11th Int. Conf. on Logic Programming,
S. Margherita Ligure},
year = 1994,
pages = {290-302},
editor = {Pascal Van Hentenryck},
publisher = {MIT},
month = {June},
}
@ARTICLE{dixgotmar95,
author = {J\"{u}rgen Dix and Georg Gottlob and Viktor Marek},
title = {Reducing Disjunctive to Non-Disjunctive Semantics by
Shift-Operations},
journal = {Fundamenta Informaticae},
year = 1996,
volume = {XXVIII(1/2)},
pages = {87--100},
}
@TECHREPORT{dixhoe98,
author = {J\"{u}rgen Dix and Steffen H\"{o}lldobler},
title = {Inference {M}echanisms in {K}nowledge-{B}ased {S}ystems:
{T}heory and {A}pplications. Proceedings of a WS at KI
'98},
year = 1998,
month = {September},
number = {TR 19/98},
institution = {University of Koblenz, Department of Computer Science,
Rheinau 1},
}
@TECHREPORT{dixkrasub99TR,
author = {J\"{u}rgen Dix and Sarit Kraus and V.S. Subrahmanian},
title = {Temporal Agent Programs},
year = 1999,
month = {September},
number = {CS-TR-4055},
institution = {Dept. of CS, University of Maryland, College Park, MD
20752},
note = {currently under submission for a Journal},
}
@TECHREPORT{dixetal02TRc,
author = {J\"{u}rgen Dix and Sarit Kraus and V.S. Subrahmanian},
title = {Agents dealing with time and uncertainty},
year = 2002,
month = {February},
number = {CS-TR-4336 (UMIACS-TR-2002-17)},
institution = {Dept. of CS, University of Maryland, College Park, MD
20752},
note = {extended abstract appeared at AAMAS '02},
}
@ARTICLE{dixkrasub04,
author = {J\"{u}rgen Dix and Sarit Kraus and V.S.~Subrahmanian},
title = {Heterogenous Temporal Probabilistic {A}gents},
journal = {ACM Transactions of Computational Logic},
year = 2004,
pages = {to appear},
}
@ARTICLE{dixkrasub00,
author = {J\"{u}rgen Dix and Sarit Kraus and VS Subrahmanian},
title = {Temporal Agent Reasoning},
journal = {Artificial Intelligence},
year = 2001,
volume = 127,
number = 1,
pages = {87--135},
}
@INPROCEEDINGS{dixetal02aamas1,
author = {J\"{u}rgen Dix and Sarit Kraus and VS Subrahmanian},
title = {Agents dealing with time and uncertainty},
booktitle = {Proceedings of the First
International Joint Conference on Autonomous Agents and Multi-Agent
Systems},
year = 2002,
editor = {C. Castelfranchi and W. L. Johnson},
publisher = {New York: ACM Press},
isbn = {1-58113-480-0},
month = {July},
}
@MISC{dixkum92,
author = {J\"{u}rgen Dix and Martin Kummer},
title = {{H}erbrand's {T}heorem for {N}onstandard {I}nference
{O}perations},
howpublished = {Logic Colloquium 1992, Veszprem, Hungary},
month = {August},
year = 1992,
}
@ARTICLE{dixkum93a,
author = {J\"{u}rgen Dix and Martin Kummer},
title = {{H}erbrand's {T}heorem for {N}onstandard {I}nference
{O}perations},
journal = {Journal of Symbolic Logic},
year = 1993,
volume = 58,
pages = {1116--1117},
}
@ARTICLE{dixkum93,
author = {J\"{u}rgen Dix and Martin Kummer},
title = {{H}erbrand's {T}heorem for {N}onstandard {I}nference
{O}perations},
journal = {Journal of Logic and Computation},
year = 1994,
volume = {Vol. 4, No. 2},
pages = {143-156},
}
@TECHREPORT{dixetal02TRb,
author = {J\"{u}rgen Dix and Ugur Kuter and Dana Nau},
title = {HTN planning in Answer Set Programming},
year = 2002,
month = {February},
number = {CS-TR-4332 (UMIACS-TR-2002-14)},
institution = {Dept. of CS, University of Maryland, College Park, MD
20752},
note = {submitted},
}
@ARTICLE{dixkutnau04,
author = {J\"{u}rgen Dix and Ugur Kuter and Dana Nau},
title = {HTN planning with answer set programming},
journal = {Theory and Practice of Logic Programming},
year = 2004,
}
@BOOK{dixleisat02,
editor = {J\"{u}rgen Dix and Joao Leite and Ken Satoh},
title = {{C}{L}{I}{M}{A}: {C}omputational {L}ogic in {M}ulti {A}gent {S}ystems},
publisher = {Elsevier Science Publishers},
series = {Electronic Notes on Theoretical Computer Science},
volume = 70,
number = 5,
year = 2002,
url = {http://www.elsevier.com/locate/entcs/volume70.html},
isbn = 50444512985,
}
@BOOK{dixleisat03,
editor = {J\"{u}rgen Dix and Joao Leite and Ken Satoh},
title = {{C}omputational {L}ogic and {M}ulti {A}gency},
publisher = {Baltzer Science Publishers},
series = {{S}pecial Issue of the Annals in Mathematics and
Artificial Intelligence},
year = 2004,
}
@TECHREPORT{dixlob98,
author = {J\"{u}rgen Dix and Jorge Lobo},
title = {{L}ogic {P}rogramming and {N}onmonotonic {R}easoning},
year = 1998,
month = {May},
number = {TR 3/98},
institution = {University of Koblenz, Department of Computer Science,
Rheinau 1},
}
@BOOK{dixlob99,
editor = {J\"{u}rgen Dix and Jorge Lobo},
title = {{L}ogic {P}rogramming and Non-monotonic Reasoning},
publisher = {Baltzer Science Publishers},
series = {{S}pecial Issue of the Annals in Mathematics and
Artificial Intelligence},
volume = {25(3--4)},
year = 1999,
}
@TECHREPORT{dixlovminwar96,
author = {J\"{u}rgen Dix and Donald Loveland and Jack Minker and
David.~S.~Warren},
title = {{D}isjunctive {L}ogic {P}rogramming and Databases:
{N}onmonotonic {A}spects},
number = {Dagstuhl Seminar Report 150},
year = 1996,
institution = {IBFI GmbH, Schlo{\ss} Dagstuhl},
}
@TECHREPORT{dixmak91,
author = {J\"{u}rgen Dix and David Makinson},
title = {{A} {N}ote on the {R}elationship between {K}{L}{M} and
{M}{A}{K} models for {N}onmonotonic {I}nference
{O}perations},
institution = {Institute for Logic and Complexity},
year = 1991,
type = {Technical Report},
number = {16/91},
address = {University of Karlsruhe, Computer Science Department,
POBox 6980, 7500 Karlsruhe},
month = {September},
}
@ARTICLE{dixmak92,
author = {J\"{u}rgen Dix and David Makinson},
title = {{T}he {R}elationship between {K}{L}{M} and {M}{A}{K}
models for {N}onmonotonic {I}nference {O}perations},
journal = {Journal of Logic, Language and Information},
year = 1992,
volume = {Volume 1, No. 2},
pages = {131-140},
}
@TECHREPORT{dixmertrowae91,
author = {J\"{u}rgen Dix and Stefan Merkle and Ulf Troppens and
Stefan Waelde},
title = {{K}{L}{M}'s {A}bschl\"{u}sse ${K}^{cum}$ und ${K}^{pref}$
versus {L}{M}'s {A}bschluss ${K}^{rat}$: {T}heorie und
{I}mplementierung },
institution = {Universit\"{a}t Karlsruhe, Fakult\"{a}t f\"{u}r Informatik},
year = 1991,
address = {Institut f\"{u}r Logik, Komplexit\"{a}t und
Deduktionssysteme},
month = {September},
}
@INPROCEEDINGS{dixmue92,
author = {J\"{u}rgen Dix and Martin M\"{u}ller},
title = {{A}bstract {P}roperties and {C}omputational {C}omplexity
of {S}emantics for {D}isjunctive {L}ogic {P}rograms},
booktitle = {Proc. of the Workshop W1, Structural Complexity and
Recursion-theoretic Methods in Logic Programming, following
the JICSLP '92},
year = 1992,
pages = {15-28},
publisher = {H. Blair and W. Marek and A. Nerode and J. Remmel},
month = {November},
note = {also available as Technical Report 13/93, University of
Koblenz, Department of Computer Science},
}
@INPROCEEDINGS{dixmue93implementing,
author = {J\"{u}rgen Dix and Martin M\"{u}ller},
title = {{I}mplementing {S}emantics for {D}isjunctive {L}ogic
{P}rograms {U}sing {F}ringes and {A}bstract {P}roperties},
booktitle = {Logic Programming and Non-Monotonic Reasoning, Proceedings
of the Second International Workshop },
year = 1993,
editor = {Luis Moniz Pereira and Anil Nerode},
pages = {43-59},
organization = {Lisbon },
publisher = {MIT Press},
address = {Cambridge, Mass.},
month = {July},
}
@INPROCEEDINGS{dixmue93an,
author = {J\"{u}rgen Dix and Martin M\"{u}ller},
title = {{A}n {A}xiomatic {F}ramework for {R}epresenting and
{C}haracterizing {S}emantics of {D}isjunctive {L}ogic
{P}rograms},
booktitle = {Proceedings of the 11th Int. Conf. on Logic Programming,
S. Margherita Ligure},
year = 1994,
pages = {303-322},
editor = {Pascal Van Hentenryck},
publisher = {MIT},
month = {June},
}
@INPROCEEDINGS{dixmue93anote,
author = {J\"{u}rgen Dix and Martin M\"{u}ller},
title = {{P}artial {E}valuation and {R}elevance for
{A}pproximations of the {S}table {S}emantics},
booktitle = {Proceedings of the 8th Int. Symp. on Methodologies for
Intelligent Systems, Charlotte, NC, 1994},
year = 1994,
pages = {511-520},
editor = {Z.W. Ras and M. Zemankova},
publisher = {Springer},
address = {Berlin},
series = {LNAI 869},
}
@INPROCEEDINGS{dixmue94stable,
author = {J\"{u}rgen Dix and Martin M\"{u}ller},
title = {{T}he {S}table {S}emantics and its {V}ariants: {A}
{C}omparison of {R}ecent {A}pproaches},
booktitle = {Proceedings of the 18th German Annual Conference on
Artificial Intelligence (KI '94), Saarbr\"{u}cken, Germany},
year = 1994,
pages = {82-93},
editor = {L. Dreschler-Fischer and B. Nebel},
publisher = {Springer},
address = {Berlin},
series = {LNAI 861},
}
@INPROCEEDINGS{dixmunnau00,
author = {J\"{u}rgen Dix and Hector Munoz-Avila and Dana Nau},
title = {I{M}{P}{A}{C}{T}ing {S}{H}{O}{P}: Planning in a
{M}ulti-{A}gent {E}nvironment},
pages = {30--42},
publisher = {Imperial College},
editor = {Fariba Sadri and Ken Satoh},
booktitle = {Proceedings of CLIMA 2000, Workshop at CL 2000},
year = 2000,
}
@TECHREPORT{dixetal00TR,
author = {J\"{u}rgen Dix and Hector Munoz-Avila and Dana Nau},
title = {IMPACTing Shop: Foundations for Integrating HTN Planning and
Multi Agency.},
year = 2000,
month = {January},
number = {CS-TR-4100},
institution = {Dept. of CS, University of Maryland, College Park, MD
20752},
note = {appeared in Annals of Mathematicds and Artificial Intelligence,
37(4)*381--407, 2003},
}
@INPROCEEDINGS{dixetal02aamas2,
author = {J\"{u}rgen Dix and Hector Munoz-Avila and Dana Nau and
Lingling Zhang},
title = {Planning in a Multi-Agent Environment: Theory and Practice},
booktitle = {Proceedings of the First
International Joint Conference on Autonomous Agents and Multi-Agent
Systems},
year = 2002,
editor = {C. Castelfranchi and W. L. Johnson},
publisher = {New York: ACM Press},
isbn = {1-58113-480-0},
month = {July},
}
@TECHREPORT{dixetal02TRa,
author = {J\"{u}rgen Dix and Hector Munoz-Avila and Dana Nau and Lingling Zhang},
title = {Planning in a multi agent environment: Theory and Practice.},
year = 2002,
month = {January},
number = {CS-TR-4331 (UMIACS-TR-2002-13)},
institution = {Dept. of CS, University of Maryland, College Park, MD
20752},
}
@ARTICLE{dixmunnau02,
author = {J\"{u}rgen Dix and Hector Munoz-Avila and Dana Nau and Lingling Zhang},
title = {I{M}{P}{A}{C}{T}ing {S}{H}{O}{P}: Putting an
{A}{I} Planner into a {M}ulti-{A}gent {E}nvironment},
journal = {Annals of Mathematics and AI},
year = 2003,
volume = 37,
number = 4,
pages = {381--407},
}
@INPROCEEDINGS{dixetal02jelia,
author = {J\"{u}rgen Dix and Hector Munoz-Avila and Dana Nau an Lingling Zhang},
title = {Theoretical and {E}mpirical {A}spects of a {P}lanner
in a {M}ulti-{A}gent {E}nvironment},
publisher = {Springer},
editor = {Giovambattista Ianni and Sergio Flesca},
booktitle = {Proceedings of Journees Europeens de la
Logique en Intelligence artificielle (JELIA '02)},
series = {LNCS 2424},
year = 2002,
}
@ARTICLE{dixnansub00,
author = {J\"{u}rgen Dix and Mirco Nanni and V~S. Subrahmanian},
title = {Probabilistic Agent Reasoning},
journal = {ACM Transactions of Computational Logic},
year = 2000,
volume = 1,
number = 2,
pages = {201--245},
}
@TECHREPORT{dixnansub99,
author = {J\"{u}rgen Dix and Mirco Nanni and V.S. Subrahmanian},
title = {Probabilistic Agent Reasoning},
year = 1999,
month = {September},
number = {CS-TR-4054},
institution = {Dept. of CS, University of Maryland, College Park, MD
20752},
note = {appeared in ACM Transactions of Computational Logic,
1(2)*201--245, 2000},
}
@TECHREPORT{dixozcsub00,
author = {J\"{u}rgen Dix and Fatma \"{O}czan and V.S.~Subrahmanian.},
title = {Improving Performance of Heavily Loaded Agents},
year = 2000,
month = {November},
number = {CS-TR-4202},
institution = {Dept. of CS, University of Maryland, College Park, MD
20752},
}
@ARTICLE{dixozcsub02,
author = {J\"{u}rgen Dix and Fatma \"{O}czan and V.S.~Subrahmanian.},
title = {Improving Performance of Heavily Loaded Agents},
journal = {Annals of Math and AI},
year = 2004,
}
@INPROCEEDINGS{dixoso97on,
author = {J\"{u}rgen Dix and Mauricio Osorio},
title = {On {W}ell-{B}ehaved {S}emantics {S}uitable for
{A}ggregation},
pages = 505,
publisher = {MIT Press},
editor = {Jan Maluszynski},
booktitle = {Logic Programming: Proceedings of the 1997 International
Symposium},
year = 1997,
}
@INPROCEEDINGS{dixoso97prov,
author = {J\"{u}rgen Dix and Mauricio Osorio},
title = {Provability {C}losures in {L}ogic {P}rogramming},
editor = {Instituto Politectico Nacional},
pages = {313--319},
booktitle = {Proceedings of the International Symposium on Computer
Science in Mexico},
year = 1997,
}
@TECHREPORT{dixoso97,
author = {J\"{u}rgen Dix and Mauricio Osorio},
title = {Towards {W}ell-{B}ehaved {S}emantics {S}uitable for
{A}ggregation},
year = 1997,
month = {April},
number = {TR 11/97},
institution = {University of Koblenz, Department of Computer Science,
Rheinau 1},
note = {Accepted at ILPS '97 as poster paper.},
}
@ARTICLE{dixoso99,
author = {J\"{u}rgen Dix and Mauricio Osorio},
title = {Confluent Rewriting Systems in Non-monotonic Reasoning},
journal = {Computacion y Sistemas},
year = 1999,
volume = {Volume II, No. 2-3},
pages = {104--123},
}
@TECHREPORT{dixosozep99tr,
author = {J\"{u}rgen Dix and Mauricio Osorio and Claudia Zepeda},
title = {A General Theory of Confluent Rewriting Systems for Logic
Programming and its Applications},
year = 1999,
month = {September},
number = {CS-TR-4050},
institution = {Dept. of CS, University of Maryland, College Park, MD
20752},
note = {appeared in Annals of Pure and Applied Logic,
108(1--3)*153--188, 2001},
}
@ARTICLE{dixosozep99,
author = {J\"{u}rgen Dix and Mauricio Osorio and Claudia Zepeda},
title = {A {G}eneral {T}heory of {C}onfluent {R}ewriting {S}ystems
for {L}ogic {P}rogramming and its {A}pplications},
journal = {Annals of Pure and Applied Logic},
year = 2001,
volume = 108,
number = {1--3},
pages = {153--188},
}
@TECHREPORT{dixperprz97tr,
author = {J\"{u}rgen Dix and Luis Moniz Pereira and Teodor
Przymusinski},
title = {{L}ogic {P}rogramming and {K}nowledge {R}epresentation},
year = 1997,
month = {September},
number = {TR 19/97},
institution = {University of Koblenz, Department of Computer Science,
Rheinau 1},
}
@INCOLLECTION{dixperprz97prol,
author = {J\"{u}rgen Dix and Luis Pereira and Teodor Przymusinski},
title = {Prolegomena to {L}ogic {P}rogramming for {N}on-{M}onotonic
{R}easoning},
booktitle = {Nonmonotonic Extensions of Logic Programming},
year = 1997,
pages = {1--36},
editor = {J. Dix and L. Pereira and T. Przymusinski},
publisher = {Springer},
address = {Berlin},
series = {LNAI 1216},
}
@INPROCEEDINGS{dixpossch90,
author = {J\"{u}rgen Dix and Achim Posegga and Peter. H. Schmitt},
title = {{M}odal {L}ogics for {A}{I} {P}lanning},
booktitle = {Proceedings of the First International Conference on
Expert Planning Systems, Brighton},
year = 1990,
pages = {157-162},
publisher = {Conf. Publ. No. 322},
month = {June},
}
@BOOK{dixsadsat01,
editor = {J\"{u}rgen Dix and Fariba Sadri and Ken Satoh},
title = {Computational {L}ogic and {M}ulti-{A}gency},
publisher = {Baltzer Science Publishers},
series = {{S}pecial Issue of the Annals in Mathematics and
Artificial Intelligence},
volume = {37(1--2)},
year = 2003,
}
@INPROCEEDINGS{dixsch99,
author = {Dix, J{\"{u}}rgen and Schlechta, Karl},
title = {Explaining {U}pdates by minimal Sums},
year = 1999,
editor = {C. Pandu Rangan, V. Ramam, R. Ramanujan},
booktitle = {19 th Conference on Foundations of Software Technology and
Theoretical Computer Science},
pages = {142--152},
publisher = {Springer},
address = {Berlin},
series = {LNCS 1738},
}
@TECHREPORT{dixsch99tr,
author = {J\"{u}rgen Dix and Karl Schlechta},
title = {Explaining Updates by minimal Sums},
year = 1999,
month = {July},
number = {CS-TR-4051},
institution = {Dept. of CS, University of Maryland, College Park, MD
20752,},
note = {submitted to a Journal},
}
@ARTICLE{dixsch92nichtmonotones,
author = {J\"{u}rgen Dix and Peter Schmitt},
title = {{N}ichtmonotones {S}chlie{\ss}en: {W}ieviel
{N}ichtmonotonie ist n\"{o}tig?},
journal = {Kognitionswissenschaft},
year = 1993,
volume = 3,
pages = {53-69},
}
@TECHREPORT{dixschhae90teil1,
author = {J\"{u}rgen Dix and Peter Schmitt and Reiner H\"{a}hnle},
title = {\"{U}ber die {N}egation im logischen {P}rogrammieren und
ihre {B}eziehung zu nichtmonotonen {L}ogiken: {T}eil 1},
institution = {Inst. f\"{u}r Logik, Komplexit\"{a}t und Deduktionssysteme},
year = 1990,
type = {Interner Bericht},
number = {13/90},
month = {April},
}
@TECHREPORT{dixschhae90teil2,
author = {J\"{u}rgen Dix and Peter Schmitt and Reiner H\"{a}hnle},
title = {\"{U}ber die {N}egation im logischen {P}rogrammieren und
ihre {B}eziehung zu nichtmonotonen {L}ogiken: {T}eil 2},
institution = {Inst. f\"{u}r Logik, Komplexit\"{a}t und Deduktionssysteme},
year = 1990,
type = {Interner Bericht},
number = {14/90},
month = {April},
}
@INCOLLECTION{dixsto97,
author = {J\"{u}rgen Dix and Frieder Stolzenburg},
title = {{C}omputation of {N}on-{G}round {D}isjunctive
{W}ell-{F}ounded {S}emantics with {C}onstraint {L}ogic
{P}rogramming (Preliminary Report)},
booktitle = {Nonmonotonic Extensions of Logic Programming},
year = 1997,
pages = {202--226},
editor = {J. Dix and L. Pereira and T. Przymusinski},
publisher = {Springer},
address = {Berlin},
series = {LNAI 1216},
}
@ARTICLE{dixsto98,
author = {J\"{u}rgen Dix and Frieder Stolzenburg},
title = {A {F}ramework to incorporate {N}onmonotonic {R}easoning
into {C}onstraint {L}ogic {P}rogramming},
journal = {Journal of Logic Programming},
year = 1998,
volume = {37(1,2,3)},
pages = {47---76},
note = {Special Issue on {\em Constraint Logic Programming}, Guest
Editors: Kim Marriott and Peter Stuckey. },
}
@INPROCEEDINGS{dixstosimfil99,
author = {J\"{u}rgen Dix and Frieder Stolzenburg and Guillermo
Simari and Pablo Fillotrani},
title = {Automating Defeasible Reasoning with Logic Programming},
year = 1999,
booktitle = {Proceedings of the second German-Argentinean Kickoff
Workshop on Information Technology, K\"{o}nigswinter, March
1999},
pages = {290-302},
editor = {Stefan J\"{a}hnichen},
}
@ARTICLE{dixsubpic99,
author = {J\"{u}rgen Dix and V~S. Subrahmanian and George Pick},
title = {Meta {A}gent {P}rograms},
journal = {Journal of Logic Programming},
year = 2000,
volume = 46,
number = {1-2},
pages = {1--60},
}
@TECHREPORT{dixsubpic99tr,
author = {J\"{u}rgen Dix and V.S.Subrahmanian and George Pick},
title = {Meta-Agent Programs},
year = 1999,
month = {June},
number = {CS-TR-4053},
institution = {Dept. of CS, University of Maryland, College Park, MD
20752},
note = {appeared in Journal of Logic Programming, 46(1--2)*1--60, 2000},
}
@TECHREPORT{dol92,
author = {Axel Dold},
title = {{G}insberg's {B}ilattices and {N}onmonotonic {C}onsequence
{O}perations},
institution = {Master Thesis, Karlsruhe University (in german) },
year = 1992,
}
@TECHREPORT{erk97,
author = {Katrin Erk},
title = {Defeasible Reasoning with Graphs},
institution = {Master Thesis, Koblenz University },
year = 1997,
}
@TECHREPORT{erk98,
author = {Katrin Erk},
title = {Splicing},
institution = {Diploma Thesis, Koblenz University },
year = 1998,
}
@TECHREPORT{fuc92,
author = {Thomas Fuch{\ss}},
title = {{B}ilattices and their {A}pplication to {S}emantics of
{L}ogic {P}rograms},
institution = {Master Thesis, Karlsruhe University (in german) },
year = 1992,
}
@INPROCEEDINGS{dixetal03KIa,
author = {Juergen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang},
title = {Monitoring {A}gents using {D}eclarative {P}lanning},
booktitle = {Proceedings of the 27th German Annual Conference on
Artificial Intelligence (KI '03), Hamburg, Germany},
year = 2003,
pages = {646--660},
editor = {A.G{\"u}nther, R. Kruse, B. Neumann},
publisher = {Springer},
address = {Berlin},
series = {LNAI 2821},
}
@ARTICLE{dixetal04FI,
author = {Juergen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang},
title = {Monitoring {A}gents using {D}eclarative {P}lanning},
journal = {Fundamenta Informaticae},
year = 2003,
volume = {57},
number = {2--4}
pages = {345--370},
note = {Short version appeared in G{\"u}nther/Kruse/Neumann (Eds.),
Proceedings of KI 03, LNAI 2821, 2003*646--660.},
}
@INPROCEEDINGS{dixetal03KIb,
author = {Juergen Dix, Ugur Kuter, Dana Nau},
title = {Planning in Answer Set Programming using Ordered Task Decomposition},
booktitle = {Proceedings of the 27th German Annual Conference on
Artificial Intelligence (KI '03), Hamburg, Germany},
year = 2003,
pages = {490--504},
editor = {A.G{\"u}nther, R. Kruse, B. Neumann},
publisher = {Springer},
address = {Berlin},
series = {LNAI 2821},
}
@TECHREPORT{lud91,
author = {Bertram Lud\"{a}scher},
title = {{C}{N}{F}-{P}rolog: {A} {M}eta-{I}nterpreter for {C}han's
{C}onstructive {N}egation, {I}mplementation},
institution = {Master Thesis, Karls\-ruhe University (in german)},
year = 1991,
}
@PHDTHESIS{wen98,
author = {Wenjin Lue},
title = {Nonmonotonic Reasoning based on Minimal Models and its
Implementation},
school = {University of Koblenz, Dept. of CS, Koblenzer Schriften
zur Informatik, F\"{o}lbach, ISBN 3-923532-77-6},
year = 1999,
}
@MASTERSTHESIS{mue92,
author = {M{\"{u}}ller, Martin},
title = {{D}isjunctive {L}ogic {P}rograms: {C}haracterization and
{I}mplementation},
note = {(in German)},
year = 1992,
school = {{U}niversit{\"{a}}t {K}arlsruhe},
}
@MISC{mue92korf,
author = {Martin M{\"{u}}ller},
title = {Examples and {R}un-{T}ime {D}ata from {K}{O}{R}{F}},
institution = {Technical Note, Karlsruhe University, Institute for Logic
and Complexity},
year = 1992,
}
@ARTICLE{dixsch00,
author = {Karl Schlechta and J\"{u}rgen Dix},
title = {Explaining {U}pdates by minimal Sums},
journal = {Theoretical Computer Science},
year = 2002,
volume = 266,
number = {1--2},
pages = {819--838},
}
@BOOK{subetal99,
author = {V.S. Subrahmanian and Piero Bonatti and J\"{u}rgen Dix and
Thomas Eiter and Sarit Kraus and Fatma \"{O}zcan and Robert Ross},
title = {Heterogenous Active Agents},
publisher = {MIT-Press},
year = 2000,
}
@TECHREPORT{vor91,
author = {Martin Vorbeck},
title = {{C}{N}{F}-{P}rolog: {A} {M}eta-{I}nterpreter for {C}han's
{C}onstructive {N}egation, {T}heory},
institution = {Master Thesis, Karlsruhe University (in german) },
year = 1991,
}