International Conference on Principles of Knowledge Representation and Reasoning - 期刊 | AMiner

年发文量

研究主题

论文（1812）

排序

时间引用

1AIGLE: A Tool for Compact, Legible AIGER Circuits from Safety Specifications.

Matías Brizzio,Andoni Rodríguez,César Sánchez,Renzo Degiovanni

2026

引用

2SAT-based ASP Solving and Optimization Via a General Transitive Closure Framework.

Masood Feyzbakhsh Rankooh,Matti Järvisalo

2026

引用

3Elucidating Arguments Maps in Propositional Logic: Addressing Enthymemes and Their Relationships.

Jonathan Ben-Naim, Victor David,Anthony Hunter

2026

引用

4Probabilistic Reasoning Within Answer Set Programming with Quantifiers.

Damiano Azzolini, Giuseppe Mazzotta,Francesco Ricca

2026

引用

5Learning Numeric Planning Domain Models from Positive Observations.

Omar Watted,Argaman Mordoch,Roni Stern

2026

引用

立即登录，查看全部 1812 篇论文

高被引作者

作者	引用	发文
Michael Georgeff	5088	2
Anand Rao	4247	1
A. G. Cohn	3867	4
Da Randell	3755	2
Zhan Cui	3476	1
Rina Dechter	3189	3
I Meiri	2927	1
Ernest Davis	2309	5
Giuseppe De Giacomo	2301	38
Leora Morgenstern	2241	5

高产作者

作者	引用	发文
Giuseppe De Giacomo	2301	38
Sébastien Konieczny	1741	34
Carsten Lutz	2038	32
Frank Wolter	2007	29
Thomas Eiter	1847	28
Meghyn Bienvenu	560	24
Francesca Toni	647	23
Stefan Woltran	1340	23
Pierre Marquis	1117	23
Matthias Thimm	332	20

相关期刊

Argument & Computation

Italian Conference on Computational Logic

Description Logics

Foundations of Information and Knowledge Systems

Journées Européennes sur la Logique en Intelligence Artificielle

Journées Francophone Planification, Décision et Apprentissage pour la conduite des systèmes

Logic Programming and Non-Monotonic Reasoning

Theory and Practice of Logic Programming

International Conference on Lightning Protection