1814 search results - page 66 / 363 » Extended First-Order Logic |
72
Voted
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
—In a previous paper [4], we described an approach to improve the performance of the M/M/2 system by replacing its homogeneous servers with heterogeneous servers. Denoting by β ...
130
Voted
FM
2003
Springer
15 years 6 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
109
Voted
FOIS
2006
15 years 2 months ago
2006
In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theor...
106
click to vote
AICOM
2010
15 years 29 days ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
118
Voted
ICMLA
2010
14 years 10 months ago
2010
Abstract--In the Relational Reinforcement learning framework, we propose an algorithm that learns an action model allowing to predict the resulting state of each action in any give...