On the declarative, operational and procedural semantics of disjunctive computational theories

descriptionPublicationkeyboard_double_arrow_right Conference object 01 Jan 1991 Spain English Publisher:Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics

Authors: Decker, Hendrik;

handle: 2117/373378

On the declarative, operational and procedural semantics of disjunctive computational theories

- Summary
- Subjects
- Metrics

Abstract

First, we recapitulate recent results concerning models and fixpoints of disjunctive computational theories. Then, we develop an SL-resolution-based abductive proof procedure for such theories. It is shown to be sound and complete for checking inconsistency.

Country

Spain

Related Organizations

Universitat Polite`cnica de Catalunya
Spain

Keywords

Information storage and retrieval systems, Bases de dades, Informació -- Sistemes d'emmagatzematge i recuperació, Deductive databases, Sistemes d'informació per a la gestió, Bases de dades deductives, Management information systems

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average