Filters








216 Hits in 4.7 sec

Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming [chapter]

Ekaterina Komendantskaya, Guy McCusker, John Power
<span title="">2011</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We analyse different kinds of derivation strategies and derivation trees (proof-trees, SLD-trees, and-or parallel trees) used in logic programming, and show how they can be modelled coalgebraically.  ...  In this paper, we give a coalgebraic semantics to logic programming. We show that ground logic programs can be modelled by either P f P f -coalgebras or P f Listcoalgebras on Set.  ...  Among the major advantages of this semantics is that it neatly models different strategies for parallel execution of logic programs, as we explain in Section 5.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-17796-5_7">doi:10.1007/978-3-642-17796-5_7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7t2vpyshovflzhz2ngcdqm6a5i">fatcat:7t2vpyshovflzhz2ngcdqm6a5i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809135026/http://staff.computing.dundee.ac.uk/katya/AMAST-KMP10.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/20/14/2014d9976561e21736e87c660b64152633c852e1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-17796-5_7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Exploiting Parallelism in Coalgebraic Logic Programming

Ekaterina Komendantskaya, Martin Schmidt, Jónathan Heras
<span title="">2014</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
We present a parallel implementation of Coalgebraic Logic Programming (CoALP) in the programming language Go.  ...  CoALP was initially introduced to reflect coalgebraic semantics of logic programming, with coalgebraic derivation algorithm featuring both corecursion and parallelism.  ...  Coalgebraic Semantics for First-order Parallel Derivations We briefly recall the constructions involved in the coalgebraic semantics for firstorder logic programs.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2014.02.007">doi:10.1016/j.entcs.2014.02.007</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/eznl7fyu55eori4psc7r3avxom">fatcat:eznl7fyu55eori4psc7r3avxom</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170928024514/https://core.ac.uk/download/pdf/30660640.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c5/bb/c5bb4fcbc720763f1c6ed01f1aeeec03f5f873a1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2014.02.007"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Coalgebraic logic programming: from Semantics to Implementation

Ekaterina Komendantskaya, John Power, Martin Schmidt
<span title="2014-05-28">2014</span> <i title="Oxford University Press (OUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/crzmi3qeiramtlvcrfycib3qg4" style="color: black;">Journal of Logic and Computation</a> </i> &nbsp;
We propose an alternative approach to corecursion in logic programming: a new derivation algorithm based on the coinductive trees-structures directly inspired by our coalgebraic semantics.  ...  Library on June 21, 2016 http://logcom.oxfordjournals.org/ Downloaded from Coalgebraic logic programming 747 parallel fashion, it may find substitutions for x, e.g. 0 and scons(y,z), in distinct parallel  ...  Tree structures in analysis of derivations Coalgebraic Logic Programming (CoALP) we introduce in later sections uses a variety of treestructures both for giving semantics to logic programming and for implementation  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/logcom/exu026">doi:10.1093/logcom/exu026</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/32ofdknnjvfelbiod5pskrjhli">fatcat:32ofdknnjvfelbiod5pskrjhli</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190216040502/http://pdfs.semanticscholar.org/0128/ed992889e1435d154bfd23f73df6f7a772a9.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/01/28/0128ed992889e1435d154bfd23f73df6f7a772a9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/logcom/exu026"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> oup.com </button> </a>

Coalgebraic Derivations in Logic Programming

Ekaterina Komendantskaya, John Power, Marc Herbstritt
<span title="2011-08-31">2011</span> <i > <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kjskj3qctjdkbigtx4fkcqiyii" style="color: black;">Annual Conference for Computer Science Logic</a> </i> &nbsp;
Then, based upon coalgebraic semantics, we propose a new sound and complete algorithm for parallel derivations.  ...  Coalgebra may be used to provide semantics for SLD-derivations, both finite and infinite.  ...  The main reason for this is that the derivations modelled by the coalgebraic semantics have strong relation to parallel logic programming, [26, 14] , while SLD-trees describe sequential derivation strategies  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.csl.2011.352">doi:10.4230/lipics.csl.2011.352</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/csl/KomendantskayaP11.html">dblp:conf/csl/KomendantskayaP11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6zun2z7hffaz3nsljdkmhxflkm">fatcat:6zun2z7hffaz3nsljdkmhxflkm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706032229/http://drops.dagstuhl.de/opus/volltexte/2011/3242/pdf/29.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2c/4e/2c4ed726c41d2ecc108207aebdcc8451a3f61e20.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.csl.2011.352"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Coalgebraic Logic Programming: from Semantics to Implementation [article]

