Skip to content
cs-conference-ranking.org

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

Best Artificial Intelligence conferencesBest Theory of Computation conferences

Papers per year

1989119 peak2026

Most published authors

KR papers

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

YearTitleAuthors
2026Efficient Incremental #SAT via Cross-Instance Knowledge Reuse.Uriya Bartal, Dror Fried, Jean-Marie Lagniez
2026Recurrent Graph Neural Networks and Arithmetic Circuits.Timon Barlag, Vivian Holzapfel, Laura Strieker, Jonni Virtema, Heribert Vollmer
2026Complexity of Logics with Semiring Semantics.Timon Barlag, Nicolas Frhlich, Teemu Hankala, Miika Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier, Laura Strieker
2026Counting Complexity of ASP.Max Bannach, Johannes Klaus Fichte, Johanna Groven, Markus Hecher
2026Optimal Dictionary-Based Compression with Answer Set Programming: Encodings and Empirical Analysis.Mutsunori Banbara, Hideo Bannai, Takashi Horiyama, Dominik Kppl, Takuya Mieno, Hidetomo Nabeshima
2026Suspending Judgement: Belief Contraction in Dynamic Epistemic Logic.Alexandru Baltag, Virginie Fiutek, Sonja Smets
2026VADAOrchestra: Neurosymbolic Orchestration of Adaptive Reasoning Workflows.Teodoro Baldazzi, Luigi Bellomarini, Andrea Coletta, Michela Iezzi, Carsten Maple, Alessandro Pesare, Emanuel Sallinger
2026Probabilistic Reasoning within Answer Set Programming with Quantifiers.Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca
2026Inferring High-Level Events from Timestamped Data: Complexity and Medical Applications.Yvon K. Awuklu, Meghyn Bienvenu, Katsumi Inoue, Vianney Jouhet, Fleur Mougin
2026A Rectification-Based Approach for Distilling Boosted Trees into Decision Trees.Gilles Audemard, Sylvie Coste-Marquis, Pierre Marquis, Mehdi Sabiri, Nicolas Szczepanski
2026Beyond Consistency: A Closer Look at Free Formulas.Ofer Arieli, Badran Raddaoui, Christian Straer
2026Revisiting Ability-Based Bisimulation.Carlos Areces, Raul Fervari, Antonio Mondejar
2026X-ABALearn: Argumentative Learning with Semantics la Carte.Emanuele De Angelis, Maurizio Proietti, Francesca Toni
2026Tenability and Weak Semantics: Modeling Non-uniform Defense.Uri Andrews, Luca San Mauro, John Spoerl
2026Specifying Agent Strategy Spaces via LTL Synthesis.Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin
2026A Map-Summarize Framework for Answer Set Verbalization.Mario Alviano, Matteo Capalbo, Sebastiano A. Piccolo
2026On-the-fly LTLf Synthesis under Partial Observability.Nadav Alon, Supratik Chakraborty, Alexandre Duret-Lutz, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu
2026Knowledge Compilation for Quantification in Alternating Automata.S. Akshay, Alfredo Cantarella, Supratik Chakraborty, Bernd Finkbeiner, Niklas Metzger
2026Common Foundations for Recursive Shape Languages.Shqiponja Ahmetaj, Iovka Boneva, Jan Hidders, Maxime Jakubowski, Jos Emilio Labra Gayo, Wim Martens, Fabio Mogavero, Filip Murlak, Cem Okulmus, Ognjen Savkovic, Mantas Simkus, Dominik Tomaszuk
2025Probabilistic Active Goal Recognition.Chenyuan Zhang, Cristian Rojas Cardenas, Hamid Rezatofighi, Mor Vered, Buser Say
2025Probabilistic HTN Planning: Formalization and Computational Complexity Analysis.Mohammad Yousefi, Johannes Schmalz, Patrik Haslum, Pascal Bercher
2025An Embarrassingly Parallel Model Counter.Zhenghang Xu, Minghao Yin, Jean-Marie Lagniez
2025Advances in Logic-Based Entity Resolution: Enhancing ASPEN with Local Merges and Optimality Criteria.Zhiliang Xiang, Meghyn Bienvenu, Gianluca Cima, Vctor Gutirrez-Basulto, Yazmn Ibez-Garca
2025TRACE-CS: A Hybrid Logic-LLM System for Explainable Course Scheduling.Stylianos Loukas Vasileiou, William Yeoh
2025Pushdown Reward Machines for Reinforcement Learning.Giovanni Varricchione, Toryn Q. Klassen, Natasha Alechina, Mehdi Dastani, Brian Logan, Sheila A. McIlraith
101–125 of 1,758← PreviousNext →

Comparable venues

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