Citations
(grouped by subject)

...if
you found my articles interesting, you may also
want to read related work by other authors! This
page contains links to articles that cite some
of my papers, which I am aware of. Enjoy!

argumentation and online
debate
reactive event calculus
and social commitments (REC, CML)
agent interaction protocols
(SOCS-SI, SCIFF, g-SCIFF)
business processes, web
services, choreographies and argumentation in
the web 2.0 (ArgSCIFF)
agent reasoning and
interaction (ALIAS, LAILA)
negotiation dialogues
dialogue termination
computational logic and
multi-agent systems surveys

Argumentation
and online debate:

Bottom-up
argumentation (with F. Toni, TAFA
2012)
Microdebates
for policy-making (with S.
Gabbriellini, CompSust 2012)
MS
dialogues: Persuading and getting persuaded
(with S. Gabbriellini, ArgMAS 2013)

Information sharing for natural resources
management , by N. Paget, G. Pigozzi, O.
Barreteau. In Proc. 11th EUMAS (2013), online
resource.
A
first comparison of abstract argumentation
systems: a computational perspective , by
S. Bistarelli, F. Rossi, F. Santini. In Proc.
28th CILC (2013), online resource.
The
DIAMOND system for argumentation: Preliminary
report , by S. Ellmauthaler, H. Strass. In
Proc. 6th ASPOCP (2013), online resource.
A
first approach to mining opinions as multisets
through argumentation , by C.I. Chesnevar,
M.P. Gonzales, K. Grosse, A.G. Maguitman. In
Proc. 2nd AT (2013), LNCS 8068: 195-209,
Springer-Verlag
Revising
argumentation systems: Argument status versus
graph minimization , by J.G. Mailly. EASSS
Student Session 2013.
Extending
social abstract argumentation with votes on
attacks , by S. Egilmez, J. Leite, J.
Martins. In Proc. 2nd TAFA (2013)
On
the revision of argumentation systems: Minimal
change of arguments status , by S.
Coste-Marquis, S. Konieczny, J.G. Mailly, P.
Marquis. In Proc. 2nd TAFA (2013)
Sustainable
energy policies: research challenges and
opportunities , by M. Milano. In Proc. DATE
(2013), 1143-1148, IEEE
ConArg:
a tool to solve (weighted) abstract
argumentation frameworks with (soft)
constraints , by S. Bistarelli, F. Santini.
arXiv preprint arXiv:1212.2857, 2012
On
the outcomes of multiparty persuasion , by
E. Bonzon, N. Maudet. In Proc. 8th ArgMAS
(2012), LNCS 7543: 86-101, Springer-Verlag.
Reasoning
on the web with assumption-based argumentation ,
by F. Toni. In Proc. Reasoning Web, 8th Intl.
Summer School (2012), LNCS 7487: 370-386,
Springer-Verlag
Argumentation
and voting for an intelligent user empowering
business directory on the web , by V.
Evripidou, F. Toni. In Proc. 6th RR (2012). LNCS
7497: 209-212, Springer-Verlag.
Picking
the right expert to make a debate
uncontroversial , by D. Kontarinis, E.
Bonzon, N. Maudet, P. Moraitis. In Proc 4th
COMMA (2012). IOS Press.
Semi-automated
argumentative analysis of online product
reviews , by A. Wyner, J. Schneider, K.
Atkinson, T. BenchCapon. In Proc 4th COMMA
(2012). IOS Press.
ConArg:
A constraint-based computational framework for
argumentation systems , by S. Bistarelli,
F. Santini. In Proc. 23rd ICTAI (2011). IEEE

Reactive
Event Calculus and social commitments (REC,
CML):

Representing
and monitoring social commitments
using the event calculus (with
F. Chesani, M. Montali, and P. Mello,
JAAMAS 2013)
Exception diagnosis in multiagent contract
executions (with O. Kafali, AMAI
2013)
A
logic-based, reactive calculus of events
(with F. Chesani, P. Mello, and M. Montali,
Fund. Inf. 2010)
Social
commitments in time: Satisfied or
compensated (with F. Chesani, P.
Mello, and M. Montali, DALT 2009)
Commitment
tracking via the reactive event calculus
(with F. Chesani, P. Mello, and M. Montali,
IJCAI 2009)

Dynamically
generated commitment protocols in open sytems ,
by A. Gunay, M. Winikoff, P. Yolum. Journal of
Autonomous Agents and Multi-Agent Systems,
published online Feb 25, 2014
Verification
of data-aware commitment-based multi-agent
systems , by M. Montali, D. Calvanese, G.
De Giacomo. In Proc. 13th AAMAS (2014). IFAAMAS
Engineering
conflict-free multiagent systems , by A.
Gunay, P. Yolum. In Proc. 2nd EMAS (2013). To
appear in Springer LNCS.
Diagnosis
of unwanted behaviours in multi-agent systems ,
by L.S. Passos, R. Rossetti, J. Gabriel. In
Proc. 11th EUMAS (2013). Online resource.
Engineering
commitment-based business protocols with 2CL
methodology , by M. Baldoni, C. Baroglio,
E. Marengo, V. Patti, F. Capuzzimati. Journal of
Autonomous Agents and Multi-Agent Systems 28(4):
519-557 (2014).
Towards
a second generation of Computer Interpretable
Guidelines , by P. Terenziani, A.
Bottrighi, G. Franceschinis, L. Giordano, S.
Montani, L. Portinale, D. Theseider Dupre. In
Proc. 2nd DATA (2013):199-205
Muon:
Designing multiagent communication protocols
from interaction scenarios , by A.K. Kalia
(2013). MSc thesis, Graduate Faculty of North
Carolina State University.
Dependability
assessment of wireless sensor networks with
formal methods , by A. Testa. PhD
dissertation (2013). "Federico II" University of
Naples, Italy
Normative
reasoning
and consequence , by J. Broersen, S.
Cranefield, Y. Elrakaiby, D. Gabbay, D. Grossi,
E. Lorini, X. Parent, L. van der Torre, L.
Tummolini, P. Turrini. In Normative Multi-Agent
Systems. Dagstuhl Follow-Ups 4 (2013): 33-70.
ISBN 978-3-939897-51-4
Towards
data-aware constraints in Declare , by M.
Montali, F. Chesani, P. Mello, F. Maggi. In
Proc. 23rd SAC (2013). ACM Press
Constraint
satisfaction as a tool for modeling and
checking feasibility of multiagent commitments ,
by A. Gunay, P. Yolum. Applied Intelligence
(2013)
Hierarchical
planning about goals and commitments , by
P.R. Telang, F. Meneguzzi, M.P. Singh. In Proc.
12th AAMAS (2013). IFAAMAS
2CL
protocols:
Interaction patterns specification in
commitment protocols , by E. Marengo. PhD
dissertation (2012). Research Doctorate in
Science and High Technology, Specialization in
Computer Science. Technical Report RT 147/13,
Universita degli Studi di Torino, Dip.
Informatica, Torino, Italy, 2013
Automated
reasoning on exceptions in commitment-based
multi-agent systems , by O. Kafali. PhD
dissertation (2012). Graduate Program in
Computer Engineering. Bogazigi University,
Istanbul, Turkey
Model
checking logics of social commitments for
agent communication , by M. El Menshawy.
PhD dissertation (2012). Department of
Electrical and Computer Engineering, Concordia
University, Quebec, Canada
On
formalizing social commitments in dialogue and
argumentation models using temporal defeasible
logic , by A. Moubaiddin, N. Obeid.
Knowledge Information Systems (2012)
Some
thoughts about commitment protocols (position
paper) , by M. Baldoni, C. Baroglio. In
Proc. 13th WOA (2012), CEUR Workshop Proceedings
Vol 892
Self-checking
logical agents , by S. Costantini. In Proc.
8th LANMR (2012), CEUR Vol. 911: 1-30
Logic-based
event recognition , by A. Artikis, A.
Skarlatidis, F. Portet, G. Paliouras. Knowledge
Engineering Review. To Appear.
Reducing
model checking commitments for agent
communication to model checking ARCTL and
GCTL* , by M. El Menshawy, J. Bentahar, W.
El Kholy, R. Dssouli. Autonomous Agents and
Multi-Agent Systems. To Appear.
Communicative
commitments: Model checking and complexity
analysis , by J. Bentahar, M. El Menshawy,
H. Qu, R. Dssouli. Knowledge-Based Systems
(2012) 35: 21-34
Verifying
conformance of multi-agent commitment-based
protocols , by M. El Menshawy, J. Bentahar,
W. El Kholy, R. Dssouli. Expert Systems with
Applications (2013) 40(1): 122-138
A
rule-based calculus and processing of complex
events , by S. Bragaglia, F. Chesani, P.
Mello, D. Sottara. In Proc. 6th RuleML (2012),
LNCS 7438: 151-166, Springer-Verlag
A
production rule-based framework for causal and
epistemic reasoning , by T. Patkos, A.
Chibani, D. Plexousakis, Y. Amirat. In Proc. 6th
RuleML (2012), LNCS 7438: 120-135,
Springer-Verlag
Run-time
composite event recognition , by A.
Artikis, M. Sergot, G. Paliouras. In Proc. 6th
DEBS (2012): 69-80. ACM Press
Constitutive
and regulative specifications of commitment
protocols: A decoupled approach , by M.
Baldoni, C. Baroglio, E. Marengo, V. Patti. ACM
Transactions on on Intelligent Systems and
Technology (2013) 4 (2), art. no. 22.
Towards
an interactive personal care system driven by
sensor data , by S. Bragaglia, P. Mello, D.
Sottara. In Proc. PAI (2012), CEUR Vol. 860:
54-59.
A
generalized commitment machine for 2CL
protocols and its Prolog implementation ,
by M. Baldoni, C. Baroglio, F. Capuzzimati, E.
Marengo, V. Patti. In Proc. 9th CILC (2012).
CEUR Workshop Proceedings, Vol. 857: 2-16
Temporal
meta-axioms in logical agents , by S.
Costantini, P. Tsintza. In Proc. 9th CILC
(2012). CEUR Workshop Proceedings, Vol. 857:
59-73
Some
thoughts about commitment protocols (Position
paper) , by M. Baldoni, C. Baroglio. In
Proc. 10th DALT (2012).
Detecting
conflicts in commitments , by A. Gunay, P.
Yolum. Proc. In proc. 9th DALT (2011), LNCS
7169: 51-66 Springer-Verlag 2012
Formalizing
commitments using action languages , by
T.C. Son, E. Pontelli, C. Sakama. In Proc. 9th
DALT (2011), LNCS 7169: 67-83, Spinger-Verlag
2012
Conformance
checking of executed clinical guidelines in
presence of basic medical knowledge , by A.
Bottrighi, F. Chesani, P. Mello, M. Montali, S.
Montani, P. Terenziani. In Proc. BPM Workshops
(2011) Part II. LNBIP 100: 200-2011, 2012
Event
Condition Expectation (ECE-) rules for
monitoring observable systems , by S.
Bragaglia, F. Chesani, E. Fry, P. Mello, M.
Montali, D. Sottara. In Proc. 5th RuleML (2011),
LNCS 7018: 267-281. Springer-Verlag
Crystals
of crowd: Modelling pedestrian groups using
MAS-based approach , by L. Manenti, S.
Manzoni. In Proc. 12th WOA (2011). CEUR Workshop
Proceedings, Vol. 741: 51-57
Making
Golog norm compliant , by A. Gabaldon. In
Proc. CLIMA XII, LNCS 6814: 275-292.
Springer-Verlag, 2011
Fuzzy
conformance checking of observed behaviour
with expectations , by S. Bragaglia, F.
Chesani, P. Mello, M. Montali, D. Sottara. In
Proc. 12th AI*IA (2011), LNCS 6934: 80-91.
Springer-Verlag
Dealing
with crowd crystals in MAS-based crowd
simulation: A proposal , by S. Bandini, L.
Manenti, L. Manzoni, S. Manzoni. In Proc. 12th
AI*IA (2011), LNCS 6934: 92-103. Springer-Verlag
Commitment-based
protocols with behavioral rules and
correctness properties of MAS , by M.
Baldoni, C. Baroglio, E. Marengo. In Proc. 8th
DALT (2010), LNCS 6619: 60-77 (2011)
Efficient
epistemic reasoning in partially observable
dynamic domains using hidden causal
dependencies , by T. Patkos, D.
Plexousakis. In Proc. 9th NRAC (2011): 55-62
Formalizing
commitments using action languages , by
T.C. Son, E. Pontelli, C. Sakama. In Proc. 10th
Tenth International Symposium on Logical
Formalizations of Commonsense Reasoning. AAAI
2011
A
distributed treatment of exceptions in
multiagent contracts (preliminary report) ,
by O. Kafali, P. Yolum. In Proc. 9th DALT
(2011): 65-78
Commitments
with regulations: reasoning about safety and
control in REGULA , by E. Marengo, M.
Baldoni, C. Baroglio, A.K. Chopra, V. Patti,
M.P. Singh. In Proc 10th AAMAS (2011). IFAAMAS
Run-time
support for norm-governed systems , by V.
Urovi, S. Bromuri, K. Stathis, A. Artikis. Tech.
Rep. CSD-TR-10-01 (2010), Royal Holloway,
University of London, UK.
Verifiable
semantic model for agent interactions using
social commitments , by M. El-Menshawy, J.
Bentahar, R. Dssouli. In Proc. 3rd LADS (2010),
LNCS 6039: 128-152, Springer-Verlag
Constraints
among commitments: regulative specification of
interaction protocols , by M. Baldoni, C.
Baroglio, E. Marengo. In Proc. AC 2010: 2-18
Behavior-oriented
commitment-based protocols , by M. Baldoni,
C. Baroglio, E. Marengo. In Proc. 19th ECAI
(2010): 137-142, IOS Press
An
investigation of multi-agent planning in CLP ,
by A. Dovier, A. Formisano, E. Pontelli.
Fundamenta Informaticae (2010), 105(1-2): 79-103
A
formal theory for reasoning about action,
knowledge and time , by T. Patkos. PhD
thesis (2010), Department of Computer Science,
University of Crete, Greece

Agent
interaction protocols (SOCS-SI, SCIFF,
g-SCIFF):

Modeling
interactions via commitments and
expectations (with P. Yolum, M.P.
Singh, M. Alberti, F. Chesani, M. Gavanelli,
E. Lamma, and P. Mello, IGI Global 2009)
Verifiable
agent interaction in abductive logic
programming: the SCIFF framework
(with M. Alberti, F. Chesani, M. Gavanelli, E.
Lamma, and P. Mello, TOCL 2008)
Mapping
deontic operators to abductive
expectations
(with M. Alberti, M. Gavanelli, E. Lamma,
P. Mello, and G. Sartor, CMOT 2006)
Compliance
verification of agent interaction: A
logic-based software tool (with
M. Alberti, F. Chesani, M. Gavanelli, E.
Lamma, and P. Mello, AAIJ 2006)
The
SCIFF abductive proof-procedure
(with M. Alberti, M. Gavanelli, E. Lamma, and
P. Mello, AIxIA 2005)
The
SOCS computational logic approach to the
specification and verification of agent
societies (with M. Alberti, F.
Chesani, M. Gavanelli, E. Lamma, and P. Mello,
GC 2004)
Specification
and verification of agent interaction
protocols in a logic-based system
(with M. Alberti, D. Daolio, M. Gavanelli, E.
Lamma, and P. Mello, SAC 2004)
Specification
and verification of agent interactions using
social integrity constraints (with
M. Alberti, M. Gavanelli, E. Lamma, and P.
Mello, ENTCS 2003)

