scientific article; zbMATH DE number 3821130

MaRDI QIDQ3667969zbMATH OpenFDO

Authors Eugene Charniak, Christopher K. Riesbeck, Drew McDermott

Publication date 1980

zbMATH Keywords

LISPcontrol structuresprogramming aspects of AI

Mathematics Subject Classification ID

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
• Parallel state-space search for a first solution with consistent linear speedups
• Non-monotonic logic. I
• A general framework for reason maintenance
• A probabilistic commonsense reasoner
• 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)