ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Analysis of Normal Logic Programs
Static Analysis - Lecture Notes in Computer Science
◽
10.1007/3-540-49727-7_5
◽
1998
◽
pp. 82-98
Author(s):
François Fages
◽
Roberta Gori
Keyword(s):
Logic Programs
◽
Normal Logic
Download Full-text
Related Documents
Cited By
References
Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
Annals of Mathematics and Artificial Intelligence
◽
10.1007/s10472-008-9099-0
◽
2008
◽
Vol 55
(3-4)
◽
pp. 389-417
◽
Cited By ~ 5
Author(s):
Yann Loyer
◽
Umberto Straccia
Keyword(s):
Query Answering
◽
Logic Programs
◽
Normal Logic
Download Full-text
Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs
Logic Programming - Lecture Notes in Computer Science
◽
10.1007/978-3-540-74610-2_10
◽
2007
◽
pp. 134-148
◽
Cited By ~ 5
Author(s):
Matti Järvisalo
◽
Emilia Oikarinen
Keyword(s):
Logic Programs
◽
Normal Logic
Download Full-text
Semantics of normal logic programs and contested information
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science
◽
10.1109/lics.1996.561457
◽
2002
◽
Cited By ~ 2
Author(s):
S. Pradhan
Keyword(s):
Logic Programs
◽
Normal Logic
Download Full-text
Query Answering in Normal Logic Programs Under Uncertainty
Lecture Notes in Computer Science - Symbolic and Quantitative Approaches to Reasoning with Uncertainty
◽
10.1007/11518655_58
◽
2005
◽
pp. 687-700
◽
Cited By ~ 15
Author(s):
Umberto Straccia
Keyword(s):
Query Answering
◽
Logic Programs
◽
Normal Logic
Download Full-text
Layered Models Top-Down Querying of Normal Logic Programs
Practical Aspects of Declarative Languages - Lecture Notes in Computer Science
◽
10.1007/978-3-540-92995-6_18
◽
2008
◽
pp. 254-268
◽
Cited By ~ 6
Author(s):
Luís Moniz Pereira
◽
Alexandre Miguel Pinto
Keyword(s):
Logic Programs
◽
Top Down
◽
Normal Logic
◽
Layered Models
Download Full-text
Approved Models for Normal Logic Programs
Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science
◽
10.1007/978-3-540-75560-9_33
◽
2007
◽
pp. 454-468
◽
Cited By ~ 4
Author(s):
Luís Moniz Pereira
◽
Alexandre Miguel Pinto
Keyword(s):
Logic Programs
◽
Normal Logic
Download Full-text
Reduction of abductive logic programs to normal logic programs
Logic Programming
◽
10.7551/mitpress/4298.003.0041
◽
1995
◽
Keyword(s):
Logic Programs
◽
Abductive Logic
◽
Normal Logic
Download Full-text
On a Logical Basis of Normal Logic Programs
Fundamenta Informaticae
◽
10.3233/fi-1996-283402
◽
1996
◽
Vol 28
(3,4)
◽
pp. 223-245
◽
Cited By ~ 3
Author(s):
Alexander Bochman
Keyword(s):
Logic Programs
◽
Logical Basis
◽
Normal Logic
Download Full-text
Normal logic programs
Reasoning with Logic Programming - Lecture Notes in Computer Science
◽
10.1007/3-540-61488-5_25
◽
1996
◽
pp. 1-16
Keyword(s):
Logic Programs
◽
Normal Logic
Download Full-text
A Meta-logical Semantics for Features and Fluents Based on Compositional Operators over Normal Logic Programs
Computational Logic — CL 2000 - Lecture Notes in Computer Science
◽
10.1007/3-540-44957-4_52
◽
2000
◽
pp. 777-791
◽
Cited By ~ 1
Author(s):
Vincenzo Pallotta
Keyword(s):
Logic Programs
◽
Normal Logic
◽
Logical Semantics
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close