8337 search results - page 400 / 1668 » Reasoning With Characteristic Models |
176
click to vote
BIBE
2007
IEEE
16 years 1 months ago
2007
IEEE
—This paper presents a study of possible extensions of Pathway Logic to represent and reason about semiquantitative and probabilistic aspects of biological processes. The underly...
166
click to vote
LICS
2006
IEEE
16 years 26 days ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
189
click to vote
LPAR
2005
Springer
16 years 10 days ago
2005
Springer
ECKING ABSTRACT STATE MACHINES WITH ANSWER SET PROGRAMMING by Calvin Kai Fan Tang B.Sc., Simon Fraser University, 2003 a thesis submitted in partial fulfillment of the requirements...
150
click to vote
ISMVL
2003
IEEE
16 years 3 days ago
2003
IEEE
In earlier work [9], we defined CTL model-checking over finite-valued logics with De Morgan negation. In this paper, we extend this work to logics with intuitionistic, Galois an...
214
click to vote
AH
2006
Springer
15 years 10 months ago
2006
Springer
Interactive Digital TV (IDTV) opens new learning possibilities where new forms of education are needed. In this paper we explain a new conception of t-learning experiences where TV...