6355 search results - page 166 / 1271 » From Logic to Games |
172
click to vote
JUCS
2006
15 years 6 months ago
2006
: In this paper we describe a technique for monitoring and checking temporal logic assertions augmented with real-time and time-series constraints, or Metric Temporal Logic Series ...
194
click to vote
APIN
2000
15 years 6 months ago
2000
Defeasible logic is a system of reasoning in which rules have exceptions, and when rules conflict, the one that applies most specifically to the situation wins out. This paper repo...
150
click to vote
ECSQARU
2007
Springer
16 years 20 days ago
2007
Springer
Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics as an extension o...
225
click to vote
JELIA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
120
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Leveraging conventional microsystems technology, MEMS has become the technology of choice for a wide range of applications including inertial sensors for automotive, games, and co...