| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nicolas Schwind, Sébastien Konieczny, Ramón Pino Pérez |
Iteration of Iterated Belief Revision.  |
KR  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | David Fernández-Duque, Brett McLean, Lukas Zenger |
A Family of Decidable Bi-intuitionistic Modal Logics. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari |
A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro |
Complexity of Inconsistency-Tolerant Query Answering in Datalog+/- under Preferred Repairs. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Hecher, Rafael Kiesel |
The Impact of Structure in Answer Set Counting: Fighting Cycles and its Limits. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rita Torres Sousa, Sara Silva, Catia Pesquita |
Explainable Representations for Relation Prediction in Knowledge Graphs. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro J. Mercado, Daniel A. Grimaldi, Ricardo Oscar Rodríguez |
Weak-Ensconcement for Shielded Base Contraction. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannet Interian, Sara Bernardini |
Learning Interpretable Heuristics for WalkSAT. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ava Clifton, Charles Gretton |
Property Directed Reachability for Planning Revisited. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Sabbatini, Roberta Calegari |
Explainable Clustering with CREAM. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder |
Group Responsibility for Exceeding Risk Threshold. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim S. Lyon, Piotr Ostropolski-Nalewaja |
Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Drexler, Jendrik Seipp, Hector Geffner |
Learning Hierarchical Policies by Iteratively Reducing the Width of Sketch Rules. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tommaso Flaminio, Sandro Preto, Sara Ugolini |
Reasoning about Probability via Continuous Functions. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Rago 0001, Hengzhi Li, Francesca Toni |
Interactive Explanations by Conflict Resolution via Argumentative Exchanges. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Alt, Franklin Kenghagho Kenfack, Andrei Haidu, Darko Katic, Rainer Jäkel, Michael Beetz |
Knowledge-Driven Robot Program Synthesis from Human VR Demonstrations. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Ståhlberg, Blai Bonet, Hector Geffner |
Learning General Policies with Policy Gradient Methods. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz, Lukas Schulze |
Description Logics with Abstraction and Refinement. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Grégoire Menguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb |
Active Disjunctive Constraint Acquisition. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Leofante, Elena Botoeva, Vineet Rajani |
Counterfactual Explanations and Model Multiplicity: a Relational Verification View. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Gigante, Lucía Gómez Álvarez, Tim S. Lyon |
Standpoint Linear Temporal Logic. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Leclère, Marie-Laure Mugnier, Guillaume Pérution-Kihli |
Query Rewriting with Disjunctive Existential Rules and Mappings. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vít Puncochár |
Fuzzy Truth, Fuzzy Support and Fuzzy Information States for Inquisitive Semantics. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulius Dilkas, Vaishak Belle |
Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederico Aleixo, Matthias Knorr 0001, João Leite 0001 |
Revising Boolean Logical Models of Biological Regulatory Networks. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yakoub Salhi, Michael Sioutis |
A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Clément Carbonnel, Martin C. Cooper, João Marques-Silva 0001 |
Tractable Explaining of Multivariate Decision Trees. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano |
Strategic Abilities of Forgetful Agents in Stochastic Environments. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Daphne Odekerken, Tuomo Lehtonen, AnneMarie Borg, Johannes Peter Wallner, Matti Järvisalo |
Argumentative Reasoning in ASPIC+ under Incomplete Information. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Demri, Raine Rönnholm |
How to Manage a Budget with ATL+. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema |
Unified Foundations of Team Semantics via Semirings. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo Fermé, Sébastien Konieczny, Ramón Pino Pérez, Nicolas Schwind |
Credible Models of Belief Update. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcos Cramer, Samuele Pollaci, Bart Bogaerts 0001 |
Mathematical Foundations for Joining Only Knowing and Common Knowledge. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev |
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaked Almog, Meir Kalech |
Diagnosis for Post Concept Drift Decision Trees Repair. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Periklis Mantenoglou, Dimitrios Kelesis, Alexander Artikis |
Complex Event Recognition with Allen Relations. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Toryn Q. Klassen, Christian Muise, Sheila A. McIlraith |
Planning with Epistemic Preferences. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Lydia Blümel, Matthias Thimm |
Approximating Weakly Preferred Semantics in Abstract Argumentation through Vacuous Reduct Semantics. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Ishay, Zhun Yang, Joohyung Lee 0002 |
Leveraging Large Language Models to Generate Answer Set Programs. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sourav Chakraborty 0001, Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber |
On Simple Expectations and Observations of Intelligent Agents: A Complexity Study. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Przemyslaw Andrzej Walega, Michal Zawidzki, Christoph Haase |
Computing All Facts Entailed By An LTL Specification. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Fandinno, Vladimir Lifschitz |
Omega-Completeness of the Logic of Here-and-There and Strong Equivalence of Logic Programs. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Gerlach 0002, David Carral |
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Umili, Roberto Capobianco, Giuseppe De Giacomo |
Grounding LTLf Specifications in Image Sequences. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Bochman |
Default Logic as a Species of Causal Reasoning. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Denise Angilica, Mario Avolio, Giovanni Beraldi, Giovambattista Ianni, Francesco Pacenza |
From Vision to Execution: Enabling Knowledge Representation and Reasoning in Hybrid Intelligent Robots Playing Mobile Games. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Salerno, Raquel Fuentetaja 0001, Jendrik Seipp |
Eliminating Redundant Actions from Plans Using Classical Planning. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Aguilera-Ventura, Andreas Herzig, Xinghan Liu, Emiliano Lorini |
Counterfactual Reasoning via Grounded Distance. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Marquis, Tran Cao Son, Gabriele Kern-Isberner (eds.) |
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry Prakken |
Relating Abstract and Structured Accounts of Argumentation Dynamics: the Case of Expansions. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Jamroga, Yan Kim |
Practical Abstraction for Model Checking of Multi-Agent Systems. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesse Heyninck, Giovanni Casini, Thomas Meyer 0002, Umberto Straccia |
Revising Typical Beliefs: One Revision to Rule Them All. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Philipp Haldimann, Christoph Beierle |
Finest Syntax Splittings of Ranking Functions and Total Preorders on Worlds. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Agata Ciabattoni, Dmitry Rozplokhas |
Streamlining Input/Output Logics with Sequent Calculi. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
Definitions and (Uniform) Interpolants in First-Order Modal Logic. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Matti Berthold, Anna Rapberger, Markus Ulbricht 0001 |
Forgetting Aspects in Assumption-Based Argumentation. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz, Quentin Manière, Robin Nolte |
Querying Circumscribed Description Logic Knowledge Bases. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass |
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Valeria Fionda, Antonio Ielo, Francesco Ricca |
Logic-based Composition of Business Process Models. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruolin Wang, Yuejiao Xu, Jie Peng, Jianmin Ji |
A²CoST: An ASP-based Avoidable Collision Scenario Testbench for Autonomous Vehicles. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeynep G. Saribatur, Stefan Woltran |
Foundations for Projecting Away the Irrelevant in ASP Programs. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Claire David, Nadime Francis, Victor Marsault |
Run-Based Semantics for RPQs. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Daira Pinto Prieto, Ronald de Haan, Aybüke Özgün |
A Belief Model for Conflicting and Uncertain Evidence: Connecting Dempster-Shafer Theory and the Topology of Evidence. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Lance Kennedy, Issouf Kindo, Arthur Choi |
On Training Neurons with Bounded Compilations. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Bengel, Matthias Thimm |
Towards Parallelising Extension Construction for Serialisable Semantics in Abstract Argumentation. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Kiesel, Thomas Eiter |
Knowledge Compilation and More with SharpSAT-TD. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Cándido Otero, Dennis Craandijk, Floris Bex |
ORLA: Learning Explainable Argumentation Models. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Everaere, Chouaib Fellah, Sébastien Konieczny, Ramón Pino Pérez |
Weighted Merging of Propositional Belief Bases. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht 0001, Johannes Peter Wallner |
Argumentation Frameworks Induced by Assumption-based Argumentation: Relating Size and Complexity. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García |
Combining Global and Local Merges in Logic-based Entity Resolution. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Meghyn Bienvenu, Camille Bourgaux |
Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuwen Liu 0007, Bernardo Cuenca Grau, Ian Horrocks 0001, Egor V. Kostylev |
Revisiting Inferential Benchmarks for Knowledge Graph Completion. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Galliani, Oliver Kutz, Nicolas Troquard |
Succinctness and Complexity of ALC with Counting Perceptrons. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Bernreiter, Matthias König 0002 |
From Qualitative Choice Logic to Abstract Argumentation. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald Fagin, Phokion G. Kolaitis, Domenico Lembo, Lucian Popa 0001, Federico Scafoglieri |
A Framework for Combining Entity Resolution and Query Answering in Knowledge Bases. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ofer Arieli, Jesse Heyninck |
Simple Contrapositive Assumption-Based Argumentation with Partially-Ordered Preferences. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ringo Baumann, Anne-Marie Heine |
On Conflict-free Labellings - Realizability, Construction and Patterns of Redundancy. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Wilhelm |
Integrating Linear Arithmetic Constraints Into Conditional Maximum Entropy Reasoning. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Daxin Liu 0002, Qihui Feng, Vaishak Belle, Gerhard Lakemeyer |
Concerning Measures in a First-order Logic with Actions and Meta-beliefs. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Panagiotis Kouvaros, Francesco Leofante, Blake Edwards, Calvin Chung, Dragos D. Margineantu, Alessio Lomuscio |
Verification of Semantic Key Point Detection for Aircraft Pose Estimation. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean Zammit, Michael Thielscher |
General Game Playing With State-Independent Communication. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Sauerwald, Christoph Beierle |
Iterated Belief Change, Computationally. |
KR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Huifan Yang, Da-Wei Li, Zekun Li 0003, Donglin Yang, Bin Wu 0001 |
Open Relation Extraction with Non-existent and Multi-span Relationships. |
KR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Hong Wu, Zhe Wang 0001, Kewen Wang 0001, Yi-Dong Shen |
Learning Typed Rules over Knowledge Graphs. |
KR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger |
On the Relationship between Shy and Warded Datalog+/-. |
KR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi |
Public and Private Affairs in Strategic Reasoning. |
KR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Emiliano Lorini, Elise Perrotin, François Schwarzentruber |
Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models. |
KR |
2022 |
DBLP BibTeX RDF |
|
| 1 | David Carral, Lucas Larroque, Marie-Laure Mugnier, Michaël Thomazo |
Normalisations of Existential Rules: Not so Innocuous! |
KR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti, Luigi Sauro |
Sticky Policies in OWL2: Extending PL with Fixpoints and Transitive Closure. |
KR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Jandson S. Ribeiro |
Kernel Contraction and the Order of Relevance. |
KR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Simon Ståhlberg, Blai Bonet, Hector Geffner |
Learning Generalized Policies without Supervision Using GNNs. |
KR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Jonas Haldimann, Christoph Beierle |
Inference with System W Satisfies Syntax Splitting. |
KR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Arseny Skryagin, Wolfgang Stammer, Daniel Ochs, Devendra Singh Dhami, Kristian Kersting |
Neural-Probabilistic Answer Set Programming. |
KR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Anna Rapberger, Markus Ulbricht 0001 |
On Dynamics in Structured Argumentation Formalisms. |
KR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Lydia Blümel, Markus Ulbricht 0001 |
Defining Defense and Defeat in Abstract Argumentation From Scratch - A Generalizing Approach. |
KR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Matti Berthold |
On Syntactic Forgetting with Strong Persistence. |
KR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Joseph Singleton, Richard Booth 0001 |
Who's the Expert? On Multi-source Belief Change. |
KR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Casini, Umberto Straccia |
A General Framework for Modelling Conditional Reasoning - Preliminary Report. |
KR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Alvaro Gunawan, Ji Ruan, Xiaowei Huang 0001 |
A Graph Neural Network Reasoner for Game Description Language. |
KR |
2022 |
DBLP BibTeX RDF |
|
| 1 | Meghyn Bienvenu, Quentin Manière, Michaël Thomazo |
Counting Queries over ELHI⊥ Ontologies. |
KR |
2022 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license