1536 search results - page 154 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
AIIA
2007
Springer
14 years 11 months ago
2007
Springer
Abstract. The paper discusses a distributed approach for monitoring and diagnosing the execution of a plan where concurrent actions are performed by a team of cooperating agents. T...
176
click to vote
ICLP
2009
Springer
15 years 10 months ago
2009
Springer
Probabilistic logic programs (PLPs) define a set of probability distribution functions (PDFs) over the set of all Herbrand interpretations of the underlying logical language. When...
LICS
2007
IEEE
15 years 4 months ago
2007
IEEE
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...
SIGIR
2004
ACM
15 years 3 months ago
2004
ACM
Protein secondary structure prediction is an important step towards understanding the relation between protein sequence and structure. However, most current prediction methods use...
105
click to vote
CONCUR
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...