5198 search results - page 322 / 1040 » A Logic of Agent Programs |
160
click to vote
CADE
1999
Springer
15 years 11 months ago
1999
Springer
We reduce the provability problem of any formula of the Lambek calculus to some context-free parsing problem. This reduction, which is based on non-commutative proof-net theory, al...
137
click to vote
FOIS
2006
15 years 8 months ago
2006
The focus of this paper are actions in which agents employ instruments in order to achieve desired outcomes. I explore the ontological structure of such actions and the semantic fe...
161
click to vote
LDVF
2000
15 years 6 months ago
2000
The aim of this paper is to provide an analysis of the function of imperatives in dialogue. In particular, the focus is on the use of logically complex imperatives (e.g., `Say hel...
206
click to vote
AMKM
2003
Springer
15 years 12 months ago
2003
Springer
We report on experience with using RDF to provide a rich content language for use with FIPA agent toolkits, and on RDFS as a metadata language. We emphasise their utility for prog...
156
click to vote
AOIS
2004
15 years 8 months ago
2004
Agent-Oriented Programming (AOP) offers an alternative and radical approach to the development of information systems in various domains. However, one domain that AOP has only mini...