Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/kr/kr2008.bht:"
download as .bib file
@inproceedings{DBLP:conf/kr/AlechinaDLM08,
author = {Natasha Alechina and
Mehdi Dastani and
Brian Logan and
John{-}Jules Ch. Meyer},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Reasoning about Agent Deliberation},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {16--26},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-003.php},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/AlechinaDLM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AmgoudDM08,
author = {Leila Amgoud and
Yannis Dimopoulos and
Pavlos Moraitis},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Making Decisions through Preference-Based Argumentation},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {113--123},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-012.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/AmgoudDM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AnalytiAD08,
author = {Anastasia Analyti and
Grigoris Antoniou and
Carlos Viegas Dam{\'{a}}sio},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {A Principled Framework for Modular Web Rule Bases and Its Semantics},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {390--400},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-038.php},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/AnalytiAD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ArtaleGK08,
author = {Alessandro Artale and
Nicola Guarino and
C. Maria Keet},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Formalising Temporal Constraints on Part-Whole Relations},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {673--683},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-066.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ArtaleGK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaaderGL08,
author = {Franz Baader and
Silvio Ghilardi and
Carsten Lutz},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {{LTL} over Description Logic Axioms},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {684--694},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-067.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BaaderGL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Balbiani08,
author = {Philippe Balbiani},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Time Representation and Temporal Reasoning from the Perspective of
Non-Standard Analysis},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {695--704},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-068.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Balbiani08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BelardinelliL08,
author = {Francesco Belardinelli and
Alessio Lomuscio},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {A Complete First-Order Logic of Knowledge and Time},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {705--714},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-069.php},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BelardinelliL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Bienvenu08,
author = {Meghyn Bienvenu},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Complexity of Abduction in the {EL} Family of Lightweight Description
Logics},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {220--230},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-022.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Bienvenu08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BinasM08,
author = {Arnold Binas and
Sheila A. McIlraith},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Peer-to-Peer Query Answering with Inconsistent Knowledge},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {329--339},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-032.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BinasM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Bochman08,
author = {Alexander Bochman},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Default Theory of Defeasible Entailment},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {466--475},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-045.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Bochman08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BoothM08,
author = {Richard Booth and
Thomas Andreas Meyer},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Equilibria in Social Belief Removal},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {145--155},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-015.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BoothM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Brafman08,
author = {Ronen I. Brafman},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Preferences, Planning and Control},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {2--5},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-001.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Brafman08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Brafman08a,
author = {Ronen I. Brafman},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Relational Preference Rules for Control},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {552--559},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-054.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Brafman08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BritzHM08,
author = {Katarina Britz and
Johannes Heidema and
Thomas Andreas Meyer},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Semantic Preferential Subsumption},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {476--484},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-046.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BritzHM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BruijnET08,
author = {Jos de Bruijn and
Thomas Eiter and
Hans Tompits},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Embedding Approaches to Combining Rules and Ontologies into Autoepistemic
Logic},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {485--495},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-047.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BruijnET08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CaliGK08,
author = {Andrea Cal{\`{\i}} and
Georg Gottlob and
Michael Kifer},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Taming the Infinite Chase: Query Answering under Expressive Relational
Constraints},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {70--80},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-008.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/CaliGK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CalvaneseGLLR08,
author = {Diego Calvanese and
Giuseppe De Giacomo and
Domenico Lembo and
Maurizio Lenzerini and
Riccardo Rosati},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Path-Based Identification Constraints in Description Logics},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {231--241},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-023.php},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/CalvaneseGLLR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CalvaneseGLR08,
author = {Diego Calvanese and
Giuseppe De Giacomo and
Maurizio Lenzerini and
Riccardo Rosati},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {View-Based Query Answering over Description Logic Ontologies},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {242--251},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-024.php},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/CalvaneseGLR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CasaliGS08,
author = {Ana Casali and
Llu{\'{\i}}s Godo and
Carles Sierra},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {A Logical Framework to Represent and Reason about Graded Preferences
and Intentions},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {27--37},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-004.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/CasaliGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CayrolSL08,
author = {Claudette Cayrol and
Florence Dupin de Saint{-}Cyr and
Marie{-}Christine Lagasquie{-}Schiex},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Revision of an Argumentation System},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {124--134},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-013.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/CayrolSL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ChenJL08,
author = {Xiaoping Chen and
Jianmin Ji and
Fangzhen Lin},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Computing Loops with at Most One External Support Rule},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {401--410},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-039.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ChenJL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Chetcuti-SperandioL08,
author = {Nathalie Chetcuti{-}Sperandio and
Sylvain Lagrue},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {How to Choose Weightings to Avoid Collisions in a Restricted Penalty
Logic},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {340--347},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-033.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Chetcuti-SperandioL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ClassenL08,
author = {Jens Cla{\ss}en and
Gerhard Lakemeyer},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {A Logic for Non-Terminating Golog Programs},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {589--599},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-058.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ClassenL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Cortes-CalabuigDAB08,
author = {Alvaro Cort{\'{e}}s{-}Calabuig and
Marc Denecker and
Ofer Arieli and
Maurice Bruynooghe},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Accuracy and Efficiency of Fixpoint Methods for Approximate Query
Answering in Locally Complete Databases},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {81--91},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-009.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Cortes-CalabuigDAB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Delgrande08,
author = {James P. Delgrande},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Horn Clause Belief Change: Contraction Functions},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {156--165},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-016.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Delgrande08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DelgrandeSTW08,
author = {James P. Delgrande and
Torsten Schaub and
Hans Tompits and
Stefan Woltran},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Belief Revision of Logic Programs under Answer Set Semantics},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {411--421},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-040.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/DelgrandeSTW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DohertyS08,
author = {Patrick Doherty and
Andrzej Szalas},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Reasoning with Qualitative Preferences and Cardinalities using Generalized
Circumscription},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {560--570},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-055.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/DohertyS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DrescherGGKKOS08,
author = {Christian Drescher and
Martin Gebser and
Torsten Grote and
Benjamin Kaufmann and
Arne K{\"{o}}nig and
Max Ostrowski and
Torsten Schaub},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Conflict-Driven Disjunctive Answer Set Solving},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {422--432},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-041.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/DrescherGGKKOS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/EveraereKM08,
author = {Patricia Everaere and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Conflict-Based Merging Operators},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {348--357},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-034.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/EveraereKM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/EyerichBN08,
author = {Patrick Eyerich and
Michael Brenner and
Bernhard Nebel},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {On the Complexity of Planning Operator Subsumption},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {518--527},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-050.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/EyerichBN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FaberTW08,
author = {Wolfgang Faber and
Hans Tompits and
Stefan Woltran},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Notions of Strong Equivalence for Logic Programs with Ordered Disjunction},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {433--443},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-042.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/FaberTW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FritzBM08,
author = {Christian Fritz and
Jorge A. Baier and
Sheila A. McIlraith},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories
for Planning and Beyond},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {600--610},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-059.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/FritzBM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GlimmHS08,
author = {Birte Glimm and
Ian Horrocks and
Ulrike Sattler},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Unions of Conjunctive Queries in {SHOQ}},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {252--262},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-025.php},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/GlimmHS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HahmannG08,
author = {Torsten Hahmann and
Michael Gruninger},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Model-Theoretic Characterization of Asher and Vieu's Ontology of Mereotopology},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {263--273},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-026.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/HahmannG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Halpern08,
author = {Joseph Y. Halpern},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Beyond Nash Equilibrium: Solution Concepts for the 21st Century},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {6--15},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-002.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Halpern08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Halpern08a,
author = {Joseph Y. Halpern},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Defaults and Normality in Causal Structures},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {198--208},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-020.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Halpern08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HinrichsG08,
author = {Timothy L. Hinrichs and
Michael R. Genesereth},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Injecting the How into the What: Investigating a Finite Classical
Logic},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {92--192},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-010.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/HinrichsG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HunterK08,
author = {Anthony Hunter and
S{\'{e}}bastien Konieczny},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Measuring Inconsistency through Minimal Inconsistent Sets},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {358--366},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-035.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/HunterK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Kazakov08,
author = {Yevgeny Kazakov},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {{RIQ} and {SROIQ} Are Harder than {SHOIQ}},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {274--284},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-027.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Kazakov08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KellyP08,
author = {Ryan F. Kelly and
Adrian R. Pearce},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Complex Epistemic Modalities in the Situation Calculus},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {611--620},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-060.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/KellyP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Kern-Isberner08,
author = {Gabriele Kern{-}Isberner},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Linking Iterated Belief Change Operations to Nonmonotonic Reasoning},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {166--176},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-017.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Kern-Isberner08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KoniecznyP08,
author = {S{\'{e}}bastien Konieczny and
Ram{\'{o}}n Pino P{\'{e}}rez},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Improvement Operators},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {177--187},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-018.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/KoniecznyP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KontchakovWZ08,
author = {Roman Kontchakov and
Frank Wolter and
Michael Zakharyaschev},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Can You Tell the Difference Between DL-Lite Ontologies?},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {285--295},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-028.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/KontchakovWZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LeeM08,
author = {Joohyung Lee and
Yunsong Meng},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {On Loop Formulas with Variables},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {444--453},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-043.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LeeM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LianW08,
author = {Espen H. Lian and
Arild Waaler},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Computing Default Extensions by Reductions on {OR}},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {496--506},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-048.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LianW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Lin08,
author = {Fangzhen Lin},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Proving Goal Achievability},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {621--628},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-061.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Lin08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LinW08,
author = {Fangzhen Lin and
Yisong Wang},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Answer Set Programming with Functions},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {454--465},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-044.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LinW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LoriniL08,
author = {Emiliano Lorini and
Dominique Longin},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {A Logical Account of Institutions: From Acceptances to Norms via Legislators},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {38--48},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-005.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LoriniL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MagnussonD08,
author = {Martin Magnusson and
Patrick Doherty},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Deductive Planning with Inductive Loops},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {528--534},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-051.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/MagnussonD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MartinezGS08,
author = {Diego C. Mart{\'{\i}}nez and
Alejandro Javier Garc{\'{\i}}a and
Guillermo Ricardo Simari},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {An Abstract Argumentation Framework with Varied-Strength Attacks},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {135--144},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-014.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/MartinezGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MartinezPPSS08,
author = {Maria Vanina Martinez and
Francesco Parisi and
Andrea Pugliese and
Gerardo I. Simari and
V. S. Subrahmanian},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Inconsistency Management Policies},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {367--377},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-036.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/MartinezPPSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Meyden08,
author = {Ron van der Meyden},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {On Notions of Causality and Distributed Knowledge},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {209--219},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-021.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Meyden08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MichaelV08,
author = {Loizos Michael and
Leslie G. Valiant},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {A First Experimental Demonstration of Massive Knowledge Infusion},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {378--389},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-037.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/MichaelV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MotikGHS08,
author = {Boris Motik and
Bernardo Cuenca Grau and
Ian Horrocks and
Ulrike Sattler},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Representing Structured Objects using Description Graphs},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {296--306},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-029.php},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/MotikGHS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Petrick08,
author = {Ronald P. A. Petrick},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Cartesian Situations and Knowledge Decomposition in the Situation
Calculus},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {629--639},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-062.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Petrick08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/PiniRVW08,
author = {Maria Silvia Pini and
Francesca Rossi and
Kristen Brent Venable and
Toby Walsh},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Dealing with Incomplete Agents' Preferences and an Uncertain Agenda
in Group Decision Making via Sequential Majority Voting},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {571--578},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-056.php},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/PiniRVW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/RamanujamS08,
author = {Ramaswamy Ramanujam and
Sunil Easaw Simon},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Dynamic Logic on Games with Structured Strategies},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {49--58},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-006.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/RamanujamS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/RenzL08,
author = {Jochen Renz and
Jason Jingshi Li},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Automated Complexity Proofs for Qualitative Spatial and Temporal Calculi},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {715--723},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-070.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/RenzL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Rintanen08,
author = {Jussi Rintanen},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Planning Graphs and Propositional Clause-Learning},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {535--543},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-052.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Rintanen08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/RogerHN08,
author = {Gabriele R{\"{o}}ger and
Malte Helmert and
Bernhard Nebel},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {On the Relative Expressiveness of {ADL} and Golog: The Last Piece
in the Puzzle},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {544--550},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-053.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/RogerHN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Saint-Cyr08,
author = {Florence Dupin de Saint{-}Cyr},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Scenario Update Applied to Causal Reasoning},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {188--197},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-019.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Saint-Cyr08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SardinaPG08,
author = {Sebastian Sardi{\~{n}}a and
Fabio Patrizi and
Giuseppe De Giacomo},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Behavior Composition in the Presence of Failure},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {640--650},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-063.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/SardinaPG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SchroderP08,
author = {Lutz Schr{\"{o}}der and
Dirk Pattinson},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {How Many Toes Do {I} Have? Parthood and Number Restrictions in Description
Logics},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {307--317},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-030.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/SchroderP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SimariBSK08,
author = {Gerardo I. Simari and
Matthias Broecheler and
V. S. Subrahmanian and
Sarit Kraus},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Promises Kept, Promises Broken: An Axiomatic and Quantitative Treatment
of Fulfillment},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {59--69},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-007.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/SimariBSK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/TomanW08,
author = {David Toman and
Grant E. Weddell},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Identifying Objects Over Time with Description Logics},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {724--732},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-071.php},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/TomanW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/TunD08,
author = {Nwe Ni Tun and
Jin Song Dong},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Ontology Generation through the Fusion of Partial Reuse and Relation
Extraction},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {318--328},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-031.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/TunD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/UckelmanE08,
author = {Joel Uckelman and
Ulle Endriss},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Preference Modeling by Weighted Goals with Max Aggregation},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {579--588},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-057.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/UckelmanE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Varzinczak08,
author = {Ivan Jos{\'{e}} Varzinczak},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Action Theory Erasure and Minimal Change},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {651--661},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-064.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Varzinczak08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/VassosLL08,
author = {Stavros Vassos and
Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {First-Order Strong Progression for Local-Effect Basic Action Theories},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {662--672},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-065.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/VassosLL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/WittocxMD08,
author = {Johan Wittocx and
Maarten Mari{\"{e}}n and
Marc Denecker},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Approximate Reasoning in First-Order Logic Theories},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {103--112},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-011.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/WittocxMD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/YahiBLSP08,
author = {Safa Yahi and
Salem Benferhat and
Sylvain Lagrue and
Mariette S{\'{e}}rayet and
Odile Papini},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {A Lexicographic Inference for Partially Preordered Belief Bases},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {507--517},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-049.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/YahiBLSP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2008,
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
publisher = {{AAAI} Press},
year = {2008},
isbn = {978-1-57735-384-3},
timestamp = {Fri, 21 Nov 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-20 12:54 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
