217 search results - page 13 / 44 » Logical Formal Description of Expert Systems |
137
Voted
CADE
2007
Springer
16 years 4 months ago
2007
Springer
In this paper, a proof assistant, called SAD, is presented. SAD deals with mathematical texts that are formalized in the ForTheL language (brief description of which is also given)...
132
click to vote
LOGCOM
2006
15 years 4 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known that various hybrid logics without binders are decidable, but decision p...
141
Voted
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...
151
Voted
SIGPLAN
2002
15 years 4 months ago
2002
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
155
click to vote
BIRTHDAY
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...