学术搜索
科研智能体
Research Labs
AI 阅读
AI 文库
AMiner 沉思
AMiner 亮点
学术资源
AI2000
期刊/会议
学者库
学术API
溯源树
数据集
知识沉淀
学术空间
订阅小程序
旧版功能
开通会员
低至0.73元/天
一次搞定AI科研
立即登录
English
联系方式
Symposium on Logic Programming | AMiner期刊详情 | AMiner
Symposium on Logic Programming
Conference
年发文量
研究主题
论文（2725）
排序
时间
引用
1
Toward Executing Datalog on Big Data Platforms - Extended Abstract.
Andrea Cuteri
,
Giuseppe Mazzotta
,
Francesco Ricca
2025
引用
AI阅读
加入学术空间
2
Answer Set Counting and Its Applications to Network Reliability and System Biology.
Mohimenul Kabir
2025
引用
AI阅读
加入学术空间
3
Constructionist 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
引用
AI阅读
加入学术空间
4
Towards Incorporating Normative Requirements in Autonomous Systems Using Datalog.
Mahrokh Mirani
2025
引用
AI阅读
加入学术空间
5
Neurosymbolic AI in Digital Forensics: Commonsense and Qualitative Reasoning.
Alessia Donata Camarda
2025
引用
AI阅读
加入学术空间
6
Knowledge Graphs & Reasoning in Concert: Automating Regulation in Corporate Economics.
Luigi Bellomarini
,
Matteo Brandetti
,
Andrea Gentili
,
Rosario Laurendi
,
Davide Magnanimi
2025
引用
AI阅读
加入学术空间
7
A Preliminary Evaluation of Open-Source LLMs for Datalog-Based Semantic Parsing in the ASVIN Project.
Mario Alviano
,
Matteo Capalbo
,
Georg Gottlob
,
Irfan Kareem
,
Fabrizio Lo Scudo
,
Sebastiano Piccolo
2025
引用
AI阅读
加入学术空间
8
Representing and Evaluating SBVR Specification Via ASP.
Simone Caruso
,
Carmine Dodaro
,
Marco Maratea
2025
引用
AI阅读
加入学术空间
9
Decompiling Language Models into Logic Programs.
Jacinto Alfonso Dávila Quintero
2025
引用
AI阅读
加入学术空间
10
A Scalable Approach to Probabilistic Compliance in Declarative Process Mining.
Michela Vespa
,
Elena Bellodi
2025
引用
AI阅读
加入学术空间
11
Enhancing Compilation-based ASP Solving.
Andrea Cuteri
2025
引用
AI阅读
加入学术空间
12
Search-Guided Generation of Properties for Program Analyzers.
Daniela Ferreiro
2025
引用
AI阅读
加入学术空间
13
The Simple Generative Logic Grammar: A Tool for Teaching Logical Thinking Through Visual Research in Art and Design.
Christian Jendreiko
2025
引用
AI阅读
加入学术空间
14
Exploring Neurosymbolic Systems in Answer Set Programming with an Application to Waste Water Monitoring.
Luis Angel Rodriguez Reiners
2025
引用
AI阅读
加入学术空间
15
Temporal Conditional Reasoning with Weighted Knowledge Bases.
Mario Alviano
,
Laura Giordano
,
Daniele Theseider Dupré
2025
引用
AI阅读
加入学术空间
16
General Grid Recognition and Logic-Driven Gameplay for Intelligent Robots.
Tayyab Ateeq
2025
引用
AI阅读
加入学术空间
17
Tackling the Air Traffic Flow and Capacity Management Problem with Explainable Answer Set Programming.
Alexander Beiser
2025
引用
AI阅读
加入学术空间
18
Teaching ASP (and Its Users) to Share Code: Abstract (invited Talk).
Mario Alviano
2025
引用
AI阅读
加入学术空间
19
A Neurosymbolic Approach to Fraud Detection on Financial Data in the Public Administration.
Michele Vitale
2025
引用
AI阅读
加入学术空间
20
Formal Verification of Answer Set Programs Containing Advanced Language Constructs.
Zachary Hansen
2025
引用
AI阅读
加入学术空间
加载更多
高被引作者
作者
引用
发文
Vladimir Lifschitz
6823
17
Michael Gelfond
6179
10
Manuel Hermenegildo
2488
48
Dale Miller
1406
10
Maurice Bruynooghe
1360
26
Michael J. Maher
1209
18
David Scott Warren
1201
25
Peter Stuckey
1193
36
Taisuke Sato
1143
9
Paolo Mancarella
1118
8
高产作者
作者
引用
发文
Manuel Hermenegildo
2488
48
Gopal Gupta
744
46
Peter Stuckey
1193
36
Enrico Pontelli
1028
35
Torsten Schaub
1114
28
Maurice Bruynooghe
1360
26
David Scott Warren
1201
25
Agostino Dovier
928
23
Saumya K. Debray
981
22
Paul Tarau
373
22
相关期刊
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
Reasoning Web
International Conference on Lightning Protection
Frontiers in Artificial Intelligence and Applications
