Revision programming
type: Item
instance of: scholarly article
title: Revision programming
zbMATH Open document ID: 0893.68054
DOI: 10.1016/S0304-3975(97)00092-3
published in: Theoretical Computer Science
publication date: 1998-06-30T00:00:00Z
Mathematics Subject Classification ID: 68P15
zbMATH DE Number: 1170168
zbMATH Keywords: revision programming
author: Wiktor Marek
author: Mirosław Truszczyński
MaRDI profile type: Publication
cites work: Datalog extensions for database queries and updates
cites work: On the logic of theory change: Partial meet contraction and revision functions
cites work: Q3960112
cites work: Q4385536
cites work: Q3477998
cites work: Negation by default and unstratifiable logic programs
cites work: Linear-time algorithms for testing the satisfiability of propositional horn formulae
cites work: Q3919704
cites work: Propositional knowledge base revision and minimal change
cites work: Q3339245
cites work: Autoepistemic logic
cites work: Q4273952
cites work: Modal logic for default reasoning
cites work: Q4537433
cites work: Update by means of inference rules
cites work: A logic for default reasoning
cites work: The expressive powers of the logic programming semantics
cites work: Q5560258
cites work: The Semantics of Predicate Logic as a Programming Language
full work available at URL: s0304-3975(97)00092-3
OpenAlex ID: W2914023676
description: scientific article; zbMATH DE number 1170168