Answer set based design of knowledge systems
type: Item
instance of: scholarly article
title: Answer set based design of knowledge systems
zbMATH Open document ID: 1105.68105
author: Marcello Balduccini
author: Michael Gelfond
author: Monica Nogueira
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2006-12-20T00:00:00Z
full work available at URL: 6969z904g
Mathematics Subject Classification ID: 68T35
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68T30
zbMATH DE Number: 5080836
zbMATH Keywords: knowledge representation
zbMATH Keywords: answer set programming
zbMATH Keywords: reasoning
zbMATH Keywords: planning
zbMATH Keywords: diagnosis
zbMATH Keywords: logic programming
describes a project that uses: GULP
describes a project that uses: Smodels
MaRDI profile type: Publication
OpenAlex ID: W2025327371
cites work: Planning for temporally extended goals.
cites work: Using temporal logics to express search control knowledge for planning
cites work: Diagnostic reasoning with A-Prolog
cites work: Knowledge Representation, Reasoning and Declarative Problem Solving
cites work: Logic programming and knowledge representation
cites work: Reasoning agents in dynamic domains
cites work: Q4708952
cites work: Q4434167
cites work: Q4940938
cites work: Q4707773
cites work: Logic programming and knowledge representation---The A-Prolog perspective
cites work: Q3983043
cites work: Representing action and change by logic programs
cites work: Q5633670
cites work: A note on the stable model semantics for logic programs
cites work: Q4702576
cites work: Extending the Smodels system with cardinality and weight constraints
cites work: Extending and implementing the stable model semantics
cites work: Q4955343
DOI: 10.1007/S10472-006-9026-1
description: scientific article; zbMATH DE number 5080836