scientific article
From MaRDI portal
Publication:3667969
zbMATH Open0518.68055MaRDI QIDQ3667969FDOQ3667969
Christopher K. Riesbeck, Eugene Charniak, Drew McDermott
Publication date: 1980
Title of this publication is not available (Why is that?)
Information storage and retrieval of data (68P20) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Artificial intelligence (68T99)
Cited In (15)
- A model for belief revision
- A structure-preserving clause form translation
- Mechanical reasoning about families of UTP theories
- A syntactic correspondence between context-sensitive calculi and abstract machines
- Experiments with discrimination-tree indexing and path indexing for term retrieval
- Nonmonotonic consequence based on intuitionistic logic
- 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
- Non-monotonic logic. I
- Parallel state-space search for a first solution with consistent linear speedups
- A probabilistic commonsense reasoner
- A general framework for reason maintenance
- A knowledge representation perspective: Logics for paraconsistent reasoning
- Eighth Latin American Symposium on Mathematical Logic, João Pessoa
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3667969)
