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)

  1. Information sharing for natural resources management, by N. Paget, G. Pigozzi, O. Barreteau. In Proc. 11th EUMAS (2013), online resource.
  2. A first comparison of abstract argumentation systems: a computational perspective, by S. Bistarelli, F. Rossi, F. Santini. In Proc. 28th CILC (2013), online resource.
  3. The DIAMOND system for argumentation: Preliminary report, by S. Ellmauthaler, H. Strass. In Proc. 6th ASPOCP (2013), online resource.
  4. 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
  5. Revising argumentation systems: Argument status versus graph minimization, by J.G. Mailly. EASSS Student Session 2013.
  6. Extending social abstract argumentation with votes on attacks, by S. Egilmez, J. Leite, J. Martins. In Proc. 2nd TAFA (2013)
  7. 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)
  8. Sustainable energy policies: research challenges and opportunities, by M. Milano. In Proc. DATE (2013), 1143-1148, IEEE
  9. ConArg: a tool to solve (weighted) abstract argumentation frameworks with (soft) constraints, by S. Bistarelli, F. Santini. arXiv preprint arXiv:1212.2857, 2012
  10. On the outcomes of multiparty persuasion, by E. Bonzon, N. Maudet. In Proc. 8th ArgMAS (2012), LNCS 7543: 86-101, Springer-Verlag.
  11. 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
  12. 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.
  13. 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.
  14. Semi-automated argumentative analysis of online product reviews, by A. Wyner, J. Schneider, K. Atkinson, T. BenchCapon. In Proc 4th COMMA (2012). IOS Press.
  15. 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)

  1. 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
  2. Verification of data-aware commitment-based multi-agent systems, by M. Montali, D. Calvanese, G. De Giacomo. In Proc. 13th AAMAS (2014). IFAAMAS
  3. Engineering conflict-free multiagent systems, by A. Gunay, P. Yolum. In Proc. 2nd EMAS (2013). To appear in Springer LNCS.
  4. Diagnosis of unwanted behaviours in multi-agent systems, by L.S. Passos, R. Rossetti, J. Gabriel. In Proc. 11th EUMAS (2013). Online resource.
  5. 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).
  6. 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
  7. Muon: Designing multiagent communication protocols from interaction scenarios, by A.K. Kalia (2013). MSc thesis, Graduate Faculty of North Carolina State University.
  8. Dependability assessment of wireless sensor networks with formal methods, by A. Testa. PhD dissertation (2013). "Federico II" University of Naples, Italy
  9. 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
  10. Towards data-aware constraints in Declare, by M. Montali, F. Chesani, P. Mello, F. Maggi. In Proc. 23rd SAC (2013). ACM Press
  11. Constraint satisfaction as a tool for modeling and checking feasibility of multiagent commitments, by A. Gunay, P. Yolum. Applied Intelligence (2013)
  12. Hierarchical planning about goals and commitments, by P.R. Telang, F. Meneguzzi, M.P. Singh. In Proc. 12th AAMAS (2013). IFAAMAS
  13. 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
  14. 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
  15. 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
  16. On formalizing social commitments in dialogue and argumentation models using temporal defeasible logic, by A. Moubaiddin, N. Obeid. Knowledge Information Systems (2012)
  17. Some thoughts about commitment protocols (position paper), by M. Baldoni, C. Baroglio. In Proc. 13th WOA (2012), CEUR Workshop Proceedings Vol 892
  18. Self-checking logical agents, by S. Costantini. In Proc. 8th LANMR (2012), CEUR Vol. 911: 1-30
  19. Logic-based event recognition, by A. Artikis, A. Skarlatidis, F. Portet, G. Paliouras. Knowledge Engineering Review. To Appear.
  20. 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.
  21. Communicative commitments: Model checking and complexity analysis, by J. Bentahar, M. El Menshawy, H. Qu, R. Dssouli. Knowledge-Based Systems (2012) 35: 21-34
  22. 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
  23. 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
  24. 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
  25. Run-time composite event recognition, by A. Artikis, M. Sergot, G. Paliouras. In Proc. 6th DEBS (2012): 69-80. ACM Press
  26. 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.
  27. 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.
  28. 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
  29. Temporal meta-axioms in logical agents, by S. Costantini, P. Tsintza. In Proc. 9th CILC (2012). CEUR Workshop Proceedings, Vol. 857: 59-73
  30. Some thoughts about commitment protocols (Position paper), by M. Baldoni, C. Baroglio. In Proc. 10th DALT (2012).
  31. Detecting conflicts in commitments, by A. Gunay, P. Yolum. Proc. In proc. 9th DALT (2011), LNCS 7169: 51-66 Springer-Verlag 2012
  32. 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
  33. 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
  34. 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
  35. 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
  36. Making Golog norm compliant, by A. Gabaldon. In Proc. CLIMA XII, LNCS 6814: 275-292. Springer-Verlag, 2011
  37. 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
  38. 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
  39. 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)
  40. Efficient epistemic reasoning in partially observable dynamic domains using hidden causal dependencies, by T. Patkos, D. Plexousakis. In Proc. 9th NRAC (2011): 55-62
  41. 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
  42. A distributed treatment of exceptions in multiagent contracts (preliminary report), by O. Kafali, P. Yolum. In Proc. 9th DALT (2011): 65-78
  43. 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
  44. 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.
  45. 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
  46. Constraints among commitments: regulative specification of interaction protocols, by M. Baldoni, C. Baroglio, E. Marengo. In Proc. AC 2010: 2-18
  47. Behavior-oriented commitment-based protocols, by M. Baldoni, C. Baroglio, E. Marengo. In Proc. 19th ECAI (2010): 137-142, IOS Press
  48. An investigation of multi-agent planning in CLP, by A. Dovier, A. Formisano, E. Pontelli. Fundamenta Informaticae (2010), 105(1-2): 79-103
  49. 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)

  1. Automated Reasoning, by M. Gavanelli, T. Mancini. Intelligenza Artificiale 7 (2013):113-124, IOS Press.
  2. A computational framework for practical social reasoning, by I Wallace, M. Rovatsos. Computational Intelligence (2013). In press.
  3. Verifying MSMAS model using SCIFF, by E.E. Elakehal, M. Montali, J. Padget. In Proc. 11th MATES (2013), LNAI 8076:44-58, Springer-Verlag.
  4. 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.
  5. 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.
  6. Tabled abduction in logic programming, by A. Saptawijaya, L.M. Pereira. ICLP Tech Com 2013.
  7. Dependability assessment of wireless sensor networks with formal methods, by A. Testa. PhD dissertation (2013). "Federico II" University of Naples, Italy
  8. 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
  9. The CHR-based implementation of the SCIFF abductive system, by M. Alberti, M. Gavanelli, E. Lamma. Fundamenta Informaticae 124 (4), pp. 365-381, 2013.
  10. 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
  11. Constraint satisfaction as a tool for modeling and checking feasibility of multiagent commitments, by A. Gunay, P. Yolum. Applied Intelligence (2013)
  12. Assessing the genuineness of events in runtime monitoring of cyber systems, by T. Tsigkritis, G. Spanoudakis. Computers & Security (2013)
  13. Programming the social computer, by D. Robertson, F. Giunchiglia. Philosophical Transactions of the Royal Society A 2013 371:20120379, published 18 February 2013
  14. 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
  15. Designing protocols for abductive hypothesis refinement in dynamic multi agent systems, by G. Bourgne, N. Maudet. Computational Intelligence (2012)
  16. 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
  17. 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
  18. 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
  19. 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
  20. On formalizing social commitments in dialogue and argumentation models using temporal defeasible logic, by A. Moubaiddin, N. Obeid. Knowledge Information Systems (2012)
  21. 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.
  22. 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.
  23. Self-checking logical agents, by S. Costantini. In Proc. 8th LANMR (2012), CEUR Vol. 911: 1-30
  24. Some thoughts about commitment protocols (position paper), by M. Baldoni, C. Baroglio. In Proc. 13th WOA (2012), CEUR Workshop Proceedings Vol 892
  25. 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
  26. 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
  27. 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
  28. Mining constraints for artful processes, by C. Di Ciccio, M. Mecella. In Proc. 15th BIS (2012), LNBIP 117: 11-23, Springer-Verlag
  29. Trust in social machines: the challenges, by K. O'Hara. In Proc. AISB/IACAP SOCIAL TURN/SNAMAS 2012.
  30. Deon+: Abduction and constraints for normative reasoning, by M. Alberti, M. Gavanelli, E. Lamma. In Sergot Festschrift (2012), LNAI 7360: 308-328 Springer-Verlag
  31. 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).
  32. Detecting conflicts in commitments, by A. Gunay, P. Yolum. Proc. In proc. 9th DALT (2011), LNCS 7169: 51-66 Springer-Verlag 2012
  33. 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
  34. 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
  35. 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.
  36. 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
  37. 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
  38. 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)
  39. 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
  40. Extend commitment protocols with temporal regulations: Why and how, by E. Marengo, M. Baldoni, C. Baroglio. In Proc. RuleML Doctoral Consortium (2011): 1-8
  41. Where logic and agents meet, by J. Dix, M. Fisher. Annals of Mathematics and Artificial Intelligence (2011), 61: 15-28
  42. 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.
  43. 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
  44. Rule-based agents, compliance, and intention reconsideration in defeasible logic, by A. Rotolo. In Proc RuleML 2011-Europe, LNCS 6826: 67-82. Springer-Verlag
  45. 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
  46. Datalog for security, privacy and trust, by P. Bonatti. In Datalog Reloaded (2010), LNCS 6702: 21-36. Spinger-Verlag 2011
  47. 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
  48. 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
  49. 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.
  50. A distributed treatment of exceptions in multiagent contracts (preliminary report), by O. Kafali, P. Yolum. In Proc. 9th DALT (2011): 65-78
  51. 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
  52. 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
  53. MAGE: Multi-agent game environment, by V. Urovi. PhD dissertation (2011). Department of Computer Science, University of Liverpool, UK.
  54. A distributed treatment of exceptions in multiagent contracts (Preliminary report), by O. Kafali, P. Yolum. In Proc. 9th DALT (2011).
  55. 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
  56. 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
  57. 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).
  58. 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
  59. 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
  60. 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
  61. 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
  62. 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
  63. 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.
  64. 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
  65. 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
  66. 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.
  67. Constraint logic programming, by M. Gavanelli, F. Rossi. In 25Y of LP in Italy (2010), LNAI 6125: 64-86, Springer-Verlag 2010.
  68. 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
  69. 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
  70. 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.
  71. 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
  72. 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
  73. 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
  74. 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
  75. 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.
  76. 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
  77. 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
  78. Constraints among commitments: regulative specification of interaction protocols, by M. Baldoni, C. Baroglio, E. Marengo. In Proc. AC 2010: 2-18
  79. Probabilistic declarative process mining, by E. Bellodi, F. Riguzzi, E. Lamma. In Proc 4th KSEM (2010), LNCS 6291: 292-303, Springer-Verlag
  80. Incremental declarative process mining, by M. Cattafi, E. Lamma, F. Riguzzi, S. Storari. In Studies in Computational Intelligence (2010) 260: 103-127, Springer-Verlag
  81. 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
  82. 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.
  83. 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
  84. 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
  85. 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
  86. 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
  87. Monitoring social expectations in Second Life, by S. Cranefield, G. Li. In Proc. 5th COIN (2009), LNCS 6069: 133-146. Springer-Verlag 2010
  88. 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
  89. Regulating competence-based access to agent societies, by G. Lekeas. PhD Dissertation (2010), Department of Computing. City University London, UK
  90. 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]
  91. Behavior-oriented commitment-based protocols, by M. Baldoni, C. Baroglio, E. Marengo. In Proc. 19th ECAI (2010): 137-142, IOS Press
  92. 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.
  93. From architectural to behavioural specification of services, by L. Bocchi, J.L. Fiadeiro, A. Lapadula, R. Pugliese, F. Tiezzi. ENTCS 253: 3-21, 2009
  94. 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
  95. 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
  96. Runtime verification of agent properties, by S. Costantini, P. Dell'Acqua, L.M. Pereira, P. Tsintza. In Proc. 18th INAP (2009). Online proceedings.
  97. A survey of agent-oriented development tools, by A. Pokahr, L. Braubach. In Multi-Agent Programming: Languages, Tools and Applications. Springer 2009
  98. Handling exceptions in multiagent systems, by O. Kafali. PhD thesis proposal (2009). Department of Computer Engineering. Bogazici University, Istanbul, Turkey.
  99. 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.
  100. 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
  101. 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
  102. 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.
  103. 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
  104. 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
  105. 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
  106. 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
  107. 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.
  108. 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
  109. 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
  110. Specification and dynamic verification of agent properties, by S. Costantini, P. Dell'Acqua, L.M. Pereira, P. Tsintza. In Proc. CLIMA IX (2008).
  111. 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
  112. 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
  113. 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
  114. 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
  115. 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
  116. 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
  117. 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
  118. 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
  119. 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
  120. 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)
  121. Reasoning on web services with choreographies and capabilities, by C. Schifanella. PhD dissertation. University of Turin, 2008.
  122. 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
  123. Implementing probabilistic abductive logic programming with constraint handling rules, by H. Christiansen. In Constraint Handling Rules (2008), LNAI 5388: 85-118, Springer-Verlag 2008
  124. Logic programming with social features, by F. Buccafurri, G. Caminiti. Theory and Practice of Logic Programming (2008) 8(5-6): 643-690
  125. Constitutive interoperability, by A.K. Chopra, M.P. Singh. In Proc. 7th AAMAS (2008), ACM Press, IFAAMAS
  126. 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
  127. 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]
  128. 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
  129. 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)
  130. Amongst first-class protocols, by T. Miller, J. McGinnis. In Proc. 8th ESAW (2007), LNAI 4995: 208-223, Springer-Verlag 2008
  131. 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
  132. Interoperation in protocol enactment, by A.K. Chopra, M.P. Singh. In Proc. 5th DALT (2007), LNAI 4897: 36-49, Springer-Verlag 2008
  133. 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.
  134. 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
  135. Towards design tools for protocol development, by P. Yolum. In Proc. Agent Communication (2005 & 2006), LNAI 3859: 196-210, Springer-Verlag 2008
  136. 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
  137. Optimizing compilation and computational complexity of constraint handling rules, by J. Sneyers. PhD dissertation, Catholic University of Leuven, 2008.
  138. 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
  139. Protocol selection alongside service selection and composition, by J. Quenum, F. Ishikawa, S. Honiden. In Proc. ICWS (2007): 719-726, IEEE Press
  140. 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
  141. 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
  142. Prospective logic agents, by L.M. Pereira, G. Lopes. In Proc. 2nd GAIW@EPIA (2007), LNAI 4874: 73-86, Springer-Verlag
  143. Prospective logic programs, by L.M. Pereira, G. Lopes. Online resource (2007)
  144. 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.
  145. 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
  146. Establishing logical rules from empirical data, by J.L. Pfaltz. In Proc. 19th IEEE ICTAI (2007): 202-209, IEEE Press.
  147. 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
  148. A CHR-based framework for concurrency analyses, by B. Sarna-Starosta, L.K. Dillon, R.E.K. Stirewalt, S.D. Fleming. Manuscript, 2007
  149. 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
  150. 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
  151. 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]
  152. 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)
  153. Specification, execution and verification of interaction protocols, by F. Chesani. PhD dissertation (2007). DEIS, University of Bologna
  154. Modelling and monitoring social expectations in multi-agent systems, by S. Cranefield. In Proc. 2nd COIN (2006), LNAI 4386: 308-321, Springer-Verlag 2007
  155. 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.
  156. 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
  157. 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.
  158. 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
  159. Ignoring, Forcing and Expecting Simultaneous Events in Electronic Institutions, by A. Garcia-Camino. In Proc. 3rd COIN (2007), LNCS 4870: 15-26, Springer-Verlag
  160. Design time analysis of multiagent protocols, by P. Yolum. Data & Knowledge Engineering (2007), 63(1): 137-154, Elsevier Science Publishers B. V
  161. Modelling protocols for multiagent interaction by F-logic, by H.F. Lai. In Proc EUC (2007), LNCS 4808: 271-282, Springer-Verlag
  162. 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
  163. 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
  164. 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
  165. Contract-related agents, by J. Knottenbelt, K. Clark. In Proc. CLIMA VI (2005), LNAI 3900: 226-242, Springer-Verlag 2006
  166. 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
  167. 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
  168. 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
  169. 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
  170. 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
  171. 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
  172. 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
  173. 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
  174. 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
  175. Automated reasoning, by M. Bonacina, A. Martelli. Intelligenza Artificiale (2006), 3(1-2): 14-20.
  176. 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
  177. Normative KGP agents, by F. Sadri, K. Stathis, F. Toni. Computational & Mathematical Organization Theory (2006), 12(2-3): 101-126. Springer Netherlands.
  178. 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)
  179. 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).
  180. 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.
  181. A tool to facilitate agent deliberation, by D. Bryant, P. Krause, S. Moschoyiannis. In Proc. 9th JELIA (2006), LNAI 4160: 465-468, Springer-Verlag
  182. 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
  183. 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
  184. 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
  185. Temporal Logics for Representing Agent Communication Protocols, by U. Endriss. In Proc. Agent Communication II (2006), LNAI 3859: 15-29, Springer-Verlag
  186. 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.
  187. 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).
  188. 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)
  189. 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).
  190. 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
  191. 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
  192. 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
  193. Learning by knowledge exchange in logical agents, by S. Costantini, A. Tocchio. In Proc. 6th WOA (2005): 1-8
  194. Detecting broken social commitments: An implementation and investigation, by J. Heard. Master's thesis, University of Calgary, Calgary, AB, Canada, August 2005.
  195. Towards design tools for protocol development, by P. Yolum. In Proc. 4th AAMAS (2005): 99-105, ACM Press
  196. 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
  197. 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
  198. Formalization and verification of interaction protocols, by F. Chesani. In Proc. 21st ICLP (2005), LNAI 3668: 437-438, Springer-Verlag
  199. 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.
  200. 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).
  201. 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
  202. 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
  203. The SOCS project, by F. Toni, F. Sadri. ALP Newsletter (2004) 17(3)
  204. Ambient intelligence using KGP agents, by K. Stathis, F. Toni. In Proc. 2nd EUSAI (2004), LNCS 3295: 351-362, Springer-Verlag
  205. 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
  206. 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
  207. Correctness requirements for multiagent commitment protocols, by P. Yolum. In Proc. 19th ISCIS (2004), LNAI 3280: 955-965, Springer-Verlag
  208. 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
  209. 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.
  210. Logic-based electronic institutions, by W.W. Vasconcelos. In Proc. 1st DALT (2003), LNAI 2990: 221-242, Springer-Verlag 2004
  211. 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
  212. 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)

  1. 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
  2. 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
  3. 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)
  4. 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
  5. 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
  6. cLog: Complex Event Log Synthesis Tool, by Julius Holderer. Multikonferenz Wirtschaftsinformatik 2014. Online resource [in German]
  7. 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
  8. 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.
  9. Automated Reasoning, by M. Gavanelli, T. Mancini. Intelligenza Artificiale 7 (2013):113-124, IOS Press.
  10. 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
  11. Verifying MSMAS model using SCIFF, by E.E. Elakehal, M. Montali, J. Padget. In Proc. 11th MATES (2013), LNAI 8076:44-58, Springer-Verlag.
  12. 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.
  13. A survey of formal business process verification: From soundness to variability, by H. Groefsema, D. Bucur. In Proc. BMSD (2013).
  14. 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
  15. 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
  16. Meta-level constraints for complex event processing in logical agents, by S. Costantini, G. De Gasperis. In Proc. 11th Commonsense (2013)
  17. A review of argumentation for the Social Semantic Web, by J. Schneider, T. Groza, A. Passant. Semantic Web, In press
  18. 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
  19. 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
  20. Ablaufkontrolle von Prozess-Choreographien, by M. von Riegen. PhD dissertation (2012). Department of Informatics, University of Hamburg, Germany [in German]
  21. Enabling flexibility in process-aware information systems: Challenges, methods, technologies, by M. Reichert, B. Weber. Springer 2012, ISBN: 978-3-642-30408-8
  22. Self-checking logical agents, by S. Costantini. In Proc. 8th LANMR (2012), CEUR Vol. 911: 1-30
  23. 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
  24. 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.
  25. 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
  26. Ontology-based querying of composite services, by F. Smith, M. Missikoff, M. Proietti. In Proc. BSME (2012), LNCS 7350: 159-180. Springer-Verlag.
  27. 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
  28. 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
  29. 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
  30. Temporal meta-axioms in logical agents, by S. Costantini, P. Tsintza. In Proc. 9th CILC (2012). CEUR Workshop Proceedings, Vol. 857: 59-73
  31. 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
  32. Deon+: Abduction and constraints for normative reasoning, by M. Alberti, M. Gavanelli, E. Lamma. In Sergot Festschrift (2012), LNAI 7360: 308-328 Springer-Verlag
  33. 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.
  34. Modeling and analyzing service-oriented enterprise architectural styles, by L. Tang. PhD dissertation (2011). University of Texas at Dallas, US
  35. An experimental comparison of theorem provers for CTL, by R. Gore, J. Thomson, F. Widmann. In Proc. 18th TIME (2011): 49-56, IEEE Xplore.
  36. Conflict resolution with multi-agent argumentation, by X. Fan. PhD dissertation (2011). Department of Computing, Imperial College London.
  37. 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
  38. 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
  39. 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.
  40. 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
  41. Ensuring business process compliance along the process life cycle, by D. Knuplesch, M. Reichert. Tech. Rep. UIB-2011-06 (2011), University of Ulm, Germany.
  42. 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
  43. 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
  44. 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
  45. Normative conflicts in electronic contracts, by G.K. Giannikis, A. Daskalopulu. Electronic Commerce Research and Applications (2011) 10(2): 247-267.
  46. 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)
  47. 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
  48. Development of a logic layer in the semantic web: Research issues, by NK Janjua, FK Hussain. In Proc SKG 2010: 367-370, IEEE Xplore.
  49. 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
  50. 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
  51. 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
  52. 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
  53. A compliance management framework for business process models, by A.M.H.A. Awad. PhD dissertation (2010). Hasso Plattner Institute, University of Potsdam, Germany
  54. 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
  55. 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
  56. 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
  57. 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]
  58. 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
  59. 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
  60. 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
  61. Natural Language Engineering of Argumentation (NaLEA), by A. Wyner, T. van Engers (2010). wyner.info
  62. 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
  63. Reliable monitoring for runtime validation of choreographies, by M. von Riegen, N. Ritter. In Proc. 4th ICIW (2009): 310-315, IEEE Xplore.
  64. BPELgold: Choreography on the service bus, by L. Engler. Diplomarbeit Nr. 2880, Institute of Architecture of Application Systems University of Stuttgart, Germany, 2009.
  65. Runtime verification of agent properties, by S. Costantini, P. Dell'Acqua, L.M. Pereira, P. Tsintza. In Proc. 18th INAP (2009). Online proceedings.
  66. Defeasible logic based BDI agent for argumentation, by J. Yuan, A. Bao, L. Yao, X. Qi, F. Liu. In Proc. ICIS (2009), IEEE Xplore.
  67. 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
  68. 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
  69. 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
  70. 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.
  71. 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
  72. 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
  73. Semantic web service choreography: contracting and enactment, by D. Roman, M. Kifer. In Proc. 7th ISWC (2008), LNCS 5318: 550-566, Springer-Verlag.
  74. 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)
  75. Expressing argumentative discussions in social media sites, by C. Lange, U. Bojars, T. Groza, J.G. Breslin, S. Handschuh. In Proc. 1st SDOW (2008)
  76. 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
  77. 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
  78. Constitutive interoperability, by A.K. Chopra and M.P. Singh. In Proc. 7th AAMAS (2008), ACM Press, IFAAMAS
  79. 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
  80. 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.
  81. 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
  82. 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.
  83. 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)

  1. 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)
  2. Designing protocols for abductive hypothesis refinement in dynamic multi agent systems, by G. Bourgne, N. Maudet. Computational Intelligence (2012)
  3. Cooperative dialogues with conditional arguments, by S. Sa, J. Alcantara. In Proc 11th AAMAS (2012), 4C2. IFAAMAS.
  4. 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.
  5. 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
  6. Where logic and agents meet, by J. Dix, M. Fisher. Annals of Mathematics and Artificial Intelligence (2011), 61: 15-28
  7. 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
  8. 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
  9. 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
  10. Query-driven coordination of multiple answer sets, by G. Bourgne, K. Inoue. In Proc. 8th DALT (2010), LNAI 6619: 40-59, Springer-Verlag 2011
  11. 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
  12. 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
  13. Distributed abductive reasoning with constraints (extended abstract), by J. Ma, K. Broda, A. Russo, E. Lupu. In Proc. 9th AAMAS (2010): 1381-1382. IFAAMAS
  14. 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.
  15. Interacting answer sets, by C. Sakama, T.C. Son. In Proc. CLIMA IX (2009), LNAI 6214: 12-140, Springer-Verlag 2010
  16. 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
  17. 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.
  18. 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
  19. Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules, by H. Christiansen. Journal of Applied Logic (2009) 7(3): 341-362
  20. Coordination in answer set programming, by C. Sakama, K. Inoue. ACM Transactions on Computational Logic (2008) 9(2), Article No. 9
  21. 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
  22. 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.
  23. 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
  24. 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
  25. 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
  26. A calculus effectively performing event formation with visualization, by S. Yamasaki, M. Sasakura. In High-performance computing (2008), LNCS 4759: 287-294
  27. Select topics in legal evidence and assistance by artificial intelligence techniques, by E. Nissan. Cybernetics and Systems (2008), 39(4): 333-394
  28. 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.
  29. 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.
  30. 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
  31. 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
  32. Specification, execution and verification of interaction protocols, by F. Chesani. PhD dissertation (2007). DEIS, University of Bologna
  33. Distributed abductive reasoning system and abduction in the small, by J. Ma. MEng Final Year Report, Department of Computing, ICSTM, University of London (2007)
  34. Programming multi-agent systems, by M. Dastani, J. Gomez-Sanz. The Knowledge Engineering Review (2006), 20(2): 151-164
  35. 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
  36. 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
  37. 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
  38. Artificial intelligence and formalisms for legal evidence: An introduction, by E. Nissan, A.A. Martino. Applied Artificial Intelligence (2004) 18(3-4): 185-229
  39. Legal evidence scholarship meets artificial intelligence, by R.J. Allen. Applied Artificial Intelligence (2004) 18(3-4): 367-389
  40. Stable multi-agent systems, A. Bracciali, P. Mancarella, K. Stathis, F. Toni. In Proc. 5th ESAW (2004), LNAI 3451: 322-334, Springer-Verlag 2005
  41. Coordination between logical agents, by C. Sakama, K. Inoue. In Proc. CLIMA V (2004) LNAI 3487: 161-177, Springer-Verlag 2005
  42. 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
  43. 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
  44. 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
  45. Outlier detection by logic programming, by F. Angiulli, G. Greco, L. Palopoli. Tech. Rep. ICAR-CNR-CS n. 9, 2004
  46. 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.
  47. 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
  48. 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 planning, negotiation, and control of operation (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)

  1. Formalizing negotiations using logic programming, by T.C. Son, E. Pontelli, N.-H. Nguyen, C. Sakama. ACM Transactions on Computational Logic. To appear.
  2. Models of argument for deliberative dialogue in complex domains, by A. Toniolo. PhD Dissertation (2013). University of Aberdeen.
  3. 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
  4. Designing protocols for abductive hypothesis refinement in dynamic multi agent systems, by G. Bourgne, N. Maudet. Computational Intelligence (2012)
  5. 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
  6. 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
  7. Executable logic for dialogical argumentation, by E. Black, A. Hunter. In Proc. 20th ECAI (2012): 15-20, Frontiers of Artificial Intelligence
  8. On formalizing social commitments in dialogue and argumentation models using temporal defeasible logic, by A. Moubaiddin, N. Obeid. Knowledge Information Systems (2012)
  9. 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.
  10. HANA: a human-aware negotiation architecture, by A. Fabregues, C. Sierra. Journal of Decision Support Systems, In press.
  11. Cooperative dialogues with conditional arguments, by S. Sa, J. Alcantara. In Proc 11th AAMAS (2012), 4C2. IFAAMAS.
  12. 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.
  13. An argumentation-driven model for flexible and efficient persuasive negotiation, by J. Bentahar, J. Labban. Group Decsion and Negotiation (2011) 20(4): 411-435.
  14. Ambient intelligence: A survey, by F. Sadri. ACM Computing Surveys (2011) 43(4), Article 36.
  15. 基 于 Agent 的辩论谈判系统的协议研究, by W. Jinghua, H. Tiyun. Computer Engineering and Applications (2011) 47(9): 37-40 [in Chinese]
  16. A logical formulation for negotiation among dishonest agents, by C. Sakama, T.C. Son, E. Pontelli. In Proc. 22nd IJCAI (2011): 1069-1074. AAAI.
  17. 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.
  18. 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
  19. A many-many synchronous sealed bargaining protocol, by Zhang Zhen-wen, Tan Xin. In Proc. BMEI (2011): 460-463. IEEE Xplore.
  20. Case-based argumentation in agent societies, by S. Heras. Ph.D. Dissertation (2011), Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, Spain
  21. 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
  22. 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
  23. An argumentation system that builds trusted trading partnerships, by K.S. Islam. PhD dissertation (2010). University of Technology Sydney, Australia
  24. 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
  25. Position statement: Arguments cooperatively built by groups of agents, by S. Sa. In Proc. 8th ArgMAS (2011): 95-96.
  26. Argumentation-based negotiation planning for autonomous agents, by A. Monteserin, A. Amandi. Decision Support Systems (2011) 51(3): 532-548.
  27. A relevance-theoretic framework for constructing and deconstructing enthymemes, by E. Black, A. Hunter. Journal of Logic and Computation (2012) 22(1): 55-78
  28. Agent based negotiation in E-commerce, by M.T. Ateib. In Proc. ITSim (2010): 861-868. IEEE
  29. 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
  30. Modelling Multilateral Negotiation in Linear Logic, by D. Porello, U. Endriss. ILLC Prepublications PP-2010-15, Digital Academic Repository, University of Amsterdam, 2010
  31. Specification and verification of multi-agent systems, by M. Dastani, K. Hindriks, J.-J.Ch. Meyer (eds.), Springer, US, 2010.
  32. A formal framework of virtual organisations as agent societies, by J. McGinnis, K. Stathis, F. Toni. EPTCS (2010) 16(1):1-14.
  33. An investigation of multi-agent planning in CLP, by A. Dovier, A. Formisano, E. Pontelli. Fundamenta Informaticae (2010), 105(1-2): 79-103.
  34. 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]
  35. New development of argumentation-based negotiation, by X. Dong, G. Jiang, T. Huang. In Proc. ITAP (2010):1-7 [in Chinese]
  36. 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
  37. 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.
  38. 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
  39. An inquiry dialogue system, by E. Black, A. Hunter. Autonomous Agents and Multi-Agent Systems (2009), 19(2): 173-209. Springer Netherlands
  40. Negotiation using logic programming with consistency restoring rules, by T.C. Son, C. Sakama. In Proc 21st IJCAI (2009): 930-935. AAAI Press.
  41. Inductive negotiation in answer set programming, by C. Sakama. In Proc. 6th DALT (2008), LNAI 5397: 143-160. Springer-Verlag, 2009.
  42. Automatisierte Verhandlungen in Multi-Agenten-Systemen, by R. Buettner. PhD Dissertation (2009), Universitaet Hohenheim, Germany. Gabler Verlag. ISBN 978-3-8349-2131-4
  43. 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.
  44. 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
  45. 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.
  46. 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
  47. 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
  48. Using enthymemes in an inquiry dialogue system, by E. Black, A. Hunter. In Proc. 7th AAMAS (2008), ACM Press, IFAAMAS
  49. 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.
  50. On the benefits of argumentation for negotiation - preliminary version, by A. Hussain, F. Toni. In Proc. 6th EUMAS (2008)
  51. 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
  52. A generic framework for argumentation-based negotiation, by M.M. Geipel, G. Weiss. In Proc. 11th CIA (2007), LNAI 4676: 209-223 , Springer-Verlag
  53. Assimilating ontological additions in convergent negotiation protocols, by B. Spencer. In Proc. 9th ICEC (2007): 135-140
  54. The eightfold way of deliberation dialogue, by P. McBurney, D. Hitchcock, S. Parsons. International Journal of Intelligent Systems (2007) 22(1): 95-132
  55. 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
  56. Bilateral agent negotiation with information-seeking, by A. Hussain, F. Toni. In Proc. 5th EUMAS (2007)
  57. 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
  58. Programming applications in CIFF, by P. Mancarella, F. Sadri, G. Terreni, F. Toni. In Proc. 9th LPNMR (2007), LNAI 4483: 284-289, Springer-Verlag
  59. 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
  60. 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
  61. 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.
  62. 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
  63. 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
  64. 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
  65. 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
  66. 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
  67. 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
  68. 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
  69. 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
  70. 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
  71. 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
  72. Supply network optimization. Coordination based on scheduling, negotiation, and trust, by T. Stockheim (page 118). Books on Demand (2006), ISBN 3833461578.
  73. 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
  74. 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
  75. 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
  76. 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
  77. 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
  78. 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
  79. 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
  80. 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
  81. A generative framework for argumentation-based inquiry dialogues, by E. Black. PhD thesis (2006), University College London.
  82. Motivated declarative agents in multiagent domains: open issues, by F.R. Meneguzzi. PhD Progress Report (2006), ECS, University of Southampton, UK
  83. 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
  84. 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
  85. 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
  86. Normative KGP agents, by F. Sadri, K. Stathis, F. Toni. Computational & Mathematical Organization Theory (2006), 12(2-3): 101-126. Springer Netherlands.
  87. Deliberative discourse and reasoning from generic argument structures, by J.L. Yearwood, A. Stranieri. AI & Society (2006), Springer London.
  88. Interleaving belief updating and reasoning in abductive logic programming, by F. Sadri, F. Toni. In Proc. 17th ECAI (2006) :442-446. IOS Press.
  89. 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
  90. 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
  91. 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
  92. 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.
  93. Argumentation for access control, by G. Boella, J. Hulstijn, L. van der Torre. In Proc. AI*IA (2005), LNAI 3673: 86-97, Springer-Verlag
  94. 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
  95. 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
  96. 基 于主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]
  97. 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
  98. Interleaving belief revision and reasoning: preliminary report, by F. Sadri, F. Toni. In Proc. 2nd CILC (2005)
  99. Un linguaggio di coordinamento per agenti logici abduttivi, by E. Maggenti. M.Sc. dissertation (2005), Department of Informatics, University of Pisa, Italy [in Italian]
  100. Computational models for argumentation in MAS, by C.I. Chesnevar, G.R. Simari. Tutorial at EASSS (2005)
  101. 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
  102. 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.
  103. Dialogue games in multi-agent systems, by P. McBurney, S. Parsons. Informal Logic (2005), 22(3): 257-274
  104. 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
  105. 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.
  106. ACL: specification, design and analysis all based on commitments, by M. Bergeron, B. Chaib-draa. In Proc. Workshop on Agent Communication (2005)
  107. Personalization for the semantic web II, in N. Henze (ed.), REWERSE Project (IST-2004-506779) Deliverable A3.D4 (2005)
  108. 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
  109. 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
  110. 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
  111. 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
  112. 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
  113. 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
  114. 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
  115. 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
  116. Inter-agent dialogues in electronic marketplaces, by N. Karacapilidis, P. Moraitis. In Computational Intelligence (2004), 20(1): 1-17, Blackwell Publishing, Inc.
  117. 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
  118. Fuzzy unification and argumentation for well-founded semantics, by R. Schweimeier, M. Schroeder. In Proc. SOFSEM (2004), LNCS 2932: 102-121, Springer-Verlag
  119. Symbolic negotiation with linear logic, by P. Kungas, M. Matskin. In Proc. CLIMA IV (2004), LNAI 3259: 71-89, Springer-Verlag
  120. Multi-agent negotiation using trust and persuasion, by S.D. Ramchurn. PhD Thesis, ECS, University of Southampton (2004)
  121. 推 测计算中多 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]
  122. 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
  123. Intelligent agents: modeling and reasoning techniques (BISS04), by M. Martelli. Course at University of Turin, Italy (2004)
  124. 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
  125. Interest-based negotiation in multi-agent systems, by I. Rahwan. PhD thesis (2004), University of Melbourne
  126. State-of-the-art on evolution and reactivity, in J.J. Alferes, W. May (eds.), REWERSE Project (IST-2004-506779) Deliverable I5.D1 (2004)
  127. Temporal linear logic for symbolic agent negotiation, by P. Kungas. In Proc. PRICAI (2004), LNAI 3157: 23-32, Springer-Verlag
  128. Flexible agent dialogue strategies and societal communication protocols, by A. Kakas, N. Maudet, P. Moraitis. In Proc. 3rd AAMAS (2004): 1434-1435, ACM Press
  129. A logic-based approach to reasoning with beliefs about trust, by F. Sadri, F. Toni. In Proc. ARSPA (2004): 175-187
  130. 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
  131. 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
  132. 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
  133. 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)
  134. 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
  135. 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
  136. 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
  137. 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
  138. 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
  139. Abductive logic programming for communication and negotiation amongst agents, by F. Sadri, F. Toni. ALP Newsletter (2003), 16(2-3)
  140. 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)
  141. 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
  142. 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
  143. 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
  144. 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.
  145. 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
  146. 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
  147. 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
  148. 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
  149. A logical framework for modelling eMAS, by P. Dell'Acqua, L.M. Pereira. In Proc. PADL (2003), LNAI 2562: 241-255, Springer-Verlag
  150. 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
  151. 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
  152. 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
  153. 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
  154. Programming rational agents: a modal approach in a logic programming setting, by V. Patti. AI*IA Notizie (2002), XV(2): 24-29
  155. 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
  156. Abduction in logic programming, by M. Denecker, A.C. Kakas. In Computational Logic: Logic Programming and Beyond (2002), LNAI 2407: 402-436, Springer-Verlag
  157. Engineering issues in interagent dialogues, by N. Karacapilidis, P. Moraitis. In Proc. 15th ECAI (2002): 58-62, IOS Press
  158. Ontological overhearing, by M. Aiello, P. Busetta, A. Dona, L. Serafini. In Proc. 8th ATAL (2001), LNAI 2333: 175-189, Springer-Verlag 2002
  159. 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
  160. Communication protocols for logic-based agents, by U. Endriss, N. Maudet, F. Sadri, F. Toni. In Proc. 5th UKMAS (2002)
  161. Conditions for optimal outcomes of negotiations about resources, by U. Endriss, N. Maudet, F. Sadri, F. Toni. In Proc. 5th UKMAS (2002)
  162. Multi-agent cooperative planning and information gathering, by F. Sadri. In Proc. 11th CIA (2007), LNAI 4676: 72-88, Springer-Verlag
  163. Negotiation with concurrent dialogues in multi-agent systems, by I. Lionis. MSc Project, Dept. of Computing, Imperial College London (2002)
  164. Modeling dialogues in multi-agent systems, by N. Karacapilidis, P. Moraitis. In Proc. 1st AAMAS (2002): 798-799. ACM Press
  165. Formal theories of negotiation, by F. Dignum. In Proc. 8th ATAL (2001), LNAI 2333: 321-323, Springer-Verlag 2002
  166. Speculative computation with multi-agent belief revision, by K. Satoh, K. Yamamoto. In Proc. 1st AAMAS (2002): 897-904, ACM Press
  167. 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)
  168. Desiderata for agent argumentation protocols, by P. McBurney, S. Parsons, M. Wooldridge. In Proc. 1st AAMAS (2002): 402-409, ACM Press
  169. 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.
  170. 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
  171. 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
  172. 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
  173. 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
  174. 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)

  1. Designing protocols for abductive hypothesis refinement in dynamic multi agent systems, by G. Bourgne, N. Maudet. Computational Intelligence (2012)
  2. 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
  3. Automatisierte Verhandlungen in Multi-Agenten-Systemen, by R. Buettner. PhD Dissertation (2009), Universitaet Hohenheim, Germany. Gabler Verlag. ISBN 978-3-8349-2131-4
  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.
  5. Argumentation in artificial intelligence, by T. Bench-Capon, P. Dunne. Artificial Intelligence (2007), 171(10-15): 619-641. Elsevier Science
  6. 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
  7. Assimilating ontological additions in convergent negotiation protocols, by B. Spencer. In Proc. 9th ICEC (2007): 135-140
  8. 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
  9. 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
  10. 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.
  11. Computational models for argumentation in MAS, by C.I. Chesnevar, G.R. Simari. Tutorial at EASSS (2005)
  12. Interest-based negotiation in multi-agent systems, by I. Rahwan. PhD thesis (2004), University of Melbourne
  13. 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
  14. Multi-agent negotiation using trust and persuasion, by S.D. Ramchurn. PhD thesis (2004), ECS, University of Southampton
  15. Defeat among negotiation arguments, by R. Loui, F. Tohme, G. Simari. Unpublished (2004).
  16. Fuzzy unification and argumentation for well-founded semantics, by R. Schweimeier, M. Schroeder. In Proc. SOFSEM (2004), LNCS 2932: 102-121, Springer-Verlag
  17. Towards a testbed for multi-party dialogues, by F.P.M. Dignum, G.A.W. Vreeswijk. In Proc. ACL (2003) LNAI 2922: 212-230
  18. 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
  19. Dialogue between non-task oriented agents, by J.P. Sansonnet, E. Valencia. In Proc. Agent-Based Simulation (2003)
  20. 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)
  21. 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)

  1. 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
  2. Verifying MSMAS model using SCIFF, by E.E. Elakehal, M. Montali, J. Padget. In Proc. 11th MATES (2013), LNAI 8076:44-58, Springer-Verlag.
  3. 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
  4. Radial restraint: a semantically clean approach to bounded rationality for logic programs, by B. Grosof, T. Swift. In Proc. AAAI 2013
  5. 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]
  6. Self-checking logical agents, by S. Costantini. In Proc. 8th LANMR (2012), CEUR Vol. 911: 1-30
  7. 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
  8. 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
  9. Temporal meta-axioms in logical agents, by S. Costantini, P. Tsintza. In Proc. 9th CILC (2012). CEUR Workshop Proceedings, Vol. 857: 59-73
  10. 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
  11. 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
  12. 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
  13. Answer set modules for logical agents, by S. Costantini. In Datalog Reloaded (2010), LNCS 6702: 37-58. Spinger-Verlag 2011
  14. 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
  15. 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.
  16. 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
  17. Where logic and agents meet, by J. Dix, M. Fisher. Annals of Mathematics and Artificial Intelligence (2011), 61: 15-28
  18. Verifying requirements for resource-bounded agents, by A. Rakib. PhD dissertation (2011), The University of Nottingham, UK
  19. 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
  20. An investigation of multi-agent planning in CLP, by A. Dovier, A. Formisano, E. Pontelli. Fundamenta Informaticae (2010), 105(1-2): 79-103.
  21. 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
  22. 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.
  23. Specification and verification of multi-agent systems, by M. Dastani, K. Hindriks, J.-J.Ch. Meyer (eds.), Springer, US, 2010.
  24. 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).
  25. 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
  26. 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
  27. 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
  28. Runtime verification of agent properties, by S. Costantini, P. Dell'Acqua, L.M. Pereira, P. Tsintza. In Proc. 18th INAP (2009). Online proceedings.
  29. Integrating answer set modules into agent programs, by S. Costantini. In Proc. LPNMR (2009), LNCS 5753: 613-615. Springer-Verlag
  30. 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
  31. 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
  32. 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.
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. Agents and web services, by S. Costantini. ALP Newsletter 2008 21(2-3). Association for Logic Programming
  39. 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]
  40. 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
  41. Specification and dynamic verification of agent properties, by S. Costantini, P. Dell'Acqua, L.M. Pereira, P. Tsintza. In Proc. CLIMA IX (2008).
  42. An incremental process for the development of multi-agent systems in Event-B, by E. Ball. PhD dissertation (2008), ECS, University of Southampton, UK
  43. 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
  44. Analysing human-agent teamwork, by R.H. Bordini, M. Fisher, M. Sierhuis. In Proc. 10th ASTRA (2008). European Space Agency.
  45. 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
  46. A Maude-based tool for simulating DIMA model, by N. Boudiaf, L. Sahbi. In Proc. ECC (2007), LNEE 27(4): 305-317
  47. 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
  48. 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
  49. 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
  50. 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-INDEX (Hirsch Number) and Egghe's G-INDEX by QuadSearch H- & G-index (QuadSearch)

