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 ◽

Author(s):

Matti Järvisalo ◽

Emilia Oikarinen

Keyword(s):

Logic Programs ◽

Download Full-text

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 ◽

Author(s):

Yann Loyer ◽

Umberto Straccia

Keyword(s):

Query Answering ◽

Logic Programs ◽

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 ◽

Author(s):

S. Pradhan

Keyword(s):

Logic Programs ◽

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 ◽

Author(s):

Umberto Straccia

Keyword(s):

Query Answering ◽

Logic Programs ◽

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 ◽

Author(s):

Luís Moniz Pereira ◽

Alexandre Miguel Pinto

Keyword(s):

Logic Programs ◽

Top Down ◽

Normal Logic ◽

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 ◽

Author(s):

Luís Moniz Pereira ◽

Alexandre Miguel Pinto

Keyword(s):

Logic Programs ◽

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 ◽

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 ◽

Author(s):

Alexander Bochman

Keyword(s):

Logic Programs ◽

Logical Basis ◽

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 ◽

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 ◽

Author(s):

Vincenzo Pallotta

Keyword(s):

Logic Programs ◽

Normal Logic ◽

Logical Semantics

Download Full-text

Graph properties for normal logic programs

Theoretical Computer Science ◽

10.1016/0304-3975(93)90172-p ◽

1993 ◽

Vol 107 (2) ◽

pp. 277-303 ◽

Author(s):

Agostino Cortesi ◽

Gilberto Filé

Keyword(s):

Logic Programs ◽

Graph Properties ◽

Download Full-text