Suchergebnisse - Coinductive Logic Programming*

Flexible coinductive logic programming

Autoren: Dagnino F. Ancona D. Zucca E.

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

Schlagwörter: 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)

Dateibeschreibung: application/pdf

Zugangs-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

Autoren: ANCONA, DAVIDE DAGNINO, FRANCESCO ZUCCA, ELENA

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

Schlagwörter: 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)

Zugangs-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

Autoren: ANCONA, DAVIDE Dovier, Agostino

Quelle: Fundamenta Informaticae. 140:221-246

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-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

Autoren: Dagnino, Francesco Ancona, Davide Zucca, Elena

Index Begriffe: 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

Autoren: ANCONA, DAVIDE ZUCCA, ELENA

Schlagwörter: corecursion, programming paradigms, regular terms

Zugangs-URL: https://hdl.handle.net/11567/488726

Coinductive Constraint Logic Programming

Autoren: Neda Saeedloei Gopal Gupta

Quelle: Lecture Notes in Computer Science ISBN: 9783642298219

Zugangs-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

Autoren: Gopal Gupta Ajay Bansal Richard Min

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

Zugangs-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

Autoren: Gopal Gupta Richard Min

Quelle: Lecture Notes in Computer Science ISBN: 9783642125911

Schlagwörter: 16. Peace & justice

Zugangs-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

Autoren: Paulo Moura

Quelle: Lecture Notes in Computer Science ISBN: 9783642452833

Zugangs-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

Autoren: Ajay Mallya Ajay Bansal Gopal Gupta et al.

Quelle: Lecture Notes in Computer Science ISBN: 9783540366355

Type Inference by Coinductive Logic Programming

Autoren: ANCONA, DAVIDE LAGORIO, GIOVANNI ZUCCA, ELENA

Quelle: Lecture Notes in Computer Science ISBN: 9783642024436

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Zugangs-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

Autoren: Ajay Mallya Gopal Gupta Richard Min et al.

Quelle: Lecture Notes in Computer Science ISBN: 9783540746089

Zugangs-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

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

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

Schlagwörter: Mathematical And Computer Sciences (General)

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

Zugangs-URL: https://ntrs.nasa.gov/citations/20080022204

coalgebraic derivations in logic programming

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

Weitere Verfasser: Komendantskaya, Ekaterina Power, John Bezem, M et al.

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

Schlagwörter: Lawvere theoriesm, concurrent logic programming, coinductive logic programming, SLD-resolution, concurrency, ddc:004, Logic programming, coinduction

Dateibeschreibung: application/pdf

Zugangs-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

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

Index Begriffe: 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)

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

Index Begriffe: 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

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

Weitere Verfasser: Brian W. Devries Gopal Gupta Kevin W. Hamlen et al.

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

Autoren: Davide Ancona Giovanni Lagorio Elena Zucca et al.

Weitere Verfasser: Davide Ancona Giovanni Lagorio Elena Zucca et al.

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

Schlagwörter: Type inference, coinduction, nominal and structural typing

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

Verfügbarkeit: 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

Autoren: Davide Ancona Giovanni Lagorio Elena Zucca et al.

Weitere Verfasser: Davide Ancona Giovanni Lagorio Elena Zucca et al.

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

Schlagwörter: Type inference, coinduction, nominal and structural typing

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

Verfügbarkeit: 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.

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

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