369 search results - page 4 / 74 » Symbolic Semantics Revisited |
ENTCS
2002
13 years 5 months ago
2002
In this paper, we revisit the forward and backward approaches to the verification of extensions of infinite state Petri Nets. As contributions, we propose an efficient data struct...
SEMWIKI
2008
13 years 7 months ago
2008
Abstract. We present semantic markup as a way to exploit the semantics of mathematics in a wiki. Semantic markup makes mathematical knowledge machine-processable and thus allows fo...
DLOG
2007
13 years 8 months ago
2007
Distributed Description Logics (DDLs) is a KR formalism that enables reasoning with multiple ontologies interconnected by directional semantic mapping (bridge rules). DDLs capture ...
FSTTCS
2006
Springer
13 years 9 months ago
2006
Springer
We refine previous analyses of Hyland-Ong game semantics and its relation to - and
ECAI
2010
Springer
13 years 3 months ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...