Publication:3667969
From MaRDI portal
zbMath0518.68055MaRDI QIDQ3667969
Drew McDermott, Eugene Charniak, Christopher K. Riesbeck
Publication date: 1980
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68T99: Artificial intelligence
68P20: Information storage and retrieval of data
Related Items
A knowledge representation perspective: Logics for paraconsistent reasoning, A probabilistic commonsense reasoner, Experiments with discrimination-tree indexing and path indexing for term retrieval, Parallel state-space search for a first solution with consistent linear speedups, A syntactic correspondence between context-sensitive calculi and abstract machines, A structure-preserving clause form translation, A model for belief revision, Non-monotonic logic. I, A general framework for reason maintenance, A rational reconstruction of nonmonotonic truth maintenance systems, A general approach for determining the validity of commonsense assertions using conditional logics, A new list compaction method, Eighth Latin American Symposium on Mathematical Logic, João Pessoa, Nonmonotonic consequence based on intuitionistic logic