1 Search Results for "Komendantskaya, Ekaterina"

Document
DOI: 10.4230/LIPIcs.CSL.2011.352
Coalgebraic Derivations in Logic Programming

Authors: Ekaterina Komendantskaya and John Power

Published in: LIPIcs, Volume 12, Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL (2011)

Abstract
Coalgebra may be used to provide semantics for SLD-derivations, both finite and infinite. We first give such semantics to classical SLD-derivations, proving results such as adequacy, soundness and completeness. Then, based upon coalgebraic semantics, we propose a new sound and complete algorithm for parallel derivations. We analyse this new algorithm in terms of the Theory of Observables, and we prove correctness and full abstraction results.
Cite as

Ekaterina Komendantskaya and John Power. Coalgebraic Derivations in Logic Programming. In Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL. Leibniz International Proceedings in Informatics (LIPIcs), Volume 12, pp. 352-366, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)

Copy BibTex To Clipboard

@InProceedings{komendantskaya_et_al:LIPIcs.CSL.2011.352,
  author =	{Komendantskaya, Ekaterina and Power, John},
  title =	{{Coalgebraic Derivations in Logic Programming}},
  booktitle =	{Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL},
  pages =	{352--366},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-32-3},
  ISSN =	{1868-8969},
  year =	{2011},
  volume =	{12},
  editor =	{Bezem, Marc},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2011.352},
  URN =		{urn:nbn:de:0030-drops-32424},
  doi =		{10.4230/LIPIcs.CSL.2011.352},
  annote =	{Keywords: Logic programming, SLD-resolution, concurrency, coinduction, Lawvere theoriesm, coinductive logic programming, concurrent logic programming}
}
  • Refine by Author
  • 1 Komendantskaya, Ekaterina
  • 1 Power, John

  • Refine by Classification

  • Refine by Keyword
  • 1 Lawvere theoriesm
  • 1 Logic programming
  • 1 SLD-resolution
  • 1 coinduction
  • 1 coinductive logic programming
  • Show More...

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2011

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact