Výsledky vyhledávání - "Logic Programming General Terms Algorithms"

Policy expressivity in the Anzere personal cloud

Autoři: Oriana Riva Qin Yin Dejan Juric a další

Přispěvatelé: Oriana Riva Qin Yin Dejan Juric a další

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

Témata: 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 souboru: application/pdf

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

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

Autoři: Martin Bravenboer Yannis Smaragdakis The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Martin Bravenboer Yannis Smaragdakis The Pennsylvania State University CiteSeerX Archives

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

Témata: 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 souboru: application/pdf

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

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

Autoři: Kyle Marple Ajay Bansal Gopal Gupta a další

Přispěvatelé: Kyle Marple Ajay Bansal Gopal Gupta a další

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

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

Popis souboru: 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

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

Autoři: Andreas Behrend The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Andreas Behrend The Pennsylvania State University CiteSeerX Archives

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

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

Popis souboru: application/pdf

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

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

Autoři: Sriraam Natarajan Gautam Kunapuli Richard Maclin a další

Přispěvatelé: Sriraam Natarajan Gautam Kunapuli Richard Maclin a další

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

Témata: 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 souboru: application/pdf

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

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

Software Engineering Approach in the Design and Development of the Industrial Automation Systems.

Autoři: Salihbegovic, Adnan Cico, Zoran Marinkovic, Vlatko a další

Zdroj: ICSE: International Conference on Software Engineering; 2008, p15-22, 8p, 1 Color Photograph, 9 Diagrams

Témata: AUTOMATION, SOFTWARE engineering, UNIFIED modeling language, COMPUTER software, COMPUTER architecture

Terminating Evaluation of Logic Programs with Finite Three-Valued Models.

Autoři: RIGUZZI, FABRIZIO SWIFT, TERRANCE

Zdroj: ACM Transactions on Computational Logic; Jul2014, Vol. 15 Issue 4, p1-38, 38p

Témata: LOGIC programming, MATHEMATICAL models, MATHEMATICAL functions, SEARCH algorithms, MATHEMATICAL programming

Annotated Probabilistic Temporal Logic.

Zdroj: ACM Transactions on Computational Logic; Jan2011, Vol. 12 Issue 2, p14-14:44, 44p

Témata: LOGIC programming, DISTRIBUTION (Probability theory), ARTIFICIAL intelligence, ALGORITHMS, LINEAR programming, COMPUTATIONAL complexity, SET theory, MATHEMATICAL formulas

Decidability Results for Sets with Atoms.

Autoři: Dovier, Agostino Andrea Formisano Omodeo, Eugenio G.

Zdroj: ACM Transactions on Computational Logic; Apr2006, Vol. 7 Issue 2, p269-301, 33p

Témata: SET theory, QUANTIFIERS (Linguistics), ALGORITHMS, MATHEMATICS, LOGIC programming, AXIOMS