@article{Brewka1991,
	title = {Cumulative inference relations for JTMS and logic programming},
	author = {Gerhard Brewka and David Makinson and Karl Schlechta},
	journal = {Lecture Notes in Computer Science - Nonmonotonic and Inductive Logic},
	pages = {12},
	volume = {543/1991},
	year = {1991},
	biburl = {http://www.bibsonomy.org/bibtex/2e25d1692e8bda6bd6675eb612075af8b/fraktalek},
	abstract = {This paper makes three main points. We observe first that the inference relation induced by a set of JTMS justification rules under the grounded model semantics (or equivalently, by a logic program with negation under the Gelfond-Lifschitz semantics) is not in general cumulative: the addition to a set of assumptions of some of the derivable conclusions may lead to a loss of others. We then show how cumulativity may be restored by adapting a technique recently applied by Brewka to default logic. The basic idea is to upgrade the universe of discourse: replace the elementary propositions, between which inference customarily takes place, by more complex items consisting of elementary propositions indexed by certain of the rdquoreasonsrdquo that lead to their acceptance. However, as we finally show, the indexed JTMS still has a shortcoming: it does not give an adequate treatment of the phenomenon of rdquofloating conclusionsrdquo. The problem of finding an alternative aproach that handles floating conclusions adequately without losing cumulativity again, remains open.},
	posted-at = {2008-11-13 14:13:53}, priority = {2}, citeulike-article-id = {3508744},
	keywords = {kiwi }
}

@inproceedings{conf/ecai/PereiraTA06,
	title = {Goal Revision for a Rational Agent.},
	author = {Célia da Costa Pereira and Andrea Tettamanzi and Leila Amgoud},
	booktitle = {ECAI},
	crossref = {conf/ecai/2006},
	editor = {Gerhard Brewka and Silvia Coradeschi and Anna Perini and Paolo Traverso},
	pages = {747-748},
	publisher = {IOS Press},
	url = {http://dblp.uni-trier.de/db/conf/ecai/ecai2006.html#PereiraTA06},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2989c13eb11382b56348499b09825615a/dblp},
	description = {dblp},
	isbn = {1-58603-642-4}, date = {2008-09-18},
	keywords = {dblp }
}

@inproceedings{conf/ecai/HelmertMR06,
	title = {Aproximation Properties of Planning Benchmarks.},
	author = {Malte Helmert and Robert Mattmüller and Gabriele Röger},
	booktitle = {ECAI},
	crossref = {conf/ecai/2006},
	editor = {Gerhard Brewka and Silvia Coradeschi and Anna Perini and Paolo Traverso},
	pages = {585-589},
	publisher = {IOS Press},
	url = {http://dblp.uni-trier.de/db/conf/ecai/ecai2006.html#HelmertMR06},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2fda64e6304070f7988d4d17c7952690d/dblp},
	description = {dblp},
	isbn = {1-58603-642-4}, date = {2008-08-15},
	keywords = {dblp }
}

@proceedings{KI2001,
	title = {{KI 2001:} Advances in Artificial Intelligence : Joint German/Austrian
	Conference on AI Vienna, Austria, September 19--21, 2001, Proceedings},
	address = {Berlin, Heidelberg},
	editor = {Franz Baader and Gerhard Brewka and Thomas Eiter},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dx.doi.org/10.1007/3-540-45422-5},
	volume = {2174},
	year = {2001},
	biburl = {http://www.bibsonomy.org/bibtex/28f13eade8edba0962b59a2ee9aee6629/flint63},
	abstract = {This book constitutes the refereed proceedings of the Joint German/Austrian
	Conference on Artificial Intelligence, KI 2001, held in Vienna, Austria
	in September 2001.
	
	The 29 revised full technical papers presented together with one invited
	paper and four posters of industrial papers were carefully reviewed
	and selected from 79 submissions. All current aspects in AI are addressed,
	ranging from theoretical and foundational issues to industrial applications.},
	timestamp = {2008.04.29}, file = {Amazon Search inside:http\://www.amazon.de/gp/reader/3540426124/:URL}, isbn = {978-3-540-42612-7}, owner = {flint},
	keywords = {ai book conference springer v0805 }
}

@inproceedings{Cummins:2006:ECAI,
	title = {Term-Weighting in Information Retrieval using Genetic
                 Programming: {A} Three Stage Process},
	address = {Riva del Garda, Italy},
	author = {Ronan Cummins and Colm O'Riordan},
	booktitle = {The 17th European Conference on Artificial
                 Intelligence, ECAI-2006},
	editor = {Gerhard Brewka and Silvia Coradeschi and Anna Perini and Paolo Traverso},
	month = {August 28th - September 1st},
	pages = {793--794},
	publisher = {IOS Press},
	url = {http://ww2.it.nuigalway.ie/cirg/localpubs/CumminsECAI2006.pdf},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2281f3ee7097ba07c0762ae373852c10d/brazovayeye},
	bibsource = {DBLP,
                 http://dblp.uni-trier.de/db/conf/ecai/ecai2006.html#CumminsO06}, size = {2 pages}, bibdate = {2006-10-25}, isbn = {1-58603-642-4}, notes = {ECAI-2001
                 http://ecai2006.itc.it/cda/aree/index.php?section=76&area=13},
	keywords = {algorithms, genetic information poster, programming, retrieval, term-weighting }
}

@book{dix1996,
	title = {Knowledge representation with logic programs},
	address = {Univ., Inst, für Informatik},
	annote = {94, 8 S},
	author = {{Jürgen} Dix and {Gerhard} Brewka},
	howpublished = {Koblenz-Landau},
	url = {http://gso.gbv.de/DB=2.1/CMD?ACT=SRCHA&SRT=YOP&IKT=1016&TRM=ppn+235363863&sourceid=fbw_bibsonomy},
	year = {1996},
	biburl = {http://www.bibsonomy.org/bibtex/2c40d6b99230838e74ee38c4118de5bc1/fbw},
	description = {imported},
	keywords = {imported }
}

@inproceedings{conf/ecai/BonattiOP06,
	title = {Advanced Policy Explanations on the Web.},
	author = {Piero A. Bonatti and Daniel Olmedilla and Joachim Peer},
	booktitle = {ECAI},
	crossref = {conf/ecai/2006},
	editor = {Gerhard Brewka and Silvia Coradeschi and Anna Perini and Paolo Traverso},
	pages = {200-204},
	publisher = {IOS Press},
	url = {http://dblp.uni-trier.de/db/conf/ecai/ecai2006.html#BonattiOP06},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2d76315b0f524a46849a445a214d84267/mquasthoff},
	description = {dblp},
	isbn = {1-58603-642-4}, date = {2006-10-25},
	keywords = {policy security semantic }
}

@inproceedings{conf/dagstuhl/ShapiroB07,
	title = {Dynamic Interactions Between Goals and Beliefs.},
	author = {Steven Shapiro and Gerhard Brewka},
	booktitle = {Formal Models of Belief Change in Rational Agents},
	crossref = {conf/dagstuhl/2007P7351},
	editor = {Giacomo Bonanno and James P. Delgrande and Jérôme Lang and Hans Rott},
	publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
	series = {Dagstuhl Seminar Proceedings},
	url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P7351.html#ShapiroB07},
	volume = {07351},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2acc92d315840383c7a01cc424b530e54/dblp},
	description = {dblp},
	date = {2008-05-14}, ee = {http://drops.dagstuhl.de/opus/volltexte/2007/1199},
	keywords = {dblp }
}

@proceedings{ecai2006,
	title = {ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings},
	booktitle = {ECAI},
	editor = {Gerhard Brewka and Silvia Coradeschi and Anna Perini and Paolo Traverso},
	publisher = {IOS Press},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/259841b72efaf2e2cf1b2be4ba62e9abc/marciomr},
	description = {Artigos e livros que tenho impresso},
	bibsource = {DBLP, http://dblp.uni-trier.de}, isbn = {1-58603-642-4},
	keywords = {proceedings }
}

@inproceedings{Falappa06,
	title = {On the Logic of Theory Change: Relations Between Incision and Selection Functions.},
	author = {Marcelo A. Falappa and Eduardo L. Ferm{\'e} and Gabriele Kern-Isberner},
	booktitle = {ECAI},
	crossref = {ecai2006},
	editor = {Gerhard Brewka and Silvia Coradeschi and Anna Perini and Paolo Traverso},
	pages = {402--406},
	publisher = {IOS Press},
	url = {http://dblp.uni-trier.de/db/conf/ecai/ecai2006.html\#FalappaFK06},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2240fec0e89be1ffdaf0c861025dd5814/marciomr},
	description = {dblp},
	date = {2006-10-25}, isbn = {1-58603-642-4},
	keywords = {belief_revision impresso incision selection }
}