Signed dual tableaux for Kleene answer set programs
type: Item
instance of: scholarly article
title: Signed dual tableaux for Kleene answer set programs
zbMATH Open document ID: 1544.68133
DOI: 10.1007/978-3-319-97879-6_9
author: Patrick Doherty
author: Andrzej Szałas
publication date: 2024-09-06T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 7908128
zbMATH Keywords: signed tableaux
zbMATH Keywords: signed dual tableaux
zbMATH Keywords: answer-set programming
zbMATH Keywords: Kleene three-valued logic
zbMATH Keywords: strongly supported model
MaRDI profile type: Publication
cites work: Knowledge Representation, Reasoning and Declarative Problem Solving
cites work: Relational dual tableaux for interval temporal logics ★
cites work: Dual tableau-based decision procedures for relational logics with restricted composition operator
cites work: Q4935259
cites work: Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs
cites work: Advances in knowledge representation, logic programming, and abstract argumentation. Essays dedicated to Gerhard Brewka on the occasion of his 60th birthday
cites work: Complexity results for answer set programming with bounded predicate arities and implications
cites work: On the Minimality of Stable Models
cites work: Tableau Calculi for Logic Programs under Answer Set Semantics
cites work: Q3983043
cites work: Untersuchungen über das logische Schliessen. I
cites work: Untersuchungen über das logische Schließen. II.
cites work: Relational dual tableau decision procedure for modal logic K
cites work: Logics of Similarity and their Dual Tableaux A Survey
cites work: Dual tableau for monoidal triangular norm logic MTL
cites work: Tableaux for many-valued logics
cites work: Q5571677
cites work: Q3241192
cites work: On notation for ordinal numbers
cites work: A relational formalisation of arbitrary finite valued logics
cites work: Q4329272
cites work: Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
cites work: Thirteen Definitions of a Stable Model
cites work: Why are there so many loop formulas?
description: scientific article; zbMATH DE number 7908128