scientific article; zbMATH DE number 3821130

zbMATH Open0518.68055MaRDI QIDQ3667969FDOQ3667969

Authors: Eugene Charniak, Christopher K. Riesbeck, Drew McDermott 

Publication date: 1980

Title of this publication is not available (Why is that?)

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
• 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)