Coalgebraic semantics for derivations in logic programming
DOI10.1007/978-3-642-22944-2_19zbMATH Open1344.68043OpenAlexW180563605MaRDI QIDQ3090874FDOQ3090874
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
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
coalgebraLawvere theorieslogic programmingSLD-resolutionlax natural transformationsoplax maps of coalgebras
Logic programming (68N17) Eilenberg-Moore and Kleisli constructions for monads (18C20) Categorical semantics of formal languages (18C50) Semantics in the theory of computing (68Q55)
Cited In (18)
- Category theoretic semantics for theorem proving in logic programming: embracing the laxness
- Logic programming: laxness and saturation
- Title not available (Why is that?)
- Coalgebraic Announcement Logics
- Reductive logic, proof-search, and coalgebra: a perspective from resource semantics
- Coalgebraic semantics for parallel derivation strategies in logic programming
- Saturated semantics for coalgebraic logic programming
- Algebra and Coalgebra in Computer Science
- Exploiting parallelism in coalgebraic logic programming
- Integrating induction and coinduction via closure operators and proof cycles
- Coalgebraic logic programming: from Semantics to Implementation
- A game semantics for disjunctive logic programming
- A compositional approach to defining logics for coalgebras
- Title not available (Why is that?)
- Coalgebraic derivations in logic programming
- Title not available (Why is that?)
- Coalgebraic Trace Semantics via Forgetful Logics
- Coalgebraic trace semantics via forgetful logics
Uses Software
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)
