学术搜索
科研智能体
Research Labs
AI 阅读
AI 文库
AMiner 沉思
AMiner 亮点
学术资源
AI2000
期刊/会议
学者库
学术API
溯源树
数据集
知识沉淀
学术空间
订阅小程序
旧版功能
开通会员
低至0.73元/天
一次搞定AI科研
立即登录
English
联系方式
International Conference on Logic Programming | AMiner期刊详情 | AMiner
International Conference on Logic Programming
Conference
年发文量
研究主题
论文（3476）
排序
时间
引用
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
6863
17
Michael Gelfond
6149
9
Manuel Hermenegildo
2175
49
Torsten Schaub
1184
32
Enrico Pontelli
1113
37
Dale Miller
1110
8
Taisuke Sato
1110
8
Hassan Ait-Kaci
1062
6
Maurice Bruynooghe
1059
22
Paolo Mancarella
1048
6
高产作者
作者
引用
发文
Chandima Gomes
482
57
Manuel Hermenegildo
2175
49
Zainal Kadir
373
46
Gerald Cooray
260
45
Gopal Gupta
645
44
Enrico Pontelli
1113
37
Torsten Schaub
1184
32
Peter Stuckey
864
30
Farhad Rachidi-Haeri
431
29
Mahdi Izadi
140
27
相关期刊
Symbolic Computation in Software Science
Conference on Automated Deduction
Intelligent Computer Mathematics
Foundations of Information and Knowledge Systems
International Conference on Principles of Knowledge Representation and Reasoning
Logic Programming and Non-Monotonic Reasoning
OTM Conferences / Workshops
Reasoning Web
Theory and Practice of Logic Programming
International Conference on Lightning Protection
