Search Results - programming (tech OR techn)- niques—logic programming general terms algorithms

Policy expressivity in the Anzere personal cloud

Authors: Oriana Riva Qin Yin Dejan Juric et al.

Contributors: Oriana Riva Qin Yin Dejan Juric et al.

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

Subject Terms: 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

File Description: application/pdf

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

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

Automated Termination Proofs for Logic Programs by Term Rewriting.

Authors: Schneider-Kamp, Peter Giesl, Jürgen Serebrenik, Alexander et al.

Source: ACM Transactions on Computational Logic; Oct2009, Vol. 11 Issue 1, p2-2:52, 52p, 4 Charts

Subject Terms: REWRITING systems (Computer science), COMPUTER software termination, LOGIC programming, MATHEMATICAL transformations, INFINITY (Mathematics)

Annotated Probabilistic Temporal Logic.

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

Subject Terms: LOGIC programming, DISTRIBUTION (Probability theory), ARTIFICIAL intelligence, ALGORITHMS, LINEAR programming, COMPUTATIONAL complexity, SET theory, MATHEMATICAL formulas

The myth of the one true logic.

Authors: Brachman, Ronald J.

Source: Computational Intelligence; Feb1987, Vol. 3 Issue 1, p168-172, 5p

HR

Authors: Angelo DeNisi Ricky Griffin

Resource Type: eBook.

Categories: BUSINESS & ECONOMICS / General