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

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

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 Logic Programming

Authors: Ajay Mallya Ajay Bansal Gopal Gupta et al.

Source: Lecture Notes in Computer Science ISBN: 9783540366355

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

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

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

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

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

A Theoretical Perspective of Coinductive Logic Programming

Authors: Ancona, D. Dovier, A.

Source: Fundamenta Informaticae.

Subject Terms: logic programming, denotational semantics, coinduction

Access URL: http://yadda.icm.edu.pl/baztech/element/bwmeta1.element.baztech-c645d091-78a1-438c-a68c-9297aa99a34c

Coinductive Logic Programming.

Authors: Etalle, Sandro Truszczyński, Mirosław Simon, Luke et al.

Source: Logic Programming (9783540366355); 2006, p330-345, 16p

Coinductive Logic Programming and Its Applications.

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

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

Coinductive Logic Programming with Negation.

Authors: Min, Richard Gupta, Gopal

Source: Logic-based Program Synthesis & Transformation (9783642125911); 2010, p97-112, 16p

Towards Predicate Answer Set Programming via Coinductive Logic Programming.

Authors: Min, Richard Bansal, Ajay Gupta, Gopal

Source: Artificial Intelligence Applications & Innovations III; 2009, p499-508, 10p

Towards Predicate Answer Set Programming via Coinductive Logic Programming

Authors: Richard Min Ajay Bansal Gopal Gupta et al.

Contributors: Richard Min Ajay Bansal Gopal Gupta et al.

Source: http://dl.ifip.org/db/conf/ifip12/aiai2009/MinBG09.pdf.

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1077.4439; http://dl.ifip.org/db/conf/ifip12/aiai2009/MinBG09.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1077.4439
http://dl.ifip.org/db/conf/ifip12/aiai2009/MinBG09.pdf