The Semantics of Predicate Logic as a Programming Language
From MaRDI portal
Publication:4107888
Cited in
(only showing first 100 items - show all)- Negation by default and unstratifiable logic programs
- Recursive queries and context-free graph grammars
- Logic program forms
- Fixpoint semantics and optimization of recursive Datalog programs with aggregates
- Quantitative Logic Programming Revisited
- Closures and fairness in the semantics of programming logic
- Logic programming in tensor spaces
- Semantics of infinite tree logic programming
- Thresholded semantic framework for a fully integrated fuzzy logic language
- A refinement of import/export declarations in modular logic programming and its semantics
- Equational properties of stratified least fixed points (extended abstract)
- Semantics of Horn and disjunctive logic programs
- Uniform semantic treatment of default and autoepistemic logics
- Learning inference by induction
- Causal graph justifications of logic programs
- Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements
- Logic programming with sets
- Explaining preferences and preferring explanations
- A declarative approach for first-order built-in's of Prolog
- RustHorn: CHC-based verification for Rust programs
- On the autoepistemic reconstruction of logic programming
- A new framework for declarative programming
- Algèbres effectives dans la programmation logique avec contraintes
- Programming in three-valued logic
- Learning any memory-less discrete semantics for dynamical systems represented by logic programs
- A superposition oriented theorem prover
- Multi-dimensional logic programming: theoretical foundations
- Optimal fixedpoints of logic programs
- AND parallelism and nondeterminism in logic programs
- Freeness in classes without equality
- A typed resolution principle for deduction with conditional typing theory
- Compiling problem specifications into SAT
- Contributions to the semantics of logic perpetual processes
- Inferring negative information from disjunctive databases
- Semantic models for concurrent logic languages
- Fast algorithms for testing unsatisfiability of ground Horn clauses with equations
- Annotated revision programs
- Precise goal-independent abstract interpretation of constraint logic programs.
- The fuzzy logic programming language FASILL: design and implementation
- How complicated is the set of stable models of a recursive logic program?
- Compositional model-theoretic semantics for logic programs
- Making sense of sensory input
- Multi-valued logic programming semantics An algebraic approach
- The alternating fixpoint of logic programs with negation
- Logic programs with abstract constraint atoms: the role of computations
- Aspmc: new frontiers of algebraic answer set counting
- Embedding justification theory in approximation fixpoint theory
- Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming
- A fixed point theorem for non-monotonic functions
- Disjunctive \(LP+\) integrity constraints = stable model semantics.
- A relational approach to logic programming: The extended Alexander method
- A logico-algebraic approach to the model theory of knowledge
- Semantics of distributed definite clause programs
- Partial models and logic programming
- An operator for composing deductive data bases with theories of constraints
- Stable classes and operator pairs for disjunctive programs
- Fixpoint semantics for recursive \textsc{shacl}
- Proofs as computations in linear logic
- Causal Logic Programming
- To Vladimir Lifschitz on His 65th Birthday
- Horn clause programs with polymorphic types: Semantics and resolution
- Abductive logic programming agents with destructive databases
- Twelve Definitions of a Stable Model
- Transforming floundering into success
- Some (in)translatability results for normal logic programs and propositional theories
- Satisfiability, Lattices, Temporal Logic and Constraint Logic Programming on Intervals
- Inductive equivalence in clausal logic and nonmonotonic logic programming
- Horn equational theories and paramodulation
- An alternative approach to the semantics of disjunctive logic programs and deductive databases
- On the expressive power of data dependencies
- Approximation fixpoint theory and the well-founded semantics of higher-order logic programs
- The expressiveness of locally stratified programs
- A semantics for Prolog
- Formalizing a logic for logic programming
- Evaluating epistemic negation in answer set programming
- Evolution of rule-based programs
- Loop-separable programs and their first-order definability
- Formalizing incomplete knowledge in incomplete databases
- The generalized counting method for recursive logic queries
- Intuitionistic three-valued logic and logic programming
- Automatic synthesis of logical models for order-sorted first-order theories
- Weak generalized closed world assumption
- An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms
- Paraconsistent logic programming
- Conceptual logic programs
- Multimodal logic programming
- Unique satisfiability of Horn sets can be solved in nearly linear time
- A three-valued semantics for deductive databases and logic programs
- Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT
- In praise of impredicativity: a contribution to the formalization of meta-programming
- Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete
- Learning from interpretation transition using differentiable logic programming semantics
- Hypergraphs in logic programming
- Connectionist computations of intuitionistic reasoning
- Horn clause solvers for program verification
- A sound and complete semantics for a similarity-based logic programming language
- First-order theories for pure Prolog programs with negation
- Variable binding operators in transition system specifications
- Temporal ASP: from logical foundations to practical use with \texttt{telingo}
- Disjunctive Programs with Set Constraints
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)
