• Skip to main content
  • Skip to primary sidebar
AAAI

AAAI

Association for the Advancement of Artificial Intelligence

    • AAAI

      AAAI

      Association for the Advancement of Artificial Intelligence

  • About AAAIAbout AAAI
    • AAAI Officers and Committees
    • AAAI Staff
    • Bylaws of AAAI
    • AAAI Awards
      • Fellows Program
      • Classic Paper Award
      • Dissertation Award
      • Distinguished Service Award
      • Allen Newell Award
      • Outstanding Paper Award
      • Award for Artificial Intelligence for the Benefit of Humanity
      • Feigenbaum Prize
      • Patrick Henry Winston Outstanding Educator Award
      • Engelmore Award
      • AAAI ISEF Awards
      • Senior Member Status
      • Conference Awards
    • AAAI Resources
    • AAAI Mailing Lists
    • Past AAAI Presidential Addresses
    • Presidential Panel on Long-Term AI Futures
    • Past AAAI Policy Reports
      • A Report to ARPA on Twenty-First Century Intelligent Systems
      • The Role of Intelligent Systems in the National Information Infrastructure
    • AAAI Logos
    • News
  • aaai-icon_ethics-diversity-line-yellowEthics & Diversity
  • Conference talk bubbleConferences & Symposia
    • AAAI Conference
    • AIES AAAI/ACM
    • AIIDE
    • IAAI
    • ICWSM
    • HCOMP
    • Spring Symposia
    • Summer Symposia
    • Fall Symposia
    • Code of Conduct for Conferences and Events
  • PublicationsPublications
    • AAAI Press
    • AI Magazine
    • Conference Proceedings
    • AAAI Publication Policies & Guidelines
    • Request to Reproduce Copyrighted Materials
  • aaai-icon_ai-magazine-line-yellowAI Magazine
    • Issues and Articles
    • Author Guidelines
    • Editorial Focus
  • MembershipMembership
    • Member Login
    • Developing Country List
    • AAAI Chapter Program

  • Career CenterCareer Center
  • aaai-icon_ai-topics-line-yellowAITopics
  • aaai-icon_contact-line-yellowContact

Home / Proceedings / Papers from the 1993 AAAI Fall Symposium /

fall-1993-01

Contents

  • Sensible Inconsistent Reasoning: A Tableau System for LEI

    Marcelo da S. CorrĂȘa, Arthur R. V. Buchsbaum & TarcĂ­sio H.C. Pequeno

    PDF
  • Classical AI Planning as Theorem Proving: The Case of a Fragment of Linear Logic

    Eric Jacopin

    PDF
  • OSCAR–A General-Purpose Defeasible Reasoner

    John L. Pollock

    PDF
  • An Epistemic Logic with Quantification over Names

    Andrew R. Haas

    PDF
  • Semantic Tableaux Methods for Modal Logics That Include the B(rowerische) and G(each) Axioms

    Francis Jeffry Pelletier

    PDF
  • Temporal Deduction in a Graphical Logic

    L. E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, G. Kutty & L. K. Dillon

    PDF
  • A Family of Non-Monotonic Inference Systems based on Conditional Logics

    Philippe Lamarre

    PDF
  • Proof Search Strategies in Linear Logic

    Tanel Tammet

    PDF
  • Efficient Deduction in Many-Valued Logics

    Reiner Hahnle

    PDF
  • A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Logic

    Ilkka Niemeläaut;

    PDF
  • Transaction Logic: Unifying Declarative and Procedural Knowledge (Extended Abstract)

    Anthony J. Bonner & Michael Kifer

    PDF
  • Analytic Tableau for Default Logics

    Vincent Risch

    PDF
  • Belief Maintenance with Probabilistic Logic

    Marco Ramoni & Alberto Riva

    PDF
  • Automated Deduction for a Multi-Modal Logic of Time and Knowledge

    Olivier Gasquet

    PDF
  • Concurrent Deduction: Classical and Modal

    Jim Cunningham

    PDF
  • Translation Methods for Non-Classical Logics, An Overview

    Hans Jüaut;rgen Ohlbach

    PDF
  • Automated Deduction in Arithmetic with the Omega Rule

    Siani Baker

    PDF
  • Constraint Deduction in an Interval-based Temporal Logic

    Jana Koehler & Ralf Treinen

    PDF
  • Presentations and This and That: Logic in Action

    Michael Miller & Donald Perlis

    PDF
  • Defeasible Prolog

    Donald Nute

    PDF
  • A Tableau-Based Theorem Proving Method for Intuitionistic Logic

    Oliver Bittel

    PDF
  • Mechanized Reasoning About Actions Specified in A

    Sakthi Subramanian

    PDF

Primary Sidebar