Automated inferencing

DOI10.1016/S0747-7171(85)80034-1zbMath0585.68082OpenAlexW2911571076MaRDI QIDQ1070835

Wolfgang Bibel

Publication date: 1985

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0747-7171(85)80034-1

zbMATH Keywords

surveynon-monotonic reasoningdeductive reasoninginductive reasoningautomation of processes involved in performing inferences

Mathematics Subject Classification ID

Artificial intelligence (68T99) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A simple deduction method for modal logic
• Proof methods for modal and intuitionistic logics
• Automatic programming: A tutorial on formal methodologies
• Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
• Properties of substitutions and unifications
• History and basic features of the critical-pair/completion procedure
• A logic for default reasoning
• Prolegomena to a theory of mechanized formal reasoning
• Circumscription - a form of non-monotonic reasoning
• Synthesis of the resolution method with the inverse method
• Automated Theorem Proving: After 25 Years
• Matings in matrices
• Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
• Mechanical Theorem-Proving by Model Elimination