966 search results - page 41 / 194 » Communicating Answer Set Programs |
132
click to vote
ASP
2001
Springer
15 years 5 months ago
2001
Springer
In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...
147
click to vote
BIRTHDAY
2003
Springer
15 years 7 months ago
2003
Springer
Techniques that were developed for program synthesis are being applied to allow multiple agents to communicate with each other and cooperate to solve a single problem. We illustrat...
114
click to vote
ICSOC
2010
Springer
15 years 14 days ago
2010
Springer
A request to a service registry must be answered with a service that fits in several regards, including semantic compatibility, non-functional compatibility, and interface compati...
116
click to vote
JAIR
2008
15 years 1 months ago
2008
The notion of strong equivalence on logic programs with answer set semantics gives rise to a consequence relation on logic program rules, called SE-consequence. We present a sound...
141
click to vote
AI
2011
Springer
14 years 9 months ago
2011
Springer
The concept of a stable model provided a declarative semantics for Prolog programs with negation as failure and became a starting point for the development of answer set programmi...