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

TOTAL DOCUMENTS

34
(FIVE YEARS 0)

H-INDEX

8
(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

1997 ◽  
pp. 2-17 ◽  
Author(s):  
Francesco Buccafurri ◽  
Nicola Leone ◽  
Pasquale Rullo
Keyword(s):  
Weak Constraints

Improving the alternating fixpoint: The transformation approach

1997 ◽  
pp. 40-59 ◽  
Author(s):  
Ulrich Zukowski ◽  
Stefan Brass ◽  
Burkhard Freitag
Keyword(s):  
Transformation Approach

GLUE: Opening the world to theorem provers

1997 ◽  
pp. 410-419 ◽  
Author(s):  
Gerd Neugebauer ◽  
Dorothea Schäfer
Keyword(s):  
Theorem Provers ◽  
The World

ACLP: Flexible solutions to complex problems

1997 ◽  
pp. 387-398 ◽  
Author(s):  
A. C. Kakas ◽  
C. Mourlas
Keyword(s):  
Complex Problems

On conservative enforced updates

1997 ◽  
pp. 244-257 ◽  
Author(s):  
Michael Dekhtyar ◽  
Alexander Dikovsky ◽  
Nicolas Spyratos

Power defaults (preliminary report)

1997 ◽  
pp. 152-169 ◽  
Author(s):  
Guo-Qiang Zhang ◽  
William C. Rounds
Keyword(s):  
Preliminary Report

Affordable classes of normal logic programs

1997 ◽  
pp. 92-111
Author(s):  
Jennifer Seitzer ◽  
John Schlipf
Keyword(s):  
Logic Programs ◽  
Normal Logic

The deductive database system LOLA

1997 ◽  
pp. 375-386 ◽  
Author(s):  
Ulrich Zukowski ◽  
Burkhard Freitag
Keyword(s):  
Database System ◽  
Deductive Database
Load More ...
Sign in / Sign up

Export Citation Format

Share Document