Per Sort

69 book chapters
 @incollection{mpm-mdabook2021,
    author = {Molesini, Ambra and Denti, Enrico and Omicini, Andrea},
    booktitle = {Advancements in Model-Driven Architecture in Software Engineering},
    chapter = 4,
    doi = {10.4018/978-1-7998-3661-2.ch004},
    editor = {Rhazali, Yassine},
    eisbn = {9781799836636},
    iris = {11585/769135},
    isbn = {9781799836612},
    isbn10 = {1799836614},
    isbn13 = {9781799836629},
    keywords = {Multi-Paradigm Modeling; Development Process; Meta-Modeling; MDE},
    month = jun,
    numpages = 24,
    pages = {64--87},
    publisher = {IGI Global},
    scholar = {5411882464942243375},
    semanticscholar = {224974647},
    title = {{MDE} \& {MDA} in a Multi-Paradigm Modeling Perspective},
    url = {http://www.igi-global.com/book/advancements-model-driven-architecture-software/243747},
    year = 2021
} 
 @incollection{abminmsb-dataanalyticsmedicinebook2020,
    author = {Montagna, Sara and Omicini, Andrea},
    booktitle = {Data Analytics in Medicine: Concepts, Methodologies, Tools, and Applications},
    chapter = 20,
    doi = {10.4018/978-1-7998-1204-3.ch020},
    eisbn = {9781799812050},
    iris = {11585/786747},
    isbn = {9781799812043},
    isbn-10 = {1799812049},
    isbn10 = {1799812049},
    note = {Reprint},
    pages = {369--389},
    publisher = {IGI Global},
    scopus = {2-s2.0-85137554410},
    title = {Agent-based Modelling in Multicellular Systems Biology},
    url = {https://www.igi-global.com/gateway/chapter/243121},
    year = 2020
} 
 @incollection{digitalplatforms-digitaldemocracy2019,
    author = {Pianini, Danilo and Omicini, Andrea},
    booktitle = {The Future of Digital Democracy: An Interdisciplinary Approach},
    chapter = 6,
    dblp = {series/lncs/PianiniO19},
    doi = {10.1007/978-3-030-05333-8_6},
    editor = {Contucci, Pierluigi and Omicini, Andrea and Pianini, Danilo and Sîrbu, Alina},
    iris = {11585/653725},
    isbn = {978-3-030-05333-8},
    issn = {0302-9743},
    month = jan,
    numpages = 14,
    pages = {83--96},
    publisher = {Springer},
    scholar = {2467249375012552626},
    scopus = {2-s2.0-85059037849},
    series = {Lecture Notes in Computer Science},
    subseries = {State-of-the-Art Survey},
    title = {Democratic Process and Digital Platforms: An Engineering Perspective},
    url = {http://link.springer.com/10.1007/978-3-030-05333-8_6},
    urlpdf = {http://link.springer.com/content/pdf/10.1007/978-3-030-05333-8_6.pdf},
    volume = 11300,
    year = 2019
} 
 @inproceedings{FRVZ-ROCCO2019,
  author    = {Fortino, Giancarlo and Re, Barbara and Viroli, Mirko and Zambonelli, Franco},
  title     = {Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT},
  booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming
               - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
               Birthday},
  pages     = {411--427},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-21485-2\_22},
  doi       = {10.1007/978-3-030-21485-2\_22},
  editor    = {Boreale, Michele and Corradini, Flavio and Loreti, Michele and Pugliese, Rosario},
  volume    = {11665},
  publisher = {Springer},
  isbn      = {978-3-030-21484-5}
}
 
 @incollection{ActorsAggregate2018,
	booktitle = {Programming with Actors: State-of-the-Art and Research Perspectives},
	year = 2018,
	url = {https://doi.org/10.1007/978-3-030-00302-9_4},
	editor = {Ricci, Alessandro and Haller, Philipp},
	series = {Lecture Notes in Computer Science},
	publisher = {Springer International Publishing},
	author = {Casadei, Roberto and Viroli, Mirko},
	title = {Programming Actor-Based Collective Adaptive Systems},
	pages = {94--122},
	volume = 10789,
	doi = {10.1007/978-3-030-00302-9_4}} 
 @incollection{abminmsb-mabsbioenvbook2017,
    author = {Montagna, Sara and Omicini, Andrea},
    booktitle = {Multi-Agent Based Simulations Applied to Biological and Environmental Systems},
    chapter = 7,
    doi = {10.4018/978-1-5225-1756-6.ch007},
    editor = {Adamatti, Diana Francisca},
    eisbn = {978-1-5225-1757-3},
    eissn = {2327-042X},
    iris = {11585/586460},
    isbn = {978-1-5225-1756-6},
    isbn10 = {1-5225-1756-1},
    issn = {2327-0411},
    month = feb,
    pages = {159--178},
    publisher = {IGI Global},
    scopus = {2-s2.0-85018569036},
    series = {Advances in Computational Intelligence and Robotics (ACIR)},
    title = {Agent-based Modelling in Multicellular Systems Biology},
    url = {http://www.igi-global.com/chapter/agent-based-modelling-in-multicellular-systems-biology/173217},
    year = 2017
} 
 @incollection{techautonomy-awsbook2016,
    address = {Cambridge, UK},
    author = {Sartor, Giovanni and Omicini, Andrea},
    booktitle = {Autonomous Weapon Systems. Law, Ethics, Policy},
    chapter = 3,
    doi = {10.1017/CBO9781316597873.003},
    editor = {Bhuta, Nehal and Beck, Susanne and Gei{\ss}, Robin and Liu, Hin-Yan and Kre{\ss}, Claus},
    eisbn = {978-1-316-59787-3},
    iris = {11585/562486},
    isbn = {978-1-107-15356-1},
    isbn13 = {978-1-316-60765-7},
    month = aug,
    numpages = 36,
    pages = {39--74},
    publisher = {Cambridge University Press},
    scopus = {2-s2.0-85029495435},
    title = {The Autonomy of Technological Systems and Responsibilities for their Use},
    url = {http://www.cambridge.org/core/books/autonomous-weapons-systems/the-autonomy-of-technological-systems-and-responsibilities-for-their-use/9C47BF93BCF884E3D4735C95509790BD},
    year = 2016
} 
 @inbook{symbsubsymbgapatlantistm6,
    address = {Paris, France},
    author = {Goertzel, Ben and Pennachin, Cassio and Geisweiller, Nil},
    bdsk-url-1 = {https://doi.org/10.2991/978-94-6239-030-0_11},
    booktitle = {Engineering General Intelligence, Part 2: The CogPrime Architecture for Integrative, Embodied AGI},
    doi = {10.2991/978-94-6239-030-0_11},
    isbn = {978-94-6239-030-0},
    pages = {189--209},
    publisher = {Atlantis Press},
    title = {Bridging the Symbolic/Subsymbolic Gap},
    url = {http://link.springer.com/10.2991/978-94-6239-030-0_11},
    year = 2014
} 
 @incollection{gaia-aodphandbook2014,
    author = {Cernuzzi, Luca and Molesini, Ambra and Omicini, Andrea},
    booktitle = {Handbook on Agent-Oriented Design Processes},
    dblp = {books/daglib/p/CernuzziMO14},
    doi = {10.1007/978-3-642-39975-6_6},
    editor = {Cossentino, Massimo and Hilaire, Vincent and Molesini, Ambra and Seidita, Valeria},
    eisbn = {978-3-642-39975-6},
    iris = {11585/480570},
    isbn = {978-3-642-39974-9},
    pages = {141--172},
    publisher = {Springer Berlin Heidelberg},
    scholar = {12565248866123722500},
    scopus = {2-s2.0-85021845440},
    semanticscholar = {31764582},
    title = {The {G}aia Methodology Process},
    url = {http://link.springer.com/10.1007/978-3-642-39975-6_6},
    year = 2014
} 
 @incollection{soda-aodphandbook2014,
    author = {Molesini, Ambra and Omicini, Andrea},
    booktitle = {Handbook on Agent-Oriented Design Processes},
    dblp = {books/daglib/p/MolesiniO14},
    doi = {10.1007/978-3-642-39975-6_13},
    editor = {Cossentino, Massimo and Hilaire, Vincent and Molesini, Ambra and Seidita, Valeria},
    eisbn = {978-3-642-39975-6},
    iris = {11585/480568},
    isbn = {978-3-642-39974-9},
    pages = {407--461},
    publisher = {Springer Berlin Heidelberg},
    scholar = {8995461511885580559},
    scopus = {2-s2.0-85030973436},
    semanticscholar = {9139271},
    title = {The \textsf{SODA} Methodology: Meta-Model and Process Documentation},
    url = {http://link.springer.com/10.1007/978-3-642-39975-6_13},
    year = 2014
} 
 @incollection{ioit-sci495,
	author = {Ars{\'{e}}nio, Artur and Serra, Hugo and Francisco, Rui and Nabais, Fernando and Andrade, Jo{\{{{10.1007/978-3-642-35016-0_1},
	isbn = {978-3-642-35015-3, 978-3-642-35016-0},
	issn = {1860-949X},
	pages = {1--37},
	publisher = {Springer},
	series = {Studies in Computational Intelligence},
	shorttitle = {Internet of Intelligent Things},
	title = {{I}nternet of {I}ntelligent {T}hings: Bringing Artificial Intelligence into Things and Communication Networks},
	url = {http://link.springer.com/10.1007/978-3-642-35016-0_1},
	volume = 495,
	year = 2014} 
 @incollection{introduction-aodphandbook2014,
 Author={Cossentino, Massimo and Hilaire, Vincent and Molesini, Ambra and Seidita, Valeria},
Booktitle={Handbook on Agent-Oriented Design Processes},
Doi={10.1007/978-3-642-39975-6_2},
Editor={Cossentino, Massimo and Hilaire, Vincent and Molesini, Ambra and Seidita, Valeria},
Isbn={978-3-642-39974-9},
eisbn = {978-3-642-39975-6},
Publisher={Springer Berlin Heidelberg},
Pages={7--17},
title={The {IEEE-FIPA} Standard on the Design Process Documentation Template},
Url={http://dx.doi.org/10.1007/978-3-642-39975-6_2},
year={2014}
} 
 @incollection{argumentation-argbook2014,
    address = {Bussum, Netherlands},
    author = {Oliva, Enrico and McBurney, Peter and Omicini, Andrea and Viroli, Mirko},
    booktitle = {Negotiation and Argumentation in Multi-Agent Systems. Fundamentals, Theories, Systems and Applications},
    chapter = 8,
    doi = {10.2174/9781608058242114010009},
    editor = {Lopes, Fernando and Coelho, Helder},
    eisbn = {978-1-60805-824-2},
    iris = {11585/480573},
    isbn = {978-1-60805-825-9},
    keywords = {Agents, Argumentation, Artifacts, Dialogues, Multiagent systems, Negotiation, Logic Programming},
    pages = {191--232},
    part = {II -- Theories and Systems},
    publisher = {Bentham Science Publishers},
    title = {Argumentation and Artifacts for Negotiation Support},
    url = {http://ebooks.benthamscience.com/book/9781608058242/chapter/121481/},
    year = 2014
} 
 @incollection{introduction-aodphandbook2014,
 Author={Cossentino, Massimo and Molesini, Ambra and Hilaire, Vincent and Seidita, Valeria},
Booktitle={Handbook on Agent-Oriented Design Processes},
Doi={10.1007/978-3-642-39975-6_1},
Editor={Cossentino, Massimo and Hilaire, Vincent and Molesini, Ambra and Seidita, Valeria},
Isbn={978-3-642-39974-9},
eisbn = {978-3-642-39975-6},
Publisher={Springer Berlin Heidelberg},
Pages={1--5},
title={Introduction},
Url={http://dx.doi.org/10.1007/978-3-642-39975-6_1},
year={2014}
} 
 @incollection{collaborativelearning-nova2013,
    address = {Hauppauge, NY, USA},
    author = {Matteucci, Maria Cristina and Nardini, Elena and Omicini, Andrea},
    booktitle = {Information and Communications Technology: New Research},
    chapter = 9,
    editor = {Roselli, Judie and Gulick, Evan},
    iris = {11585/137998},
    isbn = {978-1-62618-070-3},
    month = apr,
    pages = {175--188},
    publisher = {Nova Science Publishers, Inc.},
    scopus = {2-s2.0-84895337881},
    series = {Media and Communications - Technologies, Policies and Challenges. Electronics and Telecommunications Research},
    title = {Collaborative Learning and {ICT}: A Prototypal Learning Environment},
    url = {https://novapublishers.com/shop/information-and-communications-technology-new-research/},
    year = 2013
} 
 @inproceedings{tucsononcloud-ica3pp2013,
    acm = {10.1007/978-3-319-03889-6_33},
    author = {Mariani, Stefano and Omicini, Andrea},
    booktitle = {Algorithms and Architectures for Parallel Processing},
    doi = {10.1007/978-3-319-03889-6_33},
    editor = {Aversa, Rocco and Kolodzej, Joanna and Zhang, Jun and Amato, Flora and Fortino, Giancarlo},
    eisbn = {978-3-319-03889-6},
    iris = {11585/256500},
    isbn = {978-3-319-03888-9},
    issn = {0302-9743},
    month = dec,
    note = {13th International Conference (ICA3PP-2013), Vietri sul Mare, Italy, 18-20~} # dec # {~2013. Proceedings, Part II},
    pages = {285--294},
    publisher = {Springer International Publishing Switzerland},
    scopus = {2-s2.0-84892840451},
    series = {LNCS},
    title = {{\sf TuCSoN} on Cloud: An Event-driven Architecture for Embodied / Disembodied Coordination},
    url = {http://link.springer.com/10.1007/978-3-319-03889-6_33},
    volume = 8286,
    year = 2013
} 
 @incollection{ricci13-akifest,
	booktitle = {Concurrent Objects and Beyond -- Festschrift in Honor of Akinori Yonezawa},
	publisher = {Springer},
	author = {Ricci, Alessandro and Santi, Andrea},
	title = {From Actors and Concurrent Objects to Agent-Oriented Programming in {\simpal}},
	year = 2013,
	editor = {Agha, Gul and Igarashi, Atsushi and Kobayashi, Naoki and  Masuhara, Hidehiko and Matsuoka, Satoshi and Shibayama, Etsuya and Taura, Kenjiro}} 
 @incollection{SpatialIGI2013,
	booktitle = {Formal and Practical Aspects of Domain-Specific Languages: Recent Developments},
	publisher = {IGI Global },
	author = {Beal, Jacob and Dulman, Stefan and Usbeck, Kyle and Viroli, Mirko and Correll, Nikolaus},
	title = {Organizing the Aggregate: Languages for Spatial Computing},
	chapter = 16,
	year = 2013,
	note = {A longer version available at: {\tt http://arxiv.org/abs/1202.5509}},
	abstract = {As the number of computing devices embedded into engineered systems continues to rise, there is a
widening gap between the needs of the user to control aggregates of devices and the complex technology of individual devices. Spatial computing attempts to bridge this gap for systems with local communication by exploiting the connection between physical locality and device connectivity. A large number of spatial computing domain specific languages (DSLs) have emerged across diverse domains, from biology and reconfigurable computing, to sensor networks and agent-based systems. In this chapter, we develop a framework for analyzing and comparing spatial computing DSLs, survey the current state of the art, and provide a roadmap for future spatial computing DSL investigation.
},
	keywords = {Spatial Computing, Sensor Networks, Agent-Based Systems},
	eissn = {978-1-4666-2092-6},
	status = {Published},
	pages = {436--501},
	venue_list = {--},
	url = {http://www.igi-global.com/chapter/organizing-aggregate-languages-spatial-computing/71829},
	editor = {Mernik, Marjan},
	doi = {10.4018/978-1-4666-2092-6.ch016}} 
 @incollection{montagna-morphoeng,
      year={2012},
      isbn={978-3-642-33901-1}, 
      booktitle={Morphogenetic Engineering},
      series={Understanding Complex Systems}, 
      editor={Doursat, Ren\'e and Sayama, Hiroki and Michel, Olivier},
      doi={10.1007/978-3-642-33902-8_15},
      title={A Computational Framework for Multilevel Morphologies},
      url={http://dx.doi.org/10.1007/978-3-642-33902-8_15},
      publisher={Springer Berlin Heidelberg},
      author={Montagna, Sara and Viroli, Mirko},
      pages={383--405},
      language={English}
}
 
 @incollection{semanticsapere-igi2012,
	Author = {Viroli, Mirko and Zambonelli, Franco and Stevenson, Graeme and Dobson, Simon},
	Booktitle = {Adaptive Web Services for Modular and Reusable Software Development: Tactics and Solution},
	Chapter = 8,
	Doi = {10.4018/978-1-4666-2089-6.ch008},
	Editor = {Cubo, Javier and Ortiz, Guadalupe},
	Isbn = {978-1-4666-2091-9},
	Isbn-10 = {9781466620896},
	Isbn-13 = 1466620897,
	Keywords = {Pervasive Computing, Service Oriented Architectures, RDF, Pervasive Ecosystems},
	Pages = {207--237},
	Pdf-Local = {chapter.pdf},
	Publisher = {IGI Global},
	Title = {From {SOA} to Pervasive Service Ecosystems: An Approach based on {S}emantic {W}eb technologies},
	Url = {http://www.igi-global.com/chapter/soa-pervasive-service-ecosystems/69475},
	Year = 2012} 
 @incollection{ch30-castelfranchifestschrift2012,
    address = {London, UK},
    author = {Omicini, Andrea},
    booktitle = {The Goals of Cognition. Essays in Honor of {C}ristiano {C}astelfranchi},
    chapter = 30,
    editor = {Paglieri, Fabio and Tummolini, Luca and Falcone, Rino and Miceli, Maria},
    iris = {11585/132993},
    isbn = {978-1-84890-094-3},
    month = dec,
    pages = {565--578},
    publisher = {College Publications},
    series = {Tributes},
    title = {Agents Writing on Walls: Cognitive Stigmergy and Beyond},
    volume = 20,
    year = 2012
} 
 @incollection{organisms-perada2011,
	Address = {Austria},
	Author = {Zambonelli, Franco},
	Booktitle = {Pervasive Adaptation. The Next Generation Pervasive Computing Research Agenda},
	Chapter = {VIII: Sociotechnical Systems},
	Editor = {Ferscha, Alois},
	Isbn = {978-3-200-02270-6},
	Keywords = {pervasive sensing, collective intelligence, social systems},
	Month = may,
	Pages = {86--87},
	Publisher = {Institute for Pervasive Computing, Johannes Kepler University Linz},
	Title = {Towards Social-{ICT} Organisms},
	Url = {http://www.perada.eu/essence/\#item:16},
	Year = 2011}
 
 @incollection {springerlink:10.1007/978-3-642-17348-6_13,
   author = {Casadei, Matteo and Mamei, Marco and Villalba, Cynthia and Viroli, Mirko and Zambonelli, Franco},
   affiliation = {Università di Bologna, 47023 Cesena, Italy},
   title = {Middleware Infrastructures for Self-organising Pervasive Computing Systems},
   booktitle = {Self-organising Software},
   series = {Natural Computing Series},
   editor = {Di Marzo Serugendo, Giovanna and Gleizes, Marie-Pierre and Karageorgos, Anthony},
   publisher = {Springer Berlin Heidelberg},
   isbn = {978-3-642-17348-6},
   keyword = {Computer Science},
   pages = {313-344},
   url = {http://dx.doi.org/10.1007/978-3-642-17348-6_13},
   note = {10.1007/978-3-642-17348-6_13},
   year = {2011}
} 
 @incollection{soskis-perada2011,
    address = {Austria},
    author = {Omicini, Andrea},
    booktitle = {Pervasive Adaptation. The Next Generation Pervasive Computing Research Agenda},
    chapter = {VII: Human-Centric Adaptation},
    editor = {Ferscha, Alois},
    iris = {11585/102883},
    isbn = {978-3-200-02270-6},
    keywords = {knowledge-intensive environments, self-organising knowledge, self-organising workspaces},
    month = may,
    pages = {71--72},
    publisher = {Institute for Pervasive Computing, Johannes Kepler University Linz},
    title = {Self-organising Knowledge-intensive Workspaces},
    url = {https://www.pervasive.jku.at/fet11/RAB.pdf},
    year = 2011
} 
 @incollection{contucci-appmathbook2010,
	Author = {Gallo, Federico and Contucci, Pierluigi and Coutts, Adam and Gallo, Ignacio},
	Booktitle = {Applications of Mathematics in Models, Artificial Neural Networks and Arts},
	Doi = {10.1007/978-90-481-8581-8_7},
	Editor = {Capecchi, Vittorio and Buscema, Massimo and Contucci, Pierluigi and D'Amore, Bruno},
	Isbn = {978-90-481-8580-1},
	Pages = {131--146},
	Publisher = {Springer},
	Title = {Tackling Climate Change Through Energy Efficiency: Mathematical Models to Offer Evidence-Based Recommendations for Public Policy},
	Url = {http://link.springer.com/chapter/10.1007/978-90-481-8581-8_7},
	Year = 2010} 
 @incollection{lpmas-lnai6125,
    acm = {10.5555/1880413.1880424},
    author = {Baldoni, Matteo and Baroglio, Cristina and Mascardi, Viviana and Omicini, Andrea and Torroni, Paolo},
    booktitle = {A 25 Year Perspective on Logic Programming. Achievements of the Italian Association for Logic Programming, GULP},
    chapter = 10,
    doi = {10.1007/978-3-642-14309-0_10},
    editor = {Dovier, Agostino and Pontelli, Enrico},
    iris = {11585/90689},
    isbn = {978-3-642-14308-3},
    issn = {0302-9743},
    month = aug,
    pages = {200--225},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-79956061256},
    series = {LNAI: State-of-the-Art Survey},
    title = {Agents, Multi-Agent Systems and Declarative Programming: Who, What, When, Where, Why, How?},
    url = {http://link.springer.com/10.1007/978-3-642-14309-0_10},
    vol = {6125},
    volume = 6125,
    wos = {000281165400010},
    year = 2010
} 
@incollection{cartago-promasbookII, author = {Ricci, Alessandro and Piunti, Michele and Viroli, Mirko and Omicini, Andrea}, booktitle = {Multi-Agent Programming II: Languages, Platforms and Applications}, chapter = 8, doi = {10.1007/978-0-387-89299-3_8}, editor = {Bordini, Rafael P. and Dastani, Mehdi and Dix, Jurgen and El Fallah Seghrouchni, Amal}, eisbn = {978-0-387-89299-3}, iris = {11585/82468}, isbn = {978-0-387-89298-6}, month = jun, pages = {259--288}, part = {II}, publisher = {Springer}, series = {Multiagent Systems, Artificial Societies, and Simulated Organizations}, title = {Environment Programming in {{\sf CArtAgO, url = {http://link.springer.com/chapter/10.1007/978-0-387-89299-3_8}, year = 2009 } }}}
 @incollection{ai-ifipbook2009,
    acm = {10.5555/1793943.1793952},
    author = {Omicini, Andrea and Piunti, Michele and Ricci, Alessandro and Viroli, Mirko},
    booktitle = {Artificial Intelligence: An International Perspective},
    chapter = 9,
    doi = {10.1007/978-3-642-03226-4_9},
    editor = {Bramer, Max},
    eissn = {1611-3349},
    iris = {11585/82470},
    isbn10 = {3-642-03225-7},
    isbn13 = {978-3-642-03225-7},
    issn = {0302-9743},
    pages = {157--173},
    publisher = {Springer},
    scopus = {2-s2.0-70350627497},
    series = {Lecture Notes in Computer Science},
    subseries = {LNAI: State-of-the-Art Survey},
    title = {Agents, Intelligence, and Tools},
    url = {http://link.springer.com/10.1007/978-3-642-03226-4_9},
    volume = 5640,
    wos = {000268976000009},
    year = 2009
} 
 @incollection{simulation-massimulationbook09,
    author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
    booktitle = {Multi-Agent Systems: Simulation and Applications},
    chapter = 5,
    doi = {10.1201/9781420070248-15},
    editor = {Uhrmacher, Adelinde M. and Weyns, Danny},
    eisbn = {978-1-3152-1878-6},
    iris = {11585/82469},
    isbn = {978-1-4200-7023-1},
    isbn10 = {1-4200-7023-1},
    isbn13 = {978-1-4200-7023-1},
    month = jun,
    pages = {133--165},
    publisher = {CRC Press},
    scopus = {2-s2.0-85068357847},
    series = {Computational Analysis, Synthesis, and Design of Dynamic Systems},
    title = {Combining Simulation and Formal Tools for Developing Self-Organizing {MAS}},
    url = {http://crcpress.com/product/isbn/9781420070231},
    year = 2009
} 
 @incollection{biosimulation-massimulationbook09,
    author = {d'Inverno, Mark and Howells, Paul and Montagna, Sara and Roeder, Ingo and Saunders, Rob},
    booktitle = {Multi-Agent Systems: Simulation and Applications},
    chapter = 13,
    editor = {Uhrmacher, Adelinde M. and Weyns, Danny},
    isbn = {978-1-4200-7023-1},
    isbn-10 = {1-4200-7023-1},
    keywords = {Multi-Agent Based Simulation, Computational Biology, Stem cells, Multi-level model},
    month = jun,
    pages = {389--418},
    publisher = {CRC Press},
    series = {Computational Analysis, Synthesis, and Design of Dynamic Systems},
    title = {Agent-based Modelling of Stem Cells},
    url = {http://crcpress.com/product/isbn/9781420070231},
    year = 2009
} 
 @incollection{dl-handbookkr2008,
    author = {Baader, Franz and Horrocks, Ian and Sattler, Ulrike},
    booktitle = {Handbook of Knowledge Representation},
    chapter = 3,
    doi = {10.1016/S1574-6526(07)03003-9},
    editor = {van Harmelen, Frank and Lifschitz, Vladimir and Porter, Bruce},
    isbn = {978-0-444-52211-5},
    issn = {1574-6526},
    pages = {135--179},
    publisher = {Elsevier B.V.},
    series = {Foundations of Artificial Intelligence},
    title = {Description Logics},
    url = {http://www.sciencedirect.com/science/article/pii/S1574652607030039},
    volume = 3
} 
 @incollection{weblp-unito08,
    author = {Piancastelli, Giulio and Omicini, Andrea and Denti, Enrico},
    booktitle = {Il {M}ilione. Viaggio nella logica computazionale in {I}talia},
    editor = {Baldoni, Matteo and Baroglio, Cristina},
    institution = {Dipartimento di Informatica, Università degli Studi di Torino},
    iris = {11585/82474},
    month = {3}}},
    pages = {15--19},
    publisher = {Dipartimento di Informatica, Universit{\`a} degli Studi di Torino},
    title = {Towards a Logic Language and Framework for {W}eb Programming},
    urlpdf = {http://www.di.unito.it/~argo/papers/2008_IlMilione.pdf},
    year = 2008
} 
 @incollection{dennett-intentionalsystems07,
	Author = {Dennett, Daniel},
	Booktitle = {Oxford Handbook of the Philosophy of Mind},
	Chapter = 19,
	Editor = {Beckermann, Ansgar and Walter, Sven},
	Isbn = {9780199262618},
	Publisher = {Oxford University Press},
	Title = {Intentional Systems Theory},
	Year = 2007} 
 @incollection{socialbehaviour-cogmasbook06,
	Address = {New York, NY, USA},
	Author = {Clancey, William J. and Sierhuis, Maarten and Damer, Bruce and Brodsky, Boris},
	Booktitle = {Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation},
	Chapter = 3,
	Doi = {10.2277/0511133529},
	Editor = {Sun, Ron},
	Isbn = {978-0-521-83964-8},
	Isbn-10 = {0-521-83964-5},
	Month = mar,
	Pages = {151--185},
	Publisher = {Cambridge University Press},
	Title = {Cognitive Modeling of Social Behaviours},
	Url = {http://www.cambridge.org/9780521839648},
	Year = 2006}
 
 @inproceedings{brahms-dagstuhl06261,
	Address = {Daghstuhl, Germany},
	Author = {Sierhuis, Maarten},
	Booktitle = {Daghstuhl Seminar 06261 ``Foundations and Practice of Programming Multi-Agent Systems''},
	Editor = {Dastani, Mehdi and Meyer, John-Jules Ch. and Bordini, Rafael},
	Month = {26--30}}}r Informatik (IBFI) Schloss Dagstuhl gGmbH},
	Title = {The World According To {B}rahms: Modeling and Simulating Work Practice},
	Year = 2006}
 
 @incollection{interaction-interbook,
    author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
    booktitle = {Interactive Computation: The New Paradigm},
    chapter = 15,
    doi = {10.1007/3-540-34874-3_15},
    editor = {Goldin, Dina Q. and Smolka, Scott A. and Wegner, Peter},
    eisbn = {978-3-540-34874-0},
    iris = {11585/31257},
    isbn = {978-3-540-34666-1},
    isbn10 = {3-540-34666-X},
    month = sep,
    pages = {395--414},
    part = {IV},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-34249978147},
    title = {The Multidisciplinary Patterns of Interaction from Sciences to {C}omputer {S}cience},
    url = {http://link.springer.com/10.1007/3-540-34874-3_15},
    year = 2006
} 
 @incollection{crowd-urbanplanningbook2006,
	Author = {Bandini, Stefania and Manzoni, Sara and Vizzari, Giuseppe},
	Booktitle = {Innovations in Design \& Decision Support Systems in Architecture and Urban Planning},
	Doi = {10.1007/978-1-4020-5060-2_7},
	Editor = {Leeuwen, Jos P. and Timmermans, Harry J.P.},
	Isbn = {978-1-4020-5059-6},
	Isbn-10 = {1-4020-5059-3},
	eisbn = {978-1-4020-5060-2},
	Keywords = {Artificial Intelligence, Agent technology, Simulation},
	Pages = {105--120},
	Publisher = {Springer Netherlands},
	Title = {Crowd Modeling and Simulation: The Role of Multi-agent Simulation in Design Support Systems},
	Url = {http://link.springer.com/chapter/10.1007/978-1-4020-5060-2_7},
	Year = 2006} 
 @inproceedings{acl-acai2001,
	acm = {680952},
	Author = {Labrou, Yannis},
	Booktitle = {Multi-Agent Systems and Applications},
	Doi = {10.1007/3-540-47745-4\_4},
	Editor = {Luck, Michael and Mar{\'\i}k, Vladim{\'\i}r and {\v S}tep{\'a}nkov{\'a}, Olga and Trappl, Robert},
	Isbn = {3-540-42312-5},
	Note = {Selected Tutorial Papers from the 9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School on Multi-Agent Systems and Applications},
	Pages = {74--97},
	Publisher = {Springer},
	Title = {Standardizing Agent Communication},
	Url = {http://www.springerlink.com/content/969433deq6lt9ewf/},
	Volume = 2086,
	Year = 2006} 
 @incollection{3apl-map05,
	Author = {Dastani, Mehdi and van Riemsdijk, Birna and Meyer, John-Jules Ch.},
	Booktitle = {Multi-Agent Programming},
	Doi = {10.1007/0-387-26350-0_2},
	Editor = {Bordini, Rafael P. and Dastani, Mehdi and Dix, J{\"u}rgen and El Fallah-Seghrouchni, Amal},
	Isbn = {978-0-387-24568-3},
	Isbn-10 = {0-387-24568-5},
	Issn = {1568-2617},
	Pages = {39--67},
	Publisher = {Springer},
	Series = {Multiagent Systems, Artificial Societies, and Simulated Organizations},
	Title = {Programming Multi-Agent Systems in {3APL}},
	Url = {http://www.springerlink.com/content/t76827730l40wx0m/},
	Volume = 15,
	Year = 2005}
 
 @incollection{crowd-urbanplanningbook2005,
	Author = {Bandini, Stefania and Manzoni, Sara and Vizzari, Giuseppe},
	Booktitle = {Recent Advances in Design and Decision Support Systems in Architecture and Urban Planning},
	Doi = {10.1007/1-4020-2409-6_11},
	Editor = {Leeuwen, Jos P. and Timmermans, Harry J.P.},
	Isbn = {978-1-4020-2408-5},
	eisbn = {978-1-4020-2409-2},
	Keywords = {Multi-Agent Systems; 3D modelling; Simulation},
	Pages = {161-175},
	Publisher = {Springer Netherlands},
	Title = {Crowd Modeling and Simulation: Towards 3D Visualization},
	Url = {http://link.springer.com/chapter/10.1007/1-4020-2409-6_11},
	Year = 2005} 
 @incollection{coord-mseasbook,
    author = {Omicini, Andrea and Ossowski, Sascha and Ricci, Alessandro},
    booktitle = {Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook},
    chapter = 14,
    doi = {10.1007/1-4020-8058-1_17},
    editor = {Bergenti, Federico and Gleizes, Marie-Pierre and Zambonelli, Franco},
    eisbn = {978-1-4020-8058-6},
    isbn = {978-1-4020-8057-9},
    isbn10 = {1-4020-8057-3},
    month = jun,
    numpages = 24,
    pages = {273--296},
    part = {IV},
    publisher = {Kluwer Academic Publishers},
    series = {Multiagent Systems, Artificial Societies, and Simulated Organizations},
    title = {Coordination Infrastructures in the Engineering of Multiagent Systems},
    url = {http://link.springer.com/10.1007/1-4020-8058-1_17},
    volume = 11,
    wos = {CCC:000228294100014},
    year = 2004
} 
 @incollection{gaia-mseasbook,
	Author = {Cernuzzi, Luca and Juan, Thomas and Sterling, Leon and Zambonelli, Franco},
	Booktitle = {Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook},
	Chapter = 4,
	Doi = {10.1007/1-4020-8058-1_6},
	Editor = {Bergenti, Federico and Gleizes, Marie-Pierre and Zambonelli, Franco},
	Isbn = {978-1-4020-8057-9},
	Pages = {69--88},
	Publisher = {Kluwer Academic Publishers},
	Series = {Multiagent Systems, Artificial Societies, and Simulated Organization},
	Title = {The {G}aia Methodology},
	Url = {http://www.springerlink.com/content/h0m8j4902w71224w/},
	Volume = 11,
	Year = 2004}
 
 @incollection{modelcheckingacl-acl03,
	Author = {Huget, Marc-Philippe and Wooldridge, Michael J.},
	Booktitle = {Advances in Agent Communication},
	Doi = {10.1007/978-3-540-24608-4_5},
	Editor = {Dignum, Frank},
	Isbn = {978-3-540-20769-6},
	Note = {International Workshop on Agent Communication Languages (ACL 2003), Melbourne, Australia, 14~} # jul # {~2003. Revised and Invited Papers},
	Pages = {75--90},
	Publisher = {Springer},
	Title = {Model Checking for {ACL} Compliance Verification},
	Url = {http://www.springerlink.com/content/8d2rqhdyfjj4klnd/},
	Volume = 2922,
	Year = 2004} 
 @incollection{onlineengineering-mseasbook,
	Author = {Fredriksson, Martin and Gustavsson, Rune},
	Booktitle = {Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook},
	Doi = {10.1007/1-4020-8058-1_22},
	Editor = {Bergenti, Federico and Gleizes, Marie-Pierre and Zambonelli, Franco},
	Isbn = {978-1-4020-8057-9},
	Pages = {377--388},
	urlpdf = {http://www.springerlink.com/content/k615hr267626m6v2/fulltext.pdf},
	Publisher = {Kluwer Academic Publishers},
	Series = {Multiagent Systems, Artificial Societies, and Simulated Organization},
	Title = {Online Engineering and Open Computational Systems},
	Url = {http://www.springerlink.com/content/k615hr267626m6v2/},
	Volume = 11,
	Year = 2004} 
  
 @incollection{acc-ubiq02,
    address = {Boca Raton, FL, USA},
    author = {Omicini, Andrea},
    booktitle = {Process Coordination and Ubiquitous Computing},
    chapter = 12,
    doi = {10.1201/9781003072492-15},
    editor = {Marinescu, Dan C. and Lee, Craig},
    eisbn = {9781003072492},
    iris = {11585/951319},
    isbn = {0-8493-1470-4},
    month = oct,
    pages = {187--200},
    publisher = {CRC Press},
    scholar = {14609382000230469740},
    semanticscholar = {166582325},
    title = {Towards a Notion of Agent Coordination Context},
    url = {https://www.taylorfrancis.com/chapters/10.1201/9781003072492-15},
    wos = {WOS:000179158600011},
    year = 2002
} 
 @incollection{diningphilo2002,
	Author = {Dijkstra, Edsger Wybe},
	Booktitle = {The Origin of Concurrent Programming: From Semaphores to Remote Procedure Calls},
	Chapter = 2,
	Editor = {Hansen, Per Brinch},
	Isbn = {0-387-95401-5},
	Note = {Reprinted. 1st edition: 1965},
	Pages = {65--138},
	Publisher = {Springer},
	Title = {Co-operating Sequential Processes},
	Url = {http://portal.acm.org/citation.cfm?id=762974},
	Year = 2002} 
 @incollection{probabilisticprocessalgebra-handbookprocessalgebra2001,
	Author = {Bengt, Jonsson and Larsen, Kim G. and Yi, Wang},
	Booktitle = {Handbook of Process Algebra},
	Chapter = 11,
	Editor = {Bergstra, Jan A. and Ponse, Alban and Smolka, Scott A.},
	Isbn = {0-444-82830-3},
	Pages = {685--710},
	Publisher = {Elsevier Science B.V.},
	Title = {Probabilistic Extensions of Process Algebras},
	Year = 2001} 
 @incollection{gamma-lncs2235,
	Author = {Ban{\u a}tre, Jean-Pierre and Fradet, Pascal and Le M{\'e}tayer, Daniel},
	Booktitle = {Multiset Processing. Mathematical, Computer Science, and Molecular Computing Points of View},
	Doi = {10.1007/3-540-45523-X_2},
	Editor = {Calude, Cristian S. and P{\u a}un, Gheorghe and Rozenberg, Grzegorz and Salomaa, Arto},
	Pages = {17--44},
	Publisher = {Springer},
	Series = {LNCS},
	Title = {Gamma and the Chemical Reaction Model: Fifteen Years After},
	Url = {http://www.springerlink.com/content/8u923a5j46vy48hp/},
	Volume = 2235,
	Year = 2001} 
 @incollection{coordbook2001-ch13,
    acm = {375923},
    author = {Zambonelli, Franco and Jennings, Nicholas R. and Omicini, Andrea and Wooldridge, Michael J.},
    booktitle = {Coordination of Internet Agents: Models, Technologies, and Applications},
    chapter = 13,
    doi = {10.1007/978-3-662-04401-8_13},
    editor = {Omicini, Andrea and Zambonelli, Franco and Klusch, Matthias and Tolksdorf, Robert},
    iris = {11585/951324},
    isbn = {3-540-41613-7},
    month = mar,
    numpages = 21,
    pages = {326--346},
    publisher = {Springer-Verlag},
    title = {Agent-Oriented Software Engineering for {I}nternet Applications},
    url = {http://link.springer.com/10.1007/978-3-662-04401-8_13},
    wos = {CCC:000173959900014},
    year = 2001
} 
 @incollection{coordbook2001-ch04,
    author = {Rossi, Davide and Cabri, Giacomo and Denti, Enrico},
    booktitle = {Coordination of Internet Agents: Models, Technologies, and Applications},
    chapter = 4,
    editor = {Omicini, Andrea and Zambonelli, Franco and Klusch, Matthias and Tolksdorf, Robert},
    isbn = {3-540-41613-7},
    month = mar,
    numpages = 27,
    pages = {83--109},
    publisher = {Springer},
    title = {Tuple-based Technologies for Coordination},
    year = 2001
} 
 @incollection{foster-grid01,
	Author = {Foster, Ian},
	Booktitle = {Euro-Par 2001 Parallel Processing},
	Doi = {10.1007/3-540-44681-8_1},
	Isbn = {978-3-540-42495-6},
	Issn = {0302-9743},
	Pages = {1--4},
	Publisher = {Springer},
	Title = {The Anatomy of the Grid: Enabling Scalable Virtual Organizations},
	Url = {http://www.springerlink.com/content/flddyth66lrqdk36/},
	Volume = 2150,
	Year = 2001}
 
 @incollection{distributedeventsmas-aid98,
	Author = {Feij{\'o}, Bruno and Rodacki Gomes, Paulo C. and Bento, Jo{\~a}o and Scheer, S{\'e}rgio and Cerqueira, Renato},
	Booktitle = {Artificial Intelligence in Design '98},
	Doi = {10.1007/978-94-011-5121-4_29},
	Editor = {Gero, John S. and Sudweeks, Fay},
	Isbn = {978-94-010-6153-7},
	Pages = {557--577},
	Publisher = {Springer Netherlands},
	Title = {Distributed Agents Supporting Event-Driven Design Processes},
	Url = {http://link.springer.com/chapter/10.1007/978-94-011-5121-4_29},
	Year = 1998} 
 @incollection{coord-advincomp46,
	Author = {Papadopoulos, George A. and Arbab, Farhad},
	Booktitle = {The Engineering of Large Systems},
	Editor = {Zelkowitz, Marvin V.},
	Isbn = {0-120-12146-8},
	Isbn-13 = {978-0120121465},
	Pages = {329--400},
	Publisher = {Academic Press},
	Series = {Advances in Computers},
	Title = {Coordination Models and Languages},
	Volume = 46,
	Year = 1998}
 
 @incollection{finin-acl97,
	Address = {San Francisco, CA, USA},
	Author = {Labrou, Yannis and Finin, Tim},
	Booktitle = {Readings in Agents},
	Editor = {Huhns, Michael N. and Singh, Munindar P.},
	Isbn = {1-55860-495-2},
	Pages = {235--242},
	Publisher = {Morgan Kaufmann Publishers Inc.},
	Title = {Semantics and Conversations for an Agent Communication Language},
	Url = {http://portal.acm.org/citation.cfm?id=284907},
	Year = 1997} 
 @incollection{coordinationandlaw-book1997,
    address = {Cambridge, MA, USA},
    author = {Engestr{\"o}m, Yrjo and Brown, Katherine and Christopher, L. Carol and Gregory, Judith},
    booktitle = {Mind, Culture, and Activity. Seminal Papers from the Laboratory of Comparative Human Cognition},
    chapter = 28,
    editor = {Cole, Michael and Engestr{\"o}m, Yrjo and Vasquez, Olga A.},
    isbn = {9780521558235},
    isbn10 = {0521558239},
    month = oct,
    pages = {369--388},
    publisher = {Cambridge University Press},
    title = {Coordination, Cooperation, and Communication in the {C}ourts: Expansive Transitions in Legal Work},
    url = {https://www.cambridge.org/us/academic/subjects/psychology/cognition/mind-culture-and-activity-seminal-papers-laboratory-comparative-human-cognition},
    year = 1997
} 
 @incollection{lpse-cnr95,
    address = {Milano, Italy},
    author = {Lamma, Evelina and Mello, Paola and Natali, Antonio and Omicini, Andrea},
    booktitle = {Ambienti per linguaggi di nuova concezione},
    editor = {Filè, Gilberto},
    isbn = {88-204-9515-5},
    pages = {17--46},
    publisher = {Franco Angeli},
    series = {Collana CNR/PF ``Sistemi Informatici e Calcolo Parallelo'' (1418)},
    title = {La programmazione logica nello sviluppo del software: dai modelli agli strumenti},
    volume = 4,
    year = 1995
} 
 @incollection{lprobot-scsai95,
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea and Zanichelli, Francesco},
    booktitle = {Logic Programming: Formal Methods and Practical Applications},
    chapter = 12,
    dblp = {books/el/beierleP95/DentiNOZ95},
    editor = {Beierle, Christoph and Plümer, Lutz},
    isbn = {978-0-444-82092-1},
    isbn10 = {0-444-82092-2},
    pages = {343--379},
    publisher = {Elsevier},
    scopus = {2-s2.0-85023302187},
    series = {Studies in Computer Science and Artificial Intelligence},
    title = {Robot Control Systems as Contextual Logic Programs},
    volume = 11,
    year = 1995
} 
 @incollection{neuman-scale94,
	Address = {Los Alamitos, CA, USA},
	Author = {Neuman, B. Clifford},
	Booktitle = {Readings in Distributed Computing Systems},
	Editor = {Casavant, Thomas Lee and Singhal, Mukesh},
	Pages = {463--489},
	Publisher = {IEEE CS Press},
	Title = {Scale in Distributed Systems},
	Year = 1994}
 
 @incollection{oolp-ilps94,
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
    booktitle = {Implementations of Logic Programming Systems},
    dblp = {conf/iclp/DentiNO93},
    doi = {10.1007/978-1-4615-2690-2_7},
    editor = {Tick, Evan and Succi, Giancarlo},
    eisbn = {978-1-4615-2690-2},
    eissn = {978-1-4615-2690-2},
    iris = {11585/951126},
    isbn = {978-1-4613-6157-2},
    isbn10 = {0-7923-9457-7},
    issn = {978-1-4613-6157-2},
    keywords = {contextual logic programming; modules; structured theories},
    pages = {89--101},
    publisher = {Kluwer Academic Publishers},
    title = {Moving {P}rolog Toward Objects},
    url = {http://link.springer.com/10.1007/978-1-4615-2690-2_7},
    wos = {A1994BB31B00007},
    year = 1994
} 
 @incollection{hewes-toolslang1993,
	Author = {Hewes, Gordon W.},
	Booktitle = {Tools, Language and Cognition in Human Evolution},
	Editor = {Gibson, Kathleen R. and Ingold, Tim},
	Isbn-10 = {052148541X},
	Isbn-13 = {9780521485418},
	Pages = {20--31},
	Publisher = {Cambridge University Press},
	Title = {A History of Speculation on the Relation between Tools and Languages},
	Year = 1993} 
 @article{MetEng92,
 author = {Kumar, Kuldeep and Welke, Richard J.},
 title = {Methodology EngineeringR: a proposal for situation-specific methodology construction},
 book = {Challenges and strategies for research in systems development},
 year = {1992},
 isbn = {0-471-93175-6},
 pages = {257--269},
 publisher = {John Wiley \& Sons, Inc.},
 address = {New York, NY, USA}
 }
 
 @incollection{norman1991-cognitiveartifacts,
	Author = {Norman, Donald A.},
	Booktitle = {Designing Interaction: Psychology at the Human-Computer Interface},
	Editor = {Carroll, John M.},
	Isbn = {0-521-40056-2},
	Pages = {17--38},
	Publisher = {Cambridge University Press, New York},
	Series = {Cambridge Series On Human-Computer Interaction},
	Title = {Cognitive Artifacts},
	Url = {http://portal.acm.org/citation.cfm?id=120354},
	Year = 1991}
 
 @incollection{Bratman90,
	Address = {Cambridge, MA},
	Author = {Bratman, Michael E.},
	Booktitle = {Intentions in Communication},
	Editor = {Cohen, Philip R. and Morgan, Jerry L. and Pollack, Martha E.},
	Isbn = {978-0-262-03150-9},
	Isbn-10 = {0-262-03150-7},
	Month = jun,
	Pages = {15--32},
	Publisher = {The MIT Press},
	Title = {What is Intention?},
	Url = {http://mitpress.mit.edu/catalog/item/default.asp?tid=5832&ttype=2},
	Year = 1990}
 
 @incollection{situatedaction-suchman1987,
	Address = {New York, NYU, USA},
	Author = {Suchman, Lucy A.},
	Booktitle = {Plans and Situated Actions: The Problem of Human-Machine Communication},
	Chapter = 4,
	Isbn = {978-0521337397},
	Isbn-10 = {0-521-33137-4},
	Pages = {49--67},
	Publisher = {Cambridge University Press},
	Title = {Situated Actions},
	Year = 1987} 
 @book{mezard1986,
	Author = {M{\'e}zard, Marc and Parisi, Giorgio and Virasoro, Miguel Angel},
	Booktitle = {Spin Glass Theory and Beyond},
	Isbn = {978-9971-5-0115-0 },
	Isbn-10 = {9971501155},
	Issn = {0218-026X},
	Month = nov,
	Publisher = {World Scientific Singapore},
	Series = {World Scientific Lecture Notes in Physics},
	Title = {Spin Glass Theory and Beyond. An Introduction to the Replica Method and Its Applications},
	Url = {http://www.worldscientific.com/worldscibooks/10.1142/0271},
	Volume = 9,
	Year = 1986} 
 @incollection{modallogic-handbookphilologic1984,
    address = {Dordrecht},
    author = {Bull, Robert and Segerberg, Krister},
    booktitle = {Handbook of Philosophical Logic},
    doi = {10.1007/978-94-009-6259-0_1},
    editor = {Gabbay, Dov and Guenthner, F.},
    isbn = {978-94-009-6259-0},
    pages = {1--88},
    publisher = {Springer Netherlands},
    title = {Basic Modal Logic},
    url = {http://link.springer.com/10.1007/978-94-009-6259-0_1},
    volume = {II: Extensions of Classical Logic},
    year = 1984
} 
 @incollection{ascribingmental-mccarthy1979,
	Address = {Brighton},
	Author = {McCarthy, John},
	Booktitle = {Philosophical Perspectives in Artificial Intelligence},
	Editor = {Ringle, Martin},
	Isbn = {085527901X},
	Pages = {161--195},
	Publisher = {Harvester Press},
	Series = {Harvester Studies in Cognitive Science},
	Title = {Ascribing Mental Qualities to Machines},
	Url = {http://www-formal.stanford.edu/jmc/ascribing/ascribing.html},
	Year = 1979} 
 @incollection{searle-speechact1965,
	Address = {London, UK},
	Author = {Searle, John},
	Booktitle = {Philosophy in America},
	Editor = {Black, Maurice},
	Pages = {221--239},
	Publisher = {Allen and Unwin},
	Title = {What is a Speech Act?},
	Year = 1965}
 
69 book chapters • topindexbottom

book chapters  /  personal
Andrea Agiollo  •  Roberta Calegari  •  Giovanni Ciatto  •  Angelo Croatti  •  Enrico Denti  •  Matteo Magnini  •  Sara Montagna  •  Andrea Omicini  •  Giuseppe Pisano  •  Andrea Rafanelli  •  Federico Sabbatini