3207 search results - page 229 / 642 » A Semantics for HTN Methods |
166
click to vote
FLAIRS
2007
15 years 6 months ago
2007
This work addresses the issue of prioritized reasoning in the context of logic programming. The case of preference conditions involving atoms is considered and a refinement of th...
131
click to vote
ASM
2008
ASM
15 years 6 months ago
2008
ASM
Event-B is a formal modelling method which is claimed to be suitable for diverse modelling domains, such as reactive systems and sequential program development. This claim hinges o...
186
click to vote
KR
2010
Springer
15 years 6 months ago
2010
Springer
Existing action calculi provide rich, declarative formalisms for reasoning about actions. BDI-based programming languages like AgentSpeak, on the other hand, are procedural and ge...
138
click to vote
BDA
2007
15 years 5 months ago
2007
We present Pattern-by-Example (PBE), a graphical language that allows users with little or no knowledge of pattern-matching and functional programming to define complex and optim...
131
click to vote
CORIA
2007
15 years 5 months ago
2007
ABSTRACT. In the framework of the LegDoc project at Xerox Research Centre Europe, we are developing components for the semantic annotation of semi-structured documents. While certa...