scientific article
From MaRDI portal
Publication:3667969
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 (15)
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
This page was built for publication:
