Výsledky vyhľadávania - "Logic Programming General Terms Algorithms"

Policy expressivity in the Anzere personal cloud

Autori: Oriana Riva Qin Yin Dejan Juric a ďalší

Prispievatelia: Oriana Riva Qin Yin Dejan Juric a ďalší

Zdroj: http://people.inf.ethz.ch/troscoe/pubs/socc11-anzere.pdf.

Predmety: Categories and Subject Descriptors C.2.4 [Computer-Communication Networks, Dis- tributed Systems, D.1.6 [Software, Programming Tech- niques—Logic Programming General Terms Algorithms, Design, Experimentation Keywords Replication systems, overlay networks, cloud computing, mobile

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.648.1872
http://people.inf.ethz.ch/troscoe/pubs/socc11-anzere.pdf

Strictly declarative specification of sophisticated points-to analyses

Autori: Martin Bravenboer Yannis Smaragdakis The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Martin Bravenboer Yannis Smaragdakis The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.washington.edu/education/courses/cse503/10wi/readings/p243-bravenboer.pdf.

Predmety: Categories and Subject Descriptors F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program Analysis, D.1.6 [Programming Techniques, Logic Programming General Terms Algorithms, Languages, Performance

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.358.7667
http://www.cs.washington.edu/education/courses/cse503/10wi/readings/p243-bravenboer.pdf

Goal-Directed Execution of Answer Set Programs

Autori: Kyle Marple Ajay Bansal Gopal Gupta a ďalší

Prispievatelia: Kyle Marple Ajay Bansal Gopal Gupta a ďalší

Zdroj: http://www.utdallas.edu/%7Ekbm072000/galliwasp/publications/goaldir.pdf.

Predmety: Categories and Subject Descriptors D.1.6 [Programming Techniques, Logic Programming General Terms Algorithms Keywords Answer set programming

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.261.1248; http://www.utdallas.edu/%7Ekbm072000/galliwasp/publications/goaldir.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.261.1248
http://www.utdallas.edu/%7Ekbm072000/galliwasp/publications/goaldir.pdf

Optimizing Existential Queries in Stratifiable Deductive Databases

Autori: Andreas Behrend The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Andreas Behrend The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.iai.uni-bonn.de/%7Ebehrend/sac05.pdf.

Predmety: D.1.6 [Programming Techniques, Logic Programming General Terms Algorithms, Performance, Theory Keywords Existential Query, Recursion, Magic Sets, Datalog

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.228.9708
http://www.iai.uni-bonn.de/%7Ebehrend/sac05.pdf

Learning from Human Teachers: Issues and Challenges for ILP in Bootstrap Learning

Autori: Sriraam Natarajan Gautam Kunapuli Richard Maclin a ďalší

Prispievatelia: Sriraam Natarajan Gautam Kunapuli Richard Maclin a ďalší

Zdroj: http://www.d.umn.edu/%7Ermaclin/publications/natarajan-aamas10.pdf.

Predmety: Categories and Subject Descriptors I.2.3 [Artificial Intelligence, Deduction and Theorem Proving – logic programming. General Terms Algorithms, Design, Reliability, Experimentation, Human Factors. Keywords inductive logic programming

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.1993
http://www.d.umn.edu/%7Ermaclin/publications/natarajan-aamas10.pdf