Sciweavers

5198 search results - page 144 / 1040
» A Logic of Agent Programs
Sort
View
114
Voted
WOA
2003
15 years 29 days ago
Policy Management for Virtual Communities of Agents
— In this paper we study the rational balance between local and global policies in virtual communities of agents. To study this problem we use a logical framework for modelling o...
Guido Boella, Leendert W. N. van der Torre
IAT
2003
IEEE
15 years 4 months ago
Artificial Software Agents on Thin Double Auction Markets - A Human Trader Experiment
This paper studies how software agents influence the market behavior of human traders. Programmed traders with a passive arbitrage seeking strategy are introduced in a double auct...
Jens Grossklags, Carsten Schmidt
ATAL
2006
Springer
15 years 3 months ago
Belief revision for AgentSpeak agents
The AgentSpeak agent-oriented programming language has recently been extended with a number of new features, such as speech-act based communication, internal belief additions, and...
Natasha Alechina, Rafael H. Bordini, Jomi Fred H&u...
APLAS
2007
ACM
15 years 3 months ago
On a Tighter Integration of Functional and Logic Programming
The integration of functional and logic programming is a well developed field of research. We discuss that the integration could be improved significantly in two separate aspects: ...
Bernd Braßel, Frank Huch
LPNMR
2007
Springer
15 years 5 months ago
A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation
Abstract. We present a purely model-theoretic semantics for disjunctive logic programs with negation, building on the infinite-valued approach recently introduced for normal logic...
Pedro Cabalar, David Pearce, Panos Rondogiannis, W...