1027 search results - page 126 / 206 » Representing and Reasoning with Operational Semantics |
108
click to vote
DLOG
1997
15 years 2 months ago
1997
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation formalized by means of plans...
114
click to vote
VEE
2006
ACM
15 years 6 months ago
2006
ACM
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...
136
click to vote
PEPM
2011
ACM
14 years 3 months ago
2011
ACM
Navigating through tree structures is a core operation in tree processing programs. Most notably, XML processing programs intensively use XPath, the path specification language t...
122
Voted
IJAR
2010
14 years 11 months ago
2010
Geospatial Reasoning has been an essential aspect of military planning since the invention of cartography. Although maps have always been a focal point for developing situational ...
102
click to vote
FLAIRS
2008
15 years 3 months ago
2008
Spatial or temporal reasoning is an important task for many applications in Artificial Intelligence, such as space scheduling, navigation of robots, etc. Several qualitative appro...