382 search results - page 25 / 77 » Complexity and Expressive Power of Logic Programming |
114
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at e...
134
Voted
NAACL
2001
15 years 4 months ago
2001
Developing dialogue systems is a complex process. In particular, designing efficient dialogue management strategies is often difficult as there are no precise guidelines to develo...
121
Voted
CLIMA
2007
15 years 4 months ago
2007
Abstract. In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend ...
135
click to vote
CHARME
2003
Springer
15 years 8 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
195
Voted
SOFSEM
2009
Springer
16 years 6 days ago
2009
Springer
Abstract. Constraint Handling Rules (CHR) is a general purpose, committedchoice declarative language which, differently from other similar languages, uses multi-headed (guarded) ru...