Author:
Aguado Felicidad,Cabalar Pedro,Fandinno Jorge,Pearce David,Pérez Gilberto,Vidal Concepción
Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference26 articles.
1. Knowledge Representation, Reasoning and Declarative Problem Solving;Baral,2003
2. Conflict-driven answer set solving: from theory to practice;Gebser;Artif. Intell.,2012
3. Design and implementation of aggregate functions in the DLV system;Faber;Theory Pract. Log. Program.,2008
4. Applications of answer set programming;Erdem;AI Mag.,2016
5. The stable model semantics for logic programming;Gelfond,1988
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming;Artificial Intelligence;2024-06
2. Model Explanation via Support Graphs;Theory and Practice of Logic Programming;2024-02-29
3. Syntactic ASP forgetting with forks;Artificial Intelligence;2024-01
4. Answer Set Programming Made Easy;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023
5. Proceedings 38th International Conference on Logic Programming;Electronic Proceedings in Theoretical Computer Science;2022-08-04