Ekaterina Komendantskaya, John Power, Martin Schmidt
<span title="2013-12-23">2013</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Coinductive definitions, such as that of an infinite stream, may often be described by elegant logic programs, but ones for which SLD-refutation is of no value as SLD-derivations fall into infinite loops  ...  Such definitions give rise to questions of lazy corecursive derivations and parallelism, as execution of such logic programs can have both recursive and corecursive features at once.  ...  Coalgebraic Semantics for Ground Programs Using our coalgebraic calculus of trees, we now make precise, in the ground case, the relationship between logic programs and Gupta et al's and-or parallel derivation  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1312.6568v1">arXiv:1312.6568v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/euvpzzi5z5gnlpup5mqsudhhq4">fatcat:euvpzzi5z5gnlpup5mqsudhhq4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200930170308/https://arxiv.org/pdf/1312.6568v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/01/a7/01a77445c489afdde1b0ff1dd75d61dccfbab0ca.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1312.6568v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Exploiting Parallelism in Coalgebraic Logic Programming [article]

Ekaterina Komendantskaya, Martin Schmidt, Jónathan Heras
<span title="2013-12-19">2013</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We present a parallel implementation of Coalgebraic Logic Programming (CoALP) in the programming language Go.  ...  CoALP was initially introduced to reflect coalgebraic semantics of logic programming, with coalgebraic derivation algorithm featuring both corecursion and parallelism.  ...  Coalgebraic Semantics for First-order Parallel Derivations We briefly recall the constructions involved in the coalgebraic semantics for firstorder logic programs.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1312.4454v2">arXiv:1312.4454v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/w3ox4cckorem7b7chgtfw6mu6q">fatcat:w3ox4cckorem7b7chgtfw6mu6q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200828080749/https://arxiv.org/pdf/1312.4454v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/bc/3a/bc3adf51751228f3ecee4fcd819b750bf8b5cf7c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1312.4454v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Bialgebraic Semantics for Logic Programming

Filippo Bonchi, Fabio Zanasi, Stefan Milius
<span title="2015-03-30">2015</span> <i title="Logical Methods in Computer Science e.V."> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/c67srop7pbe3nciquoxzy3d6pm" style="color: black;">Logical Methods in Computer Science</a> </i> &nbsp;
Bialgebrae provide an abstract framework encompassing the semantics of different kinds of computational models. In this paper we propose a bialgebraic approach to the semantics of logic programming.  ...  First we use saturation to model the operational semantics of logic programs as coalgebrae on presheaves. Then, we make explicit the underlying algebraic structure by using bialgebrae on presheaves.  ...  Sammartino and the anonymous referees for the helpful comments. We acknowledge support by project ANR 12IS02001 PACE.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2168/lmcs-11(1:14)2015">doi:10.2168/lmcs-11(1:14)2015</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/argwzu3gijhm3n6w5bdi726uzu">fatcat:argwzu3gijhm3n6w5bdi726uzu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190309082712/http://pdfs.semanticscholar.org/f644/f32cf4e400a9c19b0f717e5bdb0a0059b2da.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f6/44/f644f32cf4e400a9c19b0f717e5bdb0a0059b2da.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2168/lmcs-11(1:14)2015"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Saturated Semantics for Coalgebraic Logic Programming [chapter]

Filippo Bonchi, Fabio Zanasi
<span title="">2013</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
A series of recent papers introduces a coalgebraic semantics for logic programming, where the behavior of a goal is represented by a parallel model of computation called coinductive tree.  ...  Coalgebraic Logic Programming In this section we recall the framework of coalgebraic logic programming, as introduced in [?,?,?].  ...  Sammartino, the Plume team and the anonymous referees for the helpful comments. Our work is supported by project ANR 12IS02001 PACE.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-40206-7_8">doi:10.1007/978-3-642-40206-7_8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/auix5xsgaredngdizxrwiztdpu">fatcat:auix5xsgaredngdizxrwiztdpu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809110337/http://perso.ens-lyon.fr/filippo.bonchi/papers/CALCO2013.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/92/1b/921b656eec7364fd06b4fdd835bee9f4e62ab2ea.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-40206-7_8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Coalgebraic Semantics of Reflexive Economics (Dagstuhl Seminar 15042)

Samson Abramsky, Alexander Kurz, Pierre Lescanne, Viktor Winschel, Marc Herbstritt
<span title="2015-05-18">2015</span> <i title="Schloss Dagstuhl Leibniz-Zentrum für Informatik GmbH"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/u2phfyhrhje7xnnubtp3vfklcu" style="color: black;">Dagstuhl Reports</a> </i> &nbsp;
This report documents the program and the outcomes of Dagstuhl Seminar 15042 "Coalgebraic  ...  More generally, research in program semantics and logics in computer science is typically motivated by problems arising in programming languages and software engineering.  ...  So far there has been some progress to check for equilibria for some given strategy profiles in arbitrarily composed games.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.5.1.197">doi:10.4230/dagrep.5.1.197</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/journals/dagstuhl-reports/AbramskyKLW15.html">dblp:journals/dagstuhl-reports/AbramskyKLW15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bfot4e2lbjh5tarbfps4qzrsmy">fatcat:bfot4e2lbjh5tarbfps4qzrsmy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200319070323/https://digitalcommons.chapman.edu/cgi/viewcontent.cgi?article=1067&amp;context=engineering_articles" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f0/d6/f0d66f075eb010dd57909304248d4ca5be76d7bd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.5.1.197"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Modal Logics are Coalgebraic

C. Cirstea, A. Kurz, D. Pattinson, L. Schroder, Y. Venema
<span title="2009-02-21">2009</span> <i title="Oxford University Press (OUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bf4qaipmsrghrjyxonrsmqevie" style="color: black;">Computer journal</a> </i> &nbsp;
Coalgebraic semantics, on the other hand, provides a uniform and encompassing view on the large variety of specific logics used in particular domains.  ...  Applications of modal logics are abundant in computer science, and a large number of structurally different modal logics have been successfully employed in a diverse spectrum of application contexts.  ...  The great advantage of the above approach is its compositionality, which allows deriving composite modal logics in parallel with the structure of composite type functors such as P(D(−)) A above: it suffices  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/comjnl/bxp004">doi:10.1093/comjnl/bxp004</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gpm47rtxanb5xaei7nq3z4pnea">fatcat:gpm47rtxanb5xaei7nq3z4pnea</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808202836/http://www.cs.le.ac.uk/people/ak155/Papers/BCS08/ModalCoalg.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a6/63/a6633baa142da0688f9375555bd889aaee2f7706.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/comjnl/bxp004"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> oup.com </button> </a>

Logic programming: laxness and saturation [article]

Ekaterina Komendantskaya, John Power
<span title="2016-08-30">2016</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
A propositional logic program P may be identified with a P_fP_f-coalgebra on the set of atomic propositions in the program.  ...  While maintaining that unity, we further refine lax semantics to give finitary models of logic programs with existential variables, and to develop a precise semantic relationship between variables in logic  ...  ., in [6, 7] , that logic programs induce coalgebras, allowing coalgebraic modelling of their operational semantics.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1608.07708v2">arXiv:1608.07708v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jnqfsdmoqzhotnzuzrxmls3rwe">fatcat:jnqfsdmoqzhotnzuzrxmls3rwe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200828090146/https://arxiv.org/pdf/1608.07708v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/54/b1/54b13a6483996a4d6fec687a46778b9d4b305023.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1608.07708v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

CoLoSS: The Coalgebraic Logic Satisfiability Solver

