The Semantics of Predicate Logic as a Programming Language
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Hyperequivalence of logic programs with respect to supported models
- On the algebraic structure of declarative programming languages
- S-semantics for logic programming: a retrospective look
- Abstract interpretation of resolution-based semantics
- Completeness of hyper-resolution via the semantics of disjunctive logic programs
- Rational set of trees and the algebraic semantics of logic programming
- A new combination of input and unit deductions for Horn sentences
- A superposition oriented theorem prover
- Optimal fixedpoints of logic programs
- AND parallelism and nondeterminism in logic programs
- Modelling the combination of functional and logic programming languages
- On solving the equality problem in theories defined by Horn clauses
- Semantics of infinite tree logic programming
- Partial models and logic programming
- Fast algorithms for testing unsatisfiability of ground Horn clauses with equations
- A fixpoint semantics of Horn sentences based on substitution sets
- Parallel complexity of logical query programs
- The generalized counting method for recursive logic queries
- Contributions to the semantics of logic perpetual processes
- Inferring negative information from disjunctive databases
- On the relationship between circumscription and negation as failure
- Pseudo-Boolean valued Prolog
- Circumscribing DATALOG: expressive power and complexity
- Programming in metric temporal logic
- Semantic models for concurrent logic languages
- Semantics of Horn and disjunctive logic programs
- Horn clause programs with polymorphic types: Semantics and resolution
- Derivation of logic programs by functional methods
- A simple fixed point characterization of three-valued stable model semantics
- Domains for logic programming
- Complete extension of general logic programs
- How complicated is the set of stable models of a recursive logic program?
- Completions of perpetual logic programs
- From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic
- Transforming normal logic programs to constraint logic programs
- Unfolding and fixpoint semantics of concurrent constraint logic programs
- The parallel complexity of single rule logic programs
- Structure identification in relational data
- Compositional model-theoretic semantics for logic programs
- Paraconsistent logic programming
- Semantics of distributed definite clause programs
- A relational approach to logic programming: The extended Alexander method
- A logico-algebraic approach to the model theory of knowledge
- Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements
- The reduced relative power operation on abstract domains
- A linear and discrete programming framework for representing qualitative knowledge
- Backchain iteration: Towards a practical inference method that is simple enough to be proved terminating, sound, and complete
- A proof procedure for the logic of hereditary Harrop formulas
- A compositional semantics for logic programs
- On the duality of abduction and model generation in a framework for model generation with equality
- Logical debugging
- Frameworks for abstract interpretation
- A declarative approach for first-order built-in's of Prolog
- Bottom-up evaluation of datalog with negation
- On the relationship between TMS and logic programs
- Time-extraction for temporal logic -- logic programming and local process time
- A three-valued semantics for deductive databases and logic programs
- An algorithm for determining database consistency under the closed world assumption
- Formalizing incomplete knowledge in incomplete databases
- Minimal belief and negation as failure
- An alternative approach to the semantics of disjunctive logic programs and deductive databases
- A semantics for Prolog
- An abstract interpretation framework for optimizing dynamic modular logic languages
- Disjunctive \(LP+\) integrity constraints = stable model semantics.
- Formalizing a logic for logic programming
- On stratified disjunctive programs
- Parallelism in logic programs
- Constraint logic programming with dynamic scheduling: A semantics based on closure operators
- Dynamic graph models
- Revision programming
- Multi-dimensional logic programming: theoretical foundations
- Precise goal-independent abstract interpretation of constraint logic programs.
- A new framework for declarative programming
- Program development schemata as derived rules
- Logic programming and knowledge representation---The A-Prolog perspective
- Annotated revision programs
- Fixpoint semantics for logic programming a survey
- Safe inductions and their applications in knowledge representation
- Automatic synthesis of logical models for order-sorted first-order theories
- Obligation as optimal goal satisfaction
- Certifying standard and stratified Datalog inference engines in SSReflect
- Fixpoint semantics for active integrity constraints
- kProbLog: an algebraic Prolog for machine learning
- An encompassing framework for paraconsistent logic programs
- Logic program forms
- On the expressive power of data dependencies
- Horn equational theories and paramodulation
- Weak generalized closed world assumption
- Possible worlds and resources: The semantics of \(\mathbf{BI}\)
- Uniform semantic treatment of default and autoepistemic logics
- A typed resolution principle for deduction with conditional typing theory
- Evolution of rule-based programs
- A neural implementation of multi-adjoint logic programming
- Linearisability on Datalog programs
- Parametrized semantics of logic programs -- a unifying framework
- First-order theories for pure Prolog programs with negation
- Unique satisfiability of Horn sets can be solved in nearly linear time
- Jack Minker --- A profile
- Nonrecursive incremental evaluation of Datalog queries
- The expressiveness of locally stratified programs
This page was built for publication: The Semantics of Predicate Logic as a Programming Language
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4107888)
