Výsledky vyhledávání - coinductive logic programming

Flexible coinductive logic programming

Autoři: Dagnino F. Ancona D. Zucca E.

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

Témata: 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)

Popis souboru: application/pdf

Přístupová URL adresa: 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

Autoři: ANCONA, DAVIDE DAGNINO, FRANCESCO ZUCCA, ELENA

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

Témata: 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)

Přístupová URL adresa: 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

Autoři: ANCONA, DAVIDE Dovier, Agostino

Zdroj: Fundamenta Informaticae. 140:221-246

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: 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

Autoři: Dagnino, Francesco Ancona, Davide Zucca, Elena

Témata: 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

Autoři: ANCONA, DAVIDE ZUCCA, ELENA

Témata: corecursion, programming paradigms, regular terms

Přístupová URL adresa: https://hdl.handle.net/11567/488726

Coinductive Constraint Logic Programming

Autoři: Neda Saeedloei Gopal Gupta

Zdroj: Lecture Notes in Computer Science ISBN: 9783642298219

Přístupová URL adresa: 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

Autoři: Gopal Gupta Ajay Bansal Richard Min

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

Přístupová URL adresa: 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

Autoři: Gopal Gupta Richard Min

Zdroj: Lecture Notes in Computer Science ISBN: 9783642125911

Témata: 16. Peace & justice

Přístupová URL adresa: 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

Autoři: Paulo Moura

Zdroj: Lecture Notes in Computer Science ISBN: 9783642452833

Přístupová URL adresa: 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

Autoři: Ajay Mallya Ajay Bansal Gopal Gupta a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783540366355

Type Inference by Coinductive Logic Programming

Autoři: ANCONA, DAVIDE LAGORIO, GIOVANNI ZUCCA, ELENA

Zdroj: Lecture Notes in Computer Science ISBN: 9783642024436

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Přístupová URL adresa: 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

Autoři: Ajay Mallya Gopal Gupta Richard Min a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783540746089

Přístupová URL adresa: 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

Autoři: Bansal, Ajay Min, Richard Simon, Luke a další

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

Témata: Mathematical And Computer Sciences (General)

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

Přístupová URL adresa: https://ntrs.nasa.gov/citations/20080022204

coalgebraic derivations in logic programming

Autoři: Komendantskaya, Ekaterina Power, John Bezem, M a další

Přispěvatelé: Komendantskaya, Ekaterina Power, John Bezem, M a další

Zdroj: 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

Témata: Lawvere theoriesm, concurrent logic programming, coinductive logic programming, SLD-resolution, concurrency, ddc:004, Logic programming, coinduction

Popis souboru: application/pdf

Přístupová URL adresa: 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

Autoři: Lierler, Yuliya Morales, Jose F. Dodaro, Carmine a další

Témata: 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)

Autoři: Formisano, Andrea Liu, Yanhong Annie Bogaerts, Bart a další

Témata: 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

Autoři: Brian W. Devries Gopal Gupta Kevin W. Hamlen a další

Přispěvatelé: Brian W. Devries Gopal Gupta Kevin W. Hamlen a další

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

Témata: 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

Popis souboru: application/pdf

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

Dostupnost: 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

Autoři: Davide Ancona Giovanni Lagorio Elena Zucca a další

Přispěvatelé: Davide Ancona Giovanni Lagorio Elena Zucca a další

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

Témata: Type inference, coinduction, nominal and structural typing

Popis souboru: 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

Dostupnost: 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

Autoři: Davide Ancona Giovanni Lagorio Elena Zucca a další

Přispěvatelé: Davide Ancona Giovanni Lagorio Elena Zucca a další

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

Témata: Type inference, coinduction, nominal and structural typing

Popis souboru: 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

Dostupnost: 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.

Autoři: Hutchison, David Kanade, Takeo Kittler, Josef a další

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