Automated
Reasoning , by M. Gavanelli, T. Mancini.
Intelligenza Artificiale 7 (2013):113-124, IOS
Press.
A
computational framework for practical social
reasoning , by I Wallace, M. Rovatsos.
Computational Intelligence (2013). In press.
Verifying
MSMAS model using SCIFF , by E.E. Elakehal,
M. Montali, J. Padget. In Proc. 11th MATES
(2013), LNAI 8076:44-58, Springer-Verlag.
DIESECT:
A distributed environment for simulating
e-commerce contracts , by D. Wood, O.
Kafali, K. Stathis. In Proc. 14th EC-Web (2013),
LNBIP 142:39-50, Springer-Verlag.
Studies
on the discovery of declarative control flows
from error-prone data , by C. Di Ciccio, M.
Mecella. In Proc. 3rd SIMPDA (2013), CEUR Vol.
1027, Paper 3.
Tabled
abduction in logic programming , by A.
Saptawijaya, L.M. Pereira. ICLP Tech Com 2013.
Dependability
assessment of wireless sensor networks with
formal methods , by A. Testa. PhD
dissertation (2013). "Federico II" University of
Naples, Italy
A
two-step fast algorithm for the automated
discovery of declarative workflows , by C.
Di Ciccio, M. Mecella. In 4th CIDM (2013). IEEE.
ISBN 978-1-4673-5895-8
The
CHR-based implementation of the SCIFF
abductive system , by M. Alberti, M.
Gavanelli, E. Lamma. Fundamenta Informaticae 124
(4), pp. 365-381, 2013.
Normative
reasoning and consequence , by J. Broersen,
S. Cranefield, Y. Elrakaiby, D. Gabbay, D.
Grossi, E. Lorini, X. Parent, L. van der Torre,
L. Tummolini, P. Turrini. In Normative
Multi-Agent Systems. Dagstuhl Follow-Ups 4
(2013): 33-70. ISBN 978-3-939897-51-4
Constraint
satisfaction as a tool for modeling and
checking feasibility of multiagent commitments ,
by A. Gunay, P. Yolum. Applied Intelligence
(2013)
Assessing
the genuineness of events in runtime
monitoring of cyber systems , by T.
Tsigkritis, G. Spanoudakis. Computers &
Security (2013)
Programming
the social computer , by D. Robertson, F.
Giunchiglia. Philosophical Transactions of the
Royal Society A 2013 371:20120379, published 18
February 2013
Agent
Communication , by A.K. Chopra, M.P. Singh.
Chapter 3 in Gerhard Weiss (ed), Multiagent
Systems: A Modern Approach to Distributed
Artificial Intelligence, 2nd edition, MIT Press,
2013
Designing
protocols for abductive hypothesis refinement
in dynamic multi agent systems , by G.
Bourgne, N. Maudet. Computational Intelligence
(2012)
Modelling
and monitoring interdependent expectations ,
by S. Cranefield, M. Winikoff, W. Vasconcelos.
In Proc. 12th COIN@AAMAS (2011). LNCS
7254:149-166. Springer-Verlag 2012
2CL
Protocols: Interaction Patterns Specification
in Commitment Protocols , by E. Marengo.
PhD dissertation (2012). Research Doctorate in
Science and High Technology, Specialization in
Computer Science. Technical Report RT 147/13,
Universita degli Studi di Torino, Dip.
Informatica, Torino, Italy, 2013
Automated
reasoning on exceptions in commitment-based
multi-agent systems , by O. Kafali. PhD
dissertation (2012). Graduate Program in
Computer Engineering. Bogazigi University,
Istanbul, Turkey
Model
checking logics of social commitments for
agent communication , by M. El Menshawy.
PhD dissertation (2012). Department of
Electrical and Computer Engineering, Concordia
University, Quebec, Canada
On
formalizing social commitments in dialogue and
argumentation models using temporal defeasible
logic , by A. Moubaiddin, N. Obeid.
Knowledge Information Systems (2012)
Hypothesis
refinement: Building hypotheses in an
intelligent agent system , by G. Bourgne,
N. Maudet, S. Pinson. Handbook of
Reasoning-based Intelligent System, Chapter
XXIII. World Scientific. To appear.
Constitutive
and regulative specifications of commitment
protocols: A decoupled approach , by M.
Baldoni, C. Baroglio, E. Marengo, V. Patti. ACM
Transactions on on Intelligent Systems and
Technology (2013) 4 (2), art. no. 22.
Self-checking
logical agents , by S. Costantini. In Proc.
8th LANMR (2012), CEUR Vol. 911: 1-30
Some
thoughts about commitment protocols (position
paper) , by M. Baldoni, C. Baroglio. In
Proc. 13th WOA (2012), CEUR Workshop Proceedings
Vol 892
Integrating
expectation mining into BDI agents , by S.
Ranathunga, S. Cranefield, M. Purvis. In Proc.
9th ProMAS (2011), LNCS 7217: 74-91.
Springer-Verlag 2012
Knowledge-intensive
processes: An overview of contemporary
approaches , by C. Di Ciccio, A. Marrella,
A. Russo. In Proc. KiBP (2012), CEUR Workshop
Proceedings, Vol. 861: 33-47
Business
processes verification with temporal answer
set programming , by L. Giordano, A.
Martelli, M. Spiotta, D. Theseider Dupre. In
Proc. KiBP (2012), CEUR Workshop Proceedings,
Vol. 861: 48-59
Mining
constraints for artful processes , by C. Di
Ciccio, M. Mecella. In Proc. 15th BIS (2012),
LNBIP 117: 11-23, Springer-Verlag
Trust
in social machines: the challenges , by K.
O'Hara. In Proc. AISB/IACAP SOCIAL TURN/SNAMAS
2012.
Deon+:
Abduction and constraints for normative
reasoning , by M. Alberti, M. Gavanelli, E.
Lamma. In Sergot Festschrift (2012), LNAI 7360:
308-328 Springer-Verlag
Automatic
generation of self-monitoring MASs from
multiparty global session types in Jason ,
by D. Ancona, S. Drossopoulou, V. Mascardi. In
Proc 10th DALT (2012).
Detecting
conflicts in commitments , by A. Gunay, P.
Yolum. Proc. In proc. 9th DALT (2011), LNCS
7169: 51-66 Springer-Verlag 2012
Formalizing
commitments using action languages , by
T.C. Son, E. Pontelli, C. Sakama. In Proc. 9th
DALT (2011), LNCS 7169: 67-83, Spinger-Verlag
2012
A
multi-agent system for industrial fault
detection and repair , by V. Bevar, S.
Costantini, A. Tocchio, G. De Gasperis. In
Advances on PAAMS (2012), AISC 155: 47-55.
Springer-Verlag
MINERful,
a mining algorithm for declarative process
constraints in MailOfMine , by C. Di
Ciccio, M. Mecella. Tech. Rep. n. 3 (2012), DIS,
Sapienza Universita di Roma, Italy.
Observation
strategies for event detection with incidence
on runtime verification: Theory, algorithms,
experimentation , by M. Alberti, P.
Dell'Acqua, L.M. Pereira. Annals of Mathematics
and Artificial Intelligence (2011) 62 (3-4):
161-186
Organizing
agent organizations: syntax and operational
semantics of an organization-oriented
programming language , by N.A.M.
Tinnemeier. PhD dissertation (2011). Utrecht
University, The Netherlands. ISBN
978-90-3935-5489-6
The
current state of normative agent-based systems ,
by C.D. Hollander, A.S. Wu. Journal of
Artificial Societies and Social Simulation 14
(2) 6 (2011)
Event
Condition Expectation (ECE-) rules for
monitoring observable systems , by S.
Bragaglia, F. Chesani, E. Fry, P. Mello, M.
Montali, D. Sottara. In Proc. 5th RuleML (2011),
LNCS 7018: 267-281. Springer-Verlag
Extend
commitment protocols with temporal
regulations: Why and how , by E. Marengo,
M. Baldoni, C. Baroglio. In Proc. RuleML
Doctoral Consortium (2011): 1-8
Where
logic and agents meet , by J. Dix, M.
Fisher. Annals of Mathematics and Artificial
Intelligence (2011), 61: 15-28
Verifying
compliance of business processes with temporal
answer sets , by D. D'Aprile, L. Giordano,
V. Gliozzi, A. Martelli, G.L. Pozzato, D.
Theseider Dupre'. In Proc. 26th CILC (2011).
Online proceedings.
MailOfMine:
Analyzing mail messages for mining artful
collaborative processes , by C. Di Ciccio,
M. Mecella, M. Scannapieco, D. Zardetto, T.
Catarci. In Proc. 1st SIMPDA (2011), LNBIP 116:
55-81, ISBN 978-364234043-7
Rule-based
agents, compliance, and intention
reconsideration in defeasible logic , by A.
Rotolo. In Proc RuleML 2011-Europe, LNCS 6826:
67-82. Springer-Verlag
An
interaction-oriented agent framework for open
environments , by M. Baldoni, C. Baroglio,
F. Bergenti, E. Marengo, V. Mascardi, V. Patti,
A. Ricci, A. Santi. In Proc. 12th AI*IA (2011),
LNCS 6934: 68-79. Springer-Verlag
Datalog
for security, privacy and trust , by P.
Bonatti. In Datalog Reloaded (2010), LNCS 6702:
21-36. Spinger-Verlag 2011
Fuzzy
conformance checking of observed behaviour
with expectations , by S. Bragaglia, F.
Chesani, P. Mello, M. Montali, D. Sottara. In
Proc. 12th AI*IA (2011), LNCS 6934: 80-91.
Springer-Verlag
On
the verification of social commitments and
time , by M. El Menshawy, J. Bentahar, H.
Qu, R. Dssouli. In Proc. 10th AAMAS (2011):
483-490. IFAAMAS
Implementing
and evaluating a runtime conformance checker
for mobile agent systems , by A.A. Saifan,
J. Dingel, J.S. Bradbury, E. Posse. In Proc. 4th
ICST (2011): 269-278, IEEE art. no. 5770616.
A
distributed treatment of exceptions in
multiagent contracts (preliminary report) ,
by O. Kafali, P. Yolum. In Proc. 9th DALT
(2011): 65-78
Learning
specifications of interaction protocols and
business processes and proving their
properties , by M. Alberti, M. Gavanelli,
E. Lamma, F. Riguzzi, S. Storari. Intelligenza
Artificiale 5(1): 71-75, IOS Press, 2011
Every
normal logic program has a 2-valued semantics:
theory, extensions, applications,
implementations , by A.M. Pinto. PhD
dissertation (2011). Department of Informatics,
New University of Lisbon, Portugal
MAGE:
Multi-agent game environment , by V. Urovi.
PhD dissertation (2011). Department of Computer
Science, University of Liverpool, UK.
A
distributed treatment of exceptions in
multiagent contracts (Preliminary report) ,
by O. Kafali, P. Yolum. In Proc. 9th DALT
(2011).
Distributed
abductive reasoning with constraints , by
J. Ma, K. Broda, A. Russo, E. Lupu. In Proc. 8th
DALT (2010), LNAI 6619: 148-166, Springer-Verlag
2011
Commitment-based
protocols with behavioral rules and
correctness properties of MAS , by M.
Baldoni, C. Baroglio, E. Marengo. In Proc. 8th
DALT (2010), LNAI 6619: 60-77, Springer-Verlag
2011
Ensuring
agent properties under arbitrary sequences of
incoming events , by S. Costantini, P.
Dell'Acqua, L.M. Pereira, A. Tocchio. In Proc.
17th RCRA (2010).
ASTREA:
Answer sets for a trusted reasoning
environment for agents , by R. Watson, M.
De Vos. In Gelfond Festschrift (2010), LNAI
6565: 490-505, Springer-Verlag 2011
Formal
methods in agent-oriented software engineering ,
by A. El Fallah-Seghrouchni, J.J. Gomez-Sanz,
M.P. Singh. In Proc 10th AOSE (2009), LNCS 6038:
213-228, Springer-Verlag 2011
Justice
delayed is justice denied: Logics for a
temporal account of reparations and legal
compliance , by G. Governatori, A. Rotolo.
In Proc. CLIMA XII (2011), LNCS 6814: 364-382
Designing
comprehensible self-organising systems , by
N. Hoening, H. La Poutre. In Proc. 4th SASO
(2010): 233-242. IEEE. ISBN 978-1-4244-8537-6
An
open platform for business process modeling
and verification , by A. De Nicola, M.
Missikof, M. Proietti, F. Smith. In Proc. 21st
DEXA (2010), LNCS 6261: 76-90, Springer-Verlag
2010
Run-time
support for norm-governed systems , by V.
Urovi, S. Bromuri, K. Stathis, A. Artikis. Tech.
Rep. CSD-TR-10-01 (2010), Royal Holloway,
University of London, UK.
Specification
and verification of declarative open
interaction models: A logic-based approach ,
by M. Montali. LNBIP 56, Springer-Verlag 2010.
ISBN 978-3-642-14537-7
Dynamic
discovery and composition of semantic web
services using abductive event calculus ,
by D. Paulraj, S. Swamynathan. In Proc ITC 2010:
70-74. IEEE Computer Society
Knowledge
representation and non-monotonic reasoning ,
by L. Giordano, F. Toni. In 25Y of LP in Italy
(2010), LNAI 6125: 87-111, Springer-Verlag 2010.
Constraint
logic programming , by M. Gavanelli, F.
Rossi. In 25Y of LP in Italy (2010), LNAI 6125:
64-86, Springer-Verlag 2010.
Runtime
addition of integrity constraints in an
abductive proof procedure , by M. Alberti,
M. Gavanelli, E. Lamma. ICLP Tech Com 2010: 4-13
http://www.floc-conference.org/ICLP-home.html
Elements
of a business-level architecture for
multiagent systems , by A.K. Chopra, M.P.
Singh. In Proc 7th ProMAS (2009), LNAI 5919:
15-30, Springer-Verlag 2010
Behavior-oriented
commitment-based protocols , by M. Baldoni,
C. Baroglio, E. Marengo. Proc 19th ECAI (2010):
137-142, Frontiers in AI and Applications 215,
IOS Press.
Formal
verification of wastewater treatment processes
using events detected from continuous signals
by means of artificial neural networks. Case
study: SBR plant , by L. Luccarini, G.L.
Bragadin, G. Colombini, M. Mancini, P. Mello, M.
Montali, D. Sottara. In Environmental Modelling
and Software (2010) 25(5): 648-660
Modeling
and verifying business interactions via
commitments and dialogue actions , by M.
El-Menshawy, J. Bentahar, R. Dssouli. In Proc
4th KES-AMSTA (2010), LNAI 6071: 11-21,
Springer-Verlag 2010
Declarative
specification and verification of service
choreographies , by M. Montali, M. Pesic,
W.M.P. van der Aalst, F. Chesani, P. Mello, S.
Storari. ACM Transactions on the Web 4(1),
Article 3, January 2010
Managing
regulatory compliance in business processes ,
by S. Sadiq, G. Governatori. In Handbook of
Business Process Management 2: Strategic
Alignment, Governance, People and Culture:
159-176. Springer 2010
Runtime
conformance checking of mobile agent systems
using executable models , by A. Saifan. PhD
dissertation (2010), School of Computing,
Queen's University, Kingston, Ontario, Canada.
Modelling
enterprise system protocols and trace
conformance , by C. Hine, J.G. Schneider,
J. Han, S. Versteeg. In Proc 21st ASWEC (2010):
35-44, IEEE Computer Society
Verifying
conformance of commitment protocols via
symbolic model checking , by M-
El-Menshawy, J. Bentahar, W. Wan, R. Dssouli. In
Proc. AC 2010: 53-62
Constraints
among commitments: regulative specification of
interaction protocols , by M. Baldoni, C.
Baroglio, E. Marengo. In Proc. AC 2010: 2-18
Probabilistic
declarative process mining , by E. Bellodi,
F. Riguzzi, E. Lamma. In Proc 4th KSEM (2010),
LNCS 6291: 292-303, Springer-Verlag
Incremental
declarative process mining , by M. Cattafi,
E. Lamma, F. Riguzzi, S. Storari. In Studies in
Computational Intelligence (2010) 260: 103-127,
Springer-Verlag
Automated
analysis of auction traces , by M.
Hoogendoorn, M. Gini. In Papers from AMEC 2009
and TADA 2009, LNBIP 59: 58-73. Springer-Verlag
2010
Interaction-based
runtime verification for systems of systems
integration , by I.H. Kruger, M. Meisinger,
M. Menarini. Journal of Logic and Computation
(2010), 20(3): 725-742.
Verifying
business process compliance by reasoning about
actions , by D. D'Aprile, L. Giordano, V.
Gliozzi, A. Martelli, G.L. Pozzato, D. Theseider
Dupre. In Proc CLIMA XI (2010), LNAI 6245:
99-116, Springer-Verlag 2010
MERCURIO:
An interaction-oriented framework for
designing, verifying and programming
multi-agent systems , by M. Baldoni, C.
Baroglio, F. Bergenti, A. Boccalatte, E.
Marengo, M. Martelli, L. Padovani, V. Patti, A.
Ricci, G. Rossi, A. Santi. In Proc. COIN@MALLOW
2010
Analysis
of the GLARE and GPROVE approaches to clinical
guidelines , by A. Bottrighi, F. Chesani,
P. Mello, M. Montali, S. Montani, S. Storari, P.
Terenziani. In Proc KR4HC (2010), LNCS 5943:
76-87, Springer-Verlag
Dynamic
discovery and composition of semantic web
services using abductive event calculus ,
by D. Paulraj, S. Swamynathan. In Proc ITC
(2010): 70-74, IEEE Computer Society
Monitoring
social expectations in Second Life , by S.
Cranefield, G. Li. In Proc. 5th COIN (2009),
LNCS 6069: 133-146. Springer-Verlag 2010
Detecting
exceptions in commitment protocols:
Discovering hidden states , by O. Kafali,
P. Yolum. In Proc. 2nd LADS (2009), LNAI 6039:
112-127, Springer-Verlag 2010
Regulating
competence-based access to agent societies ,
by G. Lekeas. PhD Dissertation (2010),
Department of Computing. City University London,
UK
As
time goes by: constraint handling rules. A
survey of CHR research from 1998 to 2007 ,
by J. Sneyers, P. Van Weert, T. Schrijvers, L.
De Koninck. Theory and Practice of Logic
Programming (2010), 10(1): 1-47 [2007
draft ]
Behavior-oriented
commitment-based protocols , by M. Baldoni,
C. Baroglio, E. Marengo. In Proc. 19th ECAI
(2010): 137-142, IOS Press
The
CIFF proof procedure for abductive logic
programming with constraints: Theory,
implementation and experiments , by P.
Mancarella, G. Terreni, F. Sadri, F. Toni, U.
Endriss. Theory and Practice of Logic
Programming (2009), 9(6): 691-750.
From
architectural to behavioural specification of
services , by L. Bocchi, J.L. Fiadeiro, A.
Lapadula, R. Pugliese, F. Tiezzi. ENTCS 253:
3-21, 2009
Run-time
conformance checking of mobile and distributed
systems using executable models , by A.A.
Saifan, E. Posse, J. Dingel. In Proc 7th PADTAD
(2009), ACM Digital Library
A
general approach to the verification of
cryptographic protocols using answer set
programming , by J.P. Delgrande, T. Grote,
A. Hunter. In Proc 10th LPNMR (2009), LNAI 5753:
355-367, Springer-Verlag 2009
Runtime
verification of agent properties , by S.
Costantini, P. Dell'Acqua, L.M. Pereira, P.
Tsintza. In Proc. 18th INAP (2009). Online
proceedings.
A
survey of agent-oriented development tools ,
by A. Pokahr, L. Braubach. In Multi-Agent
Programming: Languages, Tools and Applications.
Springer 2009
Handling
exceptions in multiagent systems , by O.
Kafali. PhD thesis proposal (2009). Department
of Computer Engineering. Bogazici University,
Istanbul, Turkey.
An
overview of AI research in Italy , by A.
Roli, M. Milano. In Artificial Intelligence: An
international perspective (2009), LNCS 5640:
174-192, Springer Verlag.
Self-adaptation
for robustness and cooperation in holonic
multi-agent systems , by P. Leitao, P.
Valckenaers, E. Adam. Transactions on
Large-scale data- and knowledge-centered systems
I (2009), LNCS 5740: 267-288, Springer-Verlag
Checking
compliance of execution traces to business
rules , by F. Chesani, P. Mello, F.
Riguzzi, M. Sebastianis, S. Storari. In Proc.
BPM Workshops (2008) Part 2, LNBIP 17: 134-145.
Springer-Verlag, 2009
Verifying
organizations regulated by institutions ,
by F. Vigano, M. Colombetti. Handbook of
Research on Multi-Agent Systems: Semantics and
Dynamics of Organizational Models, Chapter XV:
367-396, IGI Global, 2009.
Choice,
interoperability, and conformance in
interaction protocols and service
choreographies , by M. Baldoni, C.
Baroglio, A.K. Chopra, N. Desai, V. Patti, M.P.
Singh. In Proc. 8th AAMAS (2009): 843-850.
IFAAMAS
Integration
of abductive reasoning and constraint
optimization in SCIFF , by M. Gavanelli, M.
Alberti, E. Lamma. In Proc. 25th ICLP (2009),
LNCS 5649: 387-401. Springer-Verlag
A
hybrid approach to clinical guideline and to
basic medical knowledge conformance , by A.
Bottrighi, F. Chesani, P. Mello, G. Molino, M.
Montali, S. Montani, S. Storari, P. Terenziani,
M. Torchio. In Proc. 12th AIME (2009), LNCS
5651: 91-95. Springer-Verlag
How
do agents comply with norms? , by G.
Governatori, A. Rotolo. In Normative Multi-Agent
Systems (2009). Dagstuhl Seminar Proceedings
09121, Leibniz-Zentrum fuer Informatik, Dagstuhl
Publishing, Germany
Finally,
a comparison between constraint handling rules
and join-calculus , by E.S.L. Lam, M.
Sulzmann. In Proc. 5th CHR (2008): 51-66. RISC
Report Series 08-10, University of Linz,
Austria.
Deductive
e-bargaining system , by H.F. Lai, S.G.
Chen, W.-H. Jeng. In Proc. 8th ISDA (2008):
426-431. IEEE. ISBN 978-0-7695-3382-7
Integrating
static structure and dynamic behaviour to
model e-negotiation , by H.F. Lai, J.J. Wu,
K.Y. Wu. In Proc. 4th ICMIT (2008): 658-663.
IEEE. ISBN 978-1-4244-2329-3
Specification
and dynamic verification of agent properties ,
by S. Costantini, P. Dell'Acqua, L.M. Pereira,
P. Tsintza. In Proc. CLIMA IX (2008).
Agent
oriented software engineering , by P.
Cuesta, A. Gomez, J.C. Gonzalez. In Issues in
Multi-Agent Systems: The AgentCities.ES
Experience. Whitestein Series in Software Agent
Technologies and Autonomic Computing, 2008:
1-31. Springer Verlag
Formal
methods for verification of clinical practice
guidelines , by A. Hommersom, P. Groot, M.
Balser, P. Lucas. Studies in Health Technology
and Informatics (2008) 139: 63-80
Compliance
checking of cancer-screening careflows: An
approach based on Computational Logic , by
F. Chesani, E. Lamma, P. Mello, M. Montali, S.
Storari, P. Baldazzi, M. Manfredi. Studies in
Health Technology and Informatics (2008) 139:
183-192
Using
model checking for critiquing based on
clinical guidelines , by P. Groot, A.
Hommersom, P.J.F. Lucas, R.-J. Merk, A. ten
Teije, F. van Harmelen, R. Serban. Artificial
Intelligence in Medicine (2009) 46: 19-36
Constraint
rule-based programming of norms for electronic
institutions , by A. Garcia-Camino, J.A.
Rodriguez-Aguilar, C. Sierra, W. Vasconcelos.
Autonomous Agents and Multi-Agent Systems (2009)
18(1): 186-217
A
unification-based approach to configure
generic protocols into agent interaction
models , by J.G. Quenum, S. Aknine.
International Journal of Agent-Oriented Software
Engineering (2009) 4(1): 32-78
DARE:
a system for distributed abductive reasoning ,
by J. Ma, A. Russo, K. Broda, K. Clark.
Autonomous Agents and Multi-Agent Systems (2008)
16(3): 271-297
Testing
and debugging of MAS interactions with
INGENIAS , by J.J. Gomez-Sanz, J. Botia, E.
Serrano, J. Pavon. In Proc. 9th AOSE (2008),
LNCS 5386: 74-85
Modeling
interaction protocols as modular and reusable
1st class objects , by E. Leon-Soto. In
Proc. ATOP (2008), LNBIP 25(4): 174-196,
Springer-Verlag 2009
Conflict
resolution in norm-regulated environments via
unification and constraints , by M.J.
Kollingbaum, W. Vasconcelos, A. Garcia-Camino,
T.J. Norman. In Proc. 5th DALT (2007), LNAI
4897: 158-174, Springer-Verlag (2008)
Reasoning
on web services with choreographies and
capabilities , by C. Schifanella. PhD
dissertation. University of Turin, 2008.
DynaCROM:
An approach to implement regulative norms in
normative multiagent systems , by C.H.
Felicissimo, J.-P. Briot, C. Chopinaud, C.
Lucena. In Proc. 3rd NorMAS (2008): 80-94, ISBN
2-919940-48-1
Implementing
probabilistic abductive logic programming with
constraint handling rules , by H.
Christiansen. In Constraint Handling Rules
(2008), LNAI 5388: 85-118, Springer-Verlag 2008
Logic
programming with social features , by F.
Buccafurri, G. Caminiti. Theory and Practice of
Logic Programming (2008) 8(5-6): 643-690
Constitutive
interoperability , by A.K. Chopra, M.P.
Singh. In Proc. 7th AAMAS (2008), ACM Press,
IFAAMAS
A
new semantics for ACL based on commitments and
penalties , by L. Amgoud, F. Dupin the
Saint-Cyr. International Journal of Intelligent
Systems (2008), 23(3): 268-312
Sviluppo
di un visualizzatore grafico per il linguaggio
SCIFF , by A. Peano. M.Eng. dissertation
(2008). Department of Engineering, University of
Ferrara, Italy, 2008 [in Italian]
From
the specification to the implementation of
norms: an automatic approach to generate rules
from norms to govern the behavior of agents ,
by V. Torres da Silva. Autonomous Agents and
Multi-Agent Systems (2008) 17(1): 113-155
Verifying
social expectations by model checking
truncated paths , by S. Cranefield, M.
Winikoff. Journal of Logic and Computation
(2011) 21(6): 1217-1256. Preliminary version as
Discussion
Paper 2008/08 . Department of Information
Science, University of Otago, Dunedin, New
Zealand (2008)
Amongst
first-class protocols , by T. Miller, J.
McGinnis. In Proc. 8th ESAW (2007), LNAI 4995:
208-223, Springer-Verlag 2008
Practical
issues in detecting broken social commitments ,
by J. Heard and R. Kremer. In Proc. Agent
Communication (2005 & 2006), LNAI 3859:
124-135, Springer-Verlag 2008
Interoperation
in protocol enactment , by A.K. Chopra,
M.P. Singh. In Proc. 5th DALT (2007), LNAI 4897:
36-49, Springer-Verlag 2008
E-learning
by doing with computational logic , by F.
Chesani, A. Ciampolini, P. Mello. In Proc.
Knowledge Construction in E-learning Context:
CSCL, ODL, ICT and SNA in education (2008). CEUR
Workshop Proceedings, Vol. 398, Symposium 2,
Article 3.
Applying
inductive logic programming to process mining ,
by E. Lamma, P. Mello, F. Riguzzi, S. Storari.
In Proc. ILP (2008), LNCS 4894: 132-146,
Springer-Verlag
Towards
design tools for protocol development , by
P. Yolum. In Proc. Agent Communication (2005
& 2006), LNAI 3859: 196-210, Springer-Verlag
2008
An
ASP-based approach to dealing with agent
perception failure , by F. Buccafurri, G.
Caminiti, D. Rosaci. AI Communications (2008)
21(1): 46-69. IOS Press
Optimizing
compilation and computational complexity of
constraint handling rules , by J. Sneyers.
PhD dissertation, Catholic University of Leuven,
2008.
Programming
multi-agent systems in AgentSpeak using Jason ,
by R.H. Bordini, J.F. Hubner, M. Wooldridge.
John Wiley & Sons Ltd, UK, 2007. ISBN
978-0-470-02900-8
Protocol
selection alongside service selection and
composition , by J. Quenum, F. Ishikawa, S.
Honiden. In Proc. ICWS (2007): 719-726, IEEE
Press
Norm-oriented
programming of electronic institutions: A
rule-based approach , by A. Garcia-Camino,
J.A. Rodriguez-Aguilar, C. Sierra, W.
Vasconcelos. In Proc. COIN (2006), LNAI 4386:
177-193, Springer-Verlag 2007
Modeling
control objectives for business process
compliance , by S. Sadiq, G. Governatori,
K. Namiri. In Proc. 5th BPM (2007), LNAI 4714:
149-164, Springer-Verlag
Prospective
logic agents , by L.M. Pereira, G. Lopes.
In Proc. 2nd GAIW@EPIA (2007), LNAI 4874: 73-86,
Springer-Verlag
Prospective
logic programs , by L.M. Pereira, G. Lopes.
Online resource (2007)
West2East:
Exploiting WEb Service Technologies to
Engineer Agent-based SofTware , by V.
Mascardi, G. Casella. International Journal of
Agent-Oriented Software Engineering (2007)
1(3/4): 396-434.
Testing
careflow process execution conformance by
translating a graphical language to
computational logic , by F. Chesani, P.
Mello, M. Montali, S. Storari. In Proc. AIME
(2007), LNAI 4594: 479-488, Springer-Verlag
Establishing
logical rules from empirical data , by J.L.
Pfaltz. In Proc. 19th IEEE ICTAI (2007):
202-209, IEEE Press.
Inducing
declarative logic-based models from labeled
traces , by E. Lamma, P. Mello, M. Montali,
F. Riguzzi, S. Storari. In Proc. 5th BPM (2007),
LNCS 4714: 344-359, Springer-Verlag
A
CHR-based framework for concurrency analyses ,
by B. Sarna-Starosta, L.K. Dillon, R.E.K.
Stirewalt, S.D. Fleming. Manuscript, 2007
Alternativas
para definir protocolos de interaccion basadas
en compromisos , by M. Tucat, A.J. Garcia
(2007). In Proc. 9th WICC: 16-20, ISBN
978-950-763-075-0
Enacting
protocols by commitment concession , by P.
Yolum, M.P. Singh. In Proc. 6th AAMAS (2007):
116-123, ACM Press, IFAAMAS, ISBN
978-81-904262-7-5
Extension
au premier ordre de l'unification des termes
par CHR , by K. Djelloul, T-B-H Dao, T.
Fruehwirth. In Proc. 3rd JFPC (2007): 87-97 [in
French]
On
the application of clustering techniques to
support debugging large-scale multi-agent
systems , by J.A. Botia, J.M. Hernansaez,
A.F. Gomez-Skarmeta. In Proc. 4th ProMAS (2006),
LNCS 4411: 217-227, Springer-Verlag (2007)
Specification,
execution and verification of interaction
protocols , by F. Chesani. PhD dissertation
(2007). DEIS, University of Bologna
Modelling
and monitoring social expectations in
multi-agent systems , by S. Cranefield. In
Proc. 2nd COIN (2006), LNAI 4386: 308-321,
Springer-Verlag 2007
A
model-based design-for-verification approach
to checking for deadlock in multi-threaded
applications , by B Sarna-Starosta, R E K
Stirewalt, L K Dillon. International Journal of
Software Engineering and Knowledge Engineering
(2007), 17(2): 207-230.
Reasoning
on choreographies and capability requirements ,
by M. Baldoni, C. Baroglio, A. Martelli, V.
Patti, C. Schifanella. International Journal of
Business Process Integration and Management
(2007), 2(4), 2007
Agent
societies and service choreographies: A
declarative approach to specification and
verification , by F. Chesani, P. Mello, M.
Montali, S. Storari. In Proc. MALLOW-AWESOME
(2007): 27-42. Online proceedings.
Using
constraints and process algebra for
specification of first-class agent interaction
protocols , by T. Miller, P. McBurney. In
Proc. 7th ESAW (2006), LNAI 4457: 245-264,
Springer-Verlag 2007
Ignoring,
Forcing and Expecting Simultaneous Events in
Electronic Institutions , by A.
Garcia-Camino. In Proc. 3rd COIN (2007), LNCS
4870: 15-26, Springer-Verlag
Design
time analysis of multiagent protocols , by
P. Yolum. Data & Knowledge Engineering
(2007), 63(1): 137-154, Elsevier Science
Publishers B. V
Modelling
protocols for multiagent interaction by
F-logic , by H.F. Lai. In Proc EUC (2007),
LNCS 4808: 271-282, Springer-Verlag
Towards
ACL semantics based on commitments and
penalties , by L. Amgoud, F. Dupin the
Saint-Cyr. In Proc. 17th ECAI (2006): 235-239.
IOS Press
Producing
compliant interactions: Conformance, coverage,
and interoperability , by A.K. Chopra, M.P.
Singh. Invited contribution in Proc. 4th DALT
(2006), LNAI 4327: 1-15, Springer-Verlag
Interaction
protocols and capabilities: A preliminary
report , by M. Baldoni, C. Baroglio, A.
Martelli, V. Patti, C. Schifanella. In Proc.
PPSWR (2006), LNCS 4187: 63-77, Springer-Verlag
Contract-related
agents , by J. Knottenbelt, K. Clark. In
Proc. CLIMA VI (2005), LNAI 3900: 226-242,
Springer-Verlag 2006
Crafting
the mind of PROSOCS agents , by A.
Bracciali, U. Endriss, N. Demetriou, A. Kakas,
W. Lu, K. Stathis. Applied Artificial
Intelligence (2006) 20(2-4): 105-131
Multi-agent
systems in computational logic: Challenges and
outcomes of the SOCS project , by F. Toni.
In Proc. CLIMA VI (2005), LNAI 3900: 420-426,
Springer-Verlag 2006
Verification
of protocol conformance and agent
interoperability , by M. Baldoni, C.
Baroglio, A. Martelli, V. Patti. In Proc. CLIMA
VI (2005), LNAI 3900: 265-283, Springer-Verlag
2006
Specifications and rapid prototyping of
multi-agent systems through coloured Petri net
represented in abductive logic programming
(CPN-LP) , by T.H. Fung. In Proc. WI
(2006): 565-571, IEEE/WIC/ACM
Representation
of coloured Petri net in abductive logic
programming (CPN-LP) and its application in
modeling an intelligent agent , by T.H.
Fung. International Journal of Intelligent
Technology (2006) 1(2): 154-163
A priori conformance verification for
guaranteeing interoperability in open
environments , by M. Baldoni, C. Baroglio,
A. Martelli, V. Patti. In Proc. 4th ICSOC
(2006), LNAI 4294: 339-351, Springer-Verlag
Specifying
and verifying interaction protocols in a
temporal action logics , by L. Giordano, A.
Martelli, C. Schwind. In Journal of Applied
Logic (2006), Elsevier Science
A
modeling framework for generic agent
interaction protocols , by J. Quenum, S.
Aknine, J.P. Briot, S. Honiden. In Proc. 4th
DALT (2006), LNAI 4327: 207-224, Springer-Verlag
Specialization
of interaction protocols in a temporal action
logic , by L. Giordano, A. Martelli, C.
Schwind. In Proc. LCMAS (2005), ENTCS 157(4),
Elsevier Science 2006
Automated
reasoning , by M. Bonacina, A. Martelli.
Intelligenza Artificiale (2006), 3(1-2): 14-20.
The
need of capability requirements inside
choreographies and interaction protocols ,
by M Baldoni, C Baroglio, A Martelli, V Patti, C
Schifanella. In Proc. 6th SOT (2006): 17-24
Normative
KGP agents , by F. Sadri, K. Stathis, F.
Toni. Computational & Mathematical
Organization Theory (2006), 12(2-3): 101-126.
Springer Netherlands.
Verifying
web service conformance and interoperability
w.r.t. a global choreography , by M.
Baldoni, C. Baroglio, A. Martelli, V. Patti. In
REWERSE Annual Meeting (2006)
A
model-based design-for-verification approach
to checking for deadlock in multi-threaded
applications , by B. Sarna-Starosta, R.E.K.
Stirewalt, L.K. Dillon. In Proc. 18th SEKE
(2006).
Intelligent
agents that reason about web services: a logic
programming approach , by V. Mascardi, G.
Casella. In Proc. ALPSWS (2006), CEUR Workshop
Proceedings Vol. 196.
A
tool to facilitate agent deliberation , by
D. Bryant, P. Krause, S. Moschoyiannis. In Proc.
9th JELIA (2006), LNAI 4160: 465-468,
Springer-Verlag
A
framework for defining and verifying clinical
guidelines: A case study on cancer screening ,
by F. Chesani, P. De Matteis, P. Mello, M.
Montali, S. Storari. In Proc. 16th ISMIS (2006),
LNAI 4203: 338-343, Springer-Verlag
A
verifiable logic-based agent architecture ,
by M. Alberti, F. Chesani, M. Gavanelli, E.
Lamma, P. Mello. In Proc. 16th ISMIS (2006),
LNAI 4203: 188-197, Springer-Verlag
A
tableau method for verifying dialogue game
protocols for agent communication , by J.
Bentahar, B. Moulin, J.-J.Ch. Meyer. In Proc.
3rd. DALT (2005), LNAI 3904: 223-244,
Springer-Verlag 2006
Temporal
Logics for Representing Agent Communication
Protocols , by U. Endriss. In Proc. Agent
Communication II (2006), LNAI 3859: 15-29,
Springer-Verlag
Report
of the ProMAS technical forum group IV , by
J.J. Gomez-Sanz, M. Dastani (2006). The TFG
was held in Lisbon, 13 December 2006.
Integration
of tests and validation into the development
process of MAS , by J.A. Botia, G.
Vigueras, J.J. Gomez-Sanz, J. Pavon. Talk given
by J. Botia at the Lisbon TFG
(2006).
An
approach for contextual regulations in open
MAS , by C.H. Felicissimo, C. de Lucena, G.
Carvalho, R. Paes. In Proc. AOIS.06@AAMAS (2006)
Run-time
model checking of interaction and deontic
models for multi-agent systems , by N.Z.
Osman. Thesis Proposal. School of Informatics,
The University of Edinburgh (2005).
Normative
ontologies to define regulations over roles in
open multi-agent systems , by C.H.
Felicissimo, C. de Lucena, G. Carvalho, R. Paes.
In AAAI Fall Symposium TR FS-05-08, USA (2005),
ISBN 978-1-57735-254-9
Sweetening
regulated open multi-agent systems with
support for agents to reason about Laws ,
by C.H. Felicissimo, J.A. Sardinha, C.J. Lucena.
Monografias em Ciencia da Computacao, No. 32/05
(2005), ISSN: 0103-9741
HYPROLOG:
A new logic programming language with
assumptions and abduction , by H.
Christiansen, V. Dahl. In Proc. 21th ICLP
(2005), LNAI 3668: 159-173, Springer-Verlag
Learning
by knowledge exchange in logical agents ,
by S. Costantini, A. Tocchio. In Proc. 6th WOA
(2005): 1-8
Detecting
broken social commitments: An implementation
and investigation , by J. Heard. Master's
thesis, University of Calgary, Calgary, AB,
Canada, August 2005.
Towards
design tools for protocol development , by
P. Yolum. In Proc. 4th AAMAS (2005): 99-105, ACM
Press
Verifying
the conformance of web services to global
interaction protocols: a first step , by M.
Baldoni, C. Baroglio, A. Martelli, V. Patti, C.
Schifanella. In Proc. EPEW (2005), LNCS 3670:
257-271, Springer-Verlag
The
KGP model of agency for global computing:
Computational model and prototype
implementation , by A. Bracciali, N.
Demetriou, U. Endriss, A. Kakas, W. Lu, P.
Mancarella, F. Sadri, K. Stathis, G. Terreni, F.
Toni. In Global Computing (2005), LNAI 3267:
340-367, Springer-Verlag
Formalization
and verification of interaction protocols ,
by F. Chesani. In Proc. 21st ICLP (2005), LNAI
3668: 437-438, Springer-Verlag
Addressing
constraint failures in agent interaction
protocol , by F Hassan, D Robertson C
Walton. In Proc. 8th PRIMA (2005), LNCS 4078:
45-59, Springer-Verlag.
Personalization,
verification and conformance for logic-based
communicating agents , by M Baldoni, C
Baroglio, A Martelli, V Mascardi, V Patti, C
Schifanella, L Torasso. In Proc. 6th WOA (2005).
Reasoning
about communicating agents inside DCaseLP ,
by M Baldoni, C Baroglio, I Gungui, A Martelli,
M. Martelli, V. Mascardi, V. Patti, C.
Schifanella. In Proc. 2nd DALT (2004), LNAI
3476: 112-131, Springer-Verlag 2005
Verifying
protocol conformance for logic-based
communicating agents , by M. Baldoni, C.
Baroglio, A. Martelli, V. Patti, C. Schifanella.
In Proc. CLIMA V (2004), LNAI 3487: 196-212,
Springer-Verlag 2005
The
SOCS project , by F. Toni, F. Sadri. ALP
Newsletter (2004) 17(3)
Ambient
intelligence using KGP agents , by K.
Stathis, F. Toni. In Proc. 2nd EUSAI (2004),
LNCS 3295: 351-362, Springer-Verlag
A
social approach to communication in
multi-agent systems , by M. Colombetti, N.
Fornara, M. Verdicchio. Invited contribution in
Proc. DALT (2003), LNAI 2990: 191-220,
Springer-Verlag 2004
Extending
the operational semantics of a BDI
agent-oriented programming language for
introducing speech-act based communication ,
by A.F. Moreira. R. Vieira, R.H. Bordini. In
Proc. 1st DALT (2003), LNAI 2990: 135-154,
Springer-Verlag 2004
Correctness
requirements for multiagent commitment
protocols , by P. Yolum. In Proc. 19th
ISCIS (2004), LNAI 3280: 955-965,
Springer-Verlag
Verifying
communicating agents by model checking in a
temporal action logic , by L. Giordano, A.
Martelli, C. Schwind. In Proc. 9th JELIA (2004),
LNAI 3229: 57-69, Springer-Verlag
Rapid
prototyping of large multi-agent systems
through logic programming , by W.
Vasconcelos, D. Robertson, C. Sierra, M. Esteva,
J. Sabater, M. Wooldridge. Annals of Mathematics
and Artificial Intelligence (2004), 41(2-4):
135-169, Springer Science+Business Media B.V.,
Formerly Kluwer Academic Publishers B.V.
Logic-based
electronic institutions , by W.W.
Vasconcelos. In Proc. 1st DALT (2003), LNAI
2990: 221-242, Springer-Verlag 2004
MAS
as complex systems: A view on the role of
declarative approaches , by A. Omicini, F.
Zambonelli. In Proc. 1st DALT (2003), LNAI 2990:
1-16, Springer-Verlag 2004
Logic-based
agent communication protocols , by U.
Endriss, N. Maudet, F. Sadri, F. Toni. In Proc.
ACL Workshop (2003), LNAI 2922: 91-107,
Springer-Verlag 2004

