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/kr2012.bht:"
download as .bib file
@inproceedings{DBLP:conf/kr/AdarichevaSST12,
author = {Kira V. Adaricheva and
Robert H. Sloan and
Bal{\'{a}}zs Sz{\"{o}}r{\'{e}}nyi and
Gy{\"{o}}rgy Tur{\'{a}}n},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Horn Belief Contraction: Remainders, Envelopes and Complexity},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4497},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/AdarichevaSST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ArenasBCRS12,
author = {Marcelo Arenas and
Elena Botoeva and
Diego Calvanese and
Vladislav Ryzhikov and
Evgeny Sherkhonov},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Exchanging Description Logic Knowledge Bases},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4527},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ArenasBCRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaaderBM12,
author = {Franz Baader and
Stefan Borgwardt and
Barbara Morawska},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Extending Unification in {EL} Towards General TBoxes},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4491},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BaaderBM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BackstromJ12,
author = {Christer B{\"{a}}ckstr{\"{o}}m and
Peter Jonsson},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Abstracting Abstraction in Search with Applications to Planning},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4498},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BackstromJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BahmaniBKL12,
author = {Zeinab Bahmani and
Leopoldo E. Bertossi and
Solmaz Kolahi and
Laks V. S. Lakshmanan},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Declarative Entity Resolution via Matching Dependencies and Answer
Set Programs},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4529},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BahmaniBKL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaralD12,
author = {Chitta Baral and
Juraj Dzifcak},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Solving Puzzles Described in English by Automated Translation to Answer
Set Programming and Learning How to Do that Translation},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4562},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BaralD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaralL12,
author = {Chitta Baral and
Shanshan Liang},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {From Knowledge Represented in Frame-Based Languages to Declarative
Representation and Reasoning via {ASP}},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4561},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BaralL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BartholomewL12,
author = {Michael Bartholomew and
Joohyung Lee},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Stable Models of Formulas with Intensional Functions},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4559},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BartholomewL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BelardinelliLP12,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Fabio Patrizi},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {An Abstraction Technique for the Verification of Artifact-Centric
Systems},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4531},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BelardinelliLP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BienvenuLW12,
author = {Meghyn Bienvenu and
Carsten Lutz and
Frank Wolter},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Query Containment in Description Logics Reconsidered},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4535},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BienvenuLW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BoothFKP12,
author = {Richard Booth and
Eduardo Ferm{\'{e}} and
S{\'{e}}bastien Konieczny and
Ram{\'{o}}n Pino P{\'{e}}rez},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Credibility-Limited Revision Operators in Propositional Logic},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4545},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BoothFKP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BordeauxJSM12,
author = {Lucas Bordeaux and
Mikol{\'{a}}s Janota and
Jo{\~{a}}o Marques{-}Silva and
Pierre Marquis},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {On Unit-Refutation Complete Formulae with Existentially Quantified
Variables},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4534},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BordeauxJSM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BorgwardtP12,
author = {Stefan Borgwardt and
Rafael Pe{\~{n}}aloza},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Undecidability of Fuzzy Description Logics},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4387},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BorgwardtP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BudanLCS12,
author = {Maximiliano Celmo Bud{\'{a}}n and
Mauro Javier G{\'{o}}mez Lucero and
Carlos Iv{\'{a}}n Ches{\~{n}}evar and
Guillermo Ricardo Simari},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Modelling Time and Reliability in Structured Argumentation Frameworks},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4506},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BudanLCS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CalvaneseOSS12,
author = {Diego Calvanese and
Magdalena Ortiz and
Mantas Simkus and
Giorgio Stefanoni},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {The Complexity of Explaining Negative Query Answers in DL-Lite},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4537},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/CalvaneseOSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ChaudhriS12,
author = {Vinay K. Chaudhri and
Tran Cao Son},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Specifying and Reasoning with Underspecified Knowledge Bases Using
Answer Set Programming},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4524},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ChaudhriS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CohnRS12,
author = {Anthony G. Cohn and
Jochen Renz and
Muralikrishna Sridhar},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Thinking Inside the Box: {A} Comprehensive Spatial Representation
for Video Analysis},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4563},
timestamp = {Tue, 20 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/CohnRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ConitzerX12,
author = {Vincent Conitzer and
Lirong Xia},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Paradoxes of Multiple Elections: An Approximation Approach},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4541},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ConitzerX12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Coste-MarquisKMO12,
author = {Sylvie Coste{-}Marquis and
S{\'{e}}bastien Konieczny and
Pierre Marquis and
Mohand Akli Ouali},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Weighted Attacks in Argumentation Frameworks},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4543},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Coste-MarquisKMO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CravenTCHW12,
author = {Robert Craven and
Francesca Toni and
Cristian Cadar and
Adrian Hadad and
Matthew Williams},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Efficient Argumentation for Medical Decision-Making},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4515},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/CravenTCHW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CreignouPPW12,
author = {Nadia Creignou and
Odile Papini and
Reinhard Pichler and
Stefan Woltran},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Belief Revision within Fragments of Propositional Logic},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4512},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/CreignouPPW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DelgrandeL12,
author = {James P. Delgrande and
Hector J. Levesque},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Belief Revision with Sensing and Fallible Actions},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4528},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/DelgrandeL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DohertyKS12,
author = {Patrick Doherty and
Jonas Kvarnstr{\"{o}}m and
Andrzej Szalas},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Temporal Composite Actions with Constraints},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4487},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/DohertyKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DuboisPS12,
author = {Didier Dubois and
Henri Prade and
Steven Schockaert},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Stable Models in Generalized Possibilistic Logic},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4500},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/DuboisPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DvorakJWW12,
author = {Wolfgang Dvor{\'{a}}k and
Matti J{\"{a}}rvisalo and
Johannes Peter Wallner and
Stefan Woltran},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Complexity-Sensitive Decision Procedures for Abstract Argumentation},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4508},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/DvorakJWW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/EveraereKM12,
author = {Patricia Everaere and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Compositional Belief Merging},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4544},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/EveraereKM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FaberTW12,
author = {Wolfgang Faber and
Miroslaw Truszczynski and
Stefan Woltran},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Strong Equivalence of Qualitative Optimization Problems},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4518},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/FaberTW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FebbraroLGR12,
author = {Onofrio Febbraro and
Nicola Leone and
Giovanni Grasso and
Francesco Ricca},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {{JASP:} {A} Framework for Integrating Answer Set Programming with
Java},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4520},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/FebbraroLGR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Feier12,
author = {Cristina Feier},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Worst-Case Optimal Reasoning with Forest Logic Programs},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4557},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Feier12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FelliGL12,
author = {Paolo Felli and
Giuseppe De Giacomo and
Alessio Lomuscio},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Synthesizing Agent Protocols From {LTL} Specifications Against Multiple
Partially-Observable Environments},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4549},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/FelliGL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Fink12,
author = {Michael Fink},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Paraconsistent Hybrid Theories},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4552},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Fink12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GebserGKOSS12,
author = {Martin Gebser and
Torsten Grote and
Roland Kaminski and
Philipp Obermeier and
Orkunt Sabuncu and
Torsten Schaub},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Stream Reasoning with Answer Set Programming: Preliminary Report},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4504},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/GebserGKOSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GiacomoLP12,
author = {Giuseppe De Giacomo and
Yves Lesp{\'{e}}rance and
Fabio Patrizi},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Bounded Situation Calculus Action Theories and Decidable Verification},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4546},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/GiacomoLP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GiordanoMD12,
author = {Laura Giordano and
Alberto Martelli and
Daniele Theseider Dupr{\'{e}}},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Achieving Completeness in Bounded Model Checking of Action Theories
in {ASP}},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4532},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/GiordanoMD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GottlobS12,
author = {Georg Gottlob and
Thomas Schwentick},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Rewriting Ontological Queries into Small Nonrecursive Datalog Programs},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4510},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/GottlobS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GrastienHT12,
author = {Alban Grastien and
Patrik Haslum and
Sylvie Thi{\'{e}}baux},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4558},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/GrastienHT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GrauHKKMMW12,
author = {Bernardo Cuenca Grau and
Ian Horrocks and
Markus Kr{\"{o}}tzsch and
Clemens Kupke and
Despoina Magka and
Boris Motik and
Zhe Wang},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Acyclicity Conditions and their Application to Query Answering in
Description Logics},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4490},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/GrauHKKMMW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GrauJKZ12,
author = {Bernardo Cuenca Grau and
Ernesto Jim{\'{e}}nez{-}Ruiz and
Evgeny Kharlamov and
Dmitriy Zheleznyakov},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Ontology Evolution Under Semantic Constraints},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4480},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/GrauJKZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Grossi12,
author = {Davide Grossi},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Fixpoints and Iterated Updates in Abstract Argumentation},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4489},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Grossi12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HalpernK12,
author = {Joseph Y. Halpern and
Willemien Kets},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Ambiguous Language and Differences in Beliefs},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4522},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/HalpernK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HaufeT12,
author = {Sebastian Haufe and
Michael Thielscher},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Automated Verification of Epistemic Properties for General Game Playing},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4486},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/HaufeT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HorridgePS12,
author = {Matthew Horridge and
Bijan Parsia and
Ulrike Sattler},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Justification Masking in Ontologies},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4555},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/HorridgePS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Huang12,
author = {Jinbo Huang},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Compactness and Its Implications for Qualitative Spatial and Temporal
Reasoning},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4494},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Huang12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Huang12a,
author = {Jinbo Huang},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Search Strategy Simulation in Constraint Booleanization},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4470},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Huang12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KazakovKS12,
author = {Yevgeny Kazakov and
Markus Kroetzsch and
Frantisek Simancik},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Practical Reasoning with Nominals in the {EL} Family of Description
Logics},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4540},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/KazakovKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KikotKZ12,
author = {Stanislav Kikot and
Roman Kontchakov and
Michael Zakharyaschev},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Conjunctive Query Answering with {OWL} 2 {QL}},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4538},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/KikotKZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LacknerP12,
author = {Martin Lackner and
Andreas Pfandler},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Fixed-Parameter Algorithms for Finding Minimal Models},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4548},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LacknerP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LakemeyerL12,
author = {Gerhard Lakemeyer and
Hector J. Levesque},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Only-Knowing Meets Nonmonotonic Modal Logic},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4507},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LakemeyerL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LawryD12,
author = {Jonathan Lawry and
Didier Dubois},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {A Bipolar Framework for Combining Beliefs about Vague Propositions},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4495},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LawryD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LeoneMTV12,
author = {Nicola Leone and
Marco Manna and
Giorgio Terracina and
Pierfrancesco Veltri},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Efficiently Computable Datalog{\(\exists\)} Programs},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4521},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LeoneMTV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LevesqueDM12,
author = {Hector J. Levesque and
Ernest Davis and
Leora Morgenstern},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {The Winograd Schema Challenge},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4492},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LevesqueDM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Lifschitz12,
author = {Vladimir Lifschitz},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Logic Programs with Intensional Functions},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4519},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Lifschitz12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LiuJN12,
author = {Guohua Liu and
Tomi Janhunen and
Ilkka Niemel{\"{a}}},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Answer Set Programming via Mixed Integer Programming},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4516},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LiuJN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LutzSW12,
author = {Carsten Lutz and
Inan{\c{c}} Seylan and
Frank Wolter},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {An Automata-Theoretic Approach to Uniform Interpolation and Approximation
in the Description Logic {EL}},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4511},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LutzSW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LutzW12,
author = {Carsten Lutz and
Frank Wolter},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Non-Uniform Data Complexity of Query Answering in Description Logics},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4533},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LutzW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MaBL12,
author = {Jianbing Ma and
Salem Benferhat and
Weiru Liu},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Revising Partial Pre-Orders with Partial Pre-Orders: {A} Unit-Based
Revision Framework},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4484},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/MaBL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MorettiT12,
author = {Stefano Moretti and
Alexis Tsouki{\`{a}}s},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Ranking Sets of Possibly Interacting Objects Using Shapley Extensions},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4482},
timestamp = {Tue, 04 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/MorettiT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Morgenstern12,
author = {Leora Morgenstern},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Lecture in Remembrance of John McCarthy},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/5346},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Morgenstern12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/OetschPPST12,
author = {Johannes Oetsch and
Michael Prischink and
J{\"{o}}rg P{\"{u}}hrer and
Martin Schwengerer and
Hans Tompits},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {On the Small-Scope Hypothesis for Testing Answer-Set Programs},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4550},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/OetschPPST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/PradeR12,
author = {Henri Prade and
Gilles Richard},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Homogeneous Logical Proportions: Their Uniqueness and Their Role in
Similarity-Based Prediction},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4539},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/PradeR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Renz12,
author = {Jochen Renz},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Implicit Constraints for Qualitative Spatial and Temporal Reasoning},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4565},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Renz12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Rodriguez-MuroC12,
author = {Mariano Rodriguez{-}Muro and
Diego Calvanese},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {High Performance Query Answering over DL-Lite Ontologies},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4547},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Rodriguez-MuroC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/RosatiF12,
author = {Riccardo Rosati and
Enrico Franconi},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Generalized Ontology-Based Production Systems},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4551},
timestamp = {Fri, 03 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/RosatiF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SlotaL12,
author = {Martin Slota and
Jo{\~{a}}o Leite},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Robust Equivalence Models for Semantic Updates of Answer-Set Programs},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4554},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/SlotaL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/TachmazidisAFK12,
author = {Ilias Tachmazidis and
Grigoris Antoniou and
Giorgos Flouris and
Spyros Kotoulas},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Towards Parallel Nonmonotonic Reasoning with Billions of Facts},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4536},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/TachmazidisAFK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ThomazoBMR12,
author = {Micha{\"{e}}l Thomazo and
Jean{-}Fran{\c{c}}ois Baget and
Marie{-}Laure Mugnier and
Sebastian Rudolph},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {A Generic Querying Algorithm for Greedy Sets of Existential Rules},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4542},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ThomazoBMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/TosattoBTV12,
author = {Silvano Colombo Tosatto and
Guido Boella and
Leendert W. N. van der Torre and
Serena Villata},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Abstract Normative Systems: Semantics and Proof Theory},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4553},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/TosattoBTV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/VlaeminckVBD12,
author = {Hanne Vlaeminck and
Joost Vennekens and
Maurice Bruynooghe and
Marc Denecker},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Ordered Epistemic Logic: Semantics, Complexity and Applications},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4513},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/VlaeminckVBD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/WangZZZ12,
author = {Yisong Wang and
Yan Zhang and
Yi Zhou and
Mingyi Zhang},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Forgetting in Logic Programs under Strong Equivalence},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4389},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/WangZZZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/WilsonM12,
author = {Nic Wilson and
Radu Marinescu},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {An Axiomatic Framework for Influence Diagram Computation with Partially
Ordered Utilities},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4514},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/WilsonM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/WuHTW12,
author = {Jiewen Wu and
Alexander K. Hudek and
David Toman and
Grant E. Weddell},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Assertion Absorption in Object Queries over Knowledge Bases},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4517},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/WuHTW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/X12,
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Conference Committee},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/5343},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/X12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/X12a,
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Area Chairs and Program Committee},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/5344},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/X12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/X12b,
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Preface},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/5345},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/X12b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/X12c,
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Invited Talks},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/5347},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/X12c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ZhuangP12,
author = {Zhi Qiang Zhuang and
Maurice Pagnucco},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Model Based Horn Contraction},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4499},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ZhuangP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2012,
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
isbn = {978-1-57735-560-1},
timestamp = {Wed, 11 Jul 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/2012.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-04-25 19:02 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:
