315 search results - page 41 / 63 » A Declarative Formalization of STRIPS |
129
Voted
DSOM
2006
Springer
15 years 4 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. ...
103
Voted
ICLP
1995
Springer
15 years 4 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...
87
Voted
AAAI
2000
15 years 2 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...
81
Voted
GG
2008
Springer
15 years 1 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...
115
click to vote
ATAL
2011
Springer
14 years 24 days 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...