The Specialization of Programs by Theorem Proving
From MaRDI portal
Cited in
(32)- A new combination of input and unit deductions for Horn sentences
- Modelling the combination of functional and logic programming languages
- Subsumption and implication
- A fixpoint semantics of Horn sentences based on substitution sets
- A parallel approach for theorem proving in propositional logic
- Minimalism, justification and non-monotonicity in deductive databases
- Resolution-based approach to compatibility analysis of interacting automata
- Using rewriting rules for connection graphs to prove theorems
- A sound and complete query evaluation for implicit predicate which is a semantic descriptor of unknown values
- Complexity of resolution proofs and function introduction
- A Prolog technology theorem prover: A new exposition and implementation in Prolog
- \(\Pi\)-representation: A clause representation for parallel search
- Problem representations and formal properties of heuristic search
- Recursive query processing: The power of logic
- Fuzzy propositional logic
- A kind of logical compilation for knowledge bases
- A new fuzzy resolution principle based on the antonym
- Resolution deduction to detect satisfiability for another class including non-Horn sentences in propositional logic
- The Q^* algorithm - a search strategy for a deductive question-answering system
- Type data bases with incomplete information
- Dynamic backward reasoning systems
- Unfold/fold transformations for disjunctive logic programs
- Using the tree representation of terms to recognize matching with neural networks
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
- On the complexity of cutting-plane proofs
- Maslov's inverse method and decidable classes
- \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)
- \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
- Fuzzy logic programming
- Computing minimal models by partial instantiation
- Semantics and properties of existential quantifiers in deductive databases
- A logic for programming with complex objects
This page was built for publication: The Specialization of Programs by Theorem Proving
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5652222)
