Author:
FERRARIS PAOLO,LIFSCHITZ VLADIMIR
Publisher
Cambridge University Press (CUP)
Subject
Artificial Intelligence,Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science,Software
Cited by
70 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The possibilistic horn non-clausal knowledge bases;International Journal of Approximate Reasoning;2023-01
2. Answer Set Programming Made Easy;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023
3. On the Foundations of Grounding in Answer Set Programming;Theory and Practice of Logic Programming;2022-07-25
4. Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs;Theory and Practice of Logic Programming;2022-03-18
5. Aggregate Semantics for Propositional Answer Set Programs;Theory and Practice of Logic Programming;2022-02-23