Coalgebraic semantics for parallel derivation strategies in logic programming

DOI10.1007/978-3-642-17796-5_7MaRDI QIDQ3067470zbMATH OpenOpenAlexFDO

Authors Ekaterina Komendantskaya, Guy McCusker, John Power

Publication date 21 January 2011

Published in Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-17796-5_7

zbMATH Keywords

coalgebracoinductionlogic programmingparallel logic programmingSLD-resolution

Mathematics Subject Classification ID

Logic programming (68N17) Abstract data types; algebraic specification (68Q65)

Recommendations

• Coalgebraic derivations in logic programming
• Coalgebraic semantics for derivations in logic programming
• Coalgebraic logic programming: from Semantics to Implementation
• Exploiting parallelism in coalgebraic logic programming
• Saturated semantics for coalgebraic logic programming

Cites work

• A theory of observables for logic programs
• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• An interactive semantics of logic programming
• Co-Logic Programming: Extending Logic Programming with Coinduction
• Coinductive Logic Programming and Its Applications
• Declarative modeling of the operational behavior of logic languages
• Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness
• scientific article; zbMATH DE number 3978351 (Why is no real title available?)
• scientific article; zbMATH DE number 3988745 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 1231634 (Why is no real title available?)
• Observable behaviors and equivalences of logic programs
• On Greatest Fixpoint Semantics of Logic Programming
• On the algebraic structure of declarative programming languages
• Parallel complexity of logical query programs
• Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
• Relating coalgebraic notions of bisimulation. With applications to name-passing process calculi (extended abstract)
• Type Inference by Coinductive Logic Programming

Cited in

(17)

• Logic programming: laxness and saturation
• Exploiting parallelism in coalgebraic logic programming
• Saturated semantics for coalgebraic logic programming
• Coalgebraic derivations in logic programming
• Symbolic and Asynchronous Semantics via Normalized Coalgebras
• Coalgebraic semantics for derivations in logic programming
• A game semantics for disjunctive logic programming
• Universal constructions for (co)relations: categories, monoidal categories, and props
• Coalgebraic semantics for probabilistic logic programming
• Efficient Coalgebraic Partition Refinement
• Bialgebraic semantics for logic programming
• Category theoretic semantics for theorem proving in logic programming: embracing the laxness
• Coalgebraic logic programming: from Semantics to Implementation
• scientific article; zbMATH DE number 7649893 (Why is no real title available?)
• Semantical analysis of the logic of bunched implications
• A Coalgebraic Approach to Unification Semantics of Logic Programming
• Reductive logic, proof-search, and coalgebra: a perspective from resource semantics

Describes a project that uses

Uses Software

• CoALP

This page was built for publication: Coalgebraic semantics for parallel derivation strategies in logic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3067470)