fall-1993-01
Contents
Efficient Deduction in Many-Valued Logics
PDFPresentations and This and That: Logic in Action
PDFConstraint Deduction in an Interval-based Temporal Logic
PDFAutomated Deduction in Arithmetic with the Omega Rule
PDFTranslation Methods for Non-Classical Logics, An Overview
PDFConcurrent Deduction: Classical and Modal
PDFAutomated Deduction for a Multi-Modal Logic of Time and Knowledge
PDFBelief Maintenance with Probabilistic Logic
PDFAnalytic Tableau for Default Logics
PDFTransaction Logic: Unifying Declarative and Procedural Knowledge (Extended Abstract)
PDFA Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Logic
PDFProof Search Strategies in Linear Logic
PDFA Family of Non-Monotonic Inference Systems based on Conditional Logics
PDFTemporal Deduction in a Graphical Logic
PDFSemantic Tableaux Methods for Modal Logics That Include the B(rowerische) and G(each) Axioms
PDFAn Epistemic Logic with Quantification over Names
PDFOSCAR–A General-Purpose Defeasible Reasoner
PDFClassical AI Planning as Theorem Proving: The Case of a Fragment of Linear Logic
PDFSensible Inconsistent Reasoning: A Tableau System for LEI
PDFDefeasible Prolog
PDFMechanized Reasoning About Actions Specified in A
PDFA Tableau-Based Theorem Proving Method for Intuitionistic Logic
PDF