Logic Programming And Nonmonotonic Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540632559, 9783540692492

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Strong and weak constraints in disjunctive datalog

Logic Programming And Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-63255-7_2 ◽

1997 ◽

pp. 2-17 ◽

Cited By ~ 36

Author(s):

Francesco Buccafurri ◽

Nicola Leone ◽

Pasquale Rullo

Keyword(s):

Weak Constraints

Download Full-text

Improving the alternating fixpoint: The transformation approach

Logic Programming And Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-63255-7_4 ◽

1997 ◽

pp. 40-59 ◽

Cited By ~ 6

Author(s):

Ulrich Zukowski ◽

Stefan Brass ◽

Burkhard Freitag

Keyword(s):

Transformation Approach

Download Full-text

GLUE: Opening the world to theorem provers

Logic Programming And Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-63255-7_31 ◽

1997 ◽

pp. 410-419 ◽

Cited By ~ 1

Author(s):

Gerd Neugebauer ◽

Dorothea Schäfer

Keyword(s):

Theorem Provers ◽

The World

Download Full-text

ACLP: Flexible solutions to complex problems

Logic Programming And Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-63255-7_29 ◽

1997 ◽

pp. 387-398 ◽

Cited By ~ 8

Author(s):

A. C. Kakas ◽

C. Mourlas

Keyword(s):

Complex Problems

Download Full-text

On conservative enforced updates

Logic Programming And Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-63255-7_19 ◽

1997 ◽

pp. 244-257 ◽

Cited By ~ 4

Author(s):

Michael Dekhtyar ◽

Alexander Dikovsky ◽

Nicolas Spyratos

Download Full-text

A study of Przymusinski's static semantics

Logic Programming And Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-63255-7_12 ◽

1997 ◽

pp. 170-184 ◽

Cited By ~ 1

Author(s):

Alexander Bochman

Keyword(s):

Static Semantics

Download Full-text

Power defaults (preliminary report)

Logic Programming And Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-63255-7_11 ◽

1997 ◽

pp. 152-169 ◽

Cited By ~ 2

Author(s):

Guo-Qiang Zhang ◽

William C. Rounds

Keyword(s):

Preliminary Report

Download Full-text

Separating disbeliefs from beliefs in autoepistemic reasoning

Logic Programming And Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-63255-7_10 ◽

1997 ◽

pp. 132-151 ◽

Cited By ~ 2

Author(s):

Tomi Janhunen

Download Full-text

Affordable classes of normal logic programs

Logic Programming And Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-63255-7_7 ◽

1997 ◽

pp. 92-111

Author(s):

Jennifer Seitzer ◽

John Schlipf

Keyword(s):

Logic Programs ◽

Normal Logic

Download Full-text

The deductive database system LOLA

Logic Programming And Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-63255-7_28 ◽

1997 ◽

pp. 375-386 ◽

Cited By ~ 3

Author(s):

Ulrich Zukowski ◽

Burkhard Freitag

Keyword(s):

Database System ◽

Deductive Database

Download Full-text

Logic Programming And Nonmonotonic Reasoning - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Strong and weak constraints in disjunctive datalog

Improving the alternating fixpoint: The transformation approach

GLUE: Opening the world to theorem provers

ACLP: Flexible solutions to complex problems

On conservative enforced updates

A study of Przymusinski's static semantics

Power defaults (preliminary report)

Separating disbeliefs from beliefs in autoepistemic reasoning

Affordable classes of normal logic programs

The deductive database system LOLA

Logic Programming And Nonmonotonic Reasoning - Lecture Notes in Computer Science
Latest Publications