909 search results - page 58 / 182 » Temporal Logic Case Study |
ECIS
2004
13 years 10 months ago
2004
The term business model has been used loosely several times for describing a company's strategies, revenue model, processes and overall business logic both by researchers and...
AAAI
1996
13 years 10 months ago
1996
Conditional logics play an important role in recent attempts to investigate default reasoning. This paper investigates firstorder conditional logic. We show that, as for first-ord...
VG
2001
13 years 10 months ago
2001
The proper usage and creation of transfer functions for time-varying data sets is an often ignored problem in volume visualization. Although methods and guidelines exist for time-i...
AMAI
2006
Springer
13 years 9 months ago
2006
Springer
This paper proposes a formalization in COQ of common knowledge logic and checks its adequacy on case studies. This exercise allows exploring experimentally the proof-theoretic sid...
MLQ
2000
13 years 8 months ago
2000
: Each information system (or data table) leads to a hierarchy of binary relations on the object set in a natural way; these relational systems can serve as frames for the semantic...