Reasoning by Cases in Default Logic

Artificial Intelligence - Netherlands
doi 10.1016/s0004-3702(97)00081-7
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Uncontroversial Default Logic

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2004English

Proof Complexity of Propositional Default Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Proof Complexity of Propositional Default Logic

Archive for Mathematical Logic
PhilosophyLogic
2011English

A Modal Computational Framework for Default Reasoning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Normal Form Results for Default Logic

English

Some Properties of Knowledge Information Inferred by Two Interactive Default Reasoning Systems

IEEJ Transactions on Electronics, Information and Systems
Electronic EngineeringElectrical
1989English

Logic Programs With Functions and Default Values

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Logic-Based Reasoning Support for SBVR

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2013English

Avoiding Misconstruals in Database Systems: A Default Logic Approach

IEEE Transactions on Knowledge and Data Engineering
Computational TheoryComputer Science ApplicationsInformation SystemsMathematics
1993English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy