Graphs and Colorings for Answer Set Programming: Abridged Report-Reference-Cited by-同舟云学术

Graphs and Colorings for Answer Set Programming: Abridged Report

Published:2003 Issue: Volume: Page:127-140
ISSN:0302-9743
Container-title:Logic Programming and Nonmonotonic Reasoning
language:
Short-container-title:

Author:

Konczak Kathrin,Linke Thomas,Schaub Torsten

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-24609-1_13

Reference17 articles.

1. Lecture Notes in Artificial Intelligence;C. Anger,2002

2. Apt, K., Blair, H., Walker, A.: Towards a theory of declarative knowledge. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 89–148. Morgan Kaufmann, San Francisco (1987)

3. Brignoli, G., Costantini, S., D’Antona, O., Provetti, A.: Characterizing and computing stable models of logic programs: the non-stratified case. In: Baral, C., Mohanty, H. (eds.) Proceedings of the Conference on Information Technology, Bhubaneswar, India, pp. 197–201. AAAI Press, Menlo Park (1999)

4. Dimopoulos, Y., Torres, A.: Graph theoretical structures in logic programs and default theories. Theoretical Computer Science 170, 209–244 (1996)

5. Lecture Notes in Computer Science;T. Eiter,1997

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Conflict, Consistency and Truth-Dependencies in Graph Representations of Answer Set Logic Programs;Lecture Notes in Computer Science;2012

2. The nomore + + Approach to Answer Set Solving;Logic for Programming, Artificial Intelligence, and Reasoning;2005

3. Suitable Graphs for Answer Set Programming;Logic for Programming, Artificial Intelligence, and Reasoning;2005

4. On Acyclic and Head-Cycle Free Nested Logic Programs;Logic Programming;2004