Logic Programming and Knowledge Representation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540649588, 9783540498728

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Abduction, argumentation and bi-disjunctive logic programs

Logic Programming and Knowledge Representation - Lecture Notes in Computer Science ◽

10.1007/bfb0054794 ◽

1998 ◽

pp. 139-163 ◽

Cited By ~ 1

Author(s):

Kewen Wang ◽

Huowang Chen

Keyword(s):

Logic Programs ◽

Disjunctive Logic Programs

Download Full-text

Datalog with nested rules

Logic Programming and Knowledge Representation - Lecture Notes in Computer Science ◽

10.1007/bfb0054789 ◽

1998 ◽

pp. 52-65 ◽

Cited By ~ 3

Author(s):

Sergio Greco ◽

Nicola Leone ◽

Francesco Scarcello

Download Full-text

Generalizing updates: From models to programs

Logic Programming and Knowledge Representation - Lecture Notes in Computer Science ◽

10.1007/bfb0054796 ◽

1998 ◽

pp. 224-246 ◽

Cited By ~ 18

Author(s):

JoÃo Alexandre Leite ◽

Luís Moniz Pereira

Download Full-text

Refining action theories through abductive logic programming

Logic Programming and Knowledge Representation - Lecture Notes in Computer Science ◽

10.1007/bfb0054793 ◽

1998 ◽

pp. 123-138

Author(s):

Renwei Li ◽

Luis Moniz Pereira ◽

Veronica Dahl

Keyword(s):

Logic Programming ◽

Abductive Logic ◽

Abductive Logic Programming ◽

Action Theories

Download Full-text

Reasoning with prioritized defaults

Logic Programming and Knowledge Representation - Lecture Notes in Computer Science ◽

10.1007/bfb0054795 ◽

1998 ◽

pp. 164-223 ◽

Cited By ~ 20

Author(s):

Michael Gelfond ◽

Tran Cao Son

Download Full-text

Partial evidential stable models for disjunctive deductive databases

Logic Programming and Knowledge Representation - Lecture Notes in Computer Science ◽

10.1007/bfb0054790 ◽

1998 ◽

pp. 66-84 ◽

Cited By ~ 4

Author(s):

Dietmar Seipel

Keyword(s):

Deductive Databases ◽

Disjunctive Deductive Databases ◽

Stable Models

Download Full-text

Disjunctive logic programming and autoepistemic logic

Logic Programming and Knowledge Representation - Lecture Notes in Computer Science ◽

10.1007/bfb0054791 ◽

1998 ◽

pp. 85-101

Author(s):

Li -Yan Yuan ◽

Jia -Huai You ◽

Randy Goebel

Keyword(s):

Logic Programming ◽

Autoepistemic Logic

Download Full-text

A system for abductive learning of logic programs

Logic Programming and Knowledge Representation - Lecture Notes in Computer Science ◽

10.1007/bfb0054792 ◽

1998 ◽

pp. 102-122

Author(s):

Evelina Lamma ◽

Paola Mello ◽

Michela Milano ◽

Fabrizio Riguzzi

Keyword(s):

Logic Programs

Download Full-text

Knowledge representation with logic programs

Logic Programming and Knowledge Representation - Lecture Notes in Computer Science ◽

10.1007/bfb0054788 ◽

1998 ◽

pp. 1-51 ◽

Cited By ~ 5

Author(s):

Gerhard Brewka ◽

Jürgen Dix

Keyword(s):

Knowledge Representation ◽

Logic Programs

Download Full-text

Logic Programming and Knowledge Representation - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Abduction, argumentation and bi-disjunctive logic programs

Datalog with nested rules

Generalizing updates: From models to programs

Refining action theories through abductive logic programming

Reasoning with prioritized defaults

Partial evidential stable models for disjunctive deductive databases

Disjunctive logic programming and autoepistemic logic

A system for abductive learning of logic programs

Knowledge representation with logic programs

Logic Programming and Knowledge Representation - Lecture Notes in Computer Science
Latest Publications