Strong order equivalence
type: Item
instance of: scholarly article
title: Strong order equivalence
zbMATH Open document ID: 1105.68100
author: Wolfgang Faber
author: Kathrin Konczak
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2006-12-20T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 5080837
zbMATH Keywords: preferences
zbMATH Keywords: answer set programming
zbMATH Keywords: program equivalences
zbMATH Keywords: complexity
describes a project that uses: GULP
MaRDI profile type: Publication
full work available at URL: s10472-006-9027-0
OpenAlex ID: W1981209807
cites work: Diagnostic reasoning with A-Prolog
cites work: Knowledge Representation, Reasoning and Declarative Problem Solving
cites work: Negation by default and unstratifiable logic programs
cites work: Semantics of (disjunctive) logic programs based on partial evaluation
cites work: Preferred answer sets for extended logic programs
cites work: A framework for compiling preferences in logic programs
cites work: Logic Programming
cites work: Using methods of declarative logic programming for intelligent information agents
cites work: Logic Programming and Nonmonotonic Reasoning
cites work: Semantical characterizations and complexity of equivalences in answer set programming
cites work: Logics in Artificial Intelligence
cites work: Inductive Logic Programming
cites work: Strongly equivalent logic programs
cites work: Q4702577
cites work: Autoepistemic logic
cites work: Logic programs with stable model semantics as a constraint programming paradigm
cites work: Q4808808
cites work: Q4298260
cites work: A semantic framework for preference handling in answer set programming
cites work: Strong equivalence made easy: nested expressions and weight constraints
cites work: Comparisons and computation of well-founded semantics for disjunctive logic programs
cites work: Q2767052
cites work: Q4940929
DOI: 10.1007/S10472-006-9027-0
description: scientific article; zbMATH DE number 5080837