KR proceedings
International Conference on Principles of Knowledge Representation and Reasoning
Papers in 2025
85
Papers, all years
1,680
Years indexed
23
Since
1989
Papers in main proceedings (DBLP)
Counts papers published in the venue's main DBLP volume each year. This is not an official acceptance count: it can include short papers and exclude workshop or companion volumes.
verified volumein progressnot yet verifiedClick a bar to open that year.
202585 papers✓ verified
Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, KR 2025, Melbourne, Australia, November 11-17, 2025
Keywords
Phrases from paper titles, weighted against all venues so each venue's distinctive terms rise to the top.
Loading keywords...
Topics
OpenAlex research topics of each year's papers. Share is of all topic tags that year, so small and large years compare fairly. Click a topic to see its trend.
Year by year
Who publishes here
2025 to 2026 · papers count once per institution on them
Academia 67%Industry 0%Government and other 33%
Institutions
- 1Centre National de la Recherche Scientifique🇫🇷35
- 2TU Wien🇦🇹19
- 3Centre de Recherche en Informatique de Lens🇫🇷13
- 4Université d'Artois🇫🇷11
- 5FernUniversität in Hagen🇩🇪10
- 6University of Calabria🇮🇹9
- 7Imperial College London🇬🇧9
- 8Institut national de recherche en sciences et technologies du numérique🇫🇷8
- 9University of Helsinki🇫🇮7
- 10University of Oxford🇬🇧7
- 11Technische Universität Dresden🇩🇪7
- 12Linköping University🇸🇪6
Countries
- France48
- Germany47
- United Kingdom45
- Italy42
- Austria22
- United States13
- Japan12
- Spain11
- Sweden11
- Australia8
Affiliations from OpenAlex for the papers DBLP lists. A paper with authors from three institutions counts for each of them; the split above is over the top institutions.
Venues like KR
Closest by the phrases in their paper titles over the last five complete years.
- IJCAI International Joint Conference on Artificial Intelligence0.22argumentationreasoningplanninganswer setlogic
- ECAI European Conference on Artificial Intelligence0.21argumentationplanningclassical planningreasoninglogic
- IJCAR International Joint Conference on Automated Reasoning0.14logicslogicreasoningfirst-ordercalculi
- CADE The Conference on Automated Deduction0.13logicsdescription logicslogicdescriptionreasoning
- LICS IEEE Symposium on Logic in Computer Science0.13logicslogicsemanticsfirst-ordercomplexity
Authors
From DBLP author lists of the main volume. Names appear as DBLP lists them.
Authors per paper
3.5 in 2026
Papers by an entirely new team
10% in 2026
Most published at KR
- Giuseppe De Giacomo1996 to 202638
- Sébastien Konieczny1998 to 202633
- Carsten Lutz1998 to 202631
- Thomas Eiter1994 to 202426
- Frank Wolter1998 to 202425
- Meghyn Bienvenu2006 to 202624
- Hector J. Levesque1998 to 202623
- Pierre Marquis1998 to 202623
- Stefan Woltran2004 to 202623
- Joseph Y. Halpern1991 to 202422