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