share record
persistent URL:
Sarah Keren , Sara Bernardini , Kofi Kwapong , David C. Parkes : Reasoning About Plan Robustness Versus Plan Cost for Partially Informed Agents. KR 2020 : 550-559 export record
dblp key:
conf/kr/Kern-IsbernerBB20 share record
persistent URL:
Gabriele Kern-Isberner , Christoph Beierle , Gerhard Brewka : Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases. KR 2020 : 560-571 share record
persistent URL:
Toryn Q. Klassen , Sheila A. McIlraith , Hector J. Levesque : Changing Beliefs about Domain Dynamics in the Situation Calculus. KR 2020 : 572-581 share record
persistent URL:
Roman Kontchakov , Vladislav Ryzhikov , Frank Wolter , Michael Zakharyaschev : Boolean Role Inclusions in DL-Lite With and Without Time. KR 2020 : 582-591 share record
persistent URL:
Patrick Koopmann , Warren Del-Pinto , Sophie Tourret , Renate A. Schmidt : Signature-Based Abduction for Expressive Description Logics. KR 2020 : 592-602 share record
persistent URL:
Emile van Krieken , Erman Acar , Frank van Harmelen : Analyzing Differentiable Fuzzy Implications. KR 2020 : 893-903 share record
persistent URL:
Markus Krötzsch : Computing Cores for Existential Rules with the Standard Chase and ASP. KR 2020 : 603-613 share record
persistent URL:
Nadia Labai , Magdalena Ortiz , Mantas Simkus : An ExpTime Upper Bound for ALC with Integers. KR 2020 : 614-623 share record
persistent URL:
Gerhard Lakemeyer , Hector J. Levesque : A First-Order Logic of Limited Belief Based on Possible Worlds. KR 2020 : 624-635 share record
persistent URL:
Tuomo Lehtonen , Johannes Peter Wallner , Matti Järvisalo : An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework. KR 2020 : 636-646 share record
persistent URL:
Massimiliano de Leoni , Paolo Felli , Marco Montali : Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors. KR 2020 : 315-325 share record
persistent URL:
Jean-Guy Mailly , Julien Rossit : Argument, I Choose You! Preferences and Ranking Semantics in Abstract Argumentation. KR 2020 : 647-651 share record
persistent URL:
Alexsander Andrade de Melo , Mateus de Oliveira Oliveira : Symbolic Solutions for Symbolic Constraint Satisfaction Problems. KR 2020 : 49-58 share record
persistent URL:
Michael Morak , Lukás Chrpa , Wolfgang Faber , Daniel Fiser : On the Reversibility of Actions in Planning. KR 2020 : 652-661 share record
persistent URL:
Van Nguyen , Vasileiou Loukas Stylianos , Tran Cao Son , William Yeoh : Explainable Planning Using Answer Set Programming. KR 2020 : 662-666 share record
persistent URL:
Andreas Niskanen , Matti Järvisalo : Smallest Explanations and Diagnoses of Rejection in Abstract Argumentation. KR 2020 : 667-671 share record
persistent URL:
Andreas Niskanen , Matti Järvisalo : µ-toksia: An Efficient Abstract Argumentation Reasoner. KR 2020 : 800-804 share record
persistent URL:
Rafael Peñaloza : Towards a Logic of Meta-Analysis. KR 2020 : 672-676 share record
persistent URL:
Nico Potyka : Bipolar Abstract Argumentation with Dual Attacks and Supports. KR 2020 : 677-686 share record
persistent URL:
Fillipe Resina , Marco Garapa , Renata Wassermann , Eduardo Fermé , Maurício D. Luís Reis : Choosing What to Believe - New Results in Selective Revision. KR 2020 : 687-691 share record
persistent URL:
Simon Rey , Ulle Endriss , Ronald de Haan : Designing Participatory Budgeting Mechanisms Grounded in Judgment Aggregation. KR 2020 : 692-702 export record
dblp key:
conf/kr/Richard-Bollans20 share record
persistent URL:
Adam Richard-Bollans , Lucía Gómez Álvarez , Anthony G. Cohn : Modelling the Polysemy of Spatial Prepositions in Referring Expressions. KR 2020 : 703-712 share record
persistent URL:
Tjitze Rienstra , Claudia Schon , Steffen Staab : Concept Contraction in the Description Logic EL. KR 2020 : 723-732 share record
persistent URL:
Tjitze Rienstra , Matthias Thimm , Kristian Kersting , Xiaoting Shao : Independence and D-separation in Abstract Argumentation. KR 2020 : 713-722 share record
persistent URL:
Régis Riveret , Son N. Tran , Artur S. d'Avila Garcez : Neuro-Symbolic Probabilistic Argumentation Machines. KR 2020 : 871-881 share record
persistent URL:
Florence Dupin de Saint-Cyr , Henri Prade : Jokes and Belief Revision. KR 2020 : 336-340 share record
persistent URL:
Zeynep G. Saribatur , Thomas Eiter : A Semantic Perspective on Omission Abstraction in ASP. KR 2020 : 733-737 share record
persistent URL:
Nicolas Schwind , Sébastien Konieczny : Non-Prioritized Iterated Revision: Improvement via Incremental Belief Merging. KR 2020 : 738-747 share record
persistent URL:
Weijia Shi , Andy Shih , Adnan Darwiche , Arthur Choi : On Tractable Representations of Binary Neural Networks. KR 2020 : 882-892 share record
persistent URL:
Michael Stewart , Wei Liu : Seq2KG: An End-to-End Neural Model for Domain Agnostic Knowledge Graph (not Text Graph) Construction from Text. KR 2020 : 748-757