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
Most published authors
KR papers
1,758 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2025 | Exploring Desirable Configurations in Global Logistics with Heuristic Search in Answer Set Programming. | Olcay Altay-Kern, Emmanuelle Dietz, Isabelle Kuhlmann, Matthias Thimm |
| 2025 | Extending Abstract Argumentation Frameworks with Knowledge Bases. | Gianvincenzo Alfano, Sergio Greco, Cristian Molinaro, Francesco Parisi, Irina Trubitsyna |
| 2025 | Model Checking Linear Temporal Logic with Standpoint Modalities. | Rajab Aghamov, Christel Baier, Toghrul Karimov, Rupak Majumdar, Jol Ouaknine, Jakob Piribauer, Timm Spork |
| 2025 | Repairing General Game Descriptions. | Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher |
| 2025 | Faithful Differentiable Reasoning with Reshuffled Region-based Embeddings. | Aleksandar Pavlovic, Emanuel Sallinger, Steven Schockaert |
| 2025 | About the Multi-Head Linear Restricted Chase Termination. | Lukas Gerlach, Lucas Larroque, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja |
| 2025 | A Methodology for Incompleteness-Tolerant and Modular Gradual Semantics for Argumentative Statement Graphs. | Antonio Rago, Stylianos Loukas Vasileiou, Son Tran, Francesca Toni, William Yeoh |
| 2025 | A Logic-Based Framework for Database Repairs. | Nicolas Frhlich, Arne Meier, Nina Pardal, Jonni Virtema |
| 2025 | Solving Unification in the Description Logic FL_bottom. | Barbara Morawska, Dariusz Marzec |
| 2025 | Minimal Model Reasoning in Description Logics: Don't Try This at Home! | Federica Di Stefano, Quentin Manire, Magdalena Ortiz, Mantas Simkus |
| 2025 | Expressive Description Logics with Rich Yet Affordable Numeric Constraints. | Federica Di Stefano, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus |
| 2025 | Interactive Exploration of Plan Spaces. | Daniel Gnad, Markus Hecher, Sarah Alice Gaggl, Dominik Rusovac, David Speck, Johannes Klaus Fichte |
| 2025 | Presburger Functional Synthesis: Complexity and Tractable Normal Forms. | S. Akshay, A. R. Balasubramanian, Supratik Chakraborty, Georg Zetzsche |
| 2025 | Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis. | Daniel Hausmann, Shufang Zhu, Gianmarco Parretti, Christoph Weinhuber, Giuseppe De Giacomo, Nir Piterman |
| 2024 | ASPEN: ASP-Based System for Collective Entity Resolution. | Zhiliang Xiang, Meghyn Bienvenu, Gianluca Cima, Vctor Gutirrez-Basulto, Yazmn Ibez-Garca |
| 2024 | MTLearn: Extracting Temporal Rules Using Datalog Rule Learners. | Dingmin Wang, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau |
| 2024 | Expressive Power of Definite Descriptions in Modal Logics. | Przemyslaw Andrzej Walega |
| 2024 | Dialectical Reconciliation via Structured Argumentative Dialogues. | Stylianos Loukas Vasileiou, Ashwin Kumar, William Yeoh, Tran Cao Son, Francesca Toni |
| 2024 | Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat. | Jan Tth, Ondrej Kuzelka |
| 2024 | Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming. | Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara |
| 2024 | Optimisation and Approximation in Abstract Argumentation: The Case of Admissibility. | Kenneth Skiba, Matthias Thimm |
| 2024 | Model Counting in the Wild. | Arijit Shaw, Kuldeep S. Meel |
| 2024 | The Realizability of Revision and Contraction Operators in Epistemic Spaces. | Kai Sauerwald, Matthias Thimm |
| 2024 | On Abstracting over the Irrelevant in Answer Set Programming. | Zeynep G. Saribatur, Matthias Knorr, Ricardo Gonalves, Joo Leite |
| 2024 | Navigating and Querying Answer Sets: How Hard Is It Really and Why? | Dominik Rusovac, Markus Hecher, Martin Gebser, Sarah Alice Gaggl, Johannes Klaus Fichte |
201–225 of 1,758← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*AAAINational Conference of the American Association for Artificial Intelligence
- A*ICRAIEEE International Conference on Robotics and Automation
- AInterspeechInterspeech (combined EuroSpeech and ICSLP in 2000)
- AIROSIEEE/RSJ International Conference on Intelligent Robots and Systems
- A*ACLAssociation for Computational Linguistics
- A*IJCAIInternational Joint Conference on Artificial Intelligence
- A*EMNLPEmpirical Methods in Natural Language Processing
- AGECCOGenetic and Evolutionary Computations