183 search results - page 33 / 37 » Exemplaric Expressivity of Modal Logics |
TABLEAUX
2000
Springer
14 years 1 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
ISSTA
2004
ACM
14 years 3 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...
AMAST
1997
Springer
14 years 1 months ago
1997
Springer
A symbolic semantics for Full LOTOS in terms of symbolic transition systems is de ned, following the approach taken for message passing CCS in HL95a], altered to take account of th...
PUC
2002
13 years 9 months ago
2002
: Constructing stories is a type of playing that involves mobilizing the storyteller's imagination and finding original ways to convey narrative intentions. When a child inven...