5198 search results - page 313 / 1040 » A Logic of Agent Programs |
173
click to vote
HASKELL
2007
ACM
15 years 10 months ago
2007
ACM
We develop a Haskell library for functional-logic programming, motivated by the implementation of Wired, a relational embedded domain-specific language for describing and analysin...
187
click to vote
FLOPS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize t...
162
click to vote
IAT
2006
IEEE
16 years 20 days ago
2006
IEEE
In this paper we present a formalism for symbolic negotiation. We regard symbolic negotiation as cooperative problem solving (CPS), which is based on symbolic reasoning and is ext...
150
click to vote
AAAI
1990
15 years 7 months ago
1990
To design a task-independent dialogue system, we present a task-oriented dialogue analysis in terms of finding the referents of definite descriptions and we show how this analysis...
175
click to vote
AAAI
1996
15 years 8 months ago
1996
Conditional logics play an important role in recent attempts to investigate default reasoning. This paper investigates firstorder conditional logic. We show that, as for first-ord...