Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
A practical framework for the abstract interpretation of logic programs
Journal of Logic Programming
Journal of the ACM (JACM)
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Contributions to the stable model semantics of logic programs with negation
Theoretical Computer Science
Graph theoretical structures in logic programs and default theories
Theoretical Computer Science
Proceedings of the 1999 international conference on Logic programming
Incremental analysis of constraint logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs
META-92 Proceedings of the 3rd International Workshop on Meta-Programming in Logic
NoMoRe: A System for Non-Monotonic Reasoning under Answer Set Semantics
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Normal forms for answer sets programming
Theory and Practice of Logic Programming
Graphs and Hypergraphs
On the existence of stable models of non-stratified logic programs
Theory and Practice of Logic Programming
Why are there so many loop formulas?
ACM Transactions on Computational Logic (TOCL)
Handbook of Knowledge Representation
Handbook of Knowledge Representation
On odd and even cycles in normal logic programs
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Graph theoretical characterization and computation of answer sets
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Logic programming and nonmonotonic reasoning: from theory to systems and applications
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Logic programming for knowledge representation
ICLP'07 Proceedings of the 23rd international conference on Logic programming
ASPIDE: integrated development environment for answer set programming
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
VIDEAS: a development tool for answer-set programs based on model-driven engineering technology
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
| Hi-index | 0.00 |
In this paper, we propose a formalization of the features that a graph representation of logic programs under the answers set semantics should in our opinion exhibit in order to be a satisfactory and useful representation formalism. We introduce a concept of isomorphism (or structural equivalence) between a program and its corresponding graph. We argue that isomorphic representations can be a good software engineering tool for understanding program behavior, for checking consistency, for being able to create, debug and combine good programs, and for developing program analysis techniques.