Suchergebnisse - "coinductive logic programming"

  • Treffer 1 - 4 von 4
Treffer weiter einschränken
  1. 1

    Coalgebraic Derivations in Logic Programming

    Autoren: Komendantskaya, Ekaterina Power, John Ekaterina Komendantskaya and John Power

    Weitere Verfasser: Komendantskaya, Ekaterina Power, John Ekaterina Komendantskaya and John Power

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

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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  2. 2

    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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  3. 3

    Coalgebraic Derivations in Logic Programming ∗

    Autoren: Ekaterina Komendantskaya John Power The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Ekaterina Komendantskaya John Power The Pennsylvania State University CiteSeerX Archives

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

    Schlagwörter: SLD-resolution, coalgebra, Lawvere theories, coinductive logic programming, concurrent logic programming Digital Object Identifier 10.4230/LIPIcs.CSL.2011.352

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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  4. 4

    Goal-Directed Execution of Answer Set Programs

    Autoren: Ajay Bansal Richard Min Gopal Gupta et al.

    Weitere Verfasser: Ajay Bansal Richard Min Gopal Gupta et al.

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

    Schlagwörter: Coinduction, Coinductive Logic Programming, Answer Set Programming

    Dateibeschreibung: application/pdf

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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten

Suchwerkzeuge: