1143 search results - page 37 / 229 » Prospective Logic Agents |
116
click to vote
WOA
2000
15 years 3 months ago
2000
This paper presents a language for coordinating several logic-based agents capable of abductive reasoning. The system is particularly suited for solving problems with incomplete k...
127
click to vote
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
We propose a language that allows agents to distribute data with usage policies in a decentralized architecture. In our framework, the compliance with usage policies is not enforce...
DALT
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We propose a declarative framework for modelling multi-agent systems and specify a number of properties of these systems and agents within them. The framework is parametr...
108
click to vote
DALT
2006
Springer
15 years 5 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
DIS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. To the best of our knowledge, this paper is the first attempt to formalise a pragmatic logic of scientific discovery in a manner such that it can be realised by scientist...