1588 search results - page 140 / 318 » Modular action language |
104
click to vote
ICALP
2003
Springer
15 years 8 months ago
2003
Springer
We provide an answer to an open question, posed by van Glabbeek [4], regarding the axiomatizability of ready trace semantics. We prove that if the alphabet of actions is finite, t...
117
click to vote
KI
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. Agents situated in proactive environments are acting autonomously while the environment is evolving alongside, whether or not the agents carry out any particular actions....
166
Voted
ACL
1997
15 years 5 months ago
1997
We present a knowledge and context-based system for parsing and translating natural language and evaluate it on sentences from the Wall Street Journal. Applying machine learning t...
106
Voted
IPL
2008
15 years 3 months ago
2008
This paper studies the equational theory of prebisimilarity, a bisimulation-based preorder introduced by Hennessy and Milner in the early 1980s, over basic CCS with the divergent ...
112
Voted
LISP
1998
15 years 3 months ago
1998
This paper describes a new language feature that is a hybrid of labels and procedures. It is closely related to jumping out of a functional subroutine, and includes conventional la...