@comment{{This file has been generated by bib2bib 1.95}}
@comment{{Command line: bib2bib -c 'keywords : "agents"' /home/davide/latex/bibinputs/allMine.bib}}
@comment{{This file has been generated by Pybliographer}}
@inproceedings{AMP-SAC12,
author = {Ancona, D. and Mascardi, V. and Pavarino, O.},
title = {Ontology-based documentation extraction for
semi-automatic migration of {J}ava code},
booktitle = {A{CM} {S}ymposium on {A}pplied {C}omputing ({SAC}
2012)},
editor = {Ossowski, S. and Lecca, P.},
pages = {1137--1143},
publisher = {ACM},
abstract = {Migrating libraries is not a trivial task, even under
the simplest assumption of a downward compatible
upgrade. We propose a novel approach to partially
relieve programmers from this task, based on the simple
observation that class, method and field names and
comments contained in a Java library should be a good
approximation of its semantics, and that code migration
requires knowing the semantic similarities between the
two libraries. Following this assumption, we borrow the
main concepts and notions from the Semantic Web, and
show how (1) an ontology can be automatically generated
from the relevant information extracted from the code
of the library; (2) semantic similarities between two
different libraries can be found by running a
particular ontology matching (a.k.a. ontology
alignment) algorithm on the two ontologies extracted
from the libraries. The main advantages of the approach
are that ontology extraction can be fully automated,
without adding ad-hoc code annotations, and that
results and tools produced by the Semantic Web research
community can be directly re-used for our purposes.
Experiments carried out even with simple and efficient
freely available matchers show that our approach is
promising, even though it would benefit from the use of
more advanced ontology matchers possibly integrated
with a component for checking type compatibility of the
computed alignments. },
ftp = {ftp://ftp.disi.unige.it/person/AnconaD/AMP-SAC12.pdf},
keywords = {agents, ontologies, refactoring},
year = 2012
}
@inproceedings{ADM-DALT12,
author = {Ancona, D. and Drossopoulou, S. and Mascardi, V.},
title = {{Automatic Generation of Self-Monitoring MASs from
Multiparty Global Session Types in Jason}},
booktitle = {Declarative Agent Languages and Technologies (DALT
2012). Workshop Notes.},
pages = {1--17},
abstract = {Global session types are behavioral types designed for
specifying in a compact way multiparty interactions
between distributed components, and verifying their
correctness. We take advantage of the fact that global
session types can be naturally represented as cyclic
Prolog terms - which are directly supported by the
Jason implementation of AgentSpeak - to allow simple
automatic generation of self-monitoring MASs: given a
global session type specifying an interaction protocol,
and the implementation of a MAS where agents are
expected to be compliant with it, we define a procedure
for automatically deriving a self-monitoring MAS. Such
a generated MAS ensures that agents conform to the
protocol at run-time, by adding a monitor agent that
checks that the ongoing conversation is correct w.r.t.
the global session type. The feasibility of the
approach has been experimented in Jason for a
non-trivial example involving recursive global session
types with alternative choice and fork type
constructors. Although the main aim of this work is the
development of a unit testing framework for MASs, the
proposed approach can be also extended to implement a
framework supporting self-recovering MASs.},
ftp = {ftp://ftp.disi.unige.it/person/AnconaD/ADM-DALT12.pdf},
keywords = {agents, behavioral-types},
year = 2012
}
@inproceedings{ABM-ICTCS12,
author = {Ancona, D. and Barbieri, M. and Mascardi, V.},
title = {Global {T}ypes for {D}ynamic {C}hecking of {P}rotocol
{C}onformance of {M}ulti-{A}gent {S}ystems ({E}xtended
{A}bstract)},
booktitle = {13th {I}talian {C}onference on {T}heoretical
{C}omputer {S}cience ({ICTCS} 2012)},
editor = {Massazza, P.},
pages = {39--43},
abstract = {In this paper we investigate the theoretical
foundations of global types for dynamic checking of
protocol compliance in multi-agents systems and we
extend the formalism by introducing a concatenation
operator that allows a significant enhancement of the
expressive power of global types. As examples, we show
how two non trivial protocols can be compactly
represented in the formalism: a ping-pong protocol, and
an alternating bit protocol, in the version proposed by
Deni\backslash{}'elou and Yoshida. Both protocols
cannot be specified easily (if at all) by other global
type frameworks, while in our approach they can be
expressed by two deterministic types (in a sense made
precise in the sequel) that can be effectively employed
for dynamic checking of the conformance to the
protocol.},
ftp = {ftp://ftp.disi.unige.it/person/AnconaD/ABM-ICTCS12.pdf},
keywords = {agents, behavioral-types},
year = 2012
}
@inproceedings{AnconaMascardi-MALLOW-AWESOME09,
author = {Ancona, D. and Mascardi, V.},
title = {Exploiting {A}gents and {O}ntologies for {T}ype- and
{M}eaning-{S}afe {A}daptation of {J}ava {P}rograms},
booktitle = {Proceedings of the {MALLOW}-{AWESOME} 2009 workshop},
volume = {494},
publisher = {CEUR Workshop Proceedings},
abstract = {This paper discusses an application of intelligent
software agents and ontologies to solve the problem of
semi-automatic porting of Java programs. We have
designed a system for aiding users to adapt Java code
in a type- and meaning-safe way, when an application
has to migrate to new libraries which are not fully
compatible with the legacy ones. To achieve this, we
propose an approach based on an integration of the two
type-theoretic notions of subtyping and type
isomorphism with ontology matching. While the former
notions are needed to ensure flexible adaptation in the
presence of type-safety, the latter supports the user
to preserve the meaning of names that appear in the
program to be adapted. Intelligent agents control the
different components of the system and interact with
other agents in order to provide the final user with
the semi-automatic porting service he/she required.},
ftp = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-494/mallowawesomepaper6.pdf},
keywords = {agents,refactoring},
year = 2009
}
@inproceedings{MDA-WOA05,
author = {Mascardi, V. and Demergasso, D. and Ancona, D.},
title = {Languages for {P}rogramming {BDI}-style {A}gents: an
{O}verview},
booktitle = {W{OA} 2005 - {W}orkshop {F}rom {O}bjects to {A}gents},
editor = {Corradini, F. and De Paoli, F. and Merelli, E. and
Omicini, A.},
pages = {9--15},
abstract = {The notion of an intelligent agent as an entity which
appears to be the subject of mental attitudes like
beliefs, desires and intentions (hence, the BDI
acronym) is well known and accepted by many
researchers. Besides the definition of various BDI
logics, many languages and integrated environments for
programming BDI-style agents have been proposed since
the early nineties. In this reasoned bibliography, nine
languages and implemented systems, namely PRS, dMARS,
JACK, JAM, Jadex, AgentSpeak(L), 3APL, Dribble, and
Coo-BDI, are discussed and compared. References to
other systems and languages based on the BDI model are
also provided, as well as pointers to surveys dealing
with related topics. },
ftp = {http://www.disi.unige.it/person/MascardiV/Download/ancona-demergasso-mascardi-WOA05-final.pdf},
keywords = {agents},
year = 2005
}
@inproceedings{BMAB-EUMAS05,
author = {Bozzo, L. and Mascardi, V. and Ancona, D. and Busetta,
P.},
title = {C{OOWS}: {A}daptive {BDI} {A}gents meet
{S}ervice-{O}riented {C}omputing},
booktitle = {E{UMAS} 2005 - {P}roceedings of the {T}hird {E}uropean
{W}orkshop on {M}ulti-{A}gent {S}ystems, {B}russels,
{B}elgium, {D}ecember 7-8, 2005},
editor = {Gleizes, M. P. and Kaminka, G. A. and Now\'e, A. and
Ossowski, S. and Tuyls, K. and Verbeeck, K.},
pages = {473},
abstract = {Mainstream research in Web Services is currently
looking at two main aspects, namely formally describing
interactions among services, and finding and combining
services. Much work made in the intelligent agents area
is being applied to these issues. In this paper, we
investigate the application of agent research to Web
Services from a different perspective, that is,
procedural learning. The final objective is to enable
an adaptive system (an agent in our terminology) to
discover or being fed with knowledge concerning how to
solve a specific set of problems in a specific software
or physical environment. Our work is a very preliminary
step into the issue, with the main objective of
assessing how current Web Services technology can
support a component, described in terms of beliefs,
desires and intentions, dynamically adapting its
behaviour to new environments. },
ftp = {http://www.disi.unige.it/person/MascardiV/Download/coows4eumas.zip},
keywords = {agents},
year = 2005
}
@inproceedings{AMHB-AAMAS04,
author = {Ancona, D. and Mascardi, V. and H\"ubner, J.F. and
Bordini, R. H.},
title = {Coo-{A}gent{S}peak: {C}ooperation in {A}gent{S}peak
through {P}lan {E}xchange},
booktitle = {A{AMAS} 2004 ({I}nt. {C}onf. on {A}utonomous {A}gents
and {M}ultiagent {S}ystems)},
editor = {Jennings, N. R. and Sierra, C. and Sonenberg, L. and
Tambe, M.},
pages = {698--705},
publisher = {ACM press},
abstract = { This paper brings together two recent contributions
to the area of declarative agent-oriented programming,
made feasible in practice by the recent introduction of
an interpreter for a BDI programming language. The work
on CooBDI has proposed an approach to plan exchange
which applies to BDI agents in general. The other
contribution is the introduction of special
illocutionary forces for plan exchange between
AgentSpeak agents. This has been implemented in Jason,
an interpreter for an extended version of
AgentSpeak(L). Jason also provides mechanisms that
allow the specification of plan permissions, which are
important in the cooperation context. This paper shows
how elaborate plan exchange can take place between
AgentSpeak agents implemented with Jason. It also
discusses an application in which plan sharing is
essential.},
ftp = {ftp://ftp.disi.unige.it/pub/person/AnconaD/AAMAS04.pdf},
keywords = {agents},
year = 2004
}
@inproceedings{AM-DALT04,
author = {Ancona, D. and Mascardi, V.},
title = {Coo-{BDI}: {E}xtending the {BDI} {M}odel with
{C}ooperativity},
booktitle = {Declarative {A}gent {L}anguages and {T}echniques,
{F}irst {I}nternational {W}orkshop, {DALT} 2003,
{R}evised {S}elected and {I}nvited {P}apers},
editor = {Leite, J. and Omicini, A. and Sterling, L. and
Torroni, P.},
volume = {2990},
series = {Lecture Notes in Computer Science},
pages = {109--134},
publisher = {Springer Verlag},
abstract = {We define Coo-BDI, an extension of the BDI
architecture with the notion of cooperativity. Agents
can cooperate by exchanging and sharing plans in a
quite flexible way. As a main result Coo-BDI promotes
adaptivity and sharing of resources; as a by-product,
it provides a better support for dealing with agents
which do not possess their own procedural knowledge for
processing a given event. },
ftp = {ftp://ftp.disi.unige.it/pub/person/AnconaD/DALT03.ps.gz},
keywords = {agents},
year = 2004
}
This file was generated by bibtex2html 1.95.