315 search results - page 41 / 63 » A Declarative Formalization of STRIPS |
171
click to vote
DSOM
2006
Springer
15 years 8 months ago
2006
Springer
Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. ...
157
click to vote
ICLP
1995
Springer
15 years 8 months ago
1995
Springer
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
130
click to vote
AAAI
2000
15 years 6 months ago
2000
The SharedPlans formalization of collaboration (Grosz and Kraus 1999) stipulates that collaborating agents must commit to certain decision-making processes, but it does not specif...
119
click to vote
GG
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Adaptive star grammars generalize well-known graph grammar formalisms based on hyperedge and node replacement while retaining, e.g., parseability and the commutativity an...
157
click to vote
ATAL
2011
Springer
14 years 5 months ago
2011
Springer
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...