SpringerLink

Scopus

ACM Portal

CSB

Scientific Commons

eventseer

my coauthors

google

google related pages

google scholar

Libra microsoft Academic search

Libra arnetminer.org

Libra 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

Go to ISCL ISCL 2011

Go to DALT School Web Site DALT School 2011


Quick links

Rete 29 Aprile In Italian Rete 29 Aprile

My Faculty 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

Go to JUST web site Fundamenta Informaticae

Go to JUST web site Unmanned Systems Technology (JUST)

Go to CPCS web site Conference Papers in Computer Science


Newsletters

Go to CPCS web site ALP Newsletter


Books

Go to book ToC CLIMA XII LNAI 6814 (1K+ downloads)

Go to book ToC GULP 25Y LNAI 6125 (8K+ downloads)

ALMALIBeRI BookCrossing @ UniBO


Open and future calls Go to ConfSearch ConfSearch

Go to AAMAS 2014 AAMAS (submit by Oct 8, 2013)

Go to ECAI 2014 ECAI (Aug 2013; dates TBA)


Future events Go to ConfSearch ConfSearch

Go to ICLP 2013ICLP (Istanbul, Turkey, Aug 2013)

Go to CLIMA XIVCLIMA/LPNMR (Corunna, Spain, Sep 2013)


Teaching

go Real-Time Operating Systems M (lab)

go In Italian Informatica Grafica (09/10 11/12)

Erasmus in Turchia In Italian Scambi Erasmus con la Turchia

tesi Italian only 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



Paolo Torroni's Home Page

 Last modified Thursday, 17-Jul-2014 11:05:27 CEST