scientific article; zbMATH DE number 194907

zbMath1104.68451MaRDI QIDQ4692876

No author found.

Publication date: 5 June 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Database theory (68P15) Logic programming (68N17)

Related Items (20)

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

This page was built for publication: