Search Results - Coinductive Logic Programming

Flexible coinductive logic programming

Authors: Dagnino F. Ancona D. Zucca E.

Source: Theory and Practice of Logic Programming. 20:818-833

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, coinduction, completeness, declarative semantics, operational semantics, soundness, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, Programming Languages (cs.PL), Logic in Computer Science (cs.LO)

File Description: application/pdf

Access URL: http://arxiv.org/pdf/2008.02140
http://arxiv.org/abs/2008.02140
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/436B47F7562DCC991E3F0D67E6DEBC1D/S147106842000023Xa.pdf/div-class-title-flexible-coinductive-logic-programming-div.pdf
https://arxiv.org/abs/2008.02140
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/flexible-coinductive-logic-programming/436B47F7562DCC991E3F0D67E6DEBC1D
https://dblp.uni-trier.de/db/journals/corr/corr2008.html#abs-2008-02140
https://arxiv.org/pdf/2008.02140
http://ui.adsabs.harvard.edu/abs/2020arXiv200802140D/abstract
https://arxiv.org/abs/2008.02140v1
https://arxiv.org/pdf/2008.02140.pdf
https://hdl.handle.net/11567/1035237
https://doi.org/10.1017/S147106842000023X

Extending Coinductive Logic Programming with Co-Facts

Authors: ANCONA, DAVIDE DAGNINO, FRANCESCO ZUCCA, ELENA

Source: Electronic Proceedings in Theoretical Computer Science, Vol 258, Iss Proc. CoALP-Ty 2016, Pp 1-18 (2017)

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, QA75.5-76.95, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), Electronic computers. Computer science, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, Software, Mathematics, Programming Languages (cs.PL)

Access URL: https://arxiv.org/pdf/1709.04901
http://arxiv.org/abs/1709.04901
https://doaj.org/article/9875ac94ea1849ac897ff921cef2f411
https://arxiv.org/pdf/1709.04901.pdf
https://ui.adsabs.harvard.edu/abs/2017arXiv170904901A/abstract
https://arxiv.org/abs/1709.04901

A Theoretical Perspective of Coinductive Logic Programming

Authors: ANCONA, DAVIDE Dovier, Agostino

Source: Fundamenta Informaticae. 140:221-246

Subject Terms: 2. Zero hunger, Coinduction, Denotational Semantics, Foundations of Logic Programming, Information Systems, Computational Theory and Mathematics, Theoretical Computer Science, Algebra and Number Theory, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

File Description: application/pdf

Access URL: https://www.infona.pl/resource/bwmeta1.element.baztech-c645d091-78a1-438c-a68c-9297aa99a34c
https://iris.unige.it/handle/11567/824554?mode=full.1
https://content.iospress.com/articles/fundamenta-informaticae/fi1252
https://dblp.uni-trier.de/db/journals/fuin/fuin140.html#AnconaD15
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.baztech-c645d091-78a1-438c-a68c-9297aa99a34c
https://www.dimi.uniud.it/dovier/PAPERS/FUIN15rid.pdf
https://hdl.handle.net/11390/1070102
https://doi.org/10.3233/FI-2015-1252
https://hdl.handle.net/11567/824554
https://doi.org/10.3233/FI-2015-1252

Flexible coinductive logic programming

Authors: Dagnino, Francesco Ancona, Davide Zucca, Elena

Index Terms: Computer Science - Programming Languages, Computer Science - Logic in Computer Science, text

URL: http://arxiv.org/abs/2008.02140

Translating Corecursive Featherweight Java in Coinductive Logic Programming

Authors: ANCONA, DAVIDE ZUCCA, ELENA

Subject Terms: corecursion, programming paradigms, regular terms

Access URL: https://hdl.handle.net/11567/488726

Coinductive Constraint Logic Programming

Authors: Neda Saeedloei Gopal Gupta

Source: Lecture Notes in Computer Science ISBN: 9783642298219

Access URL: http://www.utdallas.edu/%7Egupta/flops2012.pdf
http://www.utdallas.edu/~gupta/flops2012.pdf
https://core.ac.uk/display/21834007
https://link.springer.com/chapter/10.1007/978-3-642-29822-6_20
https://rd.springer.com/chapter/10.1007/978-3-642-29822-6_20
https://dl.acm.org/doi/10.1007/978-3-642-29822-6_20
https://doi.org/10.1007/978-3-642-29822-6_20

Towards Predicate Answer Set Programming via Coinductive Logic Programming

Authors: Gopal Gupta Ajay Bansal Richard Min

Source: IFIP Advances in Information and Communication Technology ISBN: 9781441902207

Access URL: https://link.springer.com/content/pdf/10.1007%2F978-1-4419-0221-4_58.pdf
https://link.springer.com/chapter/10.1007%2F978-1-4419-0221-4_58
https://dblp.uni-trier.de/db/conf/ifip12/aiai2009.html#MinBG09
https://doi.org/10.1007/978-1-4419-0221-4_58
https://rd.springer.com/chapter/10.1007/978-1-4419-0221-4_58
https://asu.pure.elsevier.com/en/publications/towards-predicate-answer-set-programming-via-coinductive-logic-pr

Coinductive Logic Programming with Negation

Authors: Gopal Gupta Richard Min

Source: Lecture Notes in Computer Science ISBN: 9783642125911

Subject Terms: 16. Peace & justice

Access URL: https://rd.springer.com/chapter/10.1007/978-3-642-12592-8_8
https://link.springer.com/chapter/10.1007%2F978-3-642-12592-8_8
https://dblp.uni-trier.de/db/conf/lopstr/lopstr2009.html#MinG09
https://link.springer.com/10.1007/978-3-642-12592-8_8
http://ui.adsabs.harvard.edu/abs/2010LNCS.6037...97M/abstract

A Portable and Efficient Implementation of Coinductive Logic Programming

Authors: Paulo Moura

Source: Lecture Notes in Computer Science ISBN: 9783642452833

Access URL: http://repositorio.inesctec.pt/bitstreams/2e2b4010-63a3-4c66-b46f-af764daa6e7e/download
https://rd.springer.com/chapter/10.1007/978-3-642-45284-0_6
https://dblp.uni-trier.de/db/conf/padl/padl2013.html#Moura13
https://link.springer.com/content/pdf/10.1007%2F978-3-642-45284-0_6.pdf
https://link.springer.com/chapter/10.1007%2F978-3-642-45284-0_6

Coinductive Logic Programming

Authors: Ajay Mallya Ajay Bansal Gopal Gupta et al.

Source: Lecture Notes in Computer Science ISBN: 9783540366355

Type Inference by Coinductive Logic Programming

Authors: ANCONA, DAVIDE LAGORIO, GIOVANNI ZUCCA, ELENA

Source: Lecture Notes in Computer Science ISBN: 9783642024436

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Access URL: http://www.disi.unige.it/person/LagorioG/papers/ALZ08Types.pdf
https://rd.springer.com/chapter/10.1007/978-3-642-02444-3_1
https://link.springer.com/content/pdf/10.1007%2F978-3-642-02444-3_1.pdf
https://www.disi.unige.it/person/LagorioG/papers/ALZ08Types.pdf
https://link.springer.com/chapter/10.1007/978-3-642-02444-3_1
https://dblp.uni-trier.de/db/conf/types/types2008.html#AnconaLZ08
https://core.ac.uk/display/21079499
https://hdl.handle.net/11567/259205

Coinductive Logic Programming and Its Applications

Authors: Ajay Mallya Gopal Gupta Richard Min et al.

Source: Lecture Notes in Computer Science ISBN: 9783540746089

Access URL: https://link.springer.com/chapter/10.1007%2F978-3-540-74610-2_4
https://asu.pure.elsevier.com/en/publications/coinductive-logic-programming-and-its-applications
https://link.springer.com/content/pdf/10.1007%2F978-3-540-74610-2_4.pdf
http://www.utdallas.edu/~gupta/iclp07.pdf
https://rd.springer.com/chapter/10.1007/978-3-540-74610-2_4
https://dblp.uni-trier.de/db/conf/iclp/iclp2007.html#GuptaBMSM07

Verification and Planning Based on Coinductive Logic Programming

Authors: Bansal, Ajay Min, Richard Simon, Luke et al.

Source: Proceedings of the Sixth NASA Langley Formal Methods Workshop.

Subject Terms: Mathematical And Computer Sciences (General)

Relation: Proceedings of the Sixth NASA Langley Formal Methods (LFM) Workshop

Access URL: https://ntrs.nasa.gov/citations/20080022204

coalgebraic derivations in logic programming

Authors: Komendantskaya, Ekaterina Power, John Bezem, M et al.

Contributors: Komendantskaya, Ekaterina Power, John Bezem, M et al.

Source: Komendantskaya, E & Power, J 2011, Coalgebraic Derivations in Logic Programming . in M Bezem (ed.), Computer Science Logic (CSL'11)-25th International Workshop/20th Annual Conference of the EACSL . Leibniz International Proceedings in Informatics (LIPIcs), Leibniz International Proceedings in Informatics, Dagstuhl, Germany, pp. 352-366 . https://doi.org/10.4230/LIPIcs.CSL.2011.352

Subject Terms: Lawvere theoriesm, concurrent logic programming, coinductive logic programming, SLD-resolution, concurrency, ddc:004, Logic programming, coinduction

File Description: application/pdf

Access URL: http://opus.bath.ac.uk/26434/1/Power_CSL_2011.pdf
https://researchportal.bath.ac.uk/en/publications/coalgebraic-derivations-in-logic-programming
https://drops.dagstuhl.de/opus/volltexte/2011/3242/
https://drops.dagstuhl.de/opus/volltexte/2011/3242/pdf/29.pdf
https://purehost.bath.ac.uk/ws/files/231911/Power_CSL_2011.pdf
https://dblp.uni-trier.de/db/conf/csl/csl2011.html#KomendantskayaP11
https://purehost.bath.ac.uk/ws/files/231911/Power_CSL_2011.pdf
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2011.352

Proceedings 38th International Conference on Logic Programming

Authors: Lierler, Yuliya Morales, Jose F. Dodaro, Carmine et al.

Index Terms: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, text

URL: http://arxiv.org/abs/2208.02685

Proceedings 37th International Conference on Logic Programming (Technical Communications)

Authors: Formisano, Andrea Liu, Yanhong Annie Bogaerts, Bart et al.

Index Terms: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, text

URL: http://arxiv.org/abs/2109.07914

ActionScript bytecode verification with co-logic programming

Authors: Brian W. Devries Gopal Gupta Kevin W. Hamlen et al.

Contributors: Brian W. Devries Gopal Gupta Kevin W. Hamlen et al.

Source: http://www.utdallas.edu/~kxh060100/plas09-devries.pdf.

Subject Terms: Categories and Subject Descriptors D.2.4 [Programming Languages, Software/Program Verification, D.4.6 [Operating Systems, Security and Protection—access controls, D.3.2 [Programming Languages, Language Classifications— constraint and logic languages General Terms Languages, Security Keywords ActionScript, Verification, Coinductive Logic Programming, Model Checking, In-lined Reference Monitoring

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.376.2643

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.376.2643
http://www.utdallas.edu/~kxh060100/plas09-devries.pdf

Type Inference by Coinductive Logic Programming

Authors: Davide Ancona Giovanni Lagorio Elena Zucca et al.

Contributors: Davide Ancona Giovanni Lagorio Elena Zucca et al.

Source: http://www.disi.unige.it/person/LagorioG/papers/types_springer.pdf.

Subject Terms: Type inference, coinduction, nominal and structural typing

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.4781; http://www.disi.unige.it/person/LagorioG/papers/types_springer.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.4781
http://www.disi.unige.it/person/LagorioG/papers/types_springer.pdf

Type inference by coinductive logic programming

Authors: Davide Ancona Giovanni Lagorio Elena Zucca et al.

Contributors: Davide Ancona Giovanni Lagorio Elena Zucca et al.

Source: http://www.disi.unige.it/person/LagorioG/papers/ALZ08Types.pdf.

Subject Terms: Type inference, coinduction, nominal and structural typing

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.4038; http://www.disi.unige.it/person/LagorioG/papers/ALZ08Types.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.4038
http://www.disi.unige.it/person/LagorioG/papers/ALZ08Types.pdf

Coinductive Logic Programming and Its Applications.

Authors: Hutchison, David Kanade, Takeo Kittler, Josef et al.

Source: Logic Programming (9783540746089); 2007, p27-44, 18p