Signed dual tableaux for Kleene answer set programs
From MaRDI portal
Publication:6599615
DOI10.1007/978-3-319-97879-6_9zbMATH Open1544.68133MaRDI QIDQ6599615
Patrick Doherty, Andrzej Szałas
Publication date: 6 September 2024
answer-set programmingsigned tableauxKleene three-valued logicsigned dual tableauxstrongly supported model
Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35) Logic programming (68N17) Many-valued logic (03B50)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Advances in knowledge representation, logic programming, and abstract argumentation. Essays dedicated to Gerhard Brewka on the occasion of his 60th birthday
- Dual tableau for monoidal triangular norm logic MTL
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
- Untersuchungen über das logische Schliessen. I
- Complexity results for answer set programming with bounded predicate arities and implications
- Untersuchungen über das logische Schließen. II.
- Tableaux for many-valued logics
- Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs
- Dual tableau-based decision procedures for relational logics with restricted composition operator
- Tableau Calculi for Logic Programs under Answer Set Semantics
- On the Minimality of Stable Models
- Thirteen Definitions of a Stable Model
- Relational dual tableaux for interval temporal logics ★
- A relational formalisation of arbitrary finite valued logics
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Relational dual tableau decision procedure for modal logic K
- Logics of Similarity and their Dual Tableaux A Survey
- Why are there so many loop formulas?
- On notation for ordinal numbers
This page was built for publication: Signed dual tableaux for Kleene answer set programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6599615)
