918 search results - page 21 / 184 » e-Procurement Using Goal Programming |
DALT
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Research on practical models of autonomous agents has largely focused on a procedural view of goal achievement. This allows for efficient implementations, but prevents an...
AGENTS
2001
Springer
14 years 1 months ago
2001
Springer
Our goal in this paper is to introduce and motivatea methodology, called Tropos, for building agent oriented software systems. Tropos is based on two key ideas. First, the notion ...
IJAOSE
2010
13 years 7 months ago
2010
CASO is an agent-oriented programming language based on AgentSpeak(L), one of the most influential abstract languages based on the BDI (Beliefs-Desires-Intentions) architecture. ...
CSMR
2002
IEEE
14 years 1 months ago
2002
IEEE
With the growing popularity of the Java programming language for both client and server side applications in network-centric computing, there is a rising need for programming libr...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...