scientific article; zbMATH DE number 193735

MaRDI QIDQ4040538zbMATH OpenFDO

Authors Allan Ramsay

Publication date 5 June 1993

zbMATH Keywords

artificial intelligencemodal logicnon-monotonic reasoningtemporal reasoningtheorem proving

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Artificial intelligence (68T99)

Recommendations

• scientific article; zbMATH DE number 51274
• scientific article; zbMATH DE number 2188308
• scientific article; zbMATH DE number 41270
• Logic for informatics and artificial intelligence
• scientific article; zbMATH DE number 194217

Cited in

(14)

• Formal frameworks for approximate reasoning
• Linear programming based decomposition approach in evaluating priorities from pairwise comparisons and error analysis
• A promising path towards autoformalization and general artificial intelligence
• Logic for informatics and artificial intelligence
• Representation and compilation of knowledge in point-based temporal system
• scientific article; zbMATH DE number 41270 (Why is no real title available?)
• scientific article; zbMATH DE number 51274 (Why is no real title available?)
• Revision in ACMS
• Constructing a normal form for property theory
• Temporal reasoning over linear discrete time
• scientific article; zbMATH DE number 2188308 (Why is no real title available?)
• Mathematical logic in knowledge processing. Historical-philosophical reasons for a contextual logic
• Program semantics and verification technique for AI-centred programs
• Compiling bottom-up and mixed derivations into top-down executable logic programs

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