Computing extensions of default theories

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 548 LNCS, Issue , 1991, Pages 219-226

  Levy F ^a  

^a UNIVERSITÉ PARIS 13   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

DEFAULT THEORY; LITERALS;

COMPUTATION THEORY;

EID: 84968331392     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-54659-6_92     Document Type: Conference Paper

References (9)

1. E Bonte, F. Levy: "Une procedure compete de calcul des extensions pour les théories de défauts en réseau" 7éme congrés AFCET-RFIA, Paris, Décembre 1989
2. Michel Cayrol, Pierre Tayrac: "ARC: un ATMS étendu". L. S. I. Repport n° 323 Nov 1989
3. Johan De Kleer: "An assumption-based TMS". Artificial Intelligence vol 28 1986 127-162
4. Johan De Kleer: "Extending the A. T. M. S.". Artificial Intelligence vol 28 1986 163-196
5. O. Dressier: "Extending the Basic A. T. M. S." Proceedings Ecai 88, München, Aug. 1988
6. David W. Etherington: "Formalizing Nonmonotonic Reasoning Systems". Artificial Intelligence vol 31 1987
7. Ulrich Junker: "A Correct Non-Monotonic A. T. M. S." Proceedings UCAI 89, Detroit, Aug 1989 1049-1053
8. François Levy "Contribution à la réalisation d'un raisonneur à profondeur variable" Thése d'université, Université de Paris Nord, Feb. 1989
9. Raymond Reiter: "A logic for default reasoning" Artificial Intelligence vol 13 april 1980 81-132