Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Tomasz Gogacz, Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak |
On Finite Entailment of Non-Local Queries in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 424-433, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Emile van Krieken, Erman Acar, Frank van Harmelen |
Analyzing Differentiable Fuzzy Implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 893-903, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Etienne Toussaint, Paolo Guagliardo, Leonid Libkin |
Knowledge-Preserving Certain Answers for SQL-like Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 758-767, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe De Giacomo, Antonio Di Stasio 0001, Moshe Y. Vardi, Shufang Zhu 0001 |
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 304-314, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michael Morak, Lukás Chrpa, Wolfgang Faber 0001, Daniel Fiser |
On the Reversibility of Actions in Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 652-661, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Labai, Magdalena Ortiz 0001, Mantas Simkus |
An ExpTime Upper Bound for ALC with Integers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 614-623, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marco Console, Matthias F. J. Hofer, Leonid Libkin |
Reasoning about Measures of Unmeasurable Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 264-273, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Guy Mailly, Julien Rossit |
Argument, I Choose You! Preferences and Ranking Semantics in Abstract Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 647-651, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexsander Andrade de Melo, Mateus de Oliveira Oliveira |
Symbolic Solutions for Symbolic Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 49-58, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Magdalena Kacprzak, Artur Niewiadomski 0001, Wojciech Penczek |
SAT-Based ATL Satisfiability Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 539-549, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao |
Explanatory Diagnosis of Discrete-Event Systems with Temporal Information and Smart Knowledge-Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 130-140, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Daniel de Leng, Fredrik Heintz |
Partial-State Progression for Stream Reasoning with Metric Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 633-634, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis |
Probabilistic Coalition Structure Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 663-664, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Ronald de Haan |
Hunting for Tractable Languages for Judgment Aggregation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 194-203, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Giovanni Amendola, Francesco Ricca, Mirek Truszczynski |
A Generator of Hard 2QBF Formulas and ASP Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 52-56, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Ronald de Haan |
A Parameterized Complexity View on Description Logic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 359-368, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Marco Console, Paolo Guagliardo, Leonid Libkin |
Propositional and Predicate Logics of Incomplete Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 592-601, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Nico Potyka |
Continuous Dynamical Systems for Weighted Bipolar Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 148-157, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Ringo Baumann, Markus Ulbricht 0001 |
If Nothing Is Accepted - Repairing Argumentation Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 108-117, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Anthony Hunter, Sylwia Polberg, Nico Potyka |
Updating Belief in Arguments in Epistemic Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 138-147, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Tomasz Gogacz, Yazmín Angélica Ibáñez-García, Filip Murlak |
Finite Query Answering in Expressive Description Logics with Transitive Roles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 369-378, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Francesco Belardinelli, Catalin Dima, Aniello Murano |
Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 425-434, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Stephanie McIntyre, Alexander Borgida, David Toman 0001, Grant E. Weddell |
On Limited Conjunctions in Polynomial Feature Logics, with Applications in OBDA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 655-656, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Nandini Ramanan, Gautam Kunapuli, Tushar Khot, Bahare Fatemi, Seyed Mehran Kazemi, David Poole 0001, Kristian Kersting, Sriraam Natarajan |
Structure Learning for Relational Logistic Regression: An Ensemble Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 661-662, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Pavel Naumov, Kevin Ros |
Strategic Coalitions in Systems with Catastrophic Failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 659-660, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann |
Towards Belief Contraction without Compactness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 287-296, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Paulo T. Guerra, Renata Wassermann |
Two AGM-Style Characterizations of Model Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 645-646, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Cristina Civili, Leonid Libkin |
Approximating Certainty in Querying Data and Metadata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 582-591, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Hiroyuki Kido 0001 |
Bayesian Model Selection in Statistical Construction of Justification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 647-648, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Jori Bomanson, Tomi Janhunen, Antonius Weinzierl |
Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming - Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 625-626, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Benjamin Zarrieß |
Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 514-523, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Leila Amgoud, Victor David |
Measuring Similarity between Logical Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 98-107, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Arindam Mitra, Chitta Baral, Peter Clark |
Knowledge Representation and Reasoning in Answering Science Questions: A Case Study for Food Web Questions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 657-658, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Zeynep G. Saribatur, Thomas Eiter |
Omission-Based Abstraction for Answer Set Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 42-51, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks 0001 |
The Window Validity Problem in Rule-Based Stream Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 571-581, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala |
A Novel Automata-Theoretic Approach to Timeline-Based Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 541-550, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Mario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki |
ExactLearner: A Tool for Exact Learning of EL Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 409-414, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Gabriele Kern-Isberner |
Axiomatizing a Qualitative Principle of Conditional Preservation for Iterated Belief Change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 248-256, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Da Shen, Yuliya Lierler |
SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 67-71, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Jens Claßen |
Symbolic Verification of Golog Programs with First-Order BDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 524-529, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Adrian Haret, Arianna Novaro, Umberto Grandi |
Preference Aggregation with Incomplete CP-Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 308-318, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Joohyung Lee 0002, Zhun Yang |
Computing Logic Programs with Ordered Disjunction Using asprin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 57-61, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Johannes Klaus Fichte, Markus Hecher |
Exploiting Treewidth for Counting Projected Answer Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 639-640, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin |
Changing Observations in Epistemic Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 621-622, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Jiaoyan Chen, Freddy Lécué, Jeff Z. Pan, Ian Horrocks 0001, Huajun Chen |
Knowledge-Based Transfer Learning Explanation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 349-358, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Liangda Fang, Kewen Wang 0001, Zhe Wang 0001, Ximing Wen |
Knowledge Compilation in the Multi-Agent Epistemic Logic Kn. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 637-638, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | James P. Delgrande, Pavlos Peppas |
Incorporating Relevance in Epistemic States in Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 230-239, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone |
Approximating Perfect Recall When Model Checking Strategic Abilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 435-444, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Meir Friedenberg, Joseph Y. Halpern |
Combining the Causal Judgments of Experts with Possibly Different Focus Areas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 504-513, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron |
Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 627-628, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Peter Baumgartner 0001, Sylvie Thiébaux, Felipe W. Trevizan |
Heuristic Search Planning With Multi-Objective Probabilistic LTL Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 415-424, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Costas D. Koutras, Konstantinos Liaskos, Christos Moyzes, Christos Rantsoudis |
Default Reasoning via Topology and Mathematical Analysis: A Preliminary Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 267-276, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Richard Booth 0001, Jake Chandler |
On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 210-219, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Alisa Kovtunova, Rafael Peñaloza |
Cutting Diamonds: A Temporal Logic with Probabilistic Distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 561-570, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Pavlos Peppas, Mary-Anne Williams |
Parametrised Difference Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 277-286, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail |
A SAT-Based Approach For PSPACE Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 651-652, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Medina Andresel, Yazmín Angélica Ibáñez-García, Magdalena Ortiz 0001, Mantas Simkus |
Relaxing and Restraining Queries for OBDA - Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 617-618, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Kristijonas Cyras, Tiago Oliveira 0002 |
Argumentation for Reasoning with Conflicting Clinical Guidelines and Preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 631-632, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith |
Finite LTL Synthesis with Environment Assumptions and Quality Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 454-463, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque |
Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 257-266, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Henry Prakken |
Probabilistic Strength of Arguments with Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 158-167, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo |
Extension Enforcement under Grounded Semantics in Abstract Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 178-183, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Thomas Bolander, Thorsten Engesser, Robert Mattmüller, Bernhard Nebel |
Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 445-453, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Loris Bozzato, Luciano Serafini, Thomas Eiter |
Reasoning with Justifiable Exceptions in Contextual Hierarchies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 329-338, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Carsten Lutz, Johannes Marti, Leif Sabellek |
Query Expressibility and Verification in Ontology-Based Data Access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 389-398, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Michael Akintunde, Alessio Lomuscio, Lalit Maganti, Edoardo Pirovano |
Reachability Analysis for Neural Agent-Environment Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 184-193, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Gerardo Ignacio Simari, Guillermo Ricardo Simari |
An Incremental Approach to Structured Argumentation over Dynamic Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 78-87, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Ricardo Gonçalves 0001, Tomi Janhunen, Matthias Knorr 0001, João Leite 0001, Stefan Woltran |
Variable Elimination for DLP-Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 643-644, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza |
Making Repairs in Description Logics More Gentle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 319-328, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ondrej Kuzelka |
Quantified Markov Logic Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 602-612, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Marco Garapa, Eduardo Fermé, Maurício D. Luís Reis |
Studies in Credibility-Limited Base Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 240-247, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Mario Alviano, Javier Romero 0003, Torsten Schaub |
Preference Relations by Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 2-11, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Michael Thielscher, Francesca Toni, Frank Wolter (eds.) |
Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![AAAI Press, 978-1-57735-803-9 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Elise Bonzon, Jérôme Delobelle, Sébastien Konieczny, Nicolas Maudet |
Combining Extension-Based Semantics and Ranking-Based Semantics for Abstract Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 118-127, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Anne-Gwenn Bosser, Pedro Cabalar, Martín Diéguez, Torsten Schaub |
Introducing Temporal Stable Models for Linear Dynamic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 12-21, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Domenico Lembo, Riccardo Rosati 0001, Domenico Fabio Savo |
A Comprehensive Framework for Controlled Query Evaluation, Consistent Query Answering and KB Updates in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 653-654, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Tjitze Rienstra, Matthias Thimm, Beishui Liao, Leendert W. N. van der Torre |
Probabilistic Abstract Argumentation Based on SCC Decomposability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 168-177, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | David Carral, Irina Dragoste, Markus Krötzsch |
The Combined Approach to Query Answering in Horn-ALCHOIQ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 339-348, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Henrique Viana, João F. L. Alcântara |
Propositional Belief Merging with OWA Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 667-, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Xiaoyu Ge, Jochen Renz, Hua Hua |
Towards Explainable Inference about Object Motion using Qualitative Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 641-642, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Joohyung Lee 0002, Yi Wang 0048 |
Weight Learning in a Probabilistic Extension of Answer Set Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 22-31, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao |
Abductive Diagnosis of Complex Active Systems with Compiled Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 464-473, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Hua Hua, Jochen Renz, Xiaoyu Ge |
Qualitative Representation and Reasoning over Direction Relations across Different Frames of Reference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 551-560, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin |
Synthesis under Assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 615-616, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Alexander Bochman |
On Laws and Counterfactuals in Causal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 494-503, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Sébastien Konieczny, Pierre Marquis, Srdjan Vesic |
New Inference Relations from Maximal Consistent Subsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 649-650, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Jorge Fandinno, Luis Fariñas del Cerro |
Constructive Logic Covers Argumentation and Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 128-137, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Leila Amgoud, Elise Bonzon, Jérôme Delobelle, Dragan Doder, Sébastien Konieczny, Nicolas Maudet |
Gradual Semantics Accounting for Similarity between Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 88-97, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Víctor Gutiérrez-Basulto, Steven Schockaert |
From Knowledge Graph Embedding to Ontology Embedding? An Analysis of the Compatibility between Vector Space Representations and Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 379-388, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Bastien Maubert, Aniello Murano |
Reasoning about Knowledge and Strategies under Hierarchical Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 530-540, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato 0001 |
iCon: A Diagrammatic Theorem Prover for Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 204-209, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Vernon Asuncion, Yan Zhang 0003, Heng Zhang 0006, Yun Bai 0001, Weisheng Si |
Loop Restricted Existential Rules and First-Order Rewritability for Query Answering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 619-620, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Veronika Thost |
Metric Temporal Extensions of DL-Lite and Interval-Rigid Names. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 665-666, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan |
Query Answering for Rough EL Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 399-408, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Federico Cerutti 0001, Matthias Thimm |
A General Approach to Reasoning with Probabilities - Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 629-630, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Kaya Deuser, Pavel Naumov |
Navigability with Bounded Recall. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 635-636, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Benedict Wright, Robert Mattmüller, Bernhard Nebel |
Compiling Away Soft Trajectory Constraints in Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 474-483, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Giovanni Casini, Eduardo Fermé, Thomas Meyer 0002, Ivan Varzinczak |
A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 220-229, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Leila Amgoud, Dragan Doder |
Gradual Semantics for Weighted Graphs: An Unifying Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 613-614, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Nicolas Schwind, Sébastien Konieczny, Pierre Marquis |
On Belief Promotion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 297-307, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|