215 search results - page 36 / 43 » Connecting a Logical Framework to a First-Order Logic Prover |
123
click to vote
ECOWS
2007
Springer
15 years 3 months ago
2007
Springer
Web services are self-contained, modular units of application logic which provide business functionality to other applications via Internet connections. Several models have been u...
111
click to vote
MKWI
2008
15 years 1 months ago
2008
: Matchmaking between offers and requests is an essential mechanism in electronic market places. Description Logics have been proposed as a appropriate framework for representing o...
126
click to vote
LICS
2006
IEEE
15 years 5 months ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...
123
click to vote
TACAS
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...
CSFW
2002
IEEE
15 years 4 months ago
2002
IEEE
We introduce a general framework for reasoning about secrecy requirements in multiagent systems. Because secrecy requirements are closely connected with the knowledge of individua...