Update by means of inference rules

Teodor C. Przymusinski, Hudson Turner

Research output: Chapter in Book/Report/Conference proceedingConference contribution

20 Scopus citations
Original languageEnglish (US)
Title of host publicationLogic Programming and Nonmonotonic Reasoning - 3rd International Conference, LPNMR 1995, Proceedings
EditorsV. Wiktor Marek, Miroslaw Truszczynski, Anil Nerode
PublisherSpringer Verlag
Pages156-174
Number of pages19
ISBN (Print)9783540594871
DOIs
StatePublished - 1995
Event3rd International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1995 - Lexington, United States
Duration: Jun 26 1995Jun 28 1995

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume928
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other3rd International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1995
CountryUnited States
CityLexington
Period6/26/956/28/95

Bibliographical note

Funding Information:
Thanks to Vladimir Lifschitz, Norman McCain, and Halina Przymusinska for many helpful discussions and suggestions. We are also grateful for comments from Chitta Baral, Enrico Giunchiglia, and G. N. Kartha. The first author is partially supported by NSF Grant IRI-9313061; the second by NSF Grant IRI-9306751.

Cite this