Stable models and difference logic
type: Item
instance of: scholarly article
title: Stable models and difference logic
zbMATH Open document ID: 1165.68338
author: Ilkka Niemelä
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2009-07-06T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 5576029
describes a project that uses: Cmodels
describes a project that uses: ASSAT
describes a project that uses: Datalog
MaRDI profile type: Publication
full work available at URL: s10472-009-9118-9
OpenAlex ID: W2130489957
cites work: Logic Programming
cites work: Propositional semantics for disjunctive logic programs
cites work: M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures
cites work: Bounded model checking using satisfiability solving
cites work: Fast and Flexible Difference Constraint Propagation for DPLL(T)
cites work: A rational reconstruction of nonmonotonic truth maintenance systems
cites work: Tight logic programs
cites work: Some (in)translatability results for normal logic programs and propositional theories
cites work: Logic Programming and Nonmonotonic Reasoning
cites work: The relationship between stable, supported, default and autoepistemic semantics for general logic programs
cites work: Q4702577
cites work: Enhancing ASP Systems for Planning with Temporal Constraints
cites work: Logic programs with stable model semantics as a constraint programming paradigm
cites work: Computer Aided Verification
DOI: 10.1007/S10472-009-9118-9
description: scientific article; zbMATH DE number 5576029