Georgel Calin, Rob Myers, Dirk Pattinson, Lutz Schröder
<span title="">2009</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
It implements a uniform polynomial space algorithm to decide satisfiability for modal logics that are amenable to coalgebraic semantics.  ...  Logics are easily integrated into CoLoSS by providing a complete axiomatisation of their coalgebraic semantics in a specific format.  ...  ]] on Set S , whose coalgebras serve as the semantic structures for the induced modal logic.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2009.02.028">doi:10.1016/j.entcs.2009.02.028</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4wpwaj5mabeqrgnnwrk46vp4ii">fatcat:4wpwaj5mabeqrgnnwrk46vp4ii</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110401101547/http://www.informatik.uni-bremen.de/~lschrode/papers/coloss.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d9/ae/d9ae7c0c372410162694b55ab049f4ee5a464203.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2009.02.028"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Imperative Programs as Proofs via Game Semantics

Martin Churchill, James Laird, Guy McCusker
<span title="">2011</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/cnybbxuptncftdgxtodn5edz7m" style="color: black;">2011 IEEE 26th Annual Symposium on Logic in Computer Science</a> </i> &nbsp;
The logic makes explicit use of the fact that in the game semantics the exponential can be expressed as a final coalgebra.  ...  Game semantics extends the Curry-Howard isomorphism to a three-way correspondence: proofs, programs, strategies.  ...  ACKNOWLEDGMENTS The authors would like to thank Pierre Clairambault for useful discussion and anonymous reviewers for valuable comments. This work was supported by the (UK) EPSRC grant EP/HO23097.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/lics.2011.19">doi:10.1109/lics.2011.19</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/lics/ChurchillLM11.html">dblp:conf/lics/ChurchillLM11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/redxq676rjfwnlmqn2glx5zj5a">fatcat:redxq676rjfwnlmqn2glx5zj5a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190419032651/https://core.ac.uk/download/pdf/2810712.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fd/d6/fdd6be13a0a6dec7cc7b9543cfd2659fce80e6f8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/lics.2011.19"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Coinductive Logic Programming [chapter]

Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta
<span title="">2006</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We describe the implementation of coinductive logic programming found in Logtalk, discussing its features and limitations.  ...  As Logtalk uses as a back-end compiler a compatible Prolog system, we discuss the status of key Prolog features for an efficient and usable implementation of coinduction.  ...  This work is partially supported by the LEAP project (PTDC/EIA-CCO/112158/2009), the ERDF/COMPETE Program and by FCT project FCOMP-01-0124-FEDER-022701.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11799573_25">doi:10.1007/11799573_25</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/y2kxgo26uvdzvpqp5w5kwyg7n4">fatcat:y2kxgo26uvdzvpqp5w5kwyg7n4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829070526/https://www.sics.se/~matsc/ICLP2012/CoLP-proceedings.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/00/a6/00a6e82471915131cf9e567c77e31e2c34a1a0ef.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11799573_25"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Imperative programs as proofs via game semantics

Martin Churchill, Jim Laird, Guy McCusker
<span title="">2013</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bnojym2hjzcgnpa4wixi2axhnq" style="color: black;">Annals of Pure and Applied Logic</a> </i> &nbsp;
In this paper we describe a logical counterpart to this extension, in which proofs denote such strategies.  ...  Game semantics extends the Curry-Howard isomorphism to a three-way correspondence: proofs, programs, strategies.  ...  ACKNOWLEDGMENTS The authors would like to thank Pierre Clairambault for useful discussion and anonymous reviewers for valuable comments. This work was supported by the (UK) EPSRC grant EP/HO23097.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.apal.2013.05.005">doi:10.1016/j.apal.2013.05.005</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/iu2drwfiqrdznnt7cundjrxiy4">fatcat:iu2drwfiqrdznnt7cundjrxiy4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190426184247/https://purehost.bath.ac.uk/ws/files/258406/CLM11.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/49/02/4902c229d7fa0be5b26217c8f14878a0137f267d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.apal.2013.05.005"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 216 results