![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
19th KR 2022: Haifa, Israel
- Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer:
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, July 31 - August 5, 2022. 2022, ISBN 978-1-956792-01-0
Main Track
- Juan P. Aguilera, Martín Diéguez
, David Fernández-Duque, Brett McLean:
A Gödel Calculus for Linear Temporal Logic. - Natasha Alechina, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli:
Automatic Synthesis of Dynamic Norms for Multi-Agent Systems. - Franz Baader, Francesco Kriegel:
Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs. - Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque:
The Topology of Surprise. - Matti Berthold:
On Syntactic Forgetting with Strong Persistence. - Meghyn Bienvenu, Quentin Manière, Michaël Thomazo:
Counting Queries over ELHI⊥ Ontologies. - Lydia Blümel, Markus Ulbricht:
Defining Defense and Defeat in Abstract Argumentation From Scratch - A Generalizing Approach. - Piero A. Bonatti, Luigi Sauro:
Sticky Policies in OWL2: Extending PL with Fixpoints and Transitive Closure. - Zied Bouraoui, Sébastien Konieczny, Thanh Ma, Nicolas Schwind, Ivan Varzinczak:
Region-Based Merging of Open-Domain Terminological Knowledge. - Camille Bourgaux, Pierre Bourhis, Liat Peterfreund, Michaël Thomazo:
Revisiting Semiring Provenance for Datalog. - David Carral, Lucas Larroque, Marie-Laure Mugnier, Michaël Thomazo:
Normalisations of Existential Rules: Not so Innocuous! - Giovanni Casini
, Umberto Straccia:
A General Framework for Modelling Conditional Reasoning - Preliminary Report. - Wolfgang Dvorák, Matthias König, Markus Ulbricht, Stefan Woltran:
Rediscovering Argumentation Principles Utilizing Collective Attacks. - Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi:
Public and Private Affairs in Strategic Reasoning. - Tommaso Flaminio, Angelo Gilio, Lluís Godo, Giuseppe Sanfilippo:
Compound Conditionals as Random Quantities and Boolean Algebras. - Marie Fortin, Boris Konev, Frank Wolter:
Interpolants and Explicit Definitions in Extensions of the Description Logic EL. - Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev:
Unique Characterisability and Learnability of Temporal Instance Queries. - Nicola Gigante, Andrea Micheli, Enrico Scala:
On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning. - Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak:
Finite Entailment of UCRPQs over ALC Ontologies. - Jean Christoph Jung, Carsten Lutz, Jerzy Marcinkowski:
Conservative Extensions for Existential Rules. - Jonas Karge, Sebastian Rudolph:
The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion. - Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo:
Computing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation Formalism. - Xu Li, Dov M. Gabbay, Réka Markovich:
Dynamic Deontic Logic for Permitted Announcements. - Emiliano Lorini, Elise Perrotin, François Schwarzentruber:
Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models. - Carsten Lutz, Leif Sabellek, Lukas Schulze:
Ontology-Mediated Querying on Databases of Bounded Cliquewidth. - Tim S. Lyon
, Lucía Gómez Álvarez:
Automating Reasoning with Standpoint Logic via Nested Sequents. - Alison R. Panisson, Peter McBurney, Rafael H. Bordini:
Towards an Enthymeme-Based Communication Framework in Multi-Agent Systems. - Senthil Rajasekaran, Moshe Y. Vardi:
Verification and Realizability in Finite-Horizon Multiagent Systems. - Anna Rapberger, Markus Ulbricht:
On Dynamics in Structured Argumentation Formalisms. - Jandson S. Ribeiro:
Kernel Contraction and the Order of Relevance. - Victor Hugo Nascimento Rocha, Fábio Gagliardi Cozman:
A Credal Least Undefined Stable Semantics for Probabilistic Logic Programs and Probabilistic Argumentation. - Nicolas Schwind, Sébastien Konieczny, Ramón Pino Pérez:
On the Representation of Darwiche and Pearl's Epistemic States for Iterated Belief Revision. - Joseph Singleton, Richard Booth:
Who's the Expert? On Multi-source Belief Change. - Marlo Souza, Renata Wassermann:
Hyperintensional Partial Meet Contractions. - Umberto Straccia, Giovanni Casini
:
A Minimal Deductive System for RDFS with Negative Statements. - Pulkit Verma, Shashank Rao Marpally, Siddharth Srivastava:
Discovering User-Interpretable Capabilities of Black-Box Planning Agents. - Huifan Yang, Da-Wei Li, Zekun Li, Donglin Yang, Bin Wu:
Open Relation Extraction with Non-existent and Multi-span Relationships. - Shufang Zhu, Giuseppe De Giacomo:
Act for Your Duties but Maintain Your Rights. - Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger:
On the Relationship between Shy and Warded Datalog+/-. - Jens Claßen, James P. Delgrande:
Projection of Belief in the Presence of Nondeterministic Actions and Fallible Sensing. - Jonas Haldimann, Christoph Beierle:
Inference with System W Satisfies Syntax Splitting. - Kai Sauerwald, Christoph Beierle:
Iterated Belief Change, Computationally. - Jacopo Urbani, Markus Krötzsch, Thomas Eiter:
Chasing Streams with Existential Rules.
Special Session on KR and Machine Learning
- Yaniv Aspis, Krysia Broda, Jorge Lobo, Alessandra Russo:
Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings. - João Ferreira, Manuel de Sousa Ribeiro, Ricardo Gonçalves, João Leite:
Looking Inside the Black-Box: Logic-based Explanations for Neural Networks. - Alvaro Gunawan, Ji Ruan, Xiaowei Huang:
A Graph Neural Network Reasoner for Game Description Language. - Viktor Pfanschilling, Hikaru Shindo, Devendra Singh Dhami, Kristian Kersting:
Sum-Product Loop Programming: From Probabilistic Circuits to Loop Programming. - Arseny Skryagin, Wolfgang Stammer, Daniel Ochs, Devendra Singh Dhami, Kristian Kersting:
Neural-Probabilistic Answer Set Programming. - Simon Ståhlberg, Blai Bonet, Hector Geffner:
Learning Generalized Policies without Supervision Using GNNs. - David J. Tena Cucala, Bernardo Cuenca Grau, Boris Motik:
Faithful Approaches to Rule Learning. - Hong Wu, Zhe Wang, Kewen Wang, Yi-Dong Shen:
Learning Typed Rules over Knowledge Graphs. - Antonio Rago, Pietro Baroni, Francesca Toni:
Explaining Causal Models with Argumentation: the Case of Bi-variate Reinforcement.
Special Session on KR and Robotics
- Leonardo Lamanna, Luciano Serafini, Alessandro Saetti, Alfonso Gerevini, Paolo Traverso:
Online Grounding of Symbolic Planning Domains in Unknown Environments.
Applications and Systems
- Meghyn Bienvenu, Camille Bourgaux:
Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments. - Benjamin Irwin, Antonio Rago, Francesca Toni:
Forecasting Argumentation Frameworks. - Periklis Mantenoglou, Manolis Pitsikalis, Alexander Artikis:
Stream Reasoning with Cycles. - Federico Sabbatini, Roberta Calegari:
Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO. - Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova:
ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser.
![](https://dblp.org/img/cog.dark.24x24.png)
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.