Author:
Gelfond Michael,Gabaldon Alfredo
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Annotating answer-set programs in Lana;Theory and Practice of Logic Programming;2012-07
2. On Testing Answer-Set Programs;FRONT ARTIF INTEL AP;2010
3. Modularity Aspects of Disjunctive Stable Models;Journal of Artificial Intelligence Research;2009-08-28
4. Achieving compositionality of the stable model semantics for
smodels programs;Theory and Practice of Logic Programming;2008-11
5. Representing Knowledge in A-Prolog;Computational Logic: Logic Programming and Beyond;2002