LUPS -- A language for updating logic programs
type: Item
instance of: scholarly article
title: LUPS -- A language for updating logic programs
zbMATH Open document ID: 0995.68023
DOI: 10.1016/S0004-3702(02)00183-2
author: José Júlio Alferes
author: Luís Moniz Pereira
author: Halina Przymusinska
author: Teodor C. Przymusinski
published in: Artificial Intelligence
publication date: 2002-07-15T00:00:00Z
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 1767932
zbMATH Keywords: logic programming
zbMATH Keywords: knowledge updates
describes a project that uses: LUPS
MaRDI profile type: Publication
Wikidata QID: Q62038988
cites work: Dynamic updates of non-monotonic knowledge bases
cites work: Q4537432
cites work: Disjunctive logic programs with inheritance
cites work: Q4536313
cites work: Q3983043
cites work: Representing action and change by logic programs
cites work: Negation as failure in the head
cites work: Q4028812
cites work: The relationship between logic programs and specifications-the subset example revisited
cites work: Q4537433
cites work: Update by means of inference rules
full work available at URL: s0004-3702(02)00183-2
OpenAlex ID: W2012373058
description: scientific article; zbMATH DE number 1767932