Business
processes, web services, choreographies and
argumentation in the Web 2.0 (ArgSCIFF,
B-Tropos):

Verification
of choreographies during execution using
the Reactive Event Calculus
(with M. Montali, F. Chesani, and P. Mello,
WS-FM 2008)
Verification
from declarative specifications using
logic programming (with M.
Montali, M.Alberti, F.Chesani, M.Gavanelli,
E.Lamma, and P. Mello, ICLP 2008)
Expressing
and verifying contracts with abductive logic
programming (with M. Alberti,
F. Chesani, M. Gavanelli, E. Lamma, P. Mello,
and M. Montali, IJEC 2008)
Argumentation
in the Semantic Web (with M.
Gavanelli and F. Chesani, IEEE-IS 2007)
Web
service contracting: specification and
reasoning with SCIFF (with M.
Alberti, F. Chesani, M. Gavanelli, E. Lamma, P.
Mello, and M. Montali, ESWC 2007)
Computational
logic for run-time verification of web
services choreographies: exploiting the
SOCS-SI tool (with M. Alberti,
F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M.
Montali, and S. Storari, WS-FM 2006)
Policy-based
reasoning for smart web service interaction
(with M. Alberti, F. Chesani, M. Gavanelli, E.
Lamma, P. Mello, and M. Montali, ALPSWS 2006)

