1907 search results - page 367 / 382 » Visualizing Action Semantics |
119
Voted
AI
2004
Springer
15 years 2 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
127
Voted
KER
2007
15 years 2 months ago
2007
AI planning solves the problem of generating a correct and efficient ordered set of instantiated activities, from a knowledge base of generic actions, which when executed will tra...
132
Voted
JCS
2002
15 years 1 months ago
2002
STATL is an extensible state/transition-based attack description language designed to support intrusion detection. The language allows one to describe computer penetrations as seq...
138
Voted
IFM
2010
Springer
15 years 21 days ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
122
click to vote
JOCN
2010
15 years 19 days ago
2010
■ Knowledge about cause and effect relationships (e.g., virus– epidemic) is essential for predicting changes in the environment and for anticipating the consequences of events...