3207 search results - page 325 / 642 » A Semantics for HTN Methods |
126
click to vote
FSTTCS
2006
Springer
15 years 8 months ago
2006
Springer
Structured Operational Semantics (SOS) is a popular method for defining semantics by means of deduction rules. An important feature of deduction rules, or simply SOS rules, are neg...
166
click to vote
3DIM
2003
IEEE
15 years 8 months ago
2003
IEEE
Precise digital 3D models of indoor environments are needed in several applications, e.g., facility management, architecture, rescue and inspection robotics. This paper presents a...
131
click to vote
ER
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. This paper presents techniques for reverse engineering of relational database applications. The target of such an effort is the definition of a fully equipped object-orie...
125
click to vote
AAAI
2008
15 years 7 months ago
2008
Action languages allow to formally represent and reason about actions in a highly declarative manner. In recent work, revision and management of conflicts for domain descriptions ...
145
click to vote
ACL
2008
15 years 6 months ago
2008
We present a novel framework for the discovery and representation of general semantic relationships that hold between lexical items. We propose that each such relationship can be ...