Výsledky vyhledávání - "Coinductive Logic Programming"

Coalgebraic Derivations in Logic Programming

Autoři: Komendantskaya, Ekaterina Power, John Ekaterina Komendantskaya and John Power

Přispěvatelé: Komendantskaya, Ekaterina Power, John Ekaterina Komendantskaya and John Power

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

Popis souboru: application/pdf

Relation: Is Part Of LIPIcs, Volume 12, Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL (2011); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2011.352

Dostupnost: https://doi.org/10.4230/LIPIcs.CSL.2011.352
https://nbn-resolving.org/urn:nbn:de:0030-drops-32424
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2011.352

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

Coalgebraic Derivations in Logic Programming ∗

Autoři: Ekaterina Komendantskaya John Power The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Ekaterina Komendantskaya John Power The Pennsylvania State University CiteSeerX Archives

Zdroj: http://drops.dagstuhl.de/opus/volltexte/2011/3242/pdf/29.pdf.

Témata: SLD-resolution, coalgebra, Lawvere theories, coinductive logic programming, concurrent logic programming Digital Object Identifier 10.4230/LIPIcs.CSL.2011.352

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.402.408; http://drops.dagstuhl.de/opus/volltexte/2011/3242/pdf/29.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.402.408
http://drops.dagstuhl.de/opus/volltexte/2011/3242/pdf/29.pdf

Goal-Directed Execution of Answer Set Programs

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

Přispěvatelé: Ajay Bansal Richard Min Gopal Gupta a další

Zdroj: http://www.utdallas.edu/~rkm010300/research/ETAPS2008.pdf.

Témata: Coinduction, Coinductive Logic Programming, Answer Set Programming

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.4607; http://www.utdallas.edu/~rkm010300/research/ETAPS2008.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.4607
http://www.utdallas.edu/~rkm010300/research/ETAPS2008.pdf