Philosophical
and logic-based argumentation-driven reasoning
approaches and their realization on the WWW: A
survey , by N.K. Janjua, O.K. Hussain, F.K.
Hussain2, E. Chang. The Computer Journal, 2014
Assessing
the resilience of self-organizing systems: A
quantitative approach , by M. Risoldi, J.L.
Fernandez-Marquez, G.D.M. Serguendo. Chapter 11
in Adaptive, Dynamic, and Resilient Systems:
199-218. CRC Press, 2014
Monitoring
business metaconstraints based on LTL &
LDL for finite traces , by G. De Giacomo,
R. De Masellis, M. Grasso, F.M. Maggi, M.
Montali. In Proc. 12th BPM (2014)
Real
time
process compliance checking using
nomenclature approach , by M. Choy, M.N.
Laik, K.P. Shung. In Proc. 4th IEOM (2014):
1875-1884. ISBN 978-0-9855497-1-8
Conviviality-driven
access control policy , by D. El Kateb, N.
Zannone, A. Moawad, P. Caire, G. Nain, T.
Mouelhi, Y. Le Traon. Requirements Engineering,
February 2014
cLog:
Complex Event Log Synthesis Tool , by
Julius Holderer. Multikonferenz
Wirtschaftsinformatik 2014. Online resource [in
German]
Unifying
compliance management in adaptive environments
through variability descriptors , by F.
Koetter, M. Kochanowski, T. Renner, C. Fehling,
F. Leymann. In Proc. 6th SOCA (2013): 214-219,
IEEE Press
A
systematic review on security in process-aware
information systems. Constitution, challenges,
and future directions , by M. Leitner, S.
Rinderle-Ma. Information and Software Technology
(2013), Elsevier. In Press.
Automated
Reasoning , by M. Gavanelli, T. Mancini.
Intelligenza Artificiale 7 (2013):113-124, IOS
Press.
Temporal
deontic action logic for the verification of
compliance to norms in ASP , by L.
Giordano, A. Martelli, D. Theseider Dupre. In
Proc. ICAIL (2013): 53-62. ACM
Verifying
MSMAS model using SCIFF , by E.E. Elakehal,
M. Montali, J. Padget. In Proc. 11th MATES
(2013), LNAI 8076:44-58, Springer-Verlag.
A
defeasible logic programming-based framework
to support argumentation in Semantic Web
applications , by N.K. Janjua. PhD
Dissertation (2013). Curtin University, School
of Information Systems, Curtin Business School.
A
survey of formal business process
verification: From soundness to variability ,
by H. Groefsema, D. Bucur. In Proc. BMSD (2013).
Ensuring
compliance of distributed and collaborative
workflows , by D. Knuplesch, M. Reichert,
R. Pryss, W. Fdhila, S. Rinderle-Ma. In Proc.
9th CollaborateCom (2013), IEEE Press
Intention-oriented
modelling support for GORE in elastic cloud
applications , by Y. Karam, T. Baker, A.
Taleb-Bendiab. In Proc ICCMA (2013), ISBN
978-1-4673-5214-7, IEEE Press
Meta-level
constraints for complex event processing in
logical agents , by S. Costantini, G. De
Gasperis. In Proc. 11th Commonsense (2013)
A
review of argumentation for the Social
Semantic Web , by J. Schneider, T. Groza,
A. Passant. Semantic Web, In press
Agent
communication , by A.K. Chopra, M.P. Singh.
Chapter 3 in G. Weiss (ed), Multiagent Systems:
A Modern Approach to Distributed Artificial
Intelligence, 2nd edition, MIT Press, 2013
Looking
into the future: Using timed automata to
provide a priori advice about timed
declarative process models , by M.
Westergaard, F.M. Maggi. In Proc. OTM (2012),
LNCS 7565(1):250-267
Ablaufkontrolle
von Prozess-Choreographien , by M. von
Riegen. PhD dissertation (2012). Department of
Informatics, University of Hamburg, Germany [in
German]
Enabling
flexibility in process-aware information
systems: Challenges, methods, technologies ,
by M. Reichert, B. Weber. Springer 2012, ISBN:
978-3-642-30408-8
Self-checking
logical agents , by S. Costantini. In Proc.
8th LANMR (2012), CEUR Vol. 911: 1-30
Semantic
information and knowledge integration through
argumentative reasoning to support intelligent
decision making , by N.K. Janjua, F.K.
Hussain, O.K. Hussain. Information Systems
Frontiers. Published online 19 July 2012
Constitutive
and regulative specifications of commitment
protocols: A decoupled approach , by M.
Baldoni, C. Baroglio, E. Marengo, V. Patti. ACM
Transactions on on Intelligent Systems and
Technology (2013) 4 (2), art. no. 22.
Towards
a method for business process and informal
business rules compliance , by A. De
Nicola, M. Missikoff, F. Smith. Journal of
Software: Evolution and Process (2012) 24(3):
341-360
Ontology-based
querying of composite services , by F.
Smith, M. Missikoff, M. Proietti. In Proc. BSME
(2012), LNCS 7350: 159-180. Springer-Verlag.
Business
processes verification with temporal answer
set programming , by L. Giordano, A.
Martelli, M. Spiotta, D. Theseider Dupre. In
Proc. KiBP (2012), CEUR Workshop Proceedings,
Vol. 861: 48-59
On
enabling integrated process compliance with
semantic constraints in process management
systems: Requirements, challenges, solutions ,
by L.T. Ly, S. Rinderle-Ma, K. Goeser, P. Dadam.
Information Systems Frontiers (2012), 14 (2):
195-219
A
generalized commitment machine for 2CL
protocols and its Prolog implementation ,
by M. Baldoni, C. Baroglio, F. Capuzzimati, E.
Marengo, V. Patti. In Proc. 9th CILC (2012).
CEUR Workshop Proceedings, Vol. 857: 2-16
Temporal
meta-axioms in logical agents , by S.
Costantini, P. Tsintza. In Proc. 9th CILC
(2012). CEUR Workshop Proceedings, Vol. 857:
59-73
A
knowledge representation formalism for
semantic business process management , by
E. Oro, M. Ruffolo. Chapter 9 in Advances in
Knowledge Representation: 211-232. InTechOpen,
ISBN: 978-953-51-0597-8, 2012
Deon+:
Abduction and constraints for normative
reasoning , by M. Alberti, M. Gavanelli, E.
Lamma. In Sergot Festschrift (2012), LNAI 7360:
308-328 Springer-Verlag
An
operational decision support framework for
monitoring business constraints , by F.M.
Maggi, M. Montali, W.M.P. van der Aalst. In
Proc. 15th FASE (2012), LNCS 7212: 146-162.
Springer-Verlag.
Modeling
and analyzing service-oriented enterprise
architectural styles , by L. Tang. PhD
dissertation (2011). University of Texas at
Dallas, US
An
experimental comparison of theorem provers for
CTL , by R. Gore, J. Thomson, F. Widmann.
In Proc. 18th TIME (2011): 49-56, IEEE Xplore.
Conflict
resolution with multi-agent argumentation ,
by X. Fan. PhD dissertation (2011). Department
of Computing, Imperial College London.
SPICA's
multi-party negotiation protocol:
Implementation using YAWL , by E. Baccarin,
E.R.M. Madeira, C.B. Medeiros, W.M.P. van der
Aalst. International Journal of Cooperative
Information Systems (2011) 20(3): 221-259
Interaction
choreography models in BPEL: Choreographies on
the enterprise service bus , by O. Kopp, L.
Engler, T. van Lessen, F. Leymann, J. Nitzsche.
In Proc. 2nd S-BPM ONE (2010), CCIS 138 Part II:
36-53, Springer-Verlag 2011
Verifying
compliance of business processes with temporal
answer sets , by D. D'Aprile, L. Giordano,
V. Gliozzi, A. Martelli, G.L. Pozzato, D.
Theseider Dupre'. In Proc. 26th CILC (2011).
Online proceedings.
Meaning
negotiation in multiple agent system: An
automated reasoning approach , by E.
Burato. Ph.D. Dissertation (2011), Dipartimento
di Informatica, Universita degli Studi di
Verona, Italy
Ensuring
business process compliance along the process
life cycle , by D. Knuplesch, M. Reichert.
Tech. Rep. UIB-2011-06 (2011), University of
Ulm, Germany.
On
lifecycle constraints of artifact-centric
workflows , by E. Kucukoguz, J. Su. In Proc
7th WS-FM (2010), LNCS 6551: 71-85,
Springer-Verlag 2011
Better
algorithms for analyzing and enacting
declarative workflow languages using LTL ,
by M. Westergaard. In Proc. 9th BPM (2011), LNCS
6896: 83-98. Springer-Verlag
Monitoring
business constraints with linear temporal
logic: An approach based on colored automata ,
by F.M. Maggi, M. Montali, M. Westergaard,
W.M.P. van der Aalst. In Proc. 9th BPM (2011),
LNCS 6896: 132-147. Springer-Verlag
Normative
conflicts in electronic contracts , by G.K.
Giannikis, A. Daskalopulu. Electronic Commerce
Research and Applications (2011) 10(2): 247-267.
Enacting
declarative languages using LTL: Avoiding
errors and improving performance , by M.
Pesic, D. Bosnacki, W.M.P. van der Aalst. In
Proc 17th SPIN (2010), LNCS 6349: 146-161,
Springer-Verlag (2010)
Hints
on how to face business process compliance ,
by C. Cabanillas, M. Resinas, A. Ruiz-Cortes.
Actas de los Talleres de las Jornadas de
Ingenieria del Software y Bases de Datos (2010)
4(4): 26-32
Development
of a logic layer in the semantic web: Research
issues , by NK Janjua, FK Hussain. In Proc
SKG 2010: 367-370, IEEE Xplore.
On
the identification of data-related compliance
problems in business processes , by C.
Cabanillas, M. Resinas, A. Ruiz-Cortes. VI
Jornadas CientificoTecnicas en Servicios Web Y
SOA JSWEB10 (2010): 89-102
Dynamic
discovery and composition of semantic web
services using abductive event calculus ,
by D. Paulraj, S. Swamynathan. In Proc ITC 2010:
70-74. IEEE Computer Society
RCRA
2008: Experimental evaluation of algorithms
for solving problems with combinatorial
explosion , by M. Gavanelli, T. Mancini.
Fundamenta Informaticae (2010) 102(3-4): i-ii
Declarative
specification and verification of service
choreographies , by M. Montali, M. Pesic,
W.M.P. van der Aalst, F. Chesani, P. Mello, S.
Storari. ACM Transactions on the Web 4(1),
Article 3, January 2010
A
compliance management framework for business
process models , by A.M.H.A. Awad. PhD
dissertation (2010). Hasso Plattner Institute,
University of Potsdam, Germany
Enhancing
the discovery of web services: A
keyword-oriented multiontology reconciliation ,
by C. Bobed, E. Mena. In proc. PDPTA (2010).
CSREA Press 2010. ISBN 1-60132-158-9
Specification
and verification of declarative open
interaction models: A logic-based approach ,
by M. Montali. LNBIP 56, Springer-Verlag 2010.
ISBN 978-3-642-14537-7
Approaches
to text mining arguments from legal cases ,
by A. Wyner, R. Mochales-Palau, M.F. Moens, D.
Milward. In Proc WSPLT (2008), LNAI 6036: 60-79,
Springer-Verlag, 2010
Orinoco
framework: publicacion, composicion y
ejecucion de Servicios Web en ambientes GRID ,
by K. Kiss, E. Blanco, Y. Cardinale (2010).
Novatica: Revista de la Asociacion de Tecnicos
de Informatica 208:40-47, ISSN 0211-2124 [in
Spanish]
On
ontology management in semantic web service
registry , by C. Zeng, K. He, Bing Li, C.
Wang, Y. He. In 9th GCC (2010): 444-449, IEEE
Xplore, ISBN 978-1-4244-9334-0
Using
argumentation technology provision semantic
web service to solve the problem of
consignment online shops , by W. Zhang, Y.
Liang, S. Ji, Q. Tian. In Proc. ICCASM (2010),
V15:382-386. ISBN 978-1-4244-7237-6/10
Dynamic
discovery and composition of semantic web
services using abductive event calculus ,
by D. Paulraj, S. Swamynathan. In Proc. ITC
(2010): 70-74, IEEE Computer Society Article
05460610
Natural
Language Engineering of Argumentation (NaLEA) ,
by A. Wyner, T. van Engers (2010). wyner.info
Exploiting
inductive logic programming techniques for
declarative process mining , by F. Chesani,
E. Lamma, P. Mello, M. Montali, F. Riguzzi, S.
Storari. In ToPNoC II (2009), LNCS 5460:
278-295. Springer-Verlag
Reliable
monitoring for runtime validation of
choreographies , by M. von Riegen, N.
Ritter. In Proc. 4th ICIW (2009): 310-315, IEEE
Xplore.
BPELgold:
Choreography on the service bus , by L.
Engler. Diplomarbeit Nr. 2880, Institute of
Architecture of Application Systems University
of Stuttgart, Germany, 2009.
Runtime
verification of agent properties , by S.
Costantini, P. Dell'Acqua, L.M. Pereira, P.
Tsintza. In Proc. 18th INAP (2009). Online
proceedings.
Defeasible
logic based BDI agent for argumentation ,
by J. Yuan, A. Bao, L. Yao, X. Qi, F. Liu. In
Proc. ICIS (2009), IEEE Xplore.
An
integrated declarative approach to web
services composition and monitoring , by E.
Zahoor, O. Perrin, C. Godart. In Proc. 10th WISE
(2009), LNCS 5802: 274-260. Springer-Verlag
Achieving
life-cycle compliance of service-oriented
architectures: Open issues and challenges ,
by T. Scholte, E. Kirda. In Proc 4th DPM (2009),
LNAI 5939: 253-267, Springer-Verlag, 2010
An
abstract framework for modeling argumentation
in virtual communities , by T. Groza, S.
Handschuh, J.G. Breslin, S. Decker.
International Journal of Virtual Communities and
Social Networking 1(3):35-47, July-September
2009
Categorical
knowledge and commonsense reasoning , by T.
Yamauchi (2009). In Proc. of 31th Annual
Meetings of the Cognitive Science Society, pp.
124-129. Mahwah, NJ: Lawrence Erlbaum.
DR-CONTRACT:
An architecture for e-contracts in defeasible
logic , by G. Governatori, D.H. Pham.
International Journal of Business Process
Integration and Management (2009) 4(3): 187-199
Strategic
agent communication: An argumentation-driven
approach , by J. Bentahar, M. Mbarki, J.-J.
Ch. Meyer, B. Moulin. In Proc. 6th DALT (2008),
LNAI 5397: 233-250, Springer-Verlag, 2009
Semantic
web service choreography: contracting and
enactment , by D. Roman, M. Kifer. In Proc.
7th ISWC (2008), LNCS 5318: 550-566,
Springer-Verlag.
A
framework for agent communication based on
goals and argumentation , by M. Mbarki, J.
Bentahar, J.-J.Ch. Meyer, B. Moulin. In Proc.
6th DALT (2008)
Expressing
argumentative discussions in social media
sites , by C. Lange, U. Bojars, T. Groza,
J.G. Breslin, S. Handschuh. In Proc. 1st SDOW
(2008)
Adding
provenance and evolution information to
modularized argumentation models , by T.
Groza, S. Handschuh, J.G. Breslin (2008). In
Proc. WI-IAT. Vol. 1:475-481, IEEE, ISBN
978-0-7695-3496-1
Business
process compliance checking: Current state and
future challenges , by M. El Kharbili, A.K.
Alves de Medeiros, S. Stein, W.M.P. van der
Aalst. Special Interest Group on Modelling
Business Information Systems (MoBIS 2008),
Lecture Notes in Informatics P-141: 107-113.
GI-Edition. ISBN 978-3-88579-235-2
Constitutive
interoperability , by A.K. Chopra and M.P.
Singh. In Proc. 7th AAMAS (2008), ACM Press,
IFAAMAS
Compliance
of semantic constraints: A requirements
analysis for process management systems ,
by L.T. Ly, K. Goeser, S. Rinderle-Ma, P. Dadam.
In Proc. GRCIS@CAiSE (2008), CEUR 339: 31-45
Agent
societies and service choreographies: A
declarative approach to specification and
verification , by F. Chesani, P. Mello, M.
Montali, S. Storari. In Proc. MALLOW-AWESOME
(2007): 27-42. Online proceedings.
Modeling
epistemic knowledge in logic programs with
negation as failure , by M. Preda. In Proc.
3rd SEEFM (2007), Sout-East European Research
Centre, ISBN 978-960-89629-4-1
West2East:
Exploiting WEb Service Technologies to
Engineer Agent-based SofTware , by V
Mascardi, G Casella. International Journal of
Agent-Oriented Software Engineering (2007)
1(3/4): 396-434.
Verification
of WS-CDL choreography , by X. Zhao, H.
Yang, C. Cai, X. Dai, Z. Qiu. In Proc. AWCVS
(2006)

Agent
reasoning and interaction (ALIAS, LAILA):

An
abductive framework for information
exchange in multi-agent systems
(with M. Gavanelli, E. Lamma, and P. Mello,
CLIMA IV 2004)
Using
Abductive Logic Agents for Modeling the
Judicial Evaluation of Criminal Evidence
(with A. Ciampolini, AAIJ 2004)
Co-operation
and competition in ALIAS: a logic framework
for agents that negotiate (with A.
Ciampolini, E. Lamma, P. Mello, and F. Toni,
AMAI 2003)
LAILA:
a language for coordinating abductive
reasoning among logic agents (with
A. Ciampolini, E. Lamma, and P. Mello, Comp.
Lang. 2001)
An
implementation for Abductive LogIc AgentS
(with A. Ciampolini, E. Lamma, P. Mello, and C.
Stefanelli, AIxIA 1999)

An
epistemic and dynamic approach to abductive
reasoning: selecting the best explanation ,
by A. Nepomuceno-Fernandez, F. Soler-Toscano,
F.R. Velazquez-Quesada. Logic Journal of the
IGPL (2013)
Designing
protocols for abductive hypothesis refinement
in dynamic multi agent systems , by G.
Bourgne, N. Maudet. Computational Intelligence
(2012)
Cooperative
dialogues with conditional arguments , by
S. Sa, J. Alcantara. In Proc 11th AAMAS (2012),
4C2. IFAAMAS.
Hypothesis
refinement: Building hypotheses in an
intelligent agent system , by G. Bourgne,
N. Maudet, S. Pinson. Handbook of
Reasoning-based Intelligent System, Chapter
XXIII. World Scientific. To appear.
Multi-agent
confidential abductive reasoning , by J.
Ma, A. Russo, K. Broda, E.C. Lupu. Technical
Communications of the 27th ICLP (2011): 175-186.
Leibniz International Proceedings in Informatics
Schloss Dagstuhl, Leibniz-Zentrum fuer
Informatik, Dagstuhl Publishing, Germany
Where
logic and agents meet , by J. Dix, M.
Fisher. Annals of Mathematics and Artificial
Intelligence (2011), 61: 15-28
Towards
efficient multi-agent abduction protocols ,
by G. Bourgne, K. Inoue, N. Maudet. In Proc. 3rd
LADS (2010), LNCS 6822: 19-38, Springer-Verlag
2011
Distributed
abductive reasoning with constraints , by
J. Ma, K. Broda, A. Russo, E. Lupu. In Proc. 8th
DALT (2010), LNAI 6619: 148-166, Springer-Verlag
2011
Complete
distributed consequence finding with message
passing , by K. Inoue, G. Bourgne, T.
Okamoto. In Proc. 3rd ICAART (2011), Vol. 2:
134-143 ISBN 978-989842541-6
Query-driven
coordination of multiple answer sets , by
G. Bourgne, K. Inoue. In Proc. 8th DALT (2010),
LNAI 6619: 40-59, Springer-Verlag 2011
ASTREA:
Answer sets for a trusted reasoning
environment for agents , by R. Watson, M.
De Vos. In Proc. KY (2010), LNAI 6565: 490-505,
Springer-Verlag 2011
Speculative
abductive reasoning for hierarchical agent
systems , by J. Ma, K. Broda, R. Goebel, H.
Hosobe, A. Russo, K. Satoh. In Proc. CLIMA XI
(2010), LNAI 6245: 49-64, Springer-Verlag, 2010
Distributed
abductive reasoning with constraints (extended
abstract) , by J. Ma, K. Broda, A. Russo,
E. Lupu. In Proc. 9th AAMAS (2010): 1381-1382.
IFAAMAS
Abduction
of distributed theories through local
interactions , by G. Bourgne, K. Inoue, N.
Maudet. In Proc 19th ECAI (2010): 901-906,
Frontiers in AI and Applications 215, IOS Press.
Interacting
answer sets , by C. Sakama, T.C. Son. In
Proc. CLIMA IX (2009), LNAI 6214: 12-140,
Springer-Verlag 2010
Legal
evidence, police intelligence, crime analysis
or detection, forensic testing, and
argumentation: An overview of computer tools
or techniques , by E. Nissan. International
Journal of Law and Information Technology
(2009), 17(1): 1-82
The
CIFF proof procedure for abductive logic
programming with constraints: Theory,
implementation and experiments , by P.
Mancarella, G. Terreni, F. Sadri, F. Toni, U.
Endriss. Theory and Practice of Logic
Programming (2009), 9(6): 691-750.
Towards
refinement of abductive or inductive
hypotheses through propagation , by G.
Bourgne, A. El-Fallah Seghrouchni, N. Maudet.
Journal of Applied Logic (2009) 7(3): 289-306
Executable
specifications for hypothesis-based reasoning
with Prolog and Constraint Handling Rules ,
by H. Christiansen. Journal of Applied Logic
(2009) 7(3): 341-362
Coordination
in answer set programming , by C. Sakama,
K. Inoue. ACM Transactions on Computational
Logic (2008) 9(2), Article No. 9
PPL:
A whole-image processing language , by S.
Wang, Z. Dong, J.X. Chen, R.S. Ledley. Computer
Languages, Systems & Structures (2008)
34(1): 18-24. Elsevier
Abduction
and legal reasoning , by G. Maggenti, A.
Bracciali, P. Mancarella. In Proc. 1st
e-Forensics (2008), Article 33. ICST
978-963-9799-19-6.
An
abductive multi-agent framework for
distributed service coordination and reasoning
in emergency scenarios , by S. Storari, A.
Ciampolini, P. Mello. In Proc. 2nd
PervasiveHealth (2008): 93-96. IEEE
DARE:
a system for distributed abductive reasoning ,
by J. Ma, A. Russo, K. Broda, K. Clark.
Autonomous Agents and Multi-Agent Systems (2008)
16(3): 271-297
A
dynamic system for distributed reasoning ,
by J. Ma, K. Broda, A. Russo, K. Clark. In Proc.
AAAI Spring Symposium (2008), TR SS-08-02:
31-36. ISBN 978-157735358-4
A
calculus effectively performing event
formation with visualization , by S.
Yamasaki, M. Sasakura. In High-performance
computing (2008), LNCS 4759: 287-294
Select
topics in legal evidence and assistance by
artificial intelligence techniques , by E.
Nissan. Cybernetics and Systems (2008), 39(4):
333-394
An
abductive multi-agent system for medical
services coordination , by A. Ciampolini,
P. Mello, S. Storari. In IFIP International
Federation for Information Processing, Vol. 276;
Artificial Intelligence and Practice II:
421-426. Boston: Springer.
Rule-based
policy specification , by G. Antoniou, M.
Baldoni, P. Bonatti, W. Nejdl, D. Olmedilla. In
Secure Data Management in Decentralized Systems
III (2007), No. 33 in the Advances in
Information Security series: 169-216, Springer
US.
Solving
abduction by computing joint explanations:
logic programming formalization, applications
to P2P data integration, and complexity
results , by G. Greco. Annals of
Mathematics and Artificial Intelligence (2007)
50(1-2): 143-194
Hierarchical
decision making in multi-agent systems using
answer set programming , by D. Van
Nieuwenborgh, M. De Vos, S. Heymans, D. Vermeir.
In Proc CLIMA VII (2006), LNAI 4371: 20-40,
Springer-Verlag 2007
Specification,
execution and verification of interaction
protocols , by F. Chesani. PhD dissertation
(2007). DEIS, University of Bologna
Distributed
abductive reasoning system and abduction in
the small , by J. Ma. MEng Final Year
Report, Department of Computing, ICSTM,
University of London (2007)
Programming
multi-agent systems , by M. Dastani, J.
Gomez-Sanz. The Knowledge Engineering Review
(2006), 20(2): 151-164
Solving
abduction by computing joint explanations:
logic programming formalization, applications
to P2P data integration, and complexity
results , by G. Greco. In Proc. 4th FoIKS
(2006) LNCS 3861: 116-136, Springer-Verlag
Stabilization
of cooperative information agents in
unpredictable environment: a logic programming
approach , by P.M. Dung, D.D. Hanh, P.M.
Thang. Theory and Practice of Logic Programming
(2006), 6(1-2): 1-22 Cambridge University Press
LAIMA:
A multi-agent platform using ordered choice
logic programming , by M. De Vos, T. Crick,
J. Padget, M. Brain, O. Cliffe, J. Needham. In
Proc. 3rd DALT (2005), LNAI 3904: 72-88,
Springer-Verlag 2006
Artificial
intelligence and formalisms for legal
evidence: An introduction , by E. Nissan,
A.A. Martino. Applied Artificial Intelligence
(2004) 18(3-4): 185-229
Legal
evidence scholarship meets artificial
intelligence , by R.J. Allen. Applied
Artificial Intelligence (2004) 18(3-4): 367-389
Stable
multi-agent systems , A. Bracciali, P.
Mancarella, K. Stathis, F. Toni. In Proc. 5th
ESAW (2004), LNAI 3451: 322-334, Springer-Verlag
2005
Coordination
between logical agents , by C. Sakama, K.
Inoue. In Proc. CLIMA V (2004) LNAI 3487:
161-177, Springer-Verlag 2005
On
modelling multi-agent systems declaratively ,
by A. Bracciali, P. Mancarella, K. Stathis, F.
Toni. In Proc. 2nd DALT (2004), LNAI 3476:
53-68, Springer-Verlag 2005
The
construction of judicial proof: a challenge
for artificial intelligence modelling , by
E. Nissan, A. Martino. Applied Artificial
Intelligence (2004) 18(3-4): 183-184
Logic-based
specification languages for intelligent
software agents , by V. Mascardi, M.
Martelli, L. Sterling. Theory and Practice of
Logic Programming (2004), 4: 429-494, Cambridge
University Press
Outlier
detection by logic programming , by F.
Angiulli, G. Greco, L. Palopoli. Tech. Rep.
ICAR-CNR-CS n. 9, 2004
Building
blocks for an artificial intelligence
framework in the field of legal evidence, part
I , by E. Nissan, A. Martino. Cybernetics
& Systems (2003) 34(4-5), 233-244.
Using
model-based diagnosis to build hypotheses
about spatial environments , by O. Obst. In
Proc. 7th RoboCup (2003), LNCS 3020: 518-525,
Springer-Verlag 2004
Design
and implementation of a hybrid agent platform ,
by L. Chunlin, L. Zhengding, L. Layuan.
Programming and Computer Software (2003) ,
29(1): 28-42. MAIK Nauka/Interperiodica
distributed exclusively by Springer
Science+Business Media LLC.

Negotiation
dialogues:

Agent
p lanning,
n egotiation,
and c ontrol
of o peration
(with A.
Kakas and N.
Demetriou , ECAI
2004)
A
new framework for knowledge revision of
abductive agents through their interaction
(with A. Bracciali, CLIMA IV 2004)
An
abductive logic programming architecture
for negotiating agents (with
F. Sadri and F. Toni, JELIA 2002)
Logic
agents, dialogues and negotiation: an
abductive approach (with F.
Sadri and F. Toni, AISB 2001)
Dialogues
for negotiation: agent varieties and
dialogue sequences (with F.
Sadri and F. Toni, ATAL 2001)

Formalizing
negotiations using logic programming , by
T.C. Son, E. Pontelli, N.-H. Nguyen, C. Sakama.
ACM Transactions on Computational Logic. To
appear.
Models
of argument for deliberative dialogue in
complex domains , by A. Toniolo. PhD
Dissertation (2013). University of Aberdeen.
Negotiation
and Bargaining , by S. Fatima, I. Rahwan.
Chapter 4 in G. Weiss (ed), Multiagent Systems:
A Modern Approach to Distributed Artificial
Intelligence, 2nd edition, MIT Press, 2013
Designing
protocols for abductive hypothesis refinement
in dynamic multi agent systems , by G.
Bourgne, N. Maudet. Computational Intelligence
(2012)
Multi-agent
data mining with negotiation: a study in
multi-agent based clustering , by S.
Chaimontree. Doctoral Dissertation (2012),
Department of Computer Science, The University
of Liverpool
Multi-attribute
bilateral negotiation in a logic-based
e-marketplace , by A. Ragone, T. Di Noia,
E. Di Sciascio, F. Donini, R. Mirizzi (2012)
Negotiation and Argumentation in Multi-agent
Systems, Bentham Science Publishers
Executable
logic for dialogical argumentation , by E.
Black, A. Hunter. In Proc. 20th ECAI (2012):
15-20, Frontiers of Artificial Intelligence
On
formalizing social commitments in dialogue and
argumentation models using temporal defeasible
logic , by A. Moubaiddin, N. Obeid.
Knowledge Information Systems (2012)
Hypothesis
refinement: Building hypotheses in an
intelligent agent system , by G. Bourgne,
N. Maudet, S. Pinson. Handbook of
Reasoning-based Intelligent System, Chapter
XXIII. World Scientific. To appear.
HANA:
a human-aware negotiation architecture , by
A. Fabregues, C. Sierra. Journal of Decision
Support Systems, In press.
Cooperative
dialogues with conditional arguments , by
S. Sa, J. Alcantara. In Proc 11th AAMAS (2012),
4C2. IFAAMAS.
Conflict
resolution in resource federation with
intelligent agent negotiation , by W.-K.
Cheng, H.-Y. Chan. Practical Applications of
Agent-Based Technology, Chapter 2: 21-44.
InTech, March, 2012. ISBN 978-953-51-0276-2.
An
argumentation-driven model for flexible and
efficient persuasive negotiation , by J.
Bentahar, J. Labban. Group Decsion and
Negotiation (2011) 20(4): 411-435.
Ambient
intelligence: A survey , by F. Sadri. ACM
Computing Surveys (2011) 43(4), Article 36.
基
于 Agent 的辩论谈判系统的协议研究 , by W. Jinghua, H.
Tiyun. Computer Engineering and Applications
(2011) 47(9): 37-40 [in Chinese]
A
logical formulation for negotiation among
dishonest agents , by C. Sakama, T.C. Son,
E. Pontelli. In Proc. 22nd IJCAI (2011):
1069-1074. AAAI.
ASP-Prolog
for negotiation among dishonest agents , by
N.-H. Nguyen, T.C. Son, E. Pontelli, C. Sakama.
In Proc. 11th LPNMR (2011), LNCS 6645: 331-344.
Springer.
A
review on soft computing techniques in
automated negotiation , by H. Jazayeriy, M.
Azmi-Murad, M.N. Sulaiman, N.I. Udzir.
Scientific Research and Essays (2011) 6(24):
5100-5106. Academic Journals, ISSN 1992-2248
A
many-many synchronous sealed bargaining
protocol , by Zhang Zhen-wen, Tan Xin. In
Proc. BMEI (2011): 460-463. IEEE Xplore.
Case-based
argumentation in agent societies , by S.
Heras. Ph.D. Dissertation (2011), Departamento
de Sistemas Informaticos y Computacion,
Universidad Politecnica de Valencia, Spain
Case-based
argumentation framework. Dialogue protocol ,
by S. Heras, V. Botti, V. Julian. Tech. Rep.
DSIC-TI-IA-2011-06-24 (2011). Departamento de
Sistemas Informaticos y Computacion, Universidad
Politecnica de Valencia, Spain
Meaning
negotiation in multiple agent system: An
automated reasoning approach , by E.
Burato. Ph.D. Dissertation (2011), Dipartimento
di Informatica, Universita degli Studi di
Verona, Italy
An
argumentation system that builds trusted
trading partnerships , by K.S. Islam. PhD
dissertation (2010). University of Technology
Sydney, Australia
A
deduction system for meaning negotiation ,
by E. Burato, M. Cristiani, L. Vigano. In Proc.
8th DALT (2010), LNCS 6619:78-95.
Springer-Verlag 2011
Position
statement: Arguments cooperatively built by
groups of agents , by S. Sa. In Proc. 8th
ArgMAS (2011): 95-96.
Argumentation-based
negotiation planning for autonomous agents ,
by A. Monteserin, A. Amandi. Decision Support
Systems (2011) 51(3): 532-548.
A
relevance-theoretic framework for constructing
and deconstructing enthymemes , by E.
Black, A. Hunter. Journal of Logic and
Computation (2012) 22(1): 55-78
Agent
based negotiation in E-commerce , by M.T.
Ateib. In Proc. ITSim (2010): 861-868. IEEE
A
dialogue games framework for the operational
semantics of logic agent-oriented languages ,
by S. Costantini, A. Tocchio. In Proc. CLIMA XI
(2010), LNCS 6245: 238-255. Springer-Verlag
Modelling
Multilateral Negotiation in Linear Logic ,
by D. Porello, U. Endriss. ILLC Prepublications
PP-2010-15, Digital Academic Repository,
University of Amsterdam, 2010
Specification
and verification of multi-agent systems ,
by M. Dastani, K. Hindriks, J.-J.Ch. Meyer
(eds.), Springer, US, 2010.
A
formal framework of virtual organisations as
agent societies , by J. McGinnis, K.
Stathis, F. Toni. EPTCS (2010) 16(1):1-14.
An
investigation of multi-agent planning in CLP ,
by A. Dovier, A. Formisano, E. Pontelli.
Fundamenta Informaticae (2010), 105(1-2):
79-103.
Research
on persuasion type argument-negotiation system
based on agent and its state of arts , by
J.-H. Wu, T.-Y. Huang. In Proc. ICEE (2010):
4418-4421. IEEE. ISBN 978-0-7695-3997-3 [in
Chinese]
New
development of argumentation-based negotiation ,
by X. Dong, G. Jiang, T. Huang. In Proc. ITAP
(2010):1-7 [in Chinese]
Resource
federation in grid using automated intelligent
agent negotiation , by W.K. Cheng, B.Y.
Ooi, H.Y. Chan. Future Generation Computer
Systems (2010), 26(8): 1116-1126
The
CIFF proof procedure for abductive logic
programming with constraints: Theory,
implementation and experiments , by P.
Mancarella, G. Terreni, F. Sadri, F. Toni, U.
Endriss. Theory and Practice of Logic
Programming (2009), 9(6): 691-750.
Dialogue
games that agents play within a society ,
by N.C. Karunatillake, N.R. Jennings, I. Rahwan,
P. McBurney. Artificial Intelligence (2009)
173(9-10): 935-981
An
inquiry dialogue system , by E. Black, A.
Hunter. Autonomous Agents and Multi-Agent
Systems (2009), 19(2): 173-209. Springer
Netherlands
Negotiation
using logic programming with consistency
restoring rules , by T.C. Son, C. Sakama.
In Proc 21st IJCAI (2009): 930-935. AAAI Press.
Inductive
negotiation in answer set programming , by
C. Sakama. In Proc. 6th DALT (2008), LNAI 5397:
143-160. Springer-Verlag, 2009.
Automatisierte
Verhandlungen in Multi-Agenten-Systemen ,
by R. Buettner. PhD Dissertation (2009),
Universitaet Hohenheim, Germany. Gabler Verlag.
ISBN 978-3-8349-2131-4
Designing
and implementing B2B applications using
argumentative agents , by J. Bentahar, N.
Narendra, Z. Maamar, R. Alam, P. Thiran. New
Trends in Software Methodologies, Tools and
Techniques (2008), IOS Press.
Combining
boolean games with the power of ontologies for
automated multi-attribute negotiation in the
semantic web , by T. Lukasiewicz, A.
Ragone. Proc. 2nd SMR (2008), CEUR 416(5).
University of Aachen. INFSYS
Research Report 1843-08-08 (2008), TU Wien
Logic-based
automated multi-issue bilateral negotiation in
peer-to-peer e-marketplaces , by A. Ragone,
T. Di Noia, E. Di Sciascio, F.M. Donini.
Autonomous Agents and Multi-Agent Systems
(2008), 16(3): 249-270. Springer Netherlands.
R2-IBN:
Argumentation based negotiation framework for
the extended enterprise , by L. Hsairi, K.
Ghedira, A.M. Alimi, A. BenAbdelhafid. In Proc.
3rd HAIS (2008), LNCS 5271: 533-542,
Springer-Verlag
Using
temporal-difference learning for multi-agent
bargaining , by S. Huang, F. Lin.
Electronic Commerce Research and Applications
(2008) 7(4): 432-442 Elsevier BV
Using
enthymemes in an inquiry dialogue system ,
by E. Black, A. Hunter. In Proc. 7th AAMAS
(2008), ACM Press, IFAAMAS
A
negotiation strategy for the temporal resource
reallocation problem in multi-agent systems ,
by P. Alexopoulos, M. Wallace. International
Journal of Internet Protocol Technology (2008),
3(3): 194-202.
On
the benefits of argumentation for negotiation
- preliminary version , by A. Hussain, F.
Toni. In Proc. 6th EUMAS (2008)
A
bayesian learning model in the agent-based
bilateral negotiation between the coal
producers and electric power generators ,
by M. Zhang, Z. Tan, J. Zhao, L. Li. In Proc.
IITAW (2008): 859-862. IEEE. ISBN
978-0-7695-3505-0
A
generic framework for argumentation-based
negotiation , by M.M. Geipel, G. Weiss. In
Proc. 11th CIA (2007), LNAI 4676: 209-223 ,
Springer-Verlag
Assimilating
ontological additions in convergent
negotiation protocols , by B. Spencer. In
Proc. 9th ICEC (2007): 135-140
The
eightfold way of deliberation dialogue , by
P. McBurney, D. Hitchcock, S. Parsons.
International Journal of Intelligent Systems
(2007) 22(1): 95-132
Resource
sharing in multi-agent systems through
multi-stage negotiation , by P.
Alexopoulos. In 4th IFIP AIAI (2007). IFIP
International Federation for Information
Processing series N. 247: 57-64, Springer
Boston, ISBN 978-0-387-74160-4
Bilateral
agent negotiation with information-seeking ,
by A. Hussain, F. Toni. In Proc. 5th EUMAS
(2007)
A
security framework for agent-based systems ,
by J. Bentahar, F. Toni, J.-J.Ch. Meyer, J.
Labban. International Journal of Web information
systems (2007), 3(4): 341-362
Programming
applications in CIFF , by P. Mancarella, F.
Sadri, G. Terreni, F. Toni. In Proc. 9th LPNMR
(2007), LNAI 4483: 284-289, Springer-Verlag
Negotiating
socially optimal allocations of resources: an
overview , by U. Endriss, N. Maudet, F.
Sadri, F. Toni. Journal of Artificial
Intelligence Research (2006), 25: 315-348
STRATUM:
A methodology for designing heuristic agent
negotiation strategies , by I. Rahwan, L.
Sonenberg, N. Jennings, P. McBurney. Applied
Artificial Intelligence (2007), 21(6): 489-527.
Taylor & Francis
Securing
agent-oriented systems: An argumentation and
reputation-based approach , by J. Bentahar,
J.J. Meyer, B. Moulin. In Proc. 4th ITNG (2007):
507-515, IEEE Computer Society.
Contract
clause negotiation by game theory , by E.
Burato, M. Cristani. In Proc. 11th ICAIL (2007):
71-80, ACM Press, ISBN 978-1-59593-680-6
Solving
abduction by computing joint explanations:
Logic programming formalization, applications
to P2P data integration, and complexity
results , by G. Greco. Annals of
Mathematics and Artificial Intelligence (2007)
50(1-2): 143-194
Negotiation
by abduction and relaxation , by C. Sakama,
K. Inoue. Proc. 6th AAMAS (2007): 1022-1029, ACM
Press, IFAAMAS, ISBN 978-81-904262-7-5
A
generative inquiry dialogue system , by E.
Black, A. Hunter. In Proc. 6th AAMAS (2007):
1014-1021, ACM Press, IFAAMAS, ISBN
978-81-904262-7-5
Learning
consumer preferences using semantic similarity ,
by R. Aydoğan, P. Yolum. In Proc. 6th AAMAS
(2007): 1301-1308, ACM Press, IFAAMAS, ISBN
978-81-904262-7-5
Specification
and complexity of strategic-based reasoning
using argumentation , by M. Mbarki, J.
Bentahar, B. Moulin. In Proc. 3rd ArgMAS (2007),
LNCS 4766 (2007): 142-160 , Springer-Verlag
A
new logical semantics for agent communication ,
by J. Bentahar, B. Moulin, J.-J.Ch. Meyer, Y.
Lesperance. In Proc. CLIMA VII (2006), LNCS
4371: 151-170, Springer-Verlag 2007
Formalising
dynamic trust negotiations in decentralised
collaborative e-Health systems , by O.
Ajayi, R. Sinnott, A. Stell. In Proc. 2nd ARES
(2007): 3-10. IEEE. ISBN 0-7695-2775-2
Information
exchange amongst abductive logic-based agents ,
by F. Sadri, F. Toni. In Proc. IeCCS (2006),
Lecture Series on Computer and Computational
Sciences 8:226-229. Brill Academic Publishers,
Leiden, NL, 2007
A
new model checking approach for verifying
agent communication protocols , by J.
Bentahar, B. Moulin, J.-J.Ch. Meyer. In Proc.
IEEE CCECE (2006): 96-100. IEEE Press
Supply
network optimization. Coordination based on
scheduling, negotiation, and trust , by T.
Stockheim (page 118). Books on Demand (2006),
ISBN 3833461578.
A
new quantitative trust model for negotiating
agents using argumentation , by J.
Bentahar, J.-J.Ch. Meyer. International Journal
of Computer Science & Applications (2006),
IV(II): 1-21
Solving
abduction by computing joint explanations:
logic programming formalization, applications
to P2P data integration, and complexity
results , by G. Greco. In Proc. 4th FoIKS
(2006) LNCS 3861: 116-136, Springer-Verlag
Stabilization
of cooperative information agents in
unpredictable environment: a logic programming
approach , by P.M. Dung, D.D. Hanh, P.M.
Thang. Theory and Practice of Logic Programming
(2006), 6(1-2): 1-22 Cambridge University Press
Final
review and report on formal argumentation
system . Deliverable D2.6 (2006), ASPIC
Project. Tech. Rep. ULCS-07-005, Dept. of
Computer Science, The University of Liverpool,
UK, 2007
Towards
representing and querying arguments on the
semantic web , by I. Rahwan, P.V. Sakeer.
In Proc. COMMA (2006), Frontiers in AI and
Applications 144: 3-14, IOS Press
DIAGAL:
An agent communication language based on
dialogue games and sustained by social
commitments , by B. Chaib-draa, M.-A.
Labrie, M. Bergeron, P. Pasquier. Autonomous
Agents and Multi-Agent Systems (2006), 13(1):
61-95. Springer Netherlands
A
formal general setting for dialogue protocols ,
by L. Amgoud, S. Belabbas, H. Prade. In Proc.
12th AIMSA (2006), LNAI 4183 :13-23 ,
Springer-Verlag
Argumentation
in multi-agent systems: Context and recent
developments , by N. Maudet, S. Parsons, I.
Rahwan. In Proc. 3rd ArgMAS (2006), LNAI
4766:1-16, Springer-Verlag
A
generative framework for argumentation-based
inquiry dialogues , by E. Black. PhD thesis
(2006), University College London.
Motivated
declarative agents in multiagent domains: open
issues , by F.R. Meneguzzi. PhD Progress
Report (2006), ECS, University of Southampton,
UK
Symbolic
negotiation in linear logic with coalition
formation , by P. Kungas, M. Matskin. In
Proc. 6th IEEE/WIC/ACM IAT (2006): 298-305. IEEE
Press
Distributed
agent-based web service selection, composition
and analysis through partial deduction , by
P. Kungas. PhD Thesis (2006). Throndheim:
Norwegian University of Science and Technology,
Faculty of Information Technology, Mathematics
and Electrical Engineering. ISBN 82-471-7781-1
Behaviour
flexibility in dynamic and unpredictable
environments : The ICagent Approach, by V.
Kourakos-Mavromichalis, G. Vouros. In Proc. 4th
SETN (2006), LNAI 3955: 169-180
Normative
KGP agents , by F. Sadri, K. Stathis, F.
Toni. Computational & Mathematical
Organization Theory (2006), 12(2-3): 101-126.
Springer Netherlands.
Deliberative
discourse and reasoning from generic argument
structures , by J.L. Yearwood, A.
Stranieri. AI & Society (2006), Springer
London.
Interleaving
belief updating and reasoning in abductive
logic programming , by F. Sadri, F. Toni.
In Proc. 17th ECAI (2006) :442-446. IOS Press.
Resolution
of conflicts via argument-based negotiation:
extended enterprise case , by L. Hsairi, K.
Ghedira, M.A. Alimi, A Benabdelhafid. In Proc.
IEEE/ICSSSM (2006), IEEE. ISBN 1-4244-0451-7
A
tableau method for verifying dialogue game
protocols for agent communication , by J.
Bentahar, B. Moulin, J.-J.Ch. Meyer. In Proc.
3rd. DALT (2005), LNAI 3904: 223-244,
Springer-Verlag 2006
A
rule language for modelling and monitoring
social expectations in multi-agent systems ,
by S. Cranefield. In Proc. ANIREM & OOOP
(2005), LNAI 3913: 246-258, Springer-Verlag 2006
A
negotiation-based approach of consistency for
dynamic adaptation , by J. Buisson, F.
Andre, J.-L. Pazat. Publications internes IRISA,
Univ. de Rennes, France (2005), N. 1700: 12 pp.
Argumentation
for access control , by G. Boella, J.
Hulstijn, L. van der Torre. In Proc. AI*IA
(2005), LNAI 3673: 86-97, Springer-Verlag
Argumentation-supported
information distribution in a multiagent
system for knowledge management , by R.
Brena, C. Chesnevar, J. Aguirre. In Proc. 2nd
ArgMAS (2005): LNAI 4049: 279-296,
Springer-Verlag
Self-stabilizing
defeat status computation: dealing with
conflict management in multi-agent systems ,
by P. Baroni, M. Giacomin, G. Guida. Artificial
Intelligence (2005), 165(2): 187-259. Elsevier
Science
基
于主Agent信念修正的推测计算及其资源协商 (Speculative
computation based on master agent belief
revision and its resource negotiation) , by
L. Wang, H. Huang. Journal of Software 软 件 学 报
(2005), 16(11). ISSN 1000-9825 [in Chinese]
On
modelling multi-agent systems declaratively ,
by A. Bracciali, P. Mancarella, K. Stathis, F.
Toni. In Proc. 2nd DALT (2004), LNAI 3476:
53-68, Springer-Verlag 2005
Interleaving
belief revision and reasoning: preliminary
report , by F. Sadri, F. Toni. In Proc. 2nd
CILC (2005)
Un
linguaggio di coordinamento per agenti logici
abduttivi , by E. Maggenti. M.Sc.
dissertation (2005), Department of Informatics,
University of Pisa, Italy [in Italian]
Computational
models for argumentation in MAS , by C.I.
Chesnevar, G.R. Simari. Tutorial at EASSS (2005)
Agent-based
negotiation in e-commerce: State of the art ,
by H. Zhang, Y. Qiu. In Proc. 3rd AMT (2005):
233-238. IEEE, ISBN 0-7803-9035-0
Modular
representation of agent interaction rules
through argumentation , by A. Kakas, N.
Maudet, P. Moraitis. Autonomous Agents and
Multi-Agent Systems (2005), 11(2): 189-206.
Springer Science+Business Media B.V., Formerly
Kluwer Academic Publishers B.V.
Dialogue
games in multi-agent systems , by P.
McBurney, S. Parsons. Informal Logic (2005),
22(3): 257-274
A
parameterised hierarchy of argumentation
semantics for extended logic programming and
its application to the well-founded semantics ,
by R. Schweimeier, M. Schroeder. Theory and
Practice of Logic Programming (2005), 5:
207-242, Cambridge University Press
Guest
editorial: argumentation in multi-agent
systems , by I. Rahwan. Autonomous Agents
and Multi-Agent Systems (2005), 11(2): 115-125,
Springer Science+Business Media B.V., Formerly
Kluwer Academic Publishers B.V.
ACL:
specification, design and analysis all based
on commitments , by M. Bergeron, B.
Chaib-draa. In Proc. Workshop on Agent
Communication (2005)
Personalization
for the semantic web II , in N. Henze
(ed.), REWERSE Project (IST-2004-506779)
Deliverable A3.D4 (2005)
Programming
rational agents in a modal action logic ,
by M. Baldoni, A. Martelli, V. Patti, L.
Giordano. Annals of Mathematics and Artificial
Intelligence (2004), 41: 207-257, Kluwer
Academic Publishers
Abductive
constraint logic programming: implementation
and applications , by B. van Nuffelen. PhD
thesis, Dep. of CS, KU Leuven, Belgium (2004),
ISBN 90-5682-512-7
Negotiation
as mutual belief revision , by D. Zhang, N.
Foo, T. Meyer, R. Kwok. In Proc. 19th AAAI
(2004): 317-323, AAAI Press / The MIT Press,
ISBN 0-262-51183-5
Logic-based
agent communication protocols , by U.
Endriss, N. Maudet, F. Sadri, F. Toni. In Proc.
ACL Workshop (2003), LNAI 2922: 91-107,
Springer-Verlag 2004
Layered
strategies and protocols for
argumentation-based agent interaction , by
A. Kakas, N. Maudet, P. Moraitis. In Proc. 1st
ArgMAS (2004), LNAI 3366: 64-77, Springer-Verlag
Specifying
and implementing a persuasion dialogue game
using commitments and arguments , by J.
Bentahar, B. Moulin, B. Chaib-draa. In Proc. 1st
ArgMAS (2004), LNAI 3366: 130-148,
Springer-Verlag
Speculative
computation with master agent belief revision
and its algorithm for resource negotiation ,
by L. Wang, Y. Chai, H. Huang. Proc.
ML&Cybernetics (2004), 1: 146-151, IEEE
Press, ISBN 0-7803-8403-2
Competent
agents and customising protocols , by U.
Endriss, W. Lu, N. Maudet, K. Stathis. In Proc.
4th ESAW (2003), LNAI 3071: 168-181,
Springer-Verlag 2004
Inter-agent
dialogues in electronic marketplaces , by
N. Karacapilidis, P. Moraitis. In Computational
Intelligence (2004), 20(1): 1-17, Blackwell
Publishing, Inc.
Towards
a test-bed for multi-party dialogues , by
F.P.M. Dignum, G.A.W. Vreeswijk. In Proc. ACL
Workshop (2003), LNAI 2922: 212-230,
Springer-Verlag 2004
Fuzzy
unification and argumentation for well-founded
semantics , by R. Schweimeier, M.
Schroeder. In Proc. SOFSEM (2004), LNCS 2932:
102-121, Springer-Verlag
Symbolic
negotiation with linear logic , by P.
Kungas, M. Matskin. In Proc. CLIMA IV (2004),
LNAI 3259: 71-89, Springer-Verlag
Multi-agent
negotiation using trust and persuasion , by
S.D. Ramchurn. PhD Thesis, ECS, University of
Southampton (2004)
推
测计算中多 Agent 的资源协商 (Multi-agent resource
negotiation in speculative computation) ,
by L. Wang, H. Huang. Journal of Northern
Jiaotong University (2004), 28(2): 17-21 [in
Chinese]
Speculative
computation with deadline and its resource
negotiation under time constraints , by L.
Wang, H. Huang, Y. Chai. In Proc. IEEE/WIC/ACM
International Conference on Intelligent Agent
Technology (2004): 353- 356, IEEE Press
Intelligent
agents: modeling and reasoning techniques
(BISS04) , by M. Martelli. Course at
University of Turin, Italy (2004)
Linear
logic, partial deduction and cooperative
problem solving , by P. Kungas, M. Matskin.
In Proc. 1st DALT (2003), LNAI 2990: 263-279,
Springer-Verlag 2004
Interest-based
negotiation in multi-agent systems , by I.
Rahwan. PhD thesis (2004), University of
Melbourne
State-of-the-art
on evolution and reactivity , in J.J.
Alferes, W. May (eds.), REWERSE Project
(IST-2004-506779) Deliverable I5.D1 (2004)
Temporal
linear logic for symbolic agent negotiation ,
by P. Kungas. In Proc. PRICAI (2004), LNAI 3157:
23-32, Springer-Verlag
Flexible
agent dialogue strategies and societal
communication protocols , by A. Kakas, N.
Maudet, P. Moraitis. In Proc. 3rd AAMAS (2004):
1434-1435, ACM Press
A
logic-based approach to reasoning with beliefs
about trust , by F. Sadri, F. Toni. In
Proc. ARSPA (2004): 175-187
The
CIFF proof procedure for abductive logic
programming with constraints , by U.
Endriss, P. Mancarella, F. Sadri, G. Terreni, F.
Toni. In Proc. 9th JELIA (2004), LNAI 3229:
31-43, Springer-Verlag
Abductive
logic programming with CIFF: system
description , by U. Endriss, P. Mancarella,
F. Sadri, G. Terreni, F. Toni. In Proc. 9th
JELIA (2004), LNAI 3229: 680-684,
Springer-Verlag
Combining
goal generation and planning in an
argumentation framework , by J. Hulstijn,
L. van der Torre. In Proc. NMR (2004), ISBN
92-990021-0-X: 212-218
Modelization
and experimentation of conversational policies
for non task oriented agents based on
dissonance and relevance theories , by J.P.
Sansonnet and E. Valencia. In Proc. EUMAS (2003)
Argumentation-based
negotiation , by I. Rahwan, S.D. Ramchurn,
N.R. Jennings, P. Mcburney, S. Parsons, L.
Sonenberg. The Knowledge Engineering Review
(2003), 18: 343-375. Cambridge University Press
Properties
and complexity of some formal inter-agent
dialogues by S. Parsons, M. Wooldridge, L.
Amgoud. Journal of Logic and Computation (2003),
13(3): 347-376. Oxford University Press
On
optimal outcomes of negotiations over
resources , by U. Endriss, N. Maudet, F.
Sadri, F. Toni. In Proc. 2nd AAMAS (2003):
177-184, ACM Press, ISBN 1-58113-683-8
Protocol
conformance for logic-based agents , by U.
Endriss, N. Maudet, F. Sadri, F. Toni. In Proc.
18th IJCAI (2003): 679-684, Morgan Kaufmann
Publishers
Reasoning
about self and others: communicating agents in
a modal action logic , by M. Baldoni, C.
Baroglio, A. Martelli, V. Patti. In Proc. 8th
ICTCS (2003), LNAI 2841: 228-241,
Springer-Verlag
Abductive
logic programming for communication and
negotiation amongst agents , by F. Sadri,
F. Toni. ALP Newsletter (2003), 16(2-3)
Persuasive
negotiation for autonomous agents: a
rhetorical approach , by S.D. Ramchurn,
N.R. Jennings, C. Sierra. In Proc. IJCAI'03
Workshop on Computational Models of Natural
Argument (2003)
Towards
a theory of negotiation strategy (preliminary
report) , by I. Rahwan, P. McBurney, L.
Sonenberg. Tech. Rep. ULCS-03-008, Dept. of
Computer Science, The University of Liverpool,
UK, 2008
Reasoning
about communicating agents in the semantic web ,
by M. Baldoni, C. Baroglio, L. Giordano, A.
Martelli, V. Patti. In Proc. 1st PPSWR (2003),
LNAI 2901: 84-98, Springer-Verlag
Reasoning
about conversation protocols in a logic-based
agent language , by M. Baldoni, C.
Baroglio, A. Martelli, V. Patti. In Proc. 8th
AI*IA (2003), LNAI 2829: 300-311,
Springer-Verlag
A
dialogue-game protocol for agent purchase
negotiations , by P. McBurney, R.M. van
Eijk, S. Parsons, L. Amgoud. Journal of
Autonomous Agents and Multi-Agent Systems
(2003), 7(3): 235-273, Springer Science+Business
Media B.V., Formerly Kluwer Academic Publishers
B.V.
When
are two protocols the same? , by M.W.
Johnson, P. McBurney, S. Parsons. In
Communication in Multi-Agent Systems: Agent
Communication Languages and Conversation
Policies (2003), LNAI 2650: 253-268,
Springer-Verlag
Dialogue
game protocols , by P. McBurney, S.
Parsons. In Communication in Multi-Agent
Systems: Agent Communication Languages and
Conversation Policies (2003), LNAI 2650:
269-283, Springer-Verlag
DIAGAL:
A tool for analyzing and modelling
commitment-based dialogues between agents ,
by M.A. Labrie, B. Chaib-draa, N. Maudet. In
Advances in Artificial Intelligence: Proc. 16th
Canadian AI (2003), LNAI 2671: 353-369,
Springer-Verlag
Reasoning
about the semantic web using answer set
programming , by G. Ianni, F. Calimeri, V.
Lio, S. Galizia, A. Bonfa. In Proc.
APPIA-GULP-PRODE (2003): 324-336
A
logical framework for modelling eMAS , by
P. Dell'Acqua, L.M. Pereira. In Proc. PADL
(2003), LNAI 2562: 241-255, Springer-Verlag
A
dialogue game to offer an agreement to
disagree , by H.J. Lebbink, C. Witteman,
J.J.-Ch. Meyer. In Proc. 2nd ProMAS (2003), LNAI
3346: 199-223, Springer-Verlag
Towards
a theory of negotiation strategy (a
preliminary report) , by I. Rahwan, P.
McBurney, L. Sonenberg. In Proc. Workshop on
Game Theoretic and Decision Theoretic agents
(2003): 73-80
Aspects
of protocol conformance in inter-agent
dialogue , by U. Endriss, N. Maudet, F.
Sadri, F. Toni. In Proc. 2nd AAMAS (2003):
982-983, ACM Press
Access-as-you-need:
a computational logic framework for flexible
resource access in artificial societies ,
by F. Toni, K. Stathis. In Proc. 3rd ESAW
(2002), LNAI 2577: 126-140, Springer-Verlag 2003
Programming
rational agents: a modal approach in a logic
programming setting , by V. Patti. AI*IA
Notizie (2002), XV(2): 24-29
Argumentative
deliberation for autonomous agents , by A.
Kakas, P. Moraitis. In Proc. ECAI'02 Workshop on
Computational Models of Natural Argument
(CMNA'02): 65-74
Abduction
in logic programming , by M. Denecker, A.C.
Kakas. In Computational Logic: Logic Programming
and Beyond (2002), LNAI 2407: 402-436,
Springer-Verlag
Engineering
issues in interagent dialogues , by N.
Karacapilidis, P. Moraitis. In Proc. 15th ECAI
(2002): 58-62, IOS Press
Ontological
overhearing , by M. Aiello, P. Busetta, A.
Dona, L. Serafini. In Proc. 8th ATAL (2001),
LNAI 2333: 175-189, Springer-Verlag 2002
Argumentative
agent deliberation, roles and context , by
A.C. Kakas, P. Moraitis. Electronic Notes in
Theoretical Computer Science (2002), 70(5):
1-15, Elsevier Science
Communication
protocols for logic-based agents , by U.
Endriss, N. Maudet, F. Sadri, F. Toni. In Proc.
5th UKMAS (2002)
Conditions
for optimal outcomes of negotiations about
resources , by U. Endriss, N. Maudet, F.
Sadri, F. Toni. In Proc. 5th UKMAS (2002)
Multi-agent
cooperative planning and information gathering ,
by F. Sadri. In Proc. 11th CIA (2007), LNAI
4676: 72-88, Springer-Verlag
Negotiation
with concurrent dialogues in multi-agent
systems , by I. Lionis. MSc Project, Dept.
of Computing, Imperial College London (2002)
Modeling
dialogues in multi-agent systems , by N.
Karacapilidis, P. Moraitis. In Proc. 1st AAMAS
(2002): 798-799. ACM Press
Formal
theories of negotiation , by F. Dignum. In
Proc. 8th ATAL (2001), LNAI 2333: 321-323,
Springer-Verlag 2002
Speculative
computation with multi-agent belief revision ,
by K. Satoh, K. Yamamoto. In Proc. 1st AAMAS
(2002): 897-904, ACM Press
Decision
theoretic and logic based agents for
multi-agent systems , by P. Moraitis. HDR
(Memoire d'Habilitation a Diriger des
Recherches), Univ. Paris-Dauphine (2002)
Desiderata
for agent argumentation protocols , by P.
McBurney, S. Parsons, M. Wooldridge. In Proc.
1st AAMAS (2002): 402-409, ACM Press
Games
that agents play: a formal framework for
dialogues between autonomous agents , by P.
McBurney, S. Parsons. Journal of Logic, Language
and Information (2002), 11(3): 315-334, Springer
Science+Business Media B.V., Formerly Kluwer
Academic Publishers B.V.
Commitment-based
and dialogue-game-based protocols: new trends
in agent communication languages , by N.
Maudet, B. Chaib-Draa. The Knowledge Engineering
Review (2002), 17: 157-179, Cambridge University
Press
A
geometric semantics for dialogue game
protocols for autonomous agent interactions ,
by P. McBurney, S. Parsons. Electronic Notes in
Theoretical Computer Science (2002), 52(2):
187-204, Elsevier Science
Determining
error bounds for hypothesis tests in risk
assessment: a research agenda , by P.
McBurney, S. Parsons. Law Probability and Risk
(2002), 1: 17-36, Oxford University Press
Arguments
and misunderstandings: fuzzy unification for
negotiating agents , by M. Schroeder, R.
Schweimeier. Electronic Notes in Theoretical
Computer Science (2002), 70(5): 1-19, Elsevier
Science
A
hundred schools of thought automatically
contending , by P. McBurney, S. Parsons.
Tech. Rep. ULCS-01-002, Dept. of Computer
Science, The University of Liverpool, UK, 2001

Dialogue
termination:

A
study on the termination of negotiation
dialogues (AAMAS 2002)

Designing
protocols for abductive hypothesis refinement
in dynamic multi agent systems , by G.
Bourgne, N. Maudet. Computational Intelligence
(2012)
Hypothesis
refinement: Building hypotheses in an
intelligent agent system , by G. Bourgne,
N. Maudet, S. Pinson. Handbook of
Reasoning-based Intelligent System, Chapter
XXIII. World Scientific 2012
Automatisierte
Verhandlungen in Multi-Agenten-Systemen ,
by R. Buettner. PhD Dissertation (2009),
Universitaet Hohenheim, Germany. Gabler Verlag.
ISBN 978-3-8349-2131-4
A
negotiation strategy for the temporal resource
reallocation problem in multi-agent systems ,
by P. Alexopoulos, M. Wallace. International
Journal of Internet Protocol Technology (2008),
3(3): 194-202.
Argumentation
in artificial intelligence , by T.
Bench-Capon, P. Dunne. Artificial Intelligence
(2007), 171(10-15): 619-641. Elsevier Science
STRATUM:
a methodology for designing heuristic agent
negotiation strategies , by I. Rahwan, L.
Sonenberg, N. Jennings, P. McBurney. Applied
Artificial Intelligence (2007), 21(6): 489-527.
Taylor & Francis
Assimilating
ontological additions in convergent
negotiation protocols , by B. Spencer. In
Proc. 9th ICEC (2007): 135-140
Self-stabilizing
defeat status computation: Dealing with
conflict management in multi-agent systems ,
by P. Baroni, M. Giacomin, G. Guida. Artificial
Intelligence (2005), 165(2): 187-259. Elsevier
Science
A
parameterised hierarchy of argumentation
semantics for extended logic programming and
its application to the well-founded semantics ,
by R. Schweimeier, M. Schroeder. Theory and
Practice of Logic Programming (2005), 5(1-2):
207-242
A
negotiation-based approach of consistency for
dynamic adaptation , by J. Buisson, F.
Andre, J.-L. Pazat. Publications internes IRISA,
Univ. de Rennes, France (2005), N. 1700: 12 pp.
Computational
models for argumentation in MAS , by C.I.
Chesnevar, G.R. Simari. Tutorial at EASSS (2005)
Interest-based
negotiation in multi-agent systems , by I.
Rahwan. PhD thesis (2004), University of
Melbourne
When
and why does haggling occur? some suggestions
from a qualitative but computational
simulation of negotiation , by B. Edmonds,
D. Hales. Journal of Artificial Societies and
Social Simulation (2004), 7(2):9
Multi-agent
negotiation using trust and persuasion , by
S.D. Ramchurn. PhD thesis (2004), ECS,
University of Southampton
Defeat
among negotiation arguments , by R. Loui,
F. Tohme, G. Simari. Unpublished (2004).
Fuzzy
unification and argumentation for well-founded
semantics , by R. Schweimeier, M.
Schroeder. In Proc. SOFSEM (2004), LNCS 2932:
102-121, Springer-Verlag
Towards
a testbed for multi-party dialogues , by
F.P.M. Dignum, G.A.W. Vreeswijk. In Proc. ACL
(2003) LNAI 2922: 212-230
Argumentation-based
negotiation , by I. Rahwan, S.D. Ramchurn,
N.R. Jennings, P. Mcburney, S. Parsons, L.
Sonenberg. The Knowledge Engineering Review
(2003), 18: 343-375. Cambridge University Press
Dialogue
between non-task oriented agents , by J.P.
Sansonnet, E. Valencia. In Proc. Agent-Based
Simulation (2003)
Modelization
and experimentation of conversational policies
for non task oriented agents based on
dissonance and relevance theories , by J.P.
Sansonnet, E. Valencia. In Proc. EUMAS (2003)
Agents
informationnels pour l'etude experimentale de
concepts de socio-cognition: vers une approche
agent de la socio informatique , by J.P.
Sansonnet, W.A. Turner, E. Valencia. In Proc.
Journees Francophones sur les Systemes
Multi-Agents (2003) [in French]

Computational
logic and multi-agent systems surveys:

Agents,
multi-agent systems and declarative
programming: What, When, Where, Why, Who,
How? (with M. Baldoni, C. Baroglio,
V. Mascardi, A. Omicini, A 25-Year
Perspective on Logic Programming 2010)
Computational
logics and agents: a road map of current
technologies and future trends (with
M. Fisher, R. Bordini, B. Hirsch, Comp. Intell.
2007)
Computational
logic in multi-agent systems: recent
advances and future directions (AMAI
2004)

Programming
and Reasoning about Social Relationships: a
Commitment-based Infrastructure , by M.
Baldoni, C. Baroglio, F. Capuzzimati. Tech. Rep.
Dip. di Informatica, Univ. di Torino, November
2013
Verifying
MSMAS model using SCIFF , by E.E. Elakehal,
M. Montali, J. Padget. In Proc. 11th MATES
(2013), LNAI 8076:44-58, Springer-Verlag.
A
history of autonomous agents: From thinking
machines to machines for thinking , by S.
Costantini, F. Gobbo. In Proc. Computability in
Europe (2013): 50-59, online proceedings
Radial
restraint: a semantically clean approach to
bounded rationality for logic programs , by
B. Grosof, T. Swift. In Proc. AAAI 2013
Systemes
multi-agents et answer set programming:
Raisonnement en environnement dynamique ,
by T. Ribeiro. Master 2 Recherche Informatique
Rapport de Stage (2012), U. Angers, France [in
French]
Self-checking
logical agents , by S. Costantini. In Proc.
8th LANMR (2012), CEUR Vol. 911: 1-30
Multi-agent
system feedback and support for ambient
assisted living , by J. McNaull, J.C.
Augusto, M. Mulvenna, P. McCullagh. In Proc. 8th
IE (2012): 319-322, IEEE
A
classification scheme for agent based
approaches to dynamic optimization , by A.
Baykasoglu, Z.D.U. Durmusoglu. Artificial
Intelligence Review, in press. Online first,
Springer-Verlag 2012
Temporal
meta-axioms in logical agents , by S.
Costantini, P. Tsintza. In Proc. 9th CILC
(2012). CEUR Workshop Proceedings, Vol. 857:
59-73
A
multi-agent system for industrial fault
detection and repair , by V. Bevar, S.
Costantini, A. Tocchio, G. De Gasperis. In
Advances on PAAMS (2012), AISC 155: 47-55.
Springer-Verlag
Crystals
of crowd: Modelling pedestrian groups using
MAS-based approach , by L. Manenti, S.
Manzoni. In Proc. 12th WOA (2011). CEUR Workshop
Proceedings, Vol. 741: 51-57
Dealing
with crowd crystals in MAS-based crowd
simulation: A proposal , by S. Bandini, L.
Manenti, L. Manzoni, S. Manzoni. In Proc. 12th
AI*IA (2011), LNCS 6934: 92-103. Springer-Verlag
Answer
set modules for logical agents , by S.
Costantini. In Datalog Reloaded (2010), LNCS
6702: 37-58. Spinger-Verlag 2011
Observation
strategies for event detection with incidence
on runtime verification: Theory, algorithms,
experimentation , by M. Alberti, P.
Dell'Acqua, L.M. Pereira. Annals of Mathematics
and Artificial Intelligence (2011) 62 (3-4):
161-186
Integrating
Jason in a multi-agent platform with support
for interaction protocols , by B. Alfonso,
E. Vivancos, V. Botti, A. Garcia-Fornes. In
SPLASH Workshops (2011): 221-226. ACM.
Multi-agent
oriented programming with JaCaMo , by O
Boissier, R.H. Bordini, J.F. Hubner, A. Ricci,
A. Santi. Science of Computer Programming, in
press. Available online, Elsevier, 2011
Where
logic and agents meet , by J. Dix, M.
Fisher. Annals of Mathematics and Artificial
Intelligence (2011), 61: 15-28
Verifying
requirements for resource-bounded agents ,
by A. Rakib. PhD dissertation (2011), The
University of Nottingham, UK
Formal
methods in agent-oriented software engineering ,
by A. El Fallah-Seghrouchni, J.J. Gomez-Sanz,
M.P. Singh. In Proc 10th AOSE (2009), LNCS 6038:
213-228, Springer-Verlag 2011
An
investigation of multi-agent planning in CLP ,
by A. Dovier, A. Formisano, E. Pontelli.
Fundamenta Informaticae (2010), 105(1-2):
79-103.
Editing
and analyzing AUML model: A Maude based tool ,
by N. Boudiaf, K. Bensaber, K. Sid, R. Sahbi.
Journal of Theoretical and Applied Information
Technology (2010) 13 (1): 65-82
Knowledge
representation and non-monotonic reasoning ,
by L. Giordano, F. Toni. In 25Y of LP in Italy
(2010), LNAI 6125: 87-111, Springer-Verlag 2010.
Specification
and verification of multi-agent systems ,
by M. Dastani, K. Hindriks, J.-J.Ch. Meyer
(eds.), Springer, US, 2010.
Ensuring
agent properties under arbitrary sequences of
incoming events , by S. Costantini, P.
Dell'Acqua, L.M. Pereira, A. Tocchio. In Proc.
17th RCRA (2010).
Design
and testing of an autonomous multi-agent based
spacecraft controller , by S. Grey, G.
Radice. In Proc. 61st IAC (2010) 6: 4980-4990.
ISBN 978-161782368-8
A
BDI architecture for high level robot
deliberation , by S. Gottifredi, M. Tucat,
D. Corbatta, A.J. Garcia, G.R. Simari.
Inteligencia Artificial (2010) 14 (46): 74-83
Property-based
slicing for agent verification , by R.H.
Bordini, M. Fisher, M. Wooldridge, W. Visser.
Journal of Logic and Computation (2009) 19 (6):
1385-1425
Runtime
verification of agent properties , by S.
Costantini, P. Dell'Acqua, L.M. Pereira, P.
Tsintza. In Proc. 18th INAP (2009). Online
proceedings.
Integrating
answer set modules into agent programs , by
S. Costantini. In Proc. LPNMR (2009), LNCS 5753:
613-615. Springer-Verlag
A
formal framework for user centric control of
probabilistic multi-agent cyber-physical
systems , by M.C. Bujorianu, M.L.
Bujorianu, H. Barringer. In Proc. CLIMA IX
(2008), LNCS 5405: 97-116, Springer-Verlag 2009
Strategic
agent communication: An argumentation-driven
approach , by J. Bentahar, M. Mbarki, J.-J.
Ch. Meyer, B. Moulin. In Proc. 6th DALT (2008),
LNAI 5397: 233-250, Springer-Verlag, 2009
Model-checking
auctions, coalitions and trust , by M.
Webster, L. Dennis, M. Fisher. Tech. Rep.
ULCS-09-004, Dept. of Computer Science, The
University of Liverpool, UK, 2009.
Computational
logic foundations of KGP agents , by A.C.
Kakas, P. Mancarella, F. Sadri, K. Stathis, F.
Toni. Journal of Artificial Intelligence
Research (2008) 33:285-348
Defeasible
knowledge and argumentative reasoning for 3APL
agent programming , by S. Gottifredi, A.J.
Garcia, G.R. Simari. In Proc. 12th NMR (2008),
TR UNSW-CSE-TR-0819, The University of New South
Wales, Sydney, Australia
Supporting
formal verification of DIMA multi-agents
models: Towards a framework based on Maude
model checking , by N. Boudiaf, F. Mokhati,
M. Badri. International Journal of Software
Engineering and Knowledge Engineering (2008) 18
(7): 853-875
A
common semantic basis for BDI languages ,
by L.A. Dennis, B. Farwer, R.H. Bordini, M.
Fisher, M. Wooldridge. In Proc. 5th ProMAS
(2007), LNCS 4908: 124-139, Springer-Verlag,
2008
A
verification by abstraction framework for
organizational multi-agent systems , by N.
Gaud, V. Hilair, S. Galland, A. Koukam, M.
Cossentino. In Proc. AT2AI-6 (2008), Tech. Rep.
OFAI-TR-2008-01: 67-73. Austrian Research
Institute for Articifial Intelligence
Agents
and web services , by S. Costantini. ALP
Newsletter 2008 21(2-3). Association for Logic
Programming
Emergence-oriented
research on multi-agent systems and its state
of arts , by S.-Y. Jin, H.-B. Huang, G.-J.
Fan. Jisuanji Xuebao/Chinese Journal of
Computers (2008) 31 (6): 881-895 [in Chinese]
Generalization
of some properties of relations in the context
of functional temporal-modal logic , by A.
Burrieza, I.P. De Guzman, E. Munoz-Velasco.
International Journal of Computer Mathematics
(2008) 85 (3-4): 371-383
Specification
and dynamic verification of agent properties ,
by S. Costantini, P. Dell'Acqua, L.M. Pereira,
P. Tsintza. In Proc. CLIMA IX (2008).
An
incremental process for the development of
multi-agent systems in Event-B , by E.
Ball. PhD dissertation (2008), ECS, University
of Southampton, UK
Aprendizado
por reforco com valores de influencia em
sistemas multi-agente , by D. Barrios
Aranibar. PhD dissertation (2008), Universidade
Federal do Rio Grande do Norte, Natal, RN,
Brazil
Analysing
human-agent teamwork , by R.H. Bordini, M.
Fisher, M. Sierhuis. In Proc. 10th ASTRA (2008).
European Space Agency.
Programming
multi-agent systems in AgentSpeak using Jason ,
by R.H. Bordini, J.F. Hubner, M. Wooldridge.
John Wiley & Sons Ltd, UK, 2007. ISBN
978-0-470-02900-8
A
Maude-based tool for simulating DIMA model ,
by N. Boudiaf, L. Sahbi. In Proc. ECC (2007),
LNEE 27(4): 305-317
Current
issues in multi-agent systems development ,
by R.H. Bordini, M. Dastani, M. Winikoff. In
Proc. 7th ESAW (2006), LNAI 4457: 38-61,
Springer-Verlag 2007
A
new logical semantics for agent communication ,
by J. Bentahar, B. Moulin, J.-J.Ch. Meyer, Y.
Lesperance. In Proc. CLIMA VII (2006), LNCS
4371: 151-170, Springer-Verlag 2007
AUML2WS-BPEL:
A tool for engineering and implementing agents
that publish web services , by G. Casella,
V. Mascardi. In Foundations and Practice of
Programming Multi-Agent Systems (2007), Dagstuhl
Seminar Proceedings 06261, IBFI, Schloss
Dagstuhl, Germany
MAT
logic: A temporal-modal logic with
non-deterministic operators to deal with
interactive systems in communication
technologies , by G. Aguilera, A. Burrieza,
P. Cordero, I.P. De Guzman, E. Munoz. In Proc.
10th IBERAMIA-SBIA (2006), LNCS 4140: 602-611.
Springer-Verlag
If
you wish to have some item added or deleted
please do drop me a line!

Paolo Torroni's Home Page
Publications links

DBLP (faceted) (linked data)

AI@UniBO

citeseer
(documents)

citeseer
(citations)

citeseerX

H- & G-index (QuadSearch)

SpringerLink

Scopus

ACM Portal

CSB

Scientific Commons

eventseer

my
coauthors

google

google
related pages

google scholar

microsoft Academic search

arnetminer.org

iAmResearcher.com

AgentLink EPrints

DEIS-LIA technical reports

BibTeX entries (SOCS) (AI@UniBO)

back
to my publications

Paolo Torroni's Home Page
Technology
marketplace

Multi-Agent protocols & verification

Agents & Web services

Web service composition & interoperability

Schools

ISCL
2011

DALT
School 2011

Quick
links

Rete
29 Aprile

My Facult y Member 's web site

The SOCS project

FuturICT
(Italian
hub)

The TwitterArg NetLogo model

The NetArg NetLogo model

The ALIAS architecture

The SCIFF proof-procedure

CLIMB

jREC

LIA home page

DEIS home page

GULP home page

ALP Newsletter

DALT '03 , '04 ,
'05 , '06 ,
'07 ,
'08 ,
'09 ,
'10 ,
'11 ,
'12

The
CLIMA Workshop Series

CLIMA V ,
VI , ... ,
XII ,
XIII ,
XIV

ArgNMR
@ LPNMR 2007

LADS
@ Agents'007 ,'009

Journals

Fundamenta
Informaticae

Unmanned
Systems Technology (JUST)

Conference Papers in Computer Science

Newsletters

ALP Newsletter

Books

CLIMA XII LNAI 6814 (1K+ downloads)

GULP 25Y LNAI 6125 (8K+ downloads)

BookCrossing
@ UniBO

Open
and future calls
ConfSearch

AAMAS
(submit by Oct 8, 2013)

ECAI
(Aug 2013; dates TBA)

Future
events
ConfSearch

ICLP
(Istanbul, Turkey, Aug 2013)

CLIMA/LPNMR
(Corunna, Spain, Sep 2013)

Teaching

Real-Time Operating Systems M
(lab)

Informatica Grafica (09/10
11/12)

Scambi Erasmus con la Turchia

Tesi di laurea e progetti

Fond info & lab T-AB (08/09)

Fond info L-A (05/06
06/07
07/08 )

Guide web

Alma
esami