Skip to content

International Conference on the Principles of Knowledge Representation and Reasoning

KR

A*

CORE rank

CORE rank (raw)

A*

Fields of research

Artificial Intelligence · Theory of Computation

Papers indexed

1,758

1989–2026

Papers per year

1989119 peak2026

KR papers

1,758 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2008How to Choose Weightings to Avoid Collisions in a Restricted Penalty Logic.Nathalie Chetcuti-Sperandio, Sylvain Lagrue
2008Computing Loops with at Most One External Support Rule.Xiaoping Chen, Jianmin Ji, Fangzhen Lin
2008Revision of an Argumentation System.Claudette Cayrol, Florence Dupin de Saint-Cyr, Marie-Christine Lagasquie-Schiex
2008A Logical Framework to Represent and Reason about Graded Preferences and Intentions.Ana Casali, Llus Godo, Carles Sierra
2008View-Based Query Answering over Description Logic Ontologies.Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2008Path-Based Identification Constraints in Description Logics.Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2008Taming the Infinite Chase: Query Answering under Expressive Relational Constraints.Andrea Cal, Georg Gottlob, Michael Kifer
2008Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic.Jos de Bruijn, Thomas Eiter, Hans Tompits
2008Semantic Preferential Subsumption.Katarina Britz, Johannes Heidema, Thomas Andreas Meyer
2008Relational Preference Rules for Control.Ronen I. Brafman
2008Preferences, Planning and Control.Ronen I. Brafman
2008Equilibria in Social Belief Removal.Richard Booth, Thomas Andreas Meyer
2008Default Theory of Defeasible Entailment.Alexander Bochman
2008Peer-to-Peer Query Answering with Inconsistent Knowledge.Arnold Binas, Sheila A. McIlraith
2008Complexity of Abduction in the EL Family of Lightweight Description Logics.Meghyn Bienvenu
2008A Complete First-Order Logic of Knowledge and Time.Francesco Belardinelli, Alessio Lomuscio
2008Time Representation and Temporal Reasoning from the Perspective of Non-Standard Analysis.Philippe Balbiani
2008LTL over Description Logic Axioms.Franz Baader, Silvio Ghilardi, Carsten Lutz
2008Formalising Temporal Constraints on Part-Whole Relations.Alessandro Artale, Nicola Guarino, C. Maria Keet
2008A Principled Framework for Modular Web Rule Bases and Its Semantics.Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damsio
2008Making Decisions through Preference-Based Argumentation.Leila Amgoud, Yannis Dimopoulos, Pavlos Moraitis
2008Reasoning about Agent Deliberation.Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer
2006Computational Properties of Epistemic Logic Programs.Yan Zhang
2006Non-Deterministic Semantics for First-Order Paraconsistent Logics.Anna Zamansky, Arnon Avron
2006Propositional DAGs: A New Graph-Based Language for Representing Boolean Functions.Michael Wachter, Rolf Haenni
1,1261,150 of 1,758← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.