2003 (v1)
Publication
No description
Uploaded on: April 14, 2023
-
-
2003 (v1)Publication
No description
Uploaded on: March 31, 2023 -
2001 (v1)Publication
No description
Uploaded on: March 31, 2023 -
2004 (v1)Publication
Engineering systems of heterogeneous agents is a difficult task; one of the ways for achieving the successful industrial deployment of agent technology is the development of engineering tools that support the developer in all the steps of design and implementation. In this work we focus on the problem of supporting the design of agent...
Uploaded on: May 13, 2023 -
1993 (v1)Publication
No description
Uploaded on: April 14, 2023 -
2009 (v1)Publication
No description
Uploaded on: April 14, 2023 -
1997 (v1)Publication
No description
Uploaded on: December 4, 2022 -
2015 (v1)Publication
One of the main goals of Explicit Constructive Logic (ECL) is to provide a constructive formulation of Full (Classical) Higher Order Logic LKw that can be seen as a foundation for knowledge representation. ECL is introduced as a subsystem Zw of LKw. The first order case Z1 and the propositional case Z0 of ECL are examined as well. A comparison...
Uploaded on: April 14, 2023 -
2010 (v1)Publication
In this paper, we describe a framework for specifying, simulating and verifying negotiation protocols following an agent-based approach. Most of the components of this framework have already been implemented and tested, whereas verification facilities using temporal logic, which are the most innovative aspect of this proposal, are being...
Uploaded on: April 14, 2023 -
1999 (v1)Publication
No description
Uploaded on: April 14, 2023 -
2007 (v1)Publication
No description
Uploaded on: March 31, 2023 -
2004 (v1)Publication
The research field of Agent-Oriented Software Engineering (AOSE) aims to find abstractions, languages, methodologies and toolkits for modeling, verifying, validating and prototyping complex applications conceptualized as Multiagent Systems (MASs). A very lively research sub-field studies how formal methods can be used for AOSE. This paper...
Uploaded on: March 27, 2023 -
1999 (v1)Publication
No description
Uploaded on: December 4, 2022 -
1999 (v1)Publication
No description
Uploaded on: December 4, 2022 -
1998 (v1)Publication
No description
Uploaded on: December 4, 2022 -
2008 (v1)Publication
No description
Uploaded on: April 14, 2023 -
2011 (v1)Publication
No description
Uploaded on: December 5, 2022 -
1997 (v1)Publication
No description
Uploaded on: December 5, 2022 -
2002 (v1)Publication
No description
Uploaded on: March 31, 2023 -
1997 (v1)Publication
No description
Uploaded on: December 4, 2022 -
1995 (v1)Publication
Modellazione di oggetti ed incapsulazione tramite logica lineare
Uploaded on: April 14, 2023 -
2001 (v1)Publication
No description
Uploaded on: March 31, 2023 -
2003 (v1)Publication
No description
Uploaded on: March 31, 2023 -
2005 (v1)Publication
No description
Uploaded on: March 31, 2023