1027 search results - page 66 / 206 » Representing and Reasoning with Operational Semantics |
BIRTHDAY
2006
Springer
15 years 4 months ago
2006
Springer
The Semantic Web (SW) is viewed as the next generation of the Web that enables intelligent software agents to process and aggregate data autonomously. Ontology languages provide ba...
105
click to vote
CHI
2007
ACM
16 years 1 months ago
2007
ACM
Retrieving the stylus of a pen-based device takes time and requires a second hand. Especially for short intermittent interactions many users therefore choose to use their bare fin...
96
Voted
JAIR
2010
14 years 11 months ago
2010
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other...
LICS
2002
IEEE
15 years 6 months ago
2002
IEEE
We study the comparison of dynamic semantics (games, dealing with interactions) with static semantics (dealing with results of interactions), in the spirit of Timeless Games [2]. ...
109
click to vote
LICS
2006
IEEE
15 years 7 months ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...