scientific article; zbMATH DE number 3640922

zbMath0412.68089MaRDI QIDQ4199578

No author found.

Publication date: 1978

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

zbMATH Keywords

proceedingsProceedingsSymposiumdata structuresLogicquery languagesformal systemsPrologautomated theorem provingformal logicabstract data typesrelational data basenegative informationToulousequestion answeringdata base integrityadvanced expositionData basesknowledge representation and deduction

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99) Mechanization of proofs and logical operations (03B35) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Data structures (68P05) Information storage and retrieval of data (68P20)

Related Items (17)

To Vladimir Lifschitz on His 65th Birthday ⋮ Enumeration of success patterns in logic programs ⋮ Multi-layer logic - a predicate logic including data structure as knowledge representation language ⋮ Polynomial-time inference of all valid implications for Horn and related formulae ⋮ A deductive database on Aristotelian logic ⋮ A simple proof on the decidability of equivalence between recursive and nonrecursive Datalog programs ⋮ Bottom-up evaluation and query optimization of well-founded models ⋮ Paracoherent answer set computation ⋮ The Semantics of Datalog for the Evidential Tool Bus ⋮ Removing redundancy from a clause ⋮ Data analysis using a geometrical representation of predicate calculus ⋮ Negation in rule-based database languages: A survey ⋮ The Alexander Method - a technique for the processing of recursive axioms in deductive databases ⋮ Logic program forms ⋮ Structure and complexity of relational queries ⋮ Foundations of a functional approach to knowledge representation ⋮ Unique complements and decompositions of database schemata

Uses Software

• Datalog

This page was built for publication: