scientific article; zbMATH DE number 194907
From MaRDI portal
zbMath1104.68451MaRDI QIDQ4692876
No author found.
Publication date: 5 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A logic-based approach to query processing in federated databases, A Debugging Scheme for Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Acción Integrada Hispano-Italiana HI2000-0161, Acción Integrada Hispano-Alemana HA2001-0059 and by Generalitat Valenciana under grant GV01-424., The expressive power of unique total stable model semantics, Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis, From LP to LP: Programming with constraints, A unifying view for logic programming with non-monotonic reasoning, Constrained dependencies, On Uniform Equivalence of Epistemic Logic Programs, First order compiler: A deterministic logic program synthesis algorithm, Acyclic logic programs and the completeness of SLDNF-resolution, Bottom-up evaluation and query optimization of well-founded models, Argument reduction by factoring, Tie-breaking semantics and structural totality, Monotonic aggregation in deductive databases, Static filtering on stratified programs, Verification of knowledge bases based on containment checking, Indefinite abductive explanations, Path constraints in semistructured databases, A theory of observables for logic programs, Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation
