DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Default logic
Default logic
Answer Set Programming: a Primer?
Answer Set Programming with Default Logic
Stable Models Stable Models (‘Answer Sets’) for a Normal Logic Program, a Stable Model Is a Set of Atoms
Arxiv:1905.04725V1
What Is Answer Set Programming?
Logic Programming and Knowledge Representation—The A-Prolog Perspective ✩
An Implementation of a Non-Monotonic Logic in an Embedded Computer for a Motor-Glider
Negation-As-Failure Considered Harmful
Nonmonotonic Reasoning
Relating Default Logic and Circumscription
Abduction Compared with Negation by Failure
What Should Default Reasoning Be, by Default?
A Logic for Default Reasoning
P'rolog Technology for Default Reasoning
Rules and Ontologies for the Semantic Web*
A Semantics for Default Logic
Modal Interpretations of Default Logic
Logic Programming with Defaults and Argumentation Theories*
Top View
Reasoning, Nonmonotonic Logics, and the Frame Problem
Nonmonotonic Reasoning
Thirteen Definitions of a Stable Model
Default Logics: a Unified View
Arxiv:Cs/9809032V1
Talk-Aaai13-Rules-Tutorial.Pdf
0.05In Default Negation, Definitions and Informal Semantics
Dl2asp: Implementing Default Logic Via Answer Set Programming
On First-Order Conditional Logics
A Language for Inconsistency-Tolerant Ontology Mapping
Logic in AI - J.-J.Ch
A New Perspective on Stable Models∗ Paolo Ferraris1, Joohyung Lee2 and Vladimir Lifschitz1 1Department of Computer Sciences 2Dept