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