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