EPIA 91 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540545354, 9783540384595
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Declarative source debugging

1991 ◽  
pp. 237-249
Author(s):  
Miguel Calejo ◽  
Luís Moniz Pereira

Towards a theory of the repair process

1991 ◽  
pp. 222-236 ◽  
Author(s):  
Gerhard Friedrich ◽  
Georg Gottlob ◽  
Wolfgang Nejdl
Keyword(s):  
Repair Process

Consistency driven planning

1991 ◽  
pp. 195-209 ◽  
Author(s):  
Martin Decker ◽  
Guido Moerkotte ◽  
Holger Müller ◽  
Joachim Posegga

The extended stable models of contradiction removal semantics

1991 ◽  
pp. 105-119 ◽  
Author(s):  
Luís Moniz Pereira ◽  
José J. Alferes ◽  
Joaquim N. Aparício
Keyword(s):  
Stable Models
Load More ...
Sign in / Sign up

Export Citation Format

Share Document