scientific article; zbMATH DE number 3874667
From MaRDI portal
Publication:3340205
Recommendations
Cited in
(67)- Prolegomena to logic programming for non-monotonic reasoning
- Recursive query processing in predicate-goal graph
- Paraconsistent logic and query answering in inconsistent databases
- Databases and artificial intelligence
- On homeostatic behavior of dynamic deductive data bases
- scientific article; zbMATH DE number 792053 (Why is no real title available?)
- Reasoning formally about database queries and updates
- A graph-based decomposition approach for recursive query processing
- scientific article; zbMATH DE number 176241 (Why is no real title available?)
- Conceptual and ontological modeling in information systems
- Heuristics for planning with penalties and rewards formulated in logic and computed through circuits
- Operation management in object-oriented knowledge bases
- Jack Minker --- A profile
- Negation in rule-based database languages: A survey
- Generalized closed world assumption is \(\Pi ^ 0_ 2\)-complete
- A Logic of Type Relations and its Applications to Relational Databases
- A time bound on the materialization of some recursively defined views
- Embedding deductive capabilities in relational database systems
- A knowledge-based system for performance optimization of a relational database system
- Extended database logic: Complex objects and deduction
- scientific article; zbMATH DE number 3936550 (Why is no real title available?)
- Improved exact algorithms for MAX-SAT
- Data summarization in relational databases through fuzzy dependencies
- scientific article; zbMATH DE number 545140 (Why is no real title available?)
- Closed world assumptions having precedence in predicates
- scientific article; zbMATH DE number 3924168 (Why is no real title available?)
- Automated theorem proving in temporal logic: \(T\)-resolution
- Subsumption and implication
- Algorithms for the maximum satisfiability problem
- Translation of logic programs into functional fixpoint equations
- Semantics and expressive power of nondeterministic constructs in deductive databases
- scientific article; zbMATH DE number 2090519 (Why is no real title available?)
- scientific article; zbMATH DE number 1971513 (Why is no real title available?)
- A relational algebra for functional logic deductive databases
- Fifty Years of Prolog and Beyond
- scientific article; zbMATH DE number 3860438 (Why is no real title available?)
- A note on fixpoint techniques in data base recursive logic programs
- scientific article; zbMATH DE number 1931656 (Why is no real title available?)
- Intuitionistic interpretation of deductive databases with incomplete information
- Answering atomic queries in indefinite deductive databases
- Inference flexibility in Horn clause knowledge bases and the simplex method
- Unique complements and decompositions of database schemata
- scientific article; zbMATH DE number 1390361 (Why is no real title available?)
- A formalization of the Codd algebra operations in logic \(\mathcal{SHOIN}(D)\)
- Domain-independent formulas and databases
- Incomplete deductive databases
- An algorithm to compute circumscription
- DAL -- a logic for data analysis
- A deductive database on Aristotelian logic
- scientific article; zbMATH DE number 1471978 (Why is no real title available?)
- A basis for deductive database systems II
- On first-order-logic databases
- Beyond graph neural networks with lifted relational neural networks
- Recursive query processing: The power of logic
- Minimalism, justification and non-monotonicity in deductive databases
- Type data bases with incomplete information
- Multi-layer logic - a predicate logic including data structure as knowledge representation language
- Fixpoint strategies for deductive databases
- Conceptual schemas applied to deductive databases
- Characterization of desirable properties of general database decompositions.
- Partial evaluation of queries in deductive databases
- On the complexity of the maximum satisfiability problem for Horn formulas
- scientific article; zbMATH DE number 3917748 (Why is no real title available?)
- Information about a given entity: from semantics towards automated deduction
- A deductive database approach for complex objects
- Active integrity constraints for general-purpose knowledge bases
- An efficient database transitive closure algorithm
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3340205)
