Symposium on Logic Programming - 期刊 | AMiner

年发文量

研究主题

论文（3280）

排序

时间引用

1Toward Executing Datalog on Big Data Platforms - Extended Abstract.

Andrea Cuteri, Giuseppe Mazzotta,Francesco Ricca

2025

引用

2Answer Set Counting and Its Applications to Network Reliability and System Biology.

Mohimenul Kabir

2025

引用

3Constructionist Co-Design for the Learning Experience: A Work-in-Progress on Engaging Teachers to Integrate Logic Programming in Primary School.

Jorge P. Rodríguez, Laura Andrea Cecchi

2025

引用

4Towards Incorporating Normative Requirements in Autonomous Systems Using Datalog.

Mahrokh Mirani

2025

引用

5Neurosymbolic AI in Digital Forensics: Commonsense and Qualitative Reasoning.

Alessia Donata Camarda

2025

引用

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

高被引作者

作者	引用	发文
Manuel Hermenegildo	2743	61
Torsten Schaub	1942	46
Vladimir Lifschitz	1643	27
Maurice Bruynooghe	1580	32
Dale Miller	1434	10
David Scott Warren	1408	27
Georg Gottlob	1332	9
Peter Stuckey	1309	42
Michael J. Maher	1243	21
Stefano Ceri	1226	1

高产作者

作者	引用	发文
Manuel Hermenegildo	2743	61
Gopal Gupta	1145	56
Torsten Schaub	1942	46
Peter Stuckey	1309	42
Enrico Pontelli	1162	42
Maurice Bruynooghe	1580	32
Paul Tarau	413	28
Marc Denecker	843	28
Mario Alviano	386	27
Tran Cao Son	596	27

相关期刊

Journal on Satisfiability, Boolean Modeling and Computation

Italian Conference on Computational Logic

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

International Conference on Principles of Knowledge Representation and Reasoning

Logic Programming and Non-Monotonic Reasoning

International Conference on Lightning Protection

Frontiers in Artificial Intelligence and Applications