Coalgebraic semantics for derivations in logic programming

DOI10.1007/978-3-642-22944-2_19MaRDI QIDQ3090874zbMATH OpenOpenAlexFDO

Authors Ekaterina Komendantskaya, John Power

Publication date 2 September 2011

Published in Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL http://opus.bath.ac.uk/26422/1/Power_CALCO_2011_268.pdf

zbMATH Keywords

coalgebraLawvere theorieslogic programmingSLD-resolutionlax natural transformationsoplax maps of coalgebras

Mathematics Subject Classification ID

Logic programming (68N17) Eilenberg-Moore and Kleisli constructions for monads (18C20) Categorical semantics of formal languages (18C50) Semantics in the theory of computing (68Q55)

Recommendations

• Coalgebraic semantics for parallel derivation strategies in logic programming
• Coalgebraic derivations in logic programming
• Logic programming: laxness and saturation
• Coalgebraic logic programming: from Semantics to Implementation
• Category theoretic semantics for theorem proving in logic programming: embracing the laxness

Cited in

(19)

• scientific article; zbMATH DE number 7649893 (Why is no real title available?)
• Coalgebraic Trace Semantics via Forgetful Logics
• Coalgebraic semantics for parallel derivation strategies in logic programming
• Reductive logic, proof-search, and coalgebra: a perspective from resource semantics
• Logic programming: laxness and saturation
• A Coalgebraic Approach to Unification Semantics of 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 7350768 (Why is no real title available?)
• Saturated semantics for coalgebraic logic programming
• A compositional approach to defining logics for coalgebras
• Coalgebraic trace semantics via forgetful logics
• A game semantics for disjunctive logic programming
• Algebra and Coalgebra in Computer Science
• Coalgebraic Announcement Logics
• Integrating induction and coinduction via closure operators and proof cycles
• scientific article; zbMATH DE number 4181320 (Why is no real title available?)
• Coalgebraic derivations in logic programming
• Exploiting parallelism in coalgebraic logic programming

Describes a project that uses

Uses Software

• CoALP

This page was built for publication: Coalgebraic semantics for derivations in logic programming

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