5198 search results - page 133 / 1040 » A Logic of Agent Programs |
EEE
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper reports on a system for automated agent negotiation. It uses the JADE agent framework, and its major distinctive feature is the use of declarative negotiation strategie...
177
click to vote
SIGMOD
2006
ACM
15 years 11 months ago
2006
ACM
In this paper we propose a type-based framework for using logic programming for XML processing. We transform XML documents into terms and DTDs into regular types. We implemented a ...
WCE
2007
15 years 21 days ago
2007
—this paper proposes a multi agent and fuzzy logic based DSS for stock market. This system will help investors of the stock market to take the correct buy/sell/hold decisions. Th...
ATAL
2004
Springer
15 years 5 months ago
2004
Springer
We propose a context-logic style formalism, Timed Reasoning Logics (TRL), to describe resource-bounded reasoners who take time to derive consequences of their knowledge. The seman...
JELIA
2004
Springer
15 years 4 months ago
2004
Springer
Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introdu...