Logic-based technologies for multi-agent systems: a systematic literature review

Precisely when the success of artificial intelligence (AI) sub-symbolic techniques makes them be identified with the whole AI by many non-computer-scientists and non-technical media, symbolic approaches are getting more and more attention as those that could make AI amenable to human understanding....

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Autonomous agents and multi-agent systems Jg. 35; H. 1
Hauptverfasser: Calegari, Roberta, Ciatto, Giovanni, Mascardi, Viviana, Omicini, Andrea
Format: Journal Article
Sprache:Englisch
Veröffentlicht: New York Springer US 01.04.2021
Springer Nature B.V
Schlagworte:
Agents (artificial intelligence)
Artificial Intelligence
Computer Science
Computer Systems Organization and Communication Networks
Current Trends in Research on Software Agents and Agent-Based Software Development
Intelligent systems
Literature reviews
Logic
Multiagent systems
Software Engineering/Programming and Operating Systems
Systematic review
User Interfaces and Human Computer Interaction
Logic-based technologies
SLR
MAS
ISSN:1387-2532, 1573-7454
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Abstract Precisely when the success of artificial intelligence (AI) sub-symbolic techniques makes them be identified with the whole AI by many non-computer-scientists and non-technical media, symbolic approaches are getting more and more attention as those that could make AI amenable to human understanding. Given the recurring cycles in the AI history, we expect that a revamp of technologies often tagged as “classical AI”—in particular, logic-based ones—will take place in the next few years. On the other hand, agents and multi-agent systems (MAS) have been at the core of the design of intelligent systems since their very beginning, and their long-term connection with logic-based technologies , which characterised their early days, might open new ways to engineer explainable intelligent systems . This is why understanding the current status of logic-based technologies for MAS is nowadays of paramount importance. Accordingly, this paper aims at providing a comprehensive view of those technologies by making them the subject of a systematic literature review (SLR). The resulting technologies are discussed and evaluated from two different perspectives: the MAS and the logic-based ones.
AbstractList Precisely when the success of artificial intelligence (AI) sub-symbolic techniques makes them be identified with the whole AI by many non-computer-scientists and non-technical media, symbolic approaches are getting more and more attention as those that could make AI amenable to human understanding. Given the recurring cycles in the AI history, we expect that a revamp of technologies often tagged as “classical AI”—in particular, logic-based ones—will take place in the next few years. On the other hand, agents and multi-agent systems (MAS) have been at the core of the design of intelligent systems since their very beginning, and their long-term connection with logic-based technologies, which characterised their early days, might open new ways to engineer explainable intelligent systems. This is why understanding the current status of logic-based technologies for MAS is nowadays of paramount importance. Accordingly, this paper aims at providing a comprehensive view of those technologies by making them the subject of a systematic literature review (SLR). The resulting technologies are discussed and evaluated from two different perspectives: the MAS and the logic-based ones.
Precisely when the success of artificial intelligence (AI) sub-symbolic techniques makes them be identified with the whole AI by many non-computer-scientists and non-technical media, symbolic approaches are getting more and more attention as those that could make AI amenable to human understanding. Given the recurring cycles in the AI history, we expect that a revamp of technologies often tagged as “classical AI”—in particular, logic-based ones—will take place in the next few years. On the other hand, agents and multi-agent systems (MAS) have been at the core of the design of intelligent systems since their very beginning, and their long-term connection with logic-based technologies , which characterised their early days, might open new ways to engineer explainable intelligent systems . This is why understanding the current status of logic-based technologies for MAS is nowadays of paramount importance. Accordingly, this paper aims at providing a comprehensive view of those technologies by making them the subject of a systematic literature review (SLR). The resulting technologies are discussed and evaluated from two different perspectives: the MAS and the logic-based ones.
ArticleNumber 1
Author Omicini, Andrea
Calegari, Roberta
Ciatto, Giovanni
Mascardi, Viviana
Author_xml – sequence: 1
  givenname: Roberta
  orcidid: 0000-0003-3794-2942
  surname: Calegari
  fullname: Calegari, Roberta
  email: roberta.calegari@unibo.it
  organization: ALMA–AI Interdepartmental Center of Human Centered AI, Alma Mater Studiorum–Università di Bologna
– sequence: 2
  givenname: Giovanni
  orcidid: 0000-0002-1841-8996
  surname: Ciatto
  fullname: Ciatto, Giovanni
  organization: Dipartimento di Informatica – Scienza e Ingegneria (DISI), Alma Mater Studiorum–Università di Bologna
– sequence: 3
  givenname: Viviana
  orcidid: 0000-0002-2261-9926
  surname: Mascardi
  fullname: Mascardi, Viviana
  organization: Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi (DIBRIS), Università di Genova
– sequence: 4
  givenname: Andrea
  orcidid: 0000-0002-6655-3869
  surname: Omicini
  fullname: Omicini, Andrea
  organization: Dipartimento di Informatica – Scienza e Ingegneria (DISI), Alma Mater Studiorum–Università di Bologna
BookMark eNp9kM1LAzEQxYMo2Fb_AU8LnqOZfGx2vUnxCwp60HPIbic1Zbtbk6zS_97VLQgeeprH8H4zjzclx23XIiEXwK6AMX0dgUlVUMYZZaXUBRVHZAJKC6qlkseDFoWmXAl-SqYxrhmDnOcwIS-LbuVrWtmIyyxh_d52zbDBmLkuZJu-SZ7aFbYpi7uYcBNvMruXNvk6a3zCYFMfMAv46fHrjJw420Q8388Zebu_e50_0sXzw9P8dkFrCZCoUI6BW_IKRb10WlalrZxTUCqoStA16Bx5JVguneY5L0vmcm1tUS0LJysAMSOX491t6D56jMmsuz60w0vDpeLAipLzwVWMrjp0MQZ0pvZpCN61KVjfGGDmpz8z9meG_sxvf0YMKP-HboPf2LA7DIkRioO5XWH4S3WA-ga5fIVw
CitedBy_id crossref_primary_10_1145_3507910
crossref_primary_10_1007_s42979_024_03244_y
crossref_primary_10_1109_ACCESS_2023_3309417
crossref_primary_10_1002_cpe_6876
crossref_primary_10_32604_cmc_2023_033212
crossref_primary_10_1016_j_jmsy_2023_07_013
crossref_primary_10_1016_j_robot_2025_104917
crossref_primary_10_3390_sci6040071
crossref_primary_10_3390_systems13060451
crossref_primary_10_1111_exsy_13112
crossref_primary_10_3390_jmmp6060135
crossref_primary_10_1093_logcom_exad016
crossref_primary_10_4018_IJKM_370950
crossref_primary_10_1007_s10458_023_09609_6
crossref_primary_10_3233_JHS_220001
crossref_primary_10_3390_s25175272
crossref_primary_10_1016_j_eswa_2023_122265
crossref_primary_10_1016_j_scico_2021_102610
crossref_primary_10_1093_logcom_exab091
crossref_primary_10_1016_j_inffus_2025_103599
crossref_primary_10_1016_j_cmpb_2023_107536
crossref_primary_10_3390_electronics10243122
crossref_primary_10_3233_IA_230014
crossref_primary_10_1007_s10586_021_03270_y
crossref_primary_10_3390_app13179540
crossref_primary_10_1093_logcom_exab089
crossref_primary_10_1016_j_phycom_2023_102109
crossref_primary_10_1108_ECAM_01_2021_0038
crossref_primary_10_1109_ACCESS_2025_3604019
crossref_primary_10_1257_jel_20221319
crossref_primary_10_3233_IA_221057
crossref_primary_10_4028_p_2vxi5u
Cites_doi 10.1007/978-3-319-14484-9
10.1007/978-3-540-89982-2_67
10.1007/978-3-319-26184-3_12
10.1007/978-3-319-14484-9_7
10.1007/b136890
10.1007/978-3-642-22359-4_17
10.1007/978-3-540-25932-9_4
10.1007/11750734_9
10.1007/978-3-642-37890-4
10.1007/978-3-319-26184-3_5
10.1007/978-3-642-37890-4_6
10.3233/AO-170182
10.1007/978-3-642-40624-9_9
10.1007/978-3-540-45133-4_32
10.1007/978-3-319-51676-9_10
10.1007/11691792
10.1109/COGINF.2004.1327482
10.1016/S1071-5819(02)00127-1
10.1007/978-3-642-60085-2_16
10.1093/logcom/exu008
10.1007/978-3-540-30227-8_57
10.1007/11767954_15
10.1007/978-3-642-04143-3_27
10.1007/978-3-540-77564-5_5
10.1007/3-540-35828-5_1
10.1007/978-3-319-14484-9_18
10.1007/978-3-030-20937-7_2
10.1016/0743-1066(93)90035-F
10.1007/978-3-319-10422-5_10
10.1007/BFb0013586
10.1007/978-3-642-20715-0
10.1145/152683.152701
10.1016/S1571-0661(04)00034-9
10.1007/s10458-009-9099-4
10.1017/S1471068411000494
10.1007/978-3-540-45069-6_10
10.1023/A:1010060322135
10.1007/3-540-58855-8_23
10.1007/978-3-642-40624-9
10.1007/978-3-642-22546-8_4
10.1007/978-3-642-12805-9_11
10.1007/978-3-642-14977-1_17
10.1007/11961536
10.1007/978-3-319-14484-9_19
10.1007/3-540-44631-1_16
10.1007/s10458-006-9000-7
10.1007/11493402_6
10.1007/s10817-007-9084-z
10.5555/347025
10.1145/1082473.1082805
10.1007/3540608052_81
10.1007/3-540-45757-7_1
10.1007/s10588-006-9539-5
10.1023/A:1020259411066
10.1007/11750734_20
10.1613/jair.2221
10.1007/978-3-319-30734-3_6
10.1016/S0924-3542(96)80008-9
10.1016/S0743-1066(96)00121-5
10.1109/SMC.2014.6974499
10.1145/191843.191927
10.1007/978-3-030-25693-7_3
10.1023/B:AMAI.0000031195.87297.d9
10.1007/s10458-006-9001-6
10.1016/S0004-3702(98)00078-2
10.1145/301136.301233
10.1007/0-387-26350-0_5
10.1007/3-540-55602-8_178
10.1007/11750734_26
10.4304/jetwi.5.3.272-277
10.3233/WIA-140287
10.1023/A:1019211714301
10.1007/978-0-387-89299-3_4
10.1007/978-3-319-14484-9_3
10.1002/9780470712184
10.1007/s10458-008-9042-0
10.1007/11691372_31
10.1109/ICTAI.2011.96
10.1007/978-3-540-27813-9_41
10.1017/S1471068411000512
10.1007/11961536_3
10.1007/11750734_14
10.1145/191246.191322
10.1007/978-94-009-2699-8_9
10.1007/978-3-540-45208-9_19
10.1177/0037549705058073
10.1007/978-3-540-69619-3
10.1016/S0167-6423(01)00011-9
10.1007/3-540-45448-9_11
10.1007/11799573_25
10.1007/0-387-26350-0_6
10.1007/978-3-642-16867-3_4
10.1109/ICCCN.2019.8846916
10.1007/11493402_12
10.1007/978-3-642-83189-8
10.1109/4236.865084
10.1023/A:1010084620690
10.1016/B978-0-12-800341-1.00021-8
10.1109/SFCS.1977.32
10.1145/544741.544858
10.1007/978-3-540-93920-7_7
10.1007/978-3-540-30227-8_64
10.1007/978-3-540-85058-8_9
10.1017/CBO9780511621192
10.1145/1982185.1982375
10.1080/11663081.1996.10510868
10.1007/11558590_14
10.1007/978-3-540-25936-7_5
10.1007/0-387-26350-0_4
10.1109/MC.2011.67
10.1007/11691792_10
10.1609/aimag.v39i4.2781
10.1145/545056.545069
10.1109/ICTAI.2014.147
10.1109/TKDE.2007.29
10.1136/bmj.309.6954.597
10.1017/S0269888918000164
10.1007/978-0-387-89299-3_2
10.1007/978-3-642-37890-4_5
10.1007/978-3-319-14484-9_1
10.1504/IJGUC.2019.10022135
10.1007/978-3-319-46840-2_7
10.1007/978-3-540-93920-7_5
10.1007/978-3-642-16867-3_5
10.1109/32.588521
10.1109/ICMAS.1998.699289
10.1145/3328433.3328462
10.1007/3-540-44564-1_12
10.1093/oso/9780198537472.003.0007
10.1007/s10458-008-9036-y
10.1109/5254.920597
10.1007/978-3-642-21034-1_26
10.1016/S0004-3702(00)00031-X
10.1007/978-3-642-37890-4_12
10.1109/ICIPS.1997.672754
10.1613/jair.1141
10.1007/978-3-540-88833-8_9
10.1023/A:1018934223383
10.1016/j.datak.2007.03.004
10.1007/s10458-006-0012-0
10.1007/11504894_51
10.1145/50202.50218
10.1145/585265.585270
10.1007/s10458-008-9053-x
10.1007/978-3-642-14309-0_10
10.1007/978-3-540-88833-8_10
10.1007/3-540-49545-2_2
10.1007/3-540-58855-8_21
10.1007/978-3-642-40624-9_10
10.1007/s10009-010-0145-y
10.1007/978-3-540-93920-7_14
10.1007/978-3-319-92031-3_11
10.1007/BFb0025774
10.1007/s10458-008-9028-y
10.1007/978-3-642-24603-6_13
10.1007/BFb0026768
10.1109/IAT.2005.23
10.1007/978-3-030-25693-7
10.1007/978-94-010-3146-2_2
10.1109/WI-IAT.2014.156
10.1007/11493402_7
10.1007/3-540-52559-9_62
10.3166/jancl.21.211-232
10.1007/BF00162699
10.1007/978-3-642-20715-0_2
10.1016/j.engappai.2012.06.009
10.1145/1380572.1380578
10.1016/B978-0-444-88074-1.50021-4
10.1016/j.eswa.2006.05.018
10.1111/j.1467-8640.2007.00295.x
10.1017/S1471068404002029
10.1007/11493402_9
10.3233/FI-2018-1695
10.1109/ICSMC.2004.1399959
10.1142/S0218843097000069
10.1007/s10458-013-9233-1
10.1007/s10009-015-0378-x
10.1007/978-3-642-60085-2_1
10.1007/978-3-540-30200-1_7
10.1007/s100090050043
10.1007/978-3-642-01665-3
10.1017/cbo9780511802034
10.1145/353485.353487
10.1504/IJAOSE.2010.032799
10.1007/11678823_1
10.1007/978-3-319-50983-9_8
10.1007/978-3-540-32260-3_10
10.1007/11750734
10.1007/s10515-011-0088-x
10.1007/11750734_8
10.1109/TC.1986.1676819
10.1007/s10489-006-8511-x
10.1007/978-3-030-25693-7_2
10.1109/WETICE.2008.31
10.1049/cp:20081174
10.1145/544862.544965
10.1007/978-3-030-25693-7_5
10.1007/978-3-642-16867-3_6
10.1017/S0269888900008122
10.1007/s10462-012-9350-2
10.1007/BFb0028774
10.1007/3-540-45241-9_13
10.1007/s10458-010-9140-7
10.1109/32.685256
10.1007/978-3-642-04985-9_29
10.1016/j.eswa.2008.03.009
10.1016/j.jal.2005.12.014
10.1023/B:AGNT.0000019688.11109.19
10.1016/0004-3702(94)00041-X
10.1007/978-3-540-88833-8
10.1007/3-540-46029-2_13
10.1007/978-3-642-11355-0_14
10.1142/S0218194001000517
10.1007/978-3-540-88833-8_16
10.1109/IAT.2005.141
10.1145/860575.860659
10.1007/BF03037227
10.1007/978-3-319-09764-0_5
10.1007/11691792_5
10.1007/978-94-010-1202-7
10.1145/253262.253294
10.1007/3-540-45329-6_22
10.1017/S1471068403001674
10.1007/978-3-319-09764-0
10.1016/j.websem.2007.03.004
10.1007/11758532_95
10.1007/978-3-642-14977-1_11
10.1080/19462160903564592
10.1007/11691792_11
10.1007/978-3-319-09764-0_6
10.1016/j.scico.2012.10.004
10.1109/ISAP.2017.8071400
10.1145/544741.544746
10.1007/978-3-319-09764-0_11
10.1007/11431053_25
10.1007/978-3-030-25693-7_13
10.1007/978-3-540-25932-9_1
10.1016/j.jlamp.2020.100531
10.5555/42251.42257
10.1007/978-3-319-50983-9_4
10.1007/978-3-642-22723-3_1
10.1016/j.infsof.2008.09.009
10.1007/978-3-642-45343-4_7
10.1007/b97923
10.1145/1134285.1134500
10.1007/978-3-642-20715-0_11
10.1007/978-3-540-93920-7
10.1007/978-3-540-39733-5_7
10.2307/2268661
10.1007/3-540-45402-0_38
10.1016/0004-3702(93)90034-9
10.1007/3-540-45484-5_3
10.1109/64.43285
10.1016/j.artint.2002.12.001
10.1002/int.4550060504
10.1145/1529282.1529586
10.1007/11961536_10
10.1007/3-540-44564-1_1
10.1007/978-0-387-89299-3
10.1007/978-3-319-25524-8_22
10.1109/2.179153
10.1016/j.inffus.2019.12.012
10.1093/logcom/2.6.719
10.1007/978-3-642-40624-9_17
10.1145/41625.41635
10.1007/978-3-642-28786-2_5
10.1007/11493402_5
10.1016/j.future.2015.09.013
10.1007/978-3-642-01665-3_12
10.1007/978-3-642-16867-3
10.1109/5254.920599
10.1145/2363.2433
10.1007/978-3-642-11503-5_4
10.1016/j.eswa.2004.12.029
10.1002/9780470061848
10.1109/ICRA.2015.7139900
10.1145/367177.367199
10.1007/978-3-642-14977-1
10.3233/FI-2010-356
10.1007/978-3-642-12842-4_21
10.1016/S0743-1066(97)00026-5
10.1109/ICMAS.1998.699225
10.1017/S1471068418000364
10.1007/978-3-319-08867-9_34
10.1016/j.scico.2011.10.004
ContentType Journal Article
Copyright The Author(s) 2020
The Author(s) 2020. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
Copyright_xml – notice: The Author(s) 2020
– notice: The Author(s) 2020. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
DBID C6C
AAYXX
CITATION
JQ2
DOI 10.1007/s10458-020-09478-3
DatabaseName Springer Nature OA Free Journals
CrossRef
ProQuest Computer Science Collection
DatabaseTitle CrossRef
ProQuest Computer Science Collection
DatabaseTitleList ProQuest Computer Science Collection
CrossRef
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 1573-7454
ExternalDocumentID 10_1007_s10458_020_09478_3
GrantInformation_xml – fundername: Alma Mater Studiorum - Università di Bologna
GroupedDBID -59
-5G
-BR
-EM
-Y2
-~C
.86
.DC
.VR
06D
0R~
0VY
1N0
1SB
203
23N
2J2
2JN
2JY
2KG
2KM
2LR
2P1
2VQ
2~H
30V
4.4
406
408
409
40D
40E
5GY
5VS
67Z
6J9
6NX
6TJ
8TC
8UJ
95-
95.
95~
96X
AAAVM
AABHQ
AACDK
AAHNG
AAIAL
AAJBT
AAJKR
AANZL
AARHV
AARTL
AASML
AATNV
AATVU
AAUYE
AAWCG
AAYIU
AAYQN
AAYTO
AAYZH
ABAKF
ABBBX
ABBXA
ABDZT
ABECU
ABFTD
ABFTV
ABHLI
ABHQN
ABJNI
ABJOX
ABKCH
ABKTR
ABMNI
ABMQK
ABNWP
ABQBU
ABQSL
ABSXP
ABTEG
ABTHY
ABTKH
ABTMW
ABULA
ABWNU
ABXPI
ACAOD
ACBXY
ACDTI
ACGFO
ACGFS
ACHSB
ACHXU
ACKNC
ACMDZ
ACMLO
ACOKC
ACOMO
ACPIV
ACREN
ACSNA
ACZOJ
ADHHG
ADHIR
ADINQ
ADKNI
ADKPE
ADRFC
ADTPH
ADURQ
ADYFF
ADYOE
ADZKW
AEBTG
AEFQL
AEGAL
AEGNC
AEJHL
AEJRE
AEKMD
AEMSY
AENEX
AEOHA
AEPYU
AESKC
AETLH
AEVLU
AEXYK
AFBBN
AFGCZ
AFLOW
AFQWF
AFWTZ
AFYQB
AFZKB
AGAYW
AGDGC
AGGDS
AGJBK
AGMZJ
AGQEE
AGQMX
AGRTI
AGWIL
AGWZB
AGYKE
AHAVH
AHBYD
AHKAY
AHSBF
AHYZX
AIAKS
AIGIU
AIIXL
AILAN
AITGF
AJBLW
AJRNO
AJZVZ
ALMA_UNASSIGNED_HOLDINGS
ALWAN
AMKLP
AMTXH
AMXSW
AMYLF
AMYQR
AOCGG
ARMRJ
ASPBG
AVWKF
AXYYD
AYJHY
AZFZN
B-.
BA0
BDATZ
BGNMA
BSONS
C6C
CAG
COF
CS3
CSCUP
DDRTE
DL5
DNIVK
DPUIP
EBLON
EBS
EIOEI
EJD
ESBYG
F5P
FEDTE
FERAY
FFXSO
FIGPU
FINBP
FNLPD
FRRFC
FSGXE
FWDCC
GGCAI
GGRSB
GJIRD
GNWQR
GQ6
GQ7
GQ8
GXS
H13
HF~
HG5
HG6
HMJXF
HQYDN
HRMNR
HVGLF
HZ~
I09
IHE
IJ-
IKXTQ
ITM
IWAJR
IXC
IXE
IZIGR
IZQ
I~X
I~Z
J-C
J0Z
JBSCW
JCJTX
JZLTJ
KDC
KOV
LAK
LLZTM
M4Y
MA-
N2Q
NB0
NPVJJ
NQJWS
NU0
O9-
O93
O9J
OAM
OVD
P2P
P9O
PF0
PT4
PT5
QOS
R89
R9I
RNI
RNS
ROL
RPX
RSV
RZC
RZE
RZK
S16
S1Z
S27
S3B
SAP
SCO
SDH
SHX
SISQX
SJYHP
SNE
SNPRN
SNX
SOHCF
SOJ
SPISZ
SRMVM
SSLCW
STPWE
SZN
T13
TEORI
TSG
TSK
TSV
TUC
U2A
UG4
UOJIU
UTJUX
UZXMN
VC2
VFIZW
W23
W48
YLTOR
Z45
Z7R
Z7X
Z81
Z83
Z88
ZMTXR
AAPKM
AAYXX
ABBRH
ABDBE
ABFSG
ABJCF
ABRTQ
ACSTC
ADHKG
AEZWR
AFDZB
AFFHD
AFHIU
AFKRA
AFOHR
AGQPQ
AHPBZ
AHWEU
AIXLP
ARAPS
ATHPR
AYFIA
BENPR
BGLVJ
CCPQU
CITATION
HCIFZ
K7-
M7S
PHGZM
PHGZT
PQGLB
PTHSS
JQ2
ID FETCH-LOGICAL-c411t-35f01fd2be3cdf74b9abff51951b917c176e2b3064f7262990f67aa8bd8f4b113
IEDL.DBID RSV
ISICitedReferencesCount 60
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000579434600001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 1387-2532
IngestDate Wed Sep 17 23:57:20 EDT 2025
Tue Nov 18 22:33:13 EST 2025
Sat Nov 29 01:33:08 EST 2025
Fri Feb 21 02:48:29 EST 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Issue 1
Keywords Logic-based technologies
SLR
MAS
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c411t-35f01fd2be3cdf74b9abff51951b917c176e2b3064f7262990f67aa8bd8f4b113
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ORCID 0000-0002-2261-9926
0000-0002-6655-3869
0000-0002-1841-8996
0000-0003-3794-2942
OpenAccessLink https://link.springer.com/10.1007/s10458-020-09478-3
PQID 2452108922
PQPubID 2043870
ParticipantIDs proquest_journals_2452108922
crossref_citationtrail_10_1007_s10458_020_09478_3
crossref_primary_10_1007_s10458_020_09478_3
springer_journals_10_1007_s10458_020_09478_3
PublicationCentury 2000
PublicationDate 20210400
PublicationDateYYYYMMDD 2021-04-01
PublicationDate_xml – month: 4
  year: 2021
  text: 20210400
PublicationDecade 2020
PublicationPlace New York
PublicationPlace_xml – name: New York
PublicationTitle Autonomous agents and multi-agent systems
PublicationTitleAbbrev Auton Agent Multi-Agent Syst
PublicationYear 2021
Publisher Springer US
Springer Nature B.V
Publisher_xml – name: Springer US
– name: Springer Nature B.V
References El Fallah-Seghrouchni, A., & Suna, A. (2004). CLAIM: A computational language for autonomous, intelligent and mobile agents. In M. M. Dastani & A. El Fallah Seghrouchni (Eds.), Programming multi-agent systems (ProMAS 2003), Lecture notes in computer science (Vol. 3067, pp. 90–110). Berlin: Springer. https://doi.org/10.1007/978-3-540-25936-7_5.
Bechhofer, S., Van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D. L., Patel-Schneider, P. F., et al. (2004). OWL web ontology language reference. https://www.w3.org/TR/owl-guide/.
Teresa, A., Ramón, B., Guitart, F., & Godo, L. (2013). Web based system for weighted defeasible argumentation. In Leite et al. [227] (pp. 155–171). https://doi.org/10.1007/978-3-642-40624-9_10.
AlurRHenzingerTAKupfermanOAlternating-time temporal logicJournal of the ACM2002495672713214709610.1145/585265.5852701326.68181
Omicini, A., & Zambonelli, F. (1999). Coordination for Internet application development. Autonomous Agents and Multi-Agent Systems, 2(3), 251–269. https://doi.org/10.1023/A:1010060322135. Special issue: Coordination mechanisms for web agents.
Denti, E., Omicini, A., & Ricci, A. (2001). tuProlog: A light-weight Prolog for Internet applications and infrastructures. In I. V. Ramakrishnan (Ed.), Practical aspects of declarative languages, Lecture notes in computer science (Vol. 1990, pp. 184–198). Berlin: Springer. https://doi.org/10.1007/3-540-45241-9_13. 3rd International symposium (PADL 2001), Las Vegas, NV, USA, 11–12 March 2001. Proceedings.
Orgun, B., Dras, M., Cassidy, S., & Nayak, A. (2005). DASMAS: Dialogue based automation of semantic interoperability in multi agent systems. In T. Meyer & M. A. Orgun. (Eds.), Australasian ontology workshop (Vol. 58, pp. 75–82). Sydney: Australian Computer Society, Inc.
Fan, X., Yen, J., Miller, M. S., & Volz, R. A. (2005). The semantics of MALLET—An agent teamwork encoding language. In Leite et al. [226] (pp. 69–91). https://doi.org/10.1007/11493402_5.
Fisher, M. (2006). Implementing temporal logics: Tools for execution and proof. In Inoue et al. [198] (pp. 129–142). https://doi.org/10.1007/11750734_8.
Leite, J. A., Alferes, J. J., & Pereira, L. M. (2002). MINERVA—A dynamic logic programming agent architecture. In Intelligent agents VIII, Lecture notes in computer science (Vol. 2333, pp. 141–157). Berlin: Springer. https://doi.org/10.1007/3-540-45448-9_11.
VidakovićMIvanovićMStantićDVidakovićJJezicGChen-BurgerYHowlettRJJainLCVlacicLŠperkaRHow research achievements can influence delivering of a course—Siebog agent middlewareAgents and multi-agent systems: Technologies and applications, smart innovation, systems and technologies2018ChamSpringer International Publishing11012010.1007/978-3-319-92031-3_11
Clark, K. L., & McCabe, F. G. (2004). Go! for multi-threaded deliberative agents. In Leite et al. [225] (pp. 54–75). https://doi.org/10.1007/978-3-540-25932-9_4.
Baldoni, M., Baroglio, C., Gungui, I., Martelli, A., Martelli, M., Mascardi, V., et al. (2005). Reasoning about agents’ interaction protocols inside dcaselp. In Declarative agent languages and technologies II (pp. 112–131). Berlin: Springer. https://doi.org/10.1007/11493402_7.
Howden, N., Rönnquist, R., Hodgson, A., & Lucas, A. (2001). JACK intelligent agents—Summary of an agent infrastructure. In 2nd International workshop on infrastructure for agents, MAS, and scalable MAS.
SuchJMGarcía-FornesAEspinosaABellverJMagentix2: A privacy-enhancing agent platformEngineering Applications of Artificial Intelligence20132619610910.1016/j.engappai.2012.06.009
Corapi, D., Russo, A., & Lupu, E. (2010). Inductive logic programming as abductive search. In M. Hermenegildo & T. Schaub (Eds.), Technical communications of the 26th international conference on logic programming (Vol. 7, pp. 54–63). Dagstuhl: Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.ICLP.2010.54.
Shi, Z., Zhang, H., Cheng, Y., Jiang, Y., Sheng, Q., & Zhao, Z. (2004). MAGE: An agent-oriented software engineering environment. In 3rd International conference on cognitive informatics. Victoria: IEEE. https://doi.org/10.1109/COGINF.2004.1327482.
Abiteboul, S., & Hull, R. (1988). Data functions, datalog and negation (extended abstract). In H. Boral & P. Larson (Eds.), International conference on management of data (pp. 143–153). Chicago, IL: ACM. https://doi.org/10.1145/50202.50218.
CalegariRDentiEMarianiSOmiciniALogic programming as a service in multi-agent systems for the Internet of ThingsInternational Journal of Grid and Utility Computing201910434436010.1504/IJGUC.2019.10022135
Mascardi, V., Demergasso, D., & Ancona, D. (2005). Languages for programming BDI-style agents: An overview. In 6th Workshop “From objects to agents” (WOA 2005) (Vol. 2005, pp. 9–15).
da Silva, D. M., & Vieira, R. (2007). Argonaut: Integrating Jason and Jena for context aware computing based on OWL ontologies. In Workshop on agents, web services, and ontologies—Integrated methodologies (AWESOME’007), Durham, UK (p. 19).
Bergenti, F. (2014). An introduction to the JADEL programming language. In 26th International conference on tools with artificial intelligence. IEEE. https://doi.org/10.1109/ICTAI.2014.147.
Calegari, R., Denti, E., Mariani, S., & Omicini, A. (2018). Logic programming as a service. Theory and Practice of Logic Programming, 18(5–6), 846–873. https://doi.org/10.1017/S1471068418000364. Special issue “Past and present (and future) of parallel and distributed computation in (constraint) logic programming”.
MuggletonSInverse entailment and ProgolNew Generation Computing1995133–424528610.1007/BF03037227
Pokahr, A., Braubach, L., & Lamersdorf, W. (2005). Jadex: A BDI reasoning engine. In Håkansson et al. [167] (pp. 149–174). https://doi.org/10.1007/0-387-26350-0_6. 3rd KES International symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3–5, 2009. Proceedings.
SirinEParsiaBGrauBCKalyanpurAKatzYPellet: A practical OWL-DL reasonerJournal of Web Semantics200752515310.1016/j.websem.2007.03.004
CiattoGDi MarzoSGLouvelMMarianiSOmiciniAZambonelliFTwenty years of coordination technologies: COORDINATION contribution to the state of artJournal of Logical and Algebraic Methods in Programming2020113125407696110.1016/j.jlamp.2020.100531
Omicini, A., & Calegari, R. (2019). Injecting (micro)intelligence in the IoT: Logic-based approaches for (M)MAS. In D. Lin, T. Ishida, F. Zambonelli, & I. Noda (Eds.), Massively multi-agent systems II, Lecture notes in computer science (chapter 2), international workshop, MMAS 2018, Stockholm, Sweden, July 14, 2018 (Vol. 11422, pp. 21–35). Berlin: Springer. https://doi.org/10.1007/978-3-030-20937-7_2. Revised selected papers.
EmersonEAvan LeeuwenJTemporal and modal logicFormal models and semantics, Handbook of theoretical computer science1990AmsterdamElsevier995107210.1016/B978-0-444-88074-1.50021-4
ClavelMEkerSLincolnPMeseguerJPrinciples of MaudeElectronic Notes in Theoretical Computer Science19964658910.1016/S1571-0661(04)00034-90912.68095
MatwinSSzpakowiczSKoperczakZKerstenGEMichalowskiWNegoplan: An expert system shell for negotiation supportIEEE Intelligent Systems198944506210.1109/64.43285
Weyns, D., Omicini, A., & Odell, J. J. (2006). Environment as a first class abstraction in multi-agent systems. Autonomous Agents and Multi-Agent Systems,14(1), 5–30. https://doi.org/10.1007/s10458-006-0012-0. Special issue on Environments for multi-agent systems
NuteDGabbayDMHoggerCJRobinsonJADefeasible logicHandbook of logic in artificial intelligence and logic programming (chapter 7)1994New York, NYOxford University Press, Inc.353395
Fornara, N., & Colombetti, M. (2003). Defining interaction protocols using a commitment-based agent communication language. In Proceedings of the second international joint conference on autonomous agents and multiagent systems (pp. 520–527). ACM, ACM Press. https://doi.org/10.1145/860575.860659.
Calejo, M. (2004). InterProlog: Towards a declarative embedding of logic programming in Java. In 9th European conference on logics in artificial intelligence (pp. 714–717). Lisbon: Springer. https://doi.org/10.1007/978-3-540-30227-8_64.
Platon, E., Mamei, M., Sabouret, N., Honiden, S., & Parunak, H. V. D. (2007). Mechanisms for environments in multi-agent aystems: Survey and opportunities. Autonomous Agents and Multi-Agent Systems, 14(1), 31–47. https://doi.org/10.1007/s10458-006-9000-7. Special issue on Environments for multi-agent systems.
CattellRGGBarryDKThe object data standard: ODMG 3.02000San Francisco, CAMorgan Kaufmann Publishers
Ilghami, O. (2006). Documentation for JSHOP2. Technical Report CS-TR-4694, Department of Computer Science, University of Maryland.
MascardiVMartelliMSterlingLLogic-based specification languages for intelligent software agentsTheory and Practice of Logic Programming200444429494207107510.1017/S14710684040020291085.68131
CabriGLeonardiLZambonelliFMARS: A programmable coordination architecture for mobile agentsIEEE Internet Computing200044263510.1109/4236.865084
HluchýLLaclavikMBaloghZBabikMAgentowl: Semantic knowledge model and agent architectureComputers and Artificial Intelligence20062554214391115.68517
VieiraRMoreiraÁWooldridgeMBordiniRHOn the formal semantics of speech-act based communication in an agent-oriented programming languageJournal of Artificial Intelligence Research200729122126710.1613/jair.2221
LangeDBMitsuruOProgramming and deploying Java Mobile Agents Aglets1998Boston, MAAddison-Wesley Longman Publishing Co., Inc.
Alur, R., Henzinger, T. A., Mang, F. Y., Qadeer, S., Rajamani, S. K., & Tasiran, S. (1998). MOCHA: Modularity in model checking. In Computer aided verification, Lecture notes in computer science (Vol. 1427, pp. 521–525). Berlin: Springer. https://doi.org/10.1007/BFb0028774.
FungTHKowalskiRAThe IFF proof procedure for abductive logic programmingThe Journal of Logic Programming1997332151165146384210.1016/S0743-1066(97)00026-50890.68029
Finin, T., Fritzson, R., McKay, D., & McEntire, R. (1994). KQML as an agent communication language. In A. R. Nabil, B. K. Bharat, & Y. Y
SA Gaggl (9478_CR156) 2018; 39
MH Liffiton (9478_CR230) 2007; 40
M Wooldridge (9478_CR356) 1995; 10
(9478_CR226) 2005
S Russell (9478_CR304) 2011
Y Shoham (9478_CR319) 1993; 60
9478_CR300
(9478_CR21) 2008
9478_CR302
9478_CR303
9478_CR305
9478_CR307
AC Kakas (9478_CR204) 1992; 2
S Li (9478_CR229) 2007; 33
M Bahaj (9478_CR16) 2013; 5
R Calegari (9478_CR61) 2019; 10
GT Schreiber (9478_CR310) 2000
J Hollan (9478_CR187) 2000; 7
GJ Holzmann (9478_CR188) 1997; 23
P Čermák (9478_CR68) 2014
V Lifschitz (9478_CR231) 1999
(9478_CR351) 2019
S Kanger (9478_CR205) 1971
P Torroni (9478_CR341) 2009
(9478_CR281) 2010
JM Such (9478_CR328) 2013; 26
F Sadri (9478_CR308) 2006; 12
J McCarthy (9478_CR252) 1960; 3
(9478_CR176) 2008
C Kroiß (9478_CR218) 2016; 56
KV Hindriks (9478_CR182) 1999; 2
G Antoniou (9478_CR12) 2009; 36
(9478_CR46) 2009
TH Fung (9478_CR154) 1997; 33
RJ Bayardo Jr (9478_CR32) 1997; 26
VS Costa (9478_CR93) 2012; 12
KP Sycara (9478_CR330) 1990; 28
M Wooldridge (9478_CR355) 2001
A Dasgupta (9478_CR107) 2010; 4
S Matwin (9478_CR250) 1989; 4
PM Dung (9478_CR129) 1995; 77
FS de Boer (9478_CR112) 2007; 5
C Hahn (9478_CR166) 2009; 18
T Alsinet (9478_CR6) 2014; 26
CD Mulrow (9478_CR263) 1994; 309
9478_CR191
EF Hill (9478_CR177) 2003
9478_CR192
M Baldoni (9478_CR26) 2014; 28
9478_CR193
9478_CR194
M Lützenberger (9478_CR240) 2015
9478_CR195
9478_CR196
9478_CR197
9478_CR198
9478_CR199
9478_CR189
G De Giacomo (9478_CR113) 2000; 121
A Ciampolini (9478_CR77) 2003; 37
M Clavel (9478_CR86) 1996; 4
V Mascardi (9478_CR249) 2014; 12
9478_CR19
9478_CR18
M Kwiatkowska (9478_CR219) 2002
(9478_CR127) 2009
(9478_CR66) 2000
9478_CR180
9478_CR11
9478_CR181
JL Pollock (9478_CR290) 1996; 6
9478_CR183
9478_CR10
9478_CR184
9478_CR185
A Omicini (9478_CR279) 2007; 5
9478_CR13
9478_CR178
9478_CR299
9478_CR179
M Cossentino (9478_CR91) 2010; 20
T Skylogiannis (9478_CR323) 2007; 63
DS Nau (9478_CR267) 2003; 20
L Hluchý (9478_CR186) 2006; 25
9478_CR291
9478_CR171
M Kacprzak (9478_CR203) 2006; 72
9478_CR292
9478_CR172
FM Brazier (9478_CR50) 1997; 6
AJ Garcia (9478_CR158) 2004; 4
9478_CR173
S Muggleton (9478_CR261) 1995; 13
9478_CR294
9478_CR295
9478_CR175
9478_CR296
9478_CR297
9478_CR298
9478_CR167
9478_CR288
M d’Inverno (9478_CR126) 2004; 9
JH Gennari (9478_CR162) 2003; 58
9478_CR168
9478_CR289
9478_CR169
LMD Rijk (9478_CR301) 2002
KL Clark (9478_CR81) 2004; 41
9478_CR280
A Freitas (9478_CR151) 2017; 12
(9478_CR15) 2003
9478_CR282
(9478_CR20) 2005
9478_CR163
9478_CR284
9478_CR164
9478_CR285
9478_CR165
9478_CR286
F Meneguzzi (9478_CR255) 2007
9478_CR287
9478_CR277
9478_CR157
9478_CR159
(9478_CR128) 2010
J Wielemaker (9478_CR352) 2012; 12
G Cabri (9478_CR58) 2000; 4
U Egly (9478_CR131) 2008
VJ Koeman (9478_CR208) 2016
S Kraus (9478_CR214) 1998; 104
(9478_CR105) 2014
B Thomas (9478_CR336) 1991; 6
9478_CR45
9478_CR42
9478_CR150
9478_CR43
9478_CR48
9478_CR152
9478_CR273
9478_CR49
9478_CR153
9478_CR274
9478_CR47
9478_CR276
9478_CR145
9478_CR266
9478_CR146
J Baumann (9478_CR31) 1998; 1
9478_CR268
A Omicini (9478_CR275) 2001; 41
9478_CR148
9478_CR40
M Fisher (9478_CR147) 2007; 23
9478_CR149
9478_CR41
RA Kowalski (9478_CR213) 1999; 25
KM Chandy (9478_CR69) 1988
9478_CR1
V Mascardi (9478_CR245) 2004; 4
9478_CR5
EA Emerson (9478_CR134) 1990
R De Nicola (9478_CR115) 1998; 24
9478_CR3
9478_CR9
A Dyoub (9478_CR130) 2018; 33
BC Moszkowski (9478_CR259) 1986
9478_CR7
9478_CR55
9478_CR56
KL Clark (9478_CR83) 2006; 24
9478_CR53
K Kravari (9478_CR216) 2011
9478_CR260
9478_CR140
9478_CR59
9478_CR141
9478_CR262
9478_CR142
9478_CR143
9478_CR264
9478_CR144
9478_CR265
9478_CR135
I Kollia (9478_CR210) 2011
9478_CR256
9478_CR136
AL Arranz Matía (9478_CR14) 2005; 28
(9478_CR17) 2006
9478_CR137
9478_CR258
9478_CR51
9478_CR138
A Omicini (9478_CR278) 2006
9478_CR52
9478_CR139
JR Abrial (9478_CR2) 2010; 12
P Banerjee (9478_CR27) 2011; 44
K Havelund (9478_CR170) 2000; 2
9478_CR29
(9478_CR306) 2007
9478_CR22
M Alberti (9478_CR4) 2008; 9
9478_CR23
J Ma (9478_CR241) 2008; 16
J Hendler (9478_CR174) 2001; 16
9478_CR251
HJ Levesque (9478_CR228) 1997; 31
9478_CR24
B Bauer (9478_CR30) 2001; 11
9478_CR132
9478_CR253
9478_CR133
9478_CR123
9478_CR244
9478_CR124
9478_CR125
9478_CR246
9478_CR247
S Costantini (9478_CR97) 2002
9478_CR248
J Maluszyński (9478_CR243) 2011; 21
D Walton (9478_CR348) 2008
(9478_CR57) 2014
D Nute (9478_CR272) 1994
A Lomuscio (9478_CR237) 2017; 19
JW Lloyd (9478_CR234) 1987
9478_CR39
H Prakken (9478_CR293) 2010; 1
R Alur (9478_CR8) 2002; 49
BF Chellas (9478_CR70) 1980
9478_CR33
9478_CR34
9478_CR360
9478_CR37
L Lindahl (9478_CR233) 2012
9478_CR38
9478_CR35
9478_CR121
9478_CR242
9478_CR36
9478_CR122
S Luke (9478_CR238) 2005; 81
9478_CR354
K Sagonas (9478_CR309) 1994; 23
9478_CR114
9478_CR235
9478_CR236
9478_CR357
9478_CR116
9478_CR358
9478_CR117
9478_CR359
9478_CR118
9478_CR239
9478_CR119
K Kravari (9478_CR215) 2010
SA McIlraith (9478_CR254) 2001; 16
NJ Nilsson (9478_CR269) 2001; 5
9478_CR88
9478_CR89
9478_CR87
A Barredo Arrieta (9478_CR28) 2020; 58
9478_CR350
(9478_CR25) 2012
9478_CR110
9478_CR111
9478_CR232
9478_CR353
9478_CR80
9478_CR101
9478_CR222
(9478_CR227) 2013
AEF Seghrouchni (9478_CR311) 2005
(9478_CR340) 2005
M Dastani (9478_CR108) 2008; 16
9478_CR223
9478_CR344
9478_CR103
9478_CR224
9478_CR345
9478_CR104
9478_CR346
9478_CR84
9478_CR347
G Ciatto (9478_CR79) 2020; 113
9478_CR85
9478_CR106
9478_CR82
9478_CR109
P Wavish (9478_CR349) 1992; 13
(9478_CR225) 2004
9478_CR99
M Vidaković (9478_CR342) 2018
9478_CR98
9478_CR220
R Vieira (9478_CR343) 2007; 29
9478_CR211
9478_CR332
9478_CR92
9478_CR212
9478_CR333
9478_CR334
9478_CR90
9478_CR335
9478_CR95
9478_CR96
9478_CR337
9478_CR217
9478_CR338
9478_CR94
A Horn (9478_CR190) 1951; 16
9478_CR339
M Köhler-Bußmeier (9478_CR209) 2009
RE Bryant (9478_CR54) 1986; 35
RH Bordini (9478_CR44) 2006; 30
DB Lange (9478_CR221) 1998
MR Cutkosky (9478_CR102) 1993; 26
9478_CR67
9478_CR64
9478_CR65
M Gelfond (9478_CR161) 1993; 17
9478_CR331
9478_CR200
9478_CR201
9478_CR322
9478_CR202
9478_CR324
9478_CR62
9478_CR325
9478_CR63
M Nowostawski (9478_CR270) 2006; 17
9478_CR326
9478_CR60
9478_CR206
9478_CR327
9478_CR207
D Nute (9478_CR271) 1988
9478_CR329
JL Morales (9478_CR257) 2014; 42
E Sirin (9478_CR321) 2007; 5
9478_CR78
9478_CR75
S Costantini (9478_CR100) 2010; 105
D Gabbay (9478_CR155) 1987
9478_CR76
LA Dennis (9478_CR120) 2012; 19
D Gelernter (9478_CR160) 1985; 7
9478_CR320
9478_CR312
9478_CR313
9478_CR73
9478_CR314
9478_CR74
9478_CR315
9478_CR71
9478_CR316
9478_CR72
9478_CR317
9478_CR318
Y Pan (9478_CR283) 2005
References_xml – reference: Nardini, E., Omicini, A., & Viroli, M. (2013). Semantic tuple centres. Science of Computer Programming, 78(5), 569–582. https://doi.org/10.1016/j.scico.2012.10.004. Special section: Self-organizing coordination.
– reference: Toni, F. (2006). Multi-agent systems in computational logic: Challenges and outcomes of the SOCS project. In Toni and Torroni [340] (pp. 420–426). https://doi.org/10.1007/11750734_26.
– reference: DalpiazFDixJvan RiemsdijkMBEngineering multi-agent systems, Lecture notes in computer science2014ParisSpringer10.1007/978-3-319-14484-9
– reference: Clark, K. L., & McCabe, F. G. (2004). Go! for multi-threaded deliberative agents. In Leite et al. [225] (pp. 54–75). https://doi.org/10.1007/978-3-540-25932-9_4.
– reference: EmersonEAvan LeeuwenJTemporal and modal logicFormal models and semantics, Handbook of theoretical computer science1990AmsterdamElsevier995107210.1016/B978-0-444-88074-1.50021-4
– reference: Barredo ArrietaADíaz RodríguezNDel SerJBennetotATabikSBarbadoAGarcíaSGil-LopezSMolinaDBenjaminsRChatilaRHerreraFExplainable artificial intelligence (XAI): Concepts, taxonomies, opportunities and challenges toward responsible AIInformation Fusion2020588211510.1016/j.inffus.2019.12.012
– reference: CiampoliniALammaEMelloPToniFTorroniPCooperation and competition in alias: A logic framework for agents that negotiateAnnals of Mathematics and Artificial Intelligence20033716591196916110.1023/A:10202594110661023.68095
– reference: SycaraKPPersuasive argumentation in negotiationTheory and Decision199028320324210.1007/BF00162699
– reference: PrakkenHAn abstract framework for argumentation with structured argumentsArgument and Computation2010129312410.1080/19462160903564592
– reference: Tarau, P. (1998). Jinni: A lightweight java-based logic engine for Internet programming. In K. Sagonas (Ed.), International workshop on implementation technology for programming languages based on logic, Manchester, UK (pp. 1–15).
– reference: OmiciniASardinaSVasconcelosWDeclarative agent languages and technologies VIII, Lecture notes in computer science2010BerlinSpringer10.1007/978-3-642-20715-0
– reference: Hindriks, K. V., de Boer, F. S., van der Hoek, W., & Meyer, J. J. C. (2000). Agent programming with declarative goals. In C. Castelfranchi & Y. Lespérance (Eds.) Intelligent agents VII. Agent theories architectures and languages, 7th international workshop, ATAL 2000, Boston, MA, USA, July 7–9, 2000, proceedings, Lecture notes in computer science (Vol. 1986, pp. 228–243). Berlin: Springer. https://doi.org/10.1007/3-540-44631-1_16.
– reference: De Giacomo, G., Lespérance, Y., Levesque, H. J., & Sardiña, S. (2009). Indigolog: A high-level programming language for embedded reasoning agents. In R. H. Bordini, M. Dastani, J. Dix, & A. E. Fallah-Seghrouchni (Eds.), Multi-agent programming, languages, tools and applications. Boston, MA: Springer (pp. 31–72). https://doi.org/10.1007/978-0-387-89299-3_2.
– reference: KakasACKowalskiRAToniFAbductive logic programmingJournal of Logic and Computation199226719770121897410.1093/logcom/2.6.7190778.68081
– reference: McDermott, D., Ghallab, M., Howe, A., Knoblock, C., Ram, A., Veloso, M., et al. (1998). PDDL—The planning domain definition language. https://homepages.inf.ed.ac.uk/mfourman/tools/propplan/pddl.pdf.
– reference: Gomes, A. S., Alferes, J. J., & Swift, T. (2010). Implementing query answering for hybrid MKNF knowledge bases. In M. Carro & R. Peña (Eds.), Practical aspects of declarative languages, Lecture notes in computer science (Vol. 5937, pp. 25–39). Berlin: Springer. https://doi.org/10.1007/978-3-642-11503-5_4.
– reference: Jaffar, J., & Lassez, J. (1987). Constraint logic programming. In 14th ACM SIGACT-SIGPLAN symposium on principles of programming languages (pp. 111–119). Munich: ACM. https://doi.org/10.1145/41625.41635.
– reference: ChandyKMParallel program design: A foundation1988Boston, MAAddison-Wesley Longman Publishing Co. Inc.0717.68034
– reference: HollanJHutchinsEKirshDDistributed cognition: Toward a new foundation for human–computer interaction researchACM Transactions on Computer-Human Interaction (TOCHI)20007217419610.1145/353485.353487
– reference: Vrba, P., Fuksa, M., & Klíma, M. (2014). JADE-JBossESB gateway: Integration of multi-agent system with enterprise service bus. In International conference on systems, man, and cybernetics (pp. 3663–3668). San Diego, CA: IEEE. https://doi.org/10.1109/SMC.2014.6974499.
– reference: Di Stefano, A., & Santoro, C. (2005). Using the Erlang language for multi-agent systems implementation. In International conference on intelligent agent technology. IEEE/WIC/ACM 2005, Compiegne, France (pp. 679–685). https://doi.org/10.1109/IAT.2005.141.
– reference: HavelundKPressburgerTModel checking JAVA programs using JAVA pathfinderInternational Journal on Software Tools for Technology Transfer (STTT)20002436638110.1007/s1000900500431059.68585
– reference: GagglSALinsbichlerTMarateaMWoltranSSummary report of the second international competition on computational models of argumentationAI Magazine2018394777910.1609/aimag.v39i4.278107153710
– reference: HigginsJPTGreenSCochrane handbook for systematic reviews of interventions, Cochrane book series2008New YorkWiley10.1002/9780470712184
– reference: DixJFisherMNovákPComputational logic in multi-agent systems, Lecture notes in computer science2009BerlinSpringer10.1007/978-3-642-16867-3
– reference: BaldoniMEndrissUDeclarative agent languages and technologies IV, Lecture notes in computer science2006BerlinSpringer10.1007/11961536
– reference: El Fallah-Seghrouchni, A., & Suna, A. (2004). CLAIM: A computational language for autonomous, intelligent and mobile agents. In M. M. Dastani & A. El Fallah Seghrouchni (Eds.), Programming multi-agent systems (ProMAS 2003), Lecture notes in computer science (Vol. 3067, pp. 90–110). Berlin: Springer. https://doi.org/10.1007/978-3-540-25936-7_5.
– reference: NowostawskiMPurvisMKOliveiraMDCranefieldSInstitutions in the OPAL multi-agent systemJournal of Intelligent and Fuzzy Systems20061731912071099.68695
– reference: Weyns, D., Omicini, A., & Odell, J. J. (2006). Environment as a first class abstraction in multi-agent systems. Autonomous Agents and Multi-Agent Systems,14(1), 5–30. https://doi.org/10.1007/s10458-006-0012-0. Special issue on Environments for multi-agent systems
– reference: HahnCMadrigal-MoraCFischerKA platform-independent metamodel for multiagent systemsAutonomous Agents and Multi-Agent Systems200918223926610.1007/s10458-008-9042-0
– reference: GelernterDGenerative communication in LindaACM Transactions on Programming Languages and Systems1985718011210.1145/2363.24330559.68030
– reference: Graja, Z., Migeon, F., Maurel, C., Gleizes, M. P., & Kacem, A. H. (2014). A stepwise refinement based development of self-organizing multi-agent systems: Application to the foraging ants. In Dalpiaz et al. [105] (pp. 40–57). https://doi.org/10.1007/978-3-319-14484-9_3.
– reference: Collier, R. W., Russell, S. E., & Lillis, D. (2015). Reflecting on agent programming with AgentSpeak(L). In PRIMA 2015: Principles and practice of multi-agent systems, Lecture notes in computer science (pp. 351–366). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-25524-8_22.
– reference: Black, E., Coles, A., & Bernardini, S. (2014). Automated planning of simple persuasion dialogues. In Bulling et al. [57] (pp. 87–104). https://doi.org/10.1007/978-3-319-09764-0_6.
– reference: CalegariRDentiEMarianiSOmiciniALogic programming as a service in multi-agent systems for the Internet of ThingsInternational Journal of Grid and Utility Computing201910434436010.1504/IJGUC.2019.10022135
– reference: Costantini, S., Tocchio, A., & Tsintza, P. (2007). A heuristic approach to P2P negotiation. In Sadri and Satoh [306] (pp. 177–192). https://doi.org/10.1007/978-3-540-88833-8_10.
– reference: Ciampolini, A., Lamma, E., Mello, P., & Torroni, P. (1999). The dynamic composition of abductive agents in ALIAS. In A. Brogi & P. Hill (Eds.), 2nd International workshop on component-based software development in computational logic (COCL’99), Paris, France. http://www.di.unipi.it/~brogi/ResearchActivity/COCL99/proceedings/ciampolini.ps.
– reference: Hübner, J. F., Boissier, O., & Bordini, R. H. (2010). From organisation specification to normative programming in multi-agent organisations. In Dix et al. [128] (pp. 117–134). https://doi.org/10.1007/978-3-642-14977-1_11.
– reference: Ciampolini, A., Lamma, E., Stefanelli, C., & Mello, P. (1997). A coordination protocol for abductive logic agents. In 1997 IEEE International conference on intelligent processing systems (Cat. No.97TH8335) (Vol. 1, pp. 143–148). IEEE. https://doi.org/10.1109/ICIPS.1997.672754.
– reference: DixJLeiteJGovernatoriGJamrogaWComputational logic in multi-agent systems, Lecture notes in computer science2010BerlinSpringer10.1007/978-3-642-14977-1
– reference: Ferrando, A., Dennis, L. A., Ancona, D., Fisher, M., & Mascardi, V. (2018). Recognising assumption violations in autonomous systems verification. In E. André, S. Koenig, M. Dastani, & G. Sukthankar (Eds.), 17th International conference on autonomous agents and multiagent systems, AAMAS 2018 (pp. 1933–1935). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems. http://dl.acm.org/citation.cfm?id=3238028.
– reference: Kroiß, C. (2014). A statistical model checker for situation calculus based multi-agent models. In 2014 International conference on autonomous agents and multi-agent systems (AAMAS’14), IFAAMAS, Richland, SC, USA (pp. 1567–1568). http://dl.acm.org/citation.cfm?id=2615731.2616065.
– reference: NilssonNJTeleo-reactive programs and the triple-tower architectureElectronic Transactions on Artificial Intelligence20015B99110
– reference: Arranz MatíaALSanz-BobiMACLELIA: A multi-agent system for publishing printed and electronic mediaExpert Systems with Applications200528472573410.1016/j.eswa.2004.12.029
– reference: Baldoni, M., Baroglio, C., & Marengo, E. (2010). Constraints among commitments: Regulative specification of interaction protocols. In W. Faber, & N. Leone (Eds.), Proceedings of the 25th Italian conference on computational logic, Rende, Italy, July 7–9, 2010, CEUR workshop proceedings (Vol. 598). https://CEUR-WS.org. http://ceur-ws.org/Vol-598/paper04.pdf.
– reference: MaluszyńskiJSzalasALogical foundations and complexity of 4QL, a query language with unrestricted negationJournal of Applied Non-Classical Logics2011212211232284065410.3166/jancl.21.211-2321242.68091
– reference: HindriksKVde BoerFSvan der HoekWMeyerJCAgent programming in 3APLAutonomous Agents and Multi-Agent Systems19992435740110.1023/A:1010084620690
– reference: Corapi, D., Russo, A., & Lupu, E. (2010). Inductive logic programming as abductive search. In M. Hermenegildo & T. Schaub (Eds.), Technical communications of the 26th international conference on logic programming (Vol. 7, pp. 54–63). Dagstuhl: Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.ICLP.2010.54.
– reference: MatwinSSzpakowiczSKoperczakZKerstenGEMichalowskiWNegoplan: An expert system shell for negotiation supportIEEE Intelligent Systems198944506210.1109/64.43285
– reference: Thomas, S. R. (1995). The PLACA agent programming language. In Intelligent agents, Lecture notes in computer science (Vol. 890, pp. 355–370). Berlin: Springer. https://doi.org/10.1007/3-540-58855-8_23.
– reference: Alberti, M., Gavanelli, M., Lamma, E., Mello, P., & Torroni, P. (2005). The SCIFF abductive proof-procedure. In S. Bandini & S. Manzoni (Eds.), AI*IA 2005: Advances in artificial intelligence: 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21–32, 2005. Proceedings, Lecture notes in artificial intelligence (Vol. 3673, pp. 135–147). Berlin: Springer. https://doi.org/10.1007/11558590_14.
– reference: Shakarian, P., Simari, G. I., & Schroeder, R. (2013). MANCaLog: A logic for multi-attribute network cascades. In M. L. Gini, O. Shehory, T. Ito, & C. M. Jonker (Eds.), International conference on autonomous agents and multi-agent systems, IFAAMAS (pp. 1175–1176). http://dl.acm.org/citation.cfm?id=2485129.
– reference: Bretier, P., & Sadek, D. (1997). A rational agent as the kernel of a cooperative spoken dialogue system: Implementing a logical theory of interaction. In Intelligent agents III agent theories, architectures, and languages, Lecture notes in computer science (Vol. 1193, pp. 189–203). Berlin: Springer. https://doi.org/10.1007/BFb0013586.
– reference: Jensen, A. S., Dignum, V., & Villadsen, J. (2014). The AORTA architecture: Integrating organizational reasoning in Jason. In Dalpiaz et al. [105] (pp. 127–145). https://doi.org/10.1007/978-3-319-14484-9_7.
– reference: Pantoja, C. E., Stabile, M. F., Lazarin, N. M., & Sichman, J. S. (2016) ARGO: An extended Jason architecture that facilitates embedded robotic agents programming. In M. Baldoni, J. P. Müller, I. Nunes, & R. Zalila-Wenkstern (Eds.), Engineering multi-agent systems (EMAS 2016), Lecture notes in computer science (Vol. 10093, pp. 136–155). Berlin: Springer. https://doi.org/10.1007/978-3-319-50983-9_8.
– reference: Bozzano, M., Delzanno, G., Martelli, M., Mascardi, V., & Zini, F. (1999). Logic programming and multi-agent systems: A synergic combination for applications and semantics. In K. R. Apt, V. W. Marek, M. Truszczynski, & D. S. Warren (Eds.), The logic programming paradigm, Artificial intelligence (pp. 5–32). Berlin: Springer. https://doi.org/10.1007/978-3-642-60085-2_1.
– reference: Collier, R. W. (2002). Agent factory: A framework for the engineering of agent-oriented applications. PhD thesis, University College Dublin.
– reference: Costantini, S., De Gasperis, G., & Nazzicone, G. (2017). DALI for cognitive robotics: Principles and prototype implementation. In International symposium on practical aspects of declarative languages (pp. 152–162). Cham: Springer. https://doi.org/10.1007/978-3-319-51676-9_10.
– reference: WavishPExploiting emergent behavior in multi-agent systems (abstract)ACM SIGOIS Bulletin19921331610.1145/152683.152701
– reference: Metakides, G., & Nerode, A. (1996). Foreword. In Studies in computer science and artificial intelligence (Vol. 13, pp. vii–ix). Amsterdam: Elsevier. https://doi.org/10.1016/S0924-3542(96)80008-9.
– reference: El-Menshawy, M., Bentahar, J., & Dssouli, R. (2010). Symbolic model checking commitment protocols using reduction. In Omicini et al. [281] (pp. 185–203). https://doi.org/10.1007/978-3-642-20715-0_11.
– reference: Costantini, S., & Formisano, A. (2016). Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules. In N. Osman & C. Sierra (Eds.), Autonomous agents and multiagent systems (AAMAS 2016), Lecture notes in computer science (Vol. 10003, pp. 104–121). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-46840-2_7.
– reference: Fornara, N., & Colombetti, M. (2003). Defining interaction protocols using a commitment-based agent communication language. In Proceedings of the second international joint conference on autonomous agents and multiagent systems (pp. 520–527). ACM, ACM Press. https://doi.org/10.1145/860575.860659.
– reference: CattellRGGBarryDKThe object data standard: ODMG 3.02000San Francisco, CAMorgan Kaufmann Publishers
– reference: Jongmans, S. S. T. Q., Hindriks, K. V., & van Riemsdijk, M. B. (2010). Model checking agent programs by using the program interpreter. In Dix et al. [128] (pp. 219–237). https://doi.org/10.1007/978-3-642-14977-1_17.
– reference: Potassco UoP the Potsdam Answer Set Solving Collection. (2019). clingo and gringo. https://potassco.org/clingo/.
– reference: CostantiniSFormisanoAPetturitiDExtending and implementing RASPFundamenta Informaticae20101051–2133279726210.3233/FI-2010-3561211.68059
– reference: Stathis, K., Kakas, A., Lu, W., Demetriou, N., Endriss, U., & Bracciali, A. (2004). PROSOCS: A platform for programming software agents in computational logic. In 17th European meeting on cybernetics and systems research, symposium “From agent theory to agent implementation” (AT2AI-4) (Vol. II, pp. 523–528). Vienna: Austrian Society for Cybernetic Studies.
– reference: FreitasABordiniRHVieiraRModel-driven engineering of multi-agent systems based on ontologiesApplied Ontology201712215718810.3233/AO-170182
– reference: KangerSHilpinenRNew foundations for ethical theoryDeontic logic: Introductory and systematic readings, synthese library (Studies in epistemology, logic, methodology, and philosophy of science)1971DordrechtSpringer365810.1007/978-94-010-3146-2_2
– reference: CossentinoMGaudNHilaireVGallandSKoukamAASPECS: An agent-oriented software process for engineering complex systemsAutonomous Agents and Multi-Agent Systems201020226030410.1007/s10458-009-9099-4
– reference: Winikoff, M., Liu, W., & Harland, J. (2005). Enhancing commitment machines. In Leite et al. [226] (pp. 198–220). https://doi.org/10.1007/11493402_12.
– reference: MulrowCDSystematic reviews: Rationale for systematic reviewsBritish Medical Journal1994309695459759910.1136/bmj.309.6954.597
– reference: Fisher, M. (2006). MetateM: The story so far. In R. H. Bordini, M. M. Dastani, J. Dix, & A. El Fallah Seghrouchni (Eds.), Programming multi-agent systems (ProMAS 2005), Lecture notes in computer science (Vol. 3862, pp. 3–22). Berlin: Springer. https://doi.org/10.1007/11678823_1.
– reference: MascardiVMartelliMSterlingLLogic-based specification languages for intelligent software agentsTheory and Practice of Logic Programming200444429494207107510.1017/S14710684040020291085.68131
– reference: Helsinger, A., Thome, M., & Wright, T. (2004). Cougaar: A scalable, distributed multi-agent architecture. In International conference on systems, man and cybernetics (Vol. 2, pp. 1910–1917). The Hague: IEEE. https://doi.org/10.1109/ICSMC.2004.1399959.
– reference: Ricci, A., Piunti, M., & Viroli, M. (2011). Environment programming in multi-agent systems: An artifact-based perspective. Autonomous Agents and Multi-Agent Systems, 23(2), 158–192. https://doi.org/10.1007/s10458-010-9140-7. Special issue: Multi-agent programming.
– reference: LevesqueHJReiterRLespéranceYLinFScherlRBGolog: A logic programming language for dynamic domainsThe Journal of Logic Programming1997311–35983144684210.1016/S0743-1066(96)00121-5
– reference: Ancona, D., Drossopoulou, S., & Mascardi, V. (2012). Automatic generation of self-monitoring MASs from multiparty global session types in Jason. In Baldoni et al. [20] (pp. 76–95). https://doi.org/10.1007/978-3-642-37890-4_5.
– reference: WooldridgeMCiancariniPCiancariniPWooldridgeMJAgent-oriented software engineering: The state of the artAgent-oriented software engineering, Lecture notes in computer science2001BerlinSpringer12810.1007/3-540-44564-1_1
– reference: AlsinetTBéjarRGodoLGuitartFRP-DeLP: A weighted defeasible argumentation framework based on a recursive semanticsJournal of Logic and Computation201426413151360356666010.1093/logcom/exu0081354.68243
– reference: The White House OSTP. (2020). American artificial intelligence initiative: Year one annual report. https://www.whitehouse.gov/wp-content/uploads/2020/02/American-AI-Initiative-One-Year-Annual-Report.pdf.
– reference: Casadei, M., & Omicini, A. (2008). Situating A&A ReSpecT for pervasive environment applications. In L. J. B. Nixon, M. Bortenschlager, E. Simperl, & R. Tolksdorf (Eds.), 17th IEEE International workshops on enabling technologies: Infrastructures for collaborative enterprises. Workshop on coordination models and applications (CoMA 2008), IEEE WETICE 2008 (pp. 76–81). Rome: IEEE Computer Society. https://doi.org/10.1109/WETICE.2008.31.
– reference: Riemsdijk, B., Hoek, W., & Meyer, J. J. C. (2003). Agent programming in Dribble: From beliefs to goals with plans. In Formal approaches to agent-based systems, Lecture notes in computer science (Vol. 2699, pp. 294–295). Berlin: Springer. https://doi.org/10.1007/978-3-540-45133-4_32.
– reference: DasguptaAGhoseAKImplementing reactive BDI agents with user-given constraints and objectivesInternational Journal of Agent-Oriented Software Engineering20104214110.1504/IJAOSE.2010.032799
– reference: PollockJLOSCAR: A general-purpose defeasible reasonerJournal of Applied Non-classical Logics19966189113138125910.1080/11663081.1996.10510868
– reference: Barringer, H., Fisher, M., Gabbay, D., Gough, G., & Owens, R. (1990). MetateM: A framework for programming in temporal logic. In J. W. de Bakker, W. P. de Roever, & G. Rozenberg (Eds.), Stepwise refinement of distributed systems models, formalisms, correctness, Lecture notes in computer science (Vol. 430, pp. 94–129). Berlin: Springer. https://doi.org/10.1007/3-540-52559-9_62.
– reference: Garcia-Serrano, A., Vioque, D. T., Carbone, F., & Mendez, V. (2003). FIPA-compliant MAS development for road traffic management with a knowledge-based approach: The TRACK-R agents. In Challenges open agent systems workshop, Melbourne, Australia.
– reference: Köhler-BußmeierMWester-EbbinghausMBraubachLvan der HoekWPettaPPokahrASONAR: A multi-agent infrastructure for active application architectures and inter-organisational information systemsMultiagent system technologies, Lecture notes in computer science2009BerlinSpringer24825710.1007/978-3-642-04143-3_27
– reference: Viroli, M., Holvoet, T., Ricci, A., Schelfthout, K., & Zambonelli, F. (2007). Infrastructures for the environment of multiagent systems. Autonomous Agents and Multi-Agent Systems,14(1), 49–60. https://doi.org/10.1007/s10458-006-9001-6. Special issue: Environment for multi-agent systems.
– reference: LeiteJASonTCTorroniPvan der TorreLWoltranSComputational logic in multi-agent systems, Lecture notes in computer science2013BerlinSpringer10.1007/978-3-642-40624-9
– reference: Pilecki, J., Bednarczyk, M. A., & Jamroga, W. (2014). Synthesis and verification of uniform strategies for multi-agent systems. In Bulling et al. [57] (pp. 166–182). https://doi.org/10.1007/978-3-319-09764-0_11.
– reference: LindahlLPosition and change: A study in law and logic, Synthese library2012BerlinSpringer10.1007/978-94-010-1202-7
– reference: Lützenberger, M., Küster, T., & Konnerth, T. (2013). JIAC V—A MAS framework for industrial applications. In International conference on autonomous agents and multi-agent systems, IFAAMAS (pp. 1189–1190). http://dl.acm.org/citation.cfm?id=2485136.
– reference: MascardiVAnconaDBarbieriMBordiniRHRicciACooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology servicesWeb Intelligence and Agent Systems20141218310710.3233/WIA-140287
– reference: Omicini, A., & Zambonelli, F. (2004). MAS as complex systems: A view on the role of declarative approaches. In Leite et al. [225] (pp. 1–17). https://doi.org/10.1007/978-3-540-25932-9_1.
– reference: Baldoni, M., Baroglio, C., Martelli, A., & Patti, V. (2003). Reasoning about self and others: Communicating agents in a modal action logic. In C. Blundo & C. Laneve (Eds.), Theoretical computer science. ICTCS 2003, Lecture notes in computer science (Vol. 2841, pp. 228–241). Berlin: Springer. https://doi.org/10.1007/978-3-540-45208-9_19.
– reference: Clark, K., Hengst, B., Pagnucco, M., Rajaratnam, D., Robinson, P., Sammut, C., et al. (2016). A framework for integrating symbolic and sub-symbolic representations. In S. Kambhampati (Ed.), 25th International joint conference on artificial intelligence (IJCAI-16) (pp. 2486–2492). IJCAI/AAAI Press. http://www.ijcai.org/Abstract/16/354.
– reference: HluchýLLaclavikMBaloghZBabikMAgentowl: Semantic knowledge model and agent architectureComputers and Artificial Intelligence20062554214391115.68517
– reference: Chesani, F., Gavanelli, M., Alberti, M., Lamma, E., Mello, P., & Torroni, P. (2006). Specification and verification of agent interaction using abductive reasoning. In Lecture notes in computer science. Berlin: Springer (pp. 243–264). https://doi.org/10.1007/11750734_14.
– reference: Lomuscio, A., & Raimondi, F. (2006). MCMAS: A model checker for multi-agent systems. In H. Hermanns & J. Palsberg (Eds.), Tools and algorithms for the construction and analysis of systems. TACAS 2006, Lecture notes in computer science (Vol. 3920, pp. 450–454). Berlin: Springer. https://doi.org/10.1007/11691372_31.
– reference: Bordini, R. H., Hübner, J. F., & Wooldridge, M. (2007). Programming multi-agent systems in AgentSpeak using Jason. In Wiley series in agent technology. Hoboken, NJ: Wiley. https://doi.org/10.5555/1197104.
– reference: CiattoGDi MarzoSGLouvelMMarianiSOmiciniAZambonelliFTwenty years of coordination technologies: COORDINATION contribution to the state of artJournal of Logical and Algebraic Methods in Programming2020113125407696110.1016/j.jlamp.2020.100531
– reference: Rao, A. S. (1996). AgentSpeak(L): BDI agents speak out in a logical computable language. In W. Van de Velde & J. W. Perram (Eds.), Agents breaking away, Lecture notes in computer science (Vol. 1038, pp. 42–55). Berlin: Springer. https://doi.org/10.1007/BFb0031845. 7th European workshop on modelling autonomous agents in a multi-agent world, MAAMAW ’96 Eindhoven, The Netherlands, January 22–25, 1996 proceedings.
– reference: MaJRussoABrodaKClarkKDARE: A system for distributed abductive reasoningAutonomous Agents and Multi-Agent Systems200816327129710.1007/s10458-008-9028-y
– reference: Shi, Z., Zhang, H., Cheng, Y., Jiang, Y., Sheng, Q., & Zhao, Z. (2004). MAGE: An agent-oriented software engineering environment. In 3rd International conference on cognitive informatics. Victoria: IEEE. https://doi.org/10.1109/COGINF.2004.1327482.
– reference: Bordini, R. H., & Hübner, J. F. (2006). BDI agent programming in AgentSpeak using Jason. In F. Toni & P. Torroni (Eds.), Computational logic in multi-agent systems, Lecture notes in computer science (Vol. 3900, pp. 143–164). Berlin: Springer. https://doi.org/10.1007/11750734_9.
– reference: Horrocks, I., Patel-Schneider, P. F., Boley, H., Tabet, S., Grosof, B., & Dean, M., et al. (2004). SWRL: A semantic web rule language combining OWL and RuleML. https://www.w3.org/Submission/SWRL/.
– reference: Fukuta, N., Ito, T., & Shintani, T. (2000). MiLog: A mobile agent framework for implementing intelligent information agents with logic programming. In Pacific Rim international workshop on intelligent information agents (pp. 113–123).
– reference: Martelli, M., Mascardi, V., & Zini, F. (1999). Specification and simulation of multi-agent systems in caselp. In M. C. Meo & M. V. Ferro (Eds.), Conference on declarative programming, AGP’99, L’Aquila (pp. 13–28).
– reference: BaldoniMDennisLMascardiVVasconcelosWDeclarative agent languages and technologies X, Lecture notes in computer science2012BerlinSpringer10.1007/978-3-642-37890-4
– reference: Hopton, L., Cliffe, O., Vos, M.D., & Padget, J. (2009). InstQL: A query language for virtual institutions using answer set programming. In Dix et al. [127] (pp. 102–121). https://doi.org/10.1007/978-3-642-16867-3_6.
– reference: Lee, J., Padget, J., Logan, B., Dybalova, D., & Alechina, N. (2014). N-Jason: Run-time norm compliance in AgentSpeak(l). In Dalpiaz et al. [105] (pp. 367–387). https://doi.org/10.1007/978-3-319-14484-9_19.
– reference: WaltonDReedCMacagnoFArgumentation schemes2008CambridgeCambridge University Press10.1017/cbo97805118020341179.03011
– reference: CostantiniSTocchioAFlescaSGrecoSIanniGLeoneNA logic programming language for multi-agent systemsLogics in artificial intelligence, Lecture notes in computer science2002BerlinSpringer11310.1007/3-540-45757-7_1
– reference: de BoerFSHindriksKVvan der HoekWMeyerJJCA verification framework for agent programming with declarative goalsJournal of Applied Logic200752277302231932410.1016/j.jal.2005.12.0141122.68078
– reference: Leite, J. A., Alferes, J. J., & Pereira, L. M. (2002). MINERVA—A dynamic logic programming agent architecture. In Intelligent agents VIII, Lecture notes in computer science (Vol. 2333, pp. 141–157). Berlin: Springer. https://doi.org/10.1007/3-540-45448-9_11.
– reference: Slota, M., & Leite, J. (2008). EVOLP: An implementation. In Sadri and Satoh [306] (pp. 288–298). https://doi.org/10.1007/978-3-540-88833-8_16.
– reference: Bikakis, A., & Antoniou, G. (2005). DR-Prolog: A system for defeasible reasoning with rules and ontologies on the semantic web. In 20th National conference on artificial intelligence, Pittsburgh, Pennsylvania (Vol. 5, pp. 1594–1595). https://doi.org/10.1109/TKDE.2007.29.
– reference: Shapiro, S., Lespérance, Y., & Levesque, H. J. (2002). The cognitive agents specification language and verification environment for multiagent systems. In 1st International joint conference on autonomous agents and multiagent systems (AAMAS 2002) (Vol. 1, pp. 19–26). Bologna: ACM. https://doi.org/10.1145/544741.544746.
– reference: BayardoRJJrBohrerWBriceRCichockiAFowlerJHelalAKashyapVKsiezykTMartinGNodineMInfoSleuth: Agent-based semantic integration of information in open and dynamic environmentsACM SIGMOD Record199726219520610.1145/253262.253294
– reference: Dastani, M., & Steunebrink, B. R. (2009). Operational semantics for BDI modules in multi-agent programming. In Dix et al. [127] (pp. 83–101). https://doi.org/10.1007/978-3-642-16867-3_5.
– reference: Shi, Z., Li, Y., Wang, W., Cao, H., & Jiang, T. (1998). AOSDE: An agent-oriented software development environment. In International conference on multi agent systems (ICMAS 1998). IEEE. https://doi.org/10.1109/ICMAS.1998.699289.
– reference: Šišlák, D., Volf, P., Kopřiva, Š., & Pěchouček, M. (2008). AGENTFLY: A multi-agent airspace test-bed (demo paper). In 7th International joint conference on autonomous agents and multiagent systems, ACM, Estoril, Portugal (pp. 1665–1666). http://www.ifaamas.org/Proceedings/aamas08/proceedings/pdf/demo/AAMAS08_demo5.pdf.
– reference: Denti, E., Omicini, A., & Ricci, A. (2001). tuProlog: A light-weight Prolog for Internet applications and infrastructures. In I. V. Ramakrishnan (Ed.), Practical aspects of declarative languages, Lecture notes in computer science (Vol. 1990, pp. 184–198). Berlin: Springer. https://doi.org/10.1007/3-540-45241-9_13. 3rd International symposium (PADL 2001), Las Vegas, NV, USA, 11–12 March 2001. Proceedings.
– reference: GennariJHMusenMAFergersonRWGrossoWECrubézyMErikssonHNoyNFTuSWThe evolution of Protégé: An environment for knowledge-based systems developmentInternational Journal of Human-Computer Studies20035818912310.1016/S1071-5819(02)00127-1
– reference: MeneguzziFLuckMBaldoniMSonTCvan RiemsdijkMBWinikoffMComposing high-level plans for declarative agent programmingDeclarative agent languages and technologies V, Lecture notes in computer science2007BerlinSpringer698510.1007/978-3-540-77564-5_5
– reference: Calejo, M. (2004). InterProlog: Towards a declarative embedding of logic programming in Java. In 9th European conference on logics in artificial intelligence (pp. 714–717). Lisbon: Springer. https://doi.org/10.1007/978-3-540-30227-8_64.
– reference: RijkLMDAristotle: Semantics and ontology. Volume I: General Introduction. The works on logic, Philosophia Antiqua2002LeidenBrill Academic Publishers
– reference: Simon, L., Mallya, A., Bansal, A., & Gupta, G. (2006). Coinductive logic programming. In S. Etalle & M. Truszczynski (Eds.), 22nd International conference on logic programming (ICLP 2006), Lecture notes in computer science (Vol. 4079, pp. 330–345). Berlin: Springer. https://doi.org/10.1007/11799573_25.
– reference: ThomasBShohamYSchwartzAKrausSPreliminary thoughts on an agent description languageInternational Journal of Intelligent Systems19916549750810.1002/int.45500605040734.68088
– reference: SchreiberGTAkkermansHKnowledge engineering and management: The CommonKADS methodology2000Cambridge, MAMIT Press10.5555/347025
– reference: LomuscioAQuHRaimondiFMCMAS: An open-source model checker for the verification of multi-agent systemsInternational Journal on Software Tools for Technology Transfer201719193010.1007/s10009-015-0378-x
– reference: Di Stefano, A., & Santoro, C. (2003). eXAT: An experimental tool for programming multi-agent systems in erlang. In G. Armano, F. D. Paoli, A. Omicini, & E. Vargiu (Eds.), WOA 2003—Dagli oggetti agli agenti: sistemi intelligenti e computazione pervasiva, Pitagora Editrice Bologna, Villasimius, CA (pp. 121–127).
– reference: Omicini, A., & Zambonelli, F. (1999). Coordination for Internet application development. Autonomous Agents and Multi-Agent Systems, 2(3), 251–269. https://doi.org/10.1023/A:1010060322135. Special issue: Coordination mechanisms for web agents.
– reference: SkylogiannisTAntoniouGBassiliadesNGovernatoriGBikakisADR-NEGOTIATE—A system for automated agent negotiation with defeasible logic-based strategiesData & Knowledge Engineering200763236238010.1016/j.datak.2007.03.004
– reference: Winikoff, M. (2009). JACKTM\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^{{\rm TM}}$$\end{document} intelligent agents: An industrial strength platform. In Håkansson et al. [167] (pp. 175–193). https://doi.org/10.1007/0-387-26350-0_7. 3rd KES International symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3–5, 2009. Proceedings.
– reference: BordiniRHBraubachLDastaniMFallah-SeghrouchniAEGómez-SanzJJLeiteJA survey of programming languages and platforms for multi-agent systemsInformatica (Slovenia)20063033441111.68373
– reference: LeiteJAOmiciniATorroniPYolumPDeclarative agent languages and technologies II, Lecture notes in computer science2005BerlinSpringer10.1007/b136890
– reference: CutkoskyMREngelmoreRSFikesREGeneserethMRGruberTRMarkWSTenenbaumJMWeberJCPACT: An experiment in integrating concurrent engineering systemsComputer1993261283710.1109/2.179153
– reference: GelfondMLifschitzVRepresenting action and change by logic programsThe Journal of Logic Programming1993172–4301321124041710.1016/0743-1066(93)90035-F0783.68024
– reference: Omicini, A., & Calegari, R. (2019). Injecting (micro)intelligence in the IoT: Logic-based approaches for (M)MAS. In D. Lin, T. Ishida, F. Zambonelli, & I. Noda (Eds.), Massively multi-agent systems II, Lecture notes in computer science (chapter 2), international workshop, MMAS 2018, Stockholm, Sweden, July 14, 2018 (Vol. 11422, pp. 21–35). Berlin: Springer. https://doi.org/10.1007/978-3-030-20937-7_2. Revised selected papers.
– reference: Kowalski, R. A. (1995). Logical foundations for multi-agent systems. In M. Alpuente & M. I. Sessa (Eds.), Conference on declarative programming, GULP-PRODE’95, Marina di Vietri, Italy (pp. 39–40).
– reference: ClarkKLMcCabeFGOntology oriented programming in Go!Applied Intelligence200624318920410.1007/s10489-006-8511-x
– reference: BahajMSoklabiAJAPL: The JADE agent programming languageJournal of Emerging Technologies in Web Intelligence20135327227810.4304/jetwi.5.3.272-277
– reference: MuggletonSInverse entailment and ProgolNew Generation Computing1995133–424528610.1007/BF03037227
– reference: Platon, E., Mamei, M., Sabouret, N., Honiden, S., & Parunak, H. V. D. (2007). Mechanisms for environments in multi-agent aystems: Survey and opportunities. Autonomous Agents and Multi-Agent Systems, 14(1), 31–47. https://doi.org/10.1007/s10458-006-9000-7. Special issue on Environments for multi-agent systems.
– reference: Serafini, L., & Tamilin, A. (2005). DRAGO: Distributed reasoning architecture for the semantic web. In A. Gómez-Pérez & J. Euzenat (Eds.), The semantic web: Research and applications (pp. 361–376). Berlin: Springer. https://doi.org/10.1007/11431053_25.
– reference: MoszkowskiBCExecuting temporal logic programs1986CambridgeCambridge University Press0565.68003
– reference: Lomuscio, A., & Raimondi, F. (2006). The complexity of model checking concurrent programs against CTLK specifications. In Baldoni and Endriss [17] (pp. 29–42). https://doi.org/10.1007/11961536_3.
– reference: NuteDGabbayDMHoggerCJRobinsonJADefeasible logicHandbook of logic in artificial intelligence and logic programming (chapter 7)1994New York, NYOxford University Press, Inc.353395
– reference: SadriFSatohKComputational logic in multi-agent systems, Lecture notes in computer science2007BerlinSpringer10.1007/978-3-540-88833-8
– reference: Teresa, A., Ramón, B., Guitart, F., & Godo, L. (2013). Web based system for weighted defeasible argumentation. In Leite et al. [227] (pp. 155–171). https://doi.org/10.1007/978-3-642-40624-9_10.
– reference: Franceschini, L. (2019). RML: Runtime monitoring language—A system-agnostic DSL for runtime verification. In 3rd International conference on art, science, and engineering of programming. New York, NY: ACM (pp. 28:1–28:3). https://doi.org/10.1145/3328433.3328462.
– reference: DyoubACostantiniSDe GasperisGAnswer set programming and agentsThe Knowledge Engineering Review201833e1910.1017/S0269888918000164
– reference: Dell’Acqua, P., Sadri, F., & Toni, F. (1998). Combining introspection and communication with rationality and reactivity in agents. In Logics in artificial intelligence, European workshop, JELIA ’98, Dagstuhl, Germany, October 12–15, 1998, proceedings (pp. 17–32). Berlin: Springer. https://doi.org/10.1007/3-540-49545-2_2.
– reference: EglyUGagglSAWoltranSGarcia de la BandaMPontelliEAspartix: Implementing argumentation frameworks using answer-set programmingLogic programming2008BerlinSpringer73473810.1007/978-3-540-89982-2_671226.68018
– reference: Dennis, L. A., Fisher, M., & Webster, M. (2013). Using agent JPF to build models for other model checkers. In Leite et al. [227] (pp. 273–289). https://doi.org/10.1007/978-3-642-40624-9_17.
– reference: Bordini, R. H., Fisher, M., Pardavila, C., Visser, W., & Wooldridge, M. (2003). Model checking multi-agent programs with CASP. In Computer aided verification, Lecture notes in computer science (Vol. 2725, pp. 110–113). Berlin: Springer. https://doi.org/10.1007/978-3-540-45069-6_10.
– reference: Demolombe, R., & Otermin Fernandez, A. M. (2006). Intention recognition in the situation calculus and probability theory frameworks. In Toni and Torroni [340] (pp. 358–372). https://doi.org/10.1007/11750734_20.
– reference: Baldoni, M., Baroglio, C., Gungui, I., Martelli, A., Martelli, M., Mascardi, V., et al. (2005). Reasoning about agents’ interaction protocols inside dcaselp. In Declarative agent languages and technologies II (pp. 112–131). Berlin: Springer. https://doi.org/10.1007/11493402_7.
– reference: NuteDFetzerJHDefeasible reasoning: A philosophical analysis in PrologAspects of artificial intelligence1988DordrechtSpringer25128810.1007/978-94-009-2699-8_9
– reference: Sycara, K., Lu, J., Klusch, M., & Widoff, S. (1999). Matchmaking among heterogeneous agents on the Internet. In AAAI spring symposium on intelligent agents in Cyberspace (pp. 22–24).
– reference: FisherMBordiniRHHirschBTorroniPComputational logics and agents: A road map of current technologies and future trendsComputational Intelligence20072316191236784210.1111/j.1467-8640.2007.00295.x
– reference: HolzmannGJThe model checker SPINIEEE Transactions on Software Engineering199723527929510.1109/32.588521
– reference: Bistarelli, S., Rossi, F., & Santini, F. (2014). Enumerating extensions on random abstract-AFs with ArgTools, Aspartix, ConArg2, and Dung-O-Matic. In Computational logic in multi-agent systems, Lecture notes in computer science (Vol. 8624, pp. 70–86). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-09764-0_5.
– reference: Yen, J., Yin, J., Ioerger, T. R., Miller, M. S., Xu, D., & Volz, R. A. (2001). CAST: Collaborative agents for simulating teamwork. In B. Nebel (Ed.), 7th International joint conference on artificial intelligence (pp. 1135–1144). Seattle, WA: Morgan Kaufmann. http://dl.acm.org/doi/10.5555/1642194.1642247.
– reference: Inoue, K., Satohand, F., & Toni, K. (Eds.). (2006). Computational logic in multi-agent systems, Lecture notes in computer science (Vol. 4371). Berlin: Springer. https://doi.org/10.1007/978-3-540-69619-3.
– reference: BordiniRHDastaniMDixJFallah-SeghrouchniAEMulti-agent programming. Languages, tools and applications2009BostonSpringer10.1007/978-0-387-89299-31169.68001
– reference: Clarke, E. M., & Emerson, E. A. (1981). Design and synthesis of synchronization skeletons using branching-time temporal logic. In D. Kozen (Ed.), Logics of programs, workshop, Yorktown Heights, New York, USA, May 1981, Lecture notes in computer science (Vol. 131, pp. 52–71). Berlin: Springer. https://doi.org/10.1007/BFb0025774.
– reference: BaaderFCalvaneseDMcGuinnessDPatel-SchneiderPNardiDThe description logic handbook: Theory, implementation, and applications2003CambridgeCambridge University Press1058.68107
– reference: Dastani, M., & van Zee, M. (2013). Belief caching in 2APL. In J. Leite, A. Omicini, P. Torroni, & P. Yolum (Eds.), Declarative agent languages and technologies, LNAI (Vol. 8245, pp. 117–136). Berlin: Springer. https://doi.org/10.1007/978-3-642-45343-4_7.
– reference: GabbayDGaltonAModal and temporal logic programmingTemporal logics and their applications1987New YorkAcademic Press Professional, Inc.19723710.5555/42251.42257
– reference: Hayashi, H., Tokura, S., Hasegawa, T., & Ozaki, F. (2005). Dynagent: An incremental forward-chaining HTN planning agent in dynamic domains. In Baldoni et al. [20] (pp. 171–187). https://doi.org/10.1007/11691792_11.
– reference: FungTHKowalskiRAThe IFF proof procedure for abductive logic programmingThe Journal of Logic Programming1997332151165146384210.1016/S0743-1066(97)00026-50890.68029
– reference: LiSAgentStra: An Internet-based multi-agent intelligent system for strategic decision-makingExpert Systems with Applications200733356557110.1016/j.eswa.2006.05.018
– reference: DennisLAFisherMWebsterMPBordiniRHModel checking agent programming languagesAutomated Software Engineering201219156310.1007/s10515-011-0088-x
– reference: AlbertiMChesaniFGavanelliMLammaEMelloPTorroniPVerifiable agent interaction in abductive logic programming: The SCIFF frameworkACM Transactions on Computational Logic (TOCL)20089429:129:4310.1145/1380572.13805781367.68273
– reference: WeynsDMascardiVRicciAEngineering multi-agent systems, Lecture notes in computer science2019StockholmSpringer10.1007/978-3-030-25693-7
– reference: Orgun, B., Dras, M., Cassidy, S., & Nayak, A. (2005). DASMAS: Dialogue based automation of semantic interoperability in multi agent systems. In T. Meyer & M. A. Orgun. (Eds.), Australasian ontology workshop (Vol. 58, pp. 75–82). Sydney: Australian Computer Society, Inc.
– reference: CostaVSRochaRDamasLThe YAP prolog systemTheory and Practice of Logic Programming2012121–2534288585310.1017/S14710684110005121244.68017
– reference: LifschitzVAptKRMarekVWTruszczynskiMWarrenDSAction languages, answer sets, and planningThe logic programming paradigm—A 25-year perspective, Artificial intelligence1999BerlinSpringer35737310.1007/978-3-642-60085-2_16
– reference: Pokorny, L. R., & Ramakrishnan, C. R. (2005). Modeling and verification of distributed autonomous agents using logic programming. In Leite et al. [225] (pp. 148–165). https://doi.org/10.1007/11493402_9.
– reference: Finin, T., Fritzson, R., McKay, D., & McEntire, R. (1994). KQML as an agent communication language. In A. R. Nabil, B. K. Bharat, & Y. Yesha (Eds.), 3rd International conference on information and knowledge management (pp. 456–463). New York, NY: ACM. https://doi.org/10.1145/191246.191322.
– reference: Halaç, T. G., Çetin, Ö., Ekinci, E. E., Erdur, R. C., & Dikenelli, O. (2009). Executing agent plans by reducing to workflows. In M. Baldoni, C. Baroglio, J. Bentahar, G. Boella, M. Cossentino, M. Dastani, et al. (Eds.), 2nd Multi-agent logics, languages, and organisations federated workshops (Vol. 494). http://ceur-ws.org/Vol-494/ladspaper10.pdf.
– reference: BryantREGraph-based algorithms for Boolean function manipulationIEEE Transactions on Computers198635867769110.1109/TC.1986.16768190593.94022
– reference: Syrjänen, T., & Niemelä, I. (2001). The smodels system. In T. Eiter, W. Faber, & M. l. Truszczyński (Eds.), International conference on logic programming and nonmonotonic reasoning, Lecture notes in computer science (Vol. 2173, pp. 434–438). Berlin: Springer. https://doi.org/10.1007/3-540-45402-0_38.
– reference: Bellifemine, F., Bergenti, F., Caire, G., & Poggi, A. (2009). Jade—A java agent development framework. In Håkansson et al. [167] 3rd KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3–5, 2009. Proceedings (pp. 125–147). https://doi.org/10.1007/0-387-26350-0_5.
– reference: Popper, K. R. (2002). The logic of scientific discovery (1st English edition: 1959). London: Routledge.
– reference: Klapiscak, T., & Bordini, R. H. (2008). JASDL: A practical programming approach combining agent and semantic web technologies. In Baldoni et al. [21] (pp. 91–110). https://doi.org/10.1007/978-3-540-93920-7_7.
– reference: Larsen, J. B. (2019). Adding organizational reasoning to agent-based simulations in GAMA. In Weyns et al. [351] (pp. 242–262). https://doi.org/10.1007/978-3-030-25693-7_13.
– reference: Himoff, J., Skobelev, P., & Wooldridge, M. (2005). MAGENTA technology. In 4th International joint conference on autonomous agents and multiagent systems (pp. 60–66). ACM. https://doi.org/10.1145/1082473.1082805.
– reference: Thimm, M. (2010). Realizing argumentation in multi-agent systems using defeasible logic programming. In P. McBurney, I. Rahwan, S. Parsons, & N. Maudet (Eds.), Argumentation in multi-agent systems (ArgMAS 2009), Lecture notes in computer science (Vol. 6057, pp. 175–194). Berlin: Springer. https://doi.org/10.1007/978-3-642-12805-9_11.
– reference: Håkansson, A., Nguyen, N. T., Hartung, R. L., Howlett, R. J., & Jain, L. C. (Eds.). (2009). Agent and multi-agent systems: Technologies and applications, Lecture notes in computer science, 3rd KES international symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3–5, 2009. Proceedings (Vol. 5559). Berlin: Springer. https://doi.org/10.1007/978-3-642-01665-3.
– reference: KwiatkowskaMNormanGParkerDFieldTHarrisonPGBradleyJHarderUPRISM: Probabilistic symbolic model checkerComputer performance evaluation: Modelling techniques and tools, Lecture notes in computer science2002BerlinSpringer20020410.1007/3-540-46029-2_13
– reference: Briola, D., Mascardi, V., & Ancona, D. (2014). Distributed runtime verification of JADE multiagent systems. In D. Camacho, L. Braubach, S. Venticinque, & C. Badica (Eds.), Intelligent distributed computing VIII—Proceedings of the 8th international symposium on intelligent distributed computing, IDC 2014, Madrid, Spain, September 3–5, 2014, Studies in computational intelligence (Vol. 570, pp. 81–91). Berlin: Springer. https://doi.org/10.1007/978-3-319-10422-5_10.
– reference: Hubner, J. F., Sichman, J. S., & Boissier, O. (2002). Moise+: Towards a structural, functional, and deontic model for MAS organization. In First international joint conference on autonomous agents and multiagent systems: Part 1 (AAMAS ’02) (pp. 501–502). New York, NY: ACM. https://doi.org/10.1145/544741.544858.
– reference: VieiraRMoreiraÁWooldridgeMBordiniRHOn the formal semantics of speech-act based communication in an agent-oriented programming languageJournal of Artificial Intelligence Research200729122126710.1613/jair.2221
– reference: MoralesJLSánchezPAlonsoDA systematic literature review of the teleo-reactive paradigmArtificial Intelligence Review201442494596410.1007/s10462-012-9350-2
– reference: Ricci, A., Bordini, R. H., Hübner, J. F., & Collier, R. (2019). AgentSpeak(ER): Enhanced encapsulation in agent plans. In Weyns et al. [351] (pp. 34–51). https://doi.org/10.1007/978-3-030-25693-7_3.
– reference: BullingNvan der TorreLVillataSJamrogaWVasconcelosWComputational logic in multi-agent systems, Lecture notes in computer science2014BerlinSpringer10.1007/978-3-319-09764-0
– reference: BaldoniMEndrissUOmiciniATorroniPDeclarative agent languages and technologies III, Lecture notes in computer science2005BerlinSpringer10.1007/11691792
– reference: ČermákPLomuscioAMogaveroFMuranoABiereABloemRMCMAS-SLK: A model checker for the verification of strategy logic specificationsComputer aided verification, Lecture notes in computer science2014ChamSpringer52553210.1007/978-3-319-08867-9_34
– reference: Chopra, A. K., & Singh, M. P. (2015). Cupid: Commitments in relational algebra. In B. Bonet & S. Koenig (Eds.), 29th AAAI conference on artificial intelligence (pp. 2052–2059). AAAI Press. http://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/view/9938.
– reference: Wooldridge, M., Muller, J. P., & Tambe, M. (1996). Agent theories, architectures, and languages: A bibliography. In M. Wooldridge, J. P. Müller, & M. Tambe (Eds.), Intelligent agents II agent theories, architectures, and languages, Lecture notes in computer science (Lecture notes in artificial intelligence) (Vol. 1037, pp. 408–431). Berlin: Springer. https://doi.org/10.1007/3540608052_81.
– reference: Hustadt, U., Dixon, C., Schmidt, R. A., Fisher, M., Meyer, J. J., & Van Der Hoek, W. (2000). Verification within the KARO agent theory. In J. Rash, W. Truszkowski, M. Hinchey, C. Rouff, & D. Gordon (Eds.), Formal approaches to agent-based systems (Vol. 1871, pp. 33–47). Berlin: Springer. https://doi.org/10.1007/3-540-45484-5_3.
– reference: Muldoon, C., O’Hare, G. M. P., Collier, R., & O’Grady, M. J. (2006). Agent factory micro edition: A framework for ambient applications. In V. N. Alexandrov, G. D. van Albada, P. M. A. Sloot, & J. Dongarra (Eds.), Computational science—ICCS 2006, Lecture notes in computer science (Vol. 3993, pp. 727–734). Berlin: Springer. https://doi.org/10.1007/11758532_95.
– reference: SadriFStathisKToniFNormative KGP agentsComputational & Mathematical Organization Theory2006122–310112610.1007/s10588-006-9539-51103.68721
– reference: Ancona, D., Ferrando, A., & Mascardi, V. (2016). Comparing trace expressions and linear temporal logic for runtime verification. In E. Ábrahám, M. M. Bonsangue, & E. B. Johnsen (Eds.), Theory and practice of formal methods—Essays dedicated to Frank de Boer on the occasion of his 60th birthday, Lecture notes in computer science (Vol. 9660, pp. 47–64). Berlin: Springer. https://doi.org/10.1007/978-3-319-30734-3_6.
– reference: Kitchenham, B., Brereton, O. P., Budgen, D., Turner, M., Bailey, J., Linkman, S. (2009). Systematic literature reviews in software engineering—A systematic literature review. Information and Software Technology,51(1), 7–15. https://doi.org/10.1016/j.infsof.2008.09.009. Special section—Most cited articles in 2002 and regular research papers
– reference: Hindriks, K. V., & van Riemsdijk, M. B. (2008). Using temporal logic to integrate goals and qualitative preferences into agent programming. In Baldoni et al. [21] (pp. 215–232). https://doi.org/10.1007/978-3-540-93920-7_14.
– reference: Dastani, M. M., Hindriks, K. V., Novák, P., & Tinnemeier, N. A. M. (2008). Combining multiple knowledge representation technologies into agent programming languages. In Baldoni et al. [21] (pp. 60–74). https://doi.org/10.1007/978-3-540-93920-7_5.
– reference: Finger, M., Fisher, M., & Owens, R. (1993). MetateM at work: Modelling reactive systems using executable temporal logic. In Sixth international conference on industrial and engineering applications of artificial intelligence and expert systems. Edinburgh: Gordon and Breach Publishers.
– reference: Hindriks, K. V. (2014). The shaping of the agent-oriented mindset. In Dalpiaz et al. [105] (pp. 1–14). https://doi.org/10.1007/978-3-319-14484-9_1.
– reference: De GiacomoGLespéranceYLevesqueHJConGolog, a concurrent programming language based on the situation calculusArtificial Intelligence20001211–2109169178351610.1016/S0004-3702(00)00031-X0948.68175
– reference: KoemanVJHindriksKVJonkerCMBaldoniMMullerJPNunesIZalila-WenksternRUsing automatic failure detection for cognitive agents in Eclipse (AAMAS 2016 DEMONSTRATION)Engineering multi-agent systems, Lecture notes in computer science2016ChamSpringer598010.1007/978-3-319-50983-9_4
– reference: McCarthyJRecursive functions of symbolic expressions and their computation by machine, part ICommunications of the ACM19603418419510.1145/367177.3671990101.10413
– reference: Mascardi, V., Martelli, M., & Gungui, I. (2007). DCaseLP: A prototyping environment for multi-language agent systems. In M. Dastani, A. E. Fallah-Seghrouchni, J. Leite, & P. Torroni (Eds.), Languages, methodologies and development tools for multi-agent systems, Lecture notes in computer science, 1st international workshop, LADS 2007, Durham, UK, September 4–6, 2007 (Vol. 5118, pp. 139–155). Berlin: Springer. https://doi.org/10.1007/978-3-540-85058-8_9. Revised selected papers.
– reference: Bechhofer, S., Van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D. L., Patel-Schneider, P. F., et al. (2004). OWL web ontology language reference. https://www.w3.org/TR/owl-guide/.
– reference: Lam, H. P., & Governatori, G. (2009). The making of SPINdle. In A. Paschke, G. Governatori, & J. Hall (Eds.), Rule interchange and applications (RuleML 2009), RuleML (pp. 315–322). Berlin: Springer. https://doi.org/10.1007/978-3-642-04985-9_29.
– reference: SirinEParsiaBGrauBCKalyanpurAKatzYPellet: A practical OWL-DL reasonerJournal of Web Semantics200752515310.1016/j.websem.2007.03.004
– reference: Suarez-Romero, J. A., Alonso-Betanzos, A., Guijarro-Berdinas, B., & Duran-Sanles, C. (2005). A tool for agent communication in Mozart/Oz. In IEEE/WIC/ACM International conference on intelligent agent technology (pp. 706–710). IEEE. https://doi.org/10.1109/IAT.2005.23.
– reference: Cost, R. S., Finin, T., Labrou, Y., Lua, X., Peng, Y., Soboroff, I., et al. (1998). Jackal: A Java-based tool for agent development. Working papers of the AAAI-98 workshop on software tools for developing agents.
– reference: KacprzakMLomuscioANiewiadomskiAPenczekWRaimondiFSzreterMComparing BDD and SAT based techniques for model checking Chaum’s dining cryptographers protocolFundamenta Informaticae2006721–321523422651631097.68074
– reference: BanerjeePFriedrichRBashCGoldsackPHubermanBManleyJPatelCRanganathanPVeitchAEverything as a service: Powering the new information economyIEEE Computer2011443364310.1109/MC.2011.67
– reference: Bistarelli, S., & Santini, F. (2011). ConArg: A constraint-based computational framework for argumentation systems. In 23rd International conference on tools with artificial intelligence (pp. 605–612). Boca Raton, FL: IEEE. https://doi.org/10.1109/ICTAI.2011.96.
– reference: LützenbergerMKonnerthTKüsterTLeitãoPKarnouskosSProgramming of multiagent applications with JIACIndustrial agents: Emerging applications of software agents in industry2015BostonMorgan Kaufmann38139810.1016/B978-0-12-800341-1.00021-8
– reference: Roy, P. V., & Haridi, S. (1999). Mozart: A programming system for agent applications. In D. De Schreye (Ed.), International workshop on distributed and internet programming with logic and constraint languages, MIT Press, Las Cruces, New Mexico, USA, Roy Van Peter, Haridi Seif, Skarmeas Nikolaos, Clark L. Keith, Maamar Zakaria and Brueckner A. Sven, part of International conference on logic programming (ICLP’99).
– reference: Vos, M. D., Crick, T., Padget, J., Brain, M., Cliffe, O., & Needham, J. (2005). LAIMA: A multi-agent platform using ordered choice logic programming. In Baldoni et al. [20] (pp. 72–88). https://doi.org/10.1007/11691792_5.
– reference: Calegari, R., Denti, E., Mariani, S., & Omicini, A. (2018). Logic programming as a service. Theory and Practice of Logic Programming, 18(5–6), 846–873. https://doi.org/10.1017/S1471068418000364. Special issue “Past and present (and future) of parallel and distributed computation in (constraint) logic programming”.
– reference: McIlraithSASonTCZengHSemantic web servicesIEEE Intelligent Systems2001162465310.1109/5254.920599
– reference: LangeDBMitsuruOProgramming and deploying Java Mobile Agents Aglets1998Boston, MAAddison-Wesley Longman Publishing Co., Inc.
– reference: Chesani, F., Mello, P., Montali, M., & Torroni, P. (2009). Verifying a-priori the composition of declarative specified services. In M. Baldoni, C. Baroglio, J. Bentahar, G. Boella, M. Cossentino, M. Dastani, et al. (Eds.), Multi-agent logics, languages, and organisations—Second international federated workshops, MALLOW’009, workshops proceedings, Turin, Italy (Vol. 494, pp. 14–21). http://ceur-ws.org/Vol-494/.
– reference: Hindriks, K. V. (2009). Programming rational agents in GOAL. In A. El Fallah Seghrouchni, J. Dix, M. Dastani, & R. H. Bordini (Eds.), Multi-agent programming: Languages, tools and applications. Boston, MA: Springer (pp. 119–157). https://doi.org/10.1007/978-0-387-89299-3_4.
– reference: Gammie, P., & Van Der Meyden, R. (2004). MCK: Model checking the logic of knowledge. In R. Alur & D. A. Peled (Eds.), International conference on computer aided verification, Lecture notes in computer science (Vol. 3114, pp. 479–483). Boston, MA: Springer. https://doi.org/10.1007/978-3-540-27813-9_41.
– reference: Freitas, A., Bordini, R. H., & Vieira, R. (2019). Designing multi-agent systems from ontology models. In D. Weyns, V. Mascardi, & A. Ricci (Eds.), Engineering multi-agent systems, Lecture notes in computer science (Vol. 11375, pp. 76–95). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-030-25693-7_5.
– reference: LeiteJAOmiciniASterlingLTorroniPDeclarative agent languages and technologies I, Lecture notes in computer science2004BerlinSpringer10.1007/b97923
– reference: LukeSCioffi-RevillaCPanaitLSullivanKBalanGMason: A multiagent simulation environmentSimulation200581751752710.1177/0037549705058073
– reference: Casadei, M., & Omicini, A. (2009). Situated tuple centres in ReSpecT. In S. Y. Shin, S. Ossowski, R. Menezes, & M. Viroli (Eds.), 24th Annual ACM symposium on applied computing (SAC 2009), ACM, Honolulu, Hawai’i, USA (Vol. III, pp. 1361–1368). https://doi.org/10.1145/1529282.1529586.
– reference: KolliaIGlimmBHorrocksIAntoniouGGrobelnikMSimperlEParsiaBPlexousakisDDe LeenheerPSPARQL query answering over owl ontologiesThe semantic web: Research and applications, Lecture notes in computer science2011BerlinSpringer38239610.1007/978-3-642-21034-1_26
– reference: Rao, A. S., & Georgeff, M. P. (1991). Modeling rational agents within a BDI-architecture. In J. F. Allen, R. Fikes, & E. Sandewall (Eds.), 2nd International conference on principles of knowledge representation and reasoning (KR’91) (pp. 473–484). Morgan Kaufmann Publishers Inc. https://doi.org/10.5555/3087158.3087205.
– reference: Ilghami, O. (2006). Documentation for JSHOP2. Technical Report CS-TR-4694, Department of Computer Science, University of Maryland.
– reference: Sadri, F., & Toni, F. (1999). Computational logic and multi-agent systems: A roadmap. Technical Report, Imperial College, London, UK: Department of Computing.
– reference: Omicini, A., Ricci, A., & Viroli, M. (2008). Artifacts in the A&A meta-model for multi-agent systems. Autonomous Agents and Multi-Agent Systems,17(3), 432–456. https://doi.org/10.1007/s10458-008-9053-x. Special issue on Foundations, advanced topics and industrial perspectives of multi-agent systems.
– reference: KravariKKontopoulosEBassiliadesNKonstantopoulosSPerantonisSKarkaletsisVSpyropoulosCDVourosGEMERALD: A multi-agent system for knowledge-based reasoning interoperability in the semantic webArtificial intelligence: Theories, models and applications, Lecture notes in computer science2010BerlinSpringer17318210.1007/978-3-642-12842-4_21
– reference: KroißCBurešTLogic-based modeling of information transfer in cyber-physical multi-agent systemsFuture Generation Computer Systems201656C12413910.1016/j.future.2015.09.013
– reference: KravariKPapatheodorouKAntoniouGBassiliadesNBassiliadesNGovernatoriGPaschkeAExtending a multi-agent reasoning interoperability framework with services for the semantic web logic and proof layersRule-based reasoning, programming, and applications2011BerlinSpringer294310.1007/978-3-642-22546-8_4
– reference: DastaniM2APL: A practical agent programming languageAutonomous Agents and Multi-Agent Systems200816321424810.1007/s10458-008-9036-y
– reference: Dennis, L., Tinnemeier, N., & Meyer, J. J. (2009). Model checking normative agent organisations. In Dix et al. [127] (pp. 64–82). https://doi.org/10.1007/978-3-642-16867-3_4.
– reference: CabriGLeonardiLZambonelliFMARS: A programmable coordination architecture for mobile agentsIEEE Internet Computing200044263510.1109/4236.865084
– reference: OmiciniARicciAZaghiniNCiancariniPWiklickyHDistributed workflow upon linkable coordination artifactsCoordination models and languages, Lecture notes in computer science2006BerlinSpringer22824610.1007/11767954_15
– reference: Abiteboul, S., & Hull, R. (1988). Data functions, datalog and negation (extended abstract). In H. Boral & P. Larson (Eds.), International conference on management of data (pp. 143–153). Chicago, IL: ACM. https://doi.org/10.1145/50202.50218.
– reference: Chen, M., Athanasiadis, D., Al Faiya, B., McArthur, S., Kockar, I., Lu, H., et al. (2017). Design of a multi-agent system for distributed voltage regulation. In 19th International conference on intelligent system application to power systems (pp. 1–6). San Antonio, TX: IEEE. https://doi.org/10.1109/ISAP.2017.8071400.
– reference: Omicini, A. (2001). SODA: Societies and infrastructures in the analysis and design of agent-based systems. In P. Ciancarini & M. J. Wooldridge (Eds.), Agent-oriented software engineering, Lecture notes in computer science, 1st international workshop (AOSE 2000), Limerick, Ireland, 10 June 2000 (Vol. 1957, pp. 185–193). Berlin: Springer. https://doi.org/10.1007/3-540-44564-1_12. Revised papers.
– reference: Shoham, Y. (1991). AGENT0: A simple agent language and its interpreter. In T. L. Dean & K. R. McKeown (Eds.), Proceedings of the 9th national conference on artificial intelligence (Vol. 2, pp. 704–709). AAAI Press/The MIT Press. http://www.aaai.org/Library/AAAI/1991/aaai91-110.php.
– reference: Borgida, A., & Serafini, L. (2003). Distributed description logics: Assimilating information from peer sources. In S. Spaccapietra, S. March, & K. Aberer (Eds.), Journal on Data Semantics I, Lecture notes in computer science (Vol. 2800, pp. 153–184). Berlin: Springer. https://doi.org/10.1007/978-3-540-39733-5_7.
– reference: Howden, N., Rönnquist, R., Hodgson, A., & Lucas, A. (2001). JACK intelligent agents—Summary of an agent infrastructure. In 2nd International workshop on infrastructure for agents, MAS, and scalable MAS.
– reference: Bosse, T., Jonker, C. M., van der Meij, L., & Treur, J. (2005). LEADSTO: A language and environment for analysis of dynamics by SimulaTiOn. In Innovations in applied artificial intelligence, Lecture notes in computer science (Vol. 3533, pp. 363–366). Berlin: Springer. https://doi.org/10.1007/11504894_51.
– reference: Malheiro, B., & Oliveira, E. (2001). Argumentation as distributed belief revision: Conflict resolution in decentralised co-operative multi-agent systems. In P. Brazdil & A. Jorge (Eds.), Progress in artificial intelligence, lecture notes in computer science (Vol. 2258, pp. 205–218). Berlin: Springer. https://doi.org/10.1007/3-540-45329-6_22.
– reference: da Silva, V. T., Garcia, A. F., Brandão, A., Chavez, C., de Lucena, C. J. P., & Alencar, P. S. C. (2002). Taming agents and objects in software engineering. In A. F. Garcia, C. J. P. de Lucena, F. Zambonelli, A. Omicini, & J. Castro (Eds.), Software engineering for large-scale multi-agent systems. SELMAS 2002, Lecture notes in computer science (Vol. 2603, pp. 1–26). Berlin: Springer. https://doi.org/10.1007/3-540-35828-5_1.
– reference: Wooldridge, M., Fisher, M., Huget, M. P., & Parsons, S. (2002). Model checking multi-agent systems with MABLE. In 1st International joint conference on autonomous agents and multiagent systems (AAMAS 2002) (pp. 952–959). Bologna: ACM. https://doi.org/10.1145/544862.544965.
– reference: Mascardi, V., Hendler, J., & Papaleo, L. (2012). Semantic web and declarative agent languages and technologies: Current and future trends. In Baldoni et al. [25]. https://doi.org/10.1007/978-3-642-37890-4_12.
– reference: McCabe, F. G., & Clark, K. L. (1995). April—Agent process interaction language. In M. J. Wooldridge & N. R. Jennings (Eds.), Intelligent agents, Lecture notes in computer science (Vol. 890, pp. 324–340). Berlin: Springer. https://doi.org/10.1007/3-540-58855-8_21.
– reference: Pnueli, A. (1977). The temporal logic of programs. In 18th Annual symposium on foundations of computer science (pp. 46–57). Providence, RI: IEEE Computer Society. https://doi.org/10.1109/SFCS.1977.32.
– reference: Hjelmblom, M., & Odelstad, J. (2009). jDALMAS: A Java/Prolog framework for deontic action-logic multi-agent systems. In Håkansson et al. [167] 3rd KES International symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3–5, 2009. Proceedings (pp. 110–119). https://doi.org/10.1007/978-3-642-01665-3_12.
– reference: Lillis, D., & Collier, R. W. (2010). ACRE: Agent communication reasoning engine. In O. Boissier, A. E. Fallah-Seghrouchni, S. Hassas, & N. Maudet (Eds.), Proceedings of the multi-agent logics, languages, and organisations federated workshops (MALLOW 2010), CEUR workshop proceedings (Vol. 627). https://CEUR-WS.org. http://ceur-ws.org/Vol-627/lads_1.pdf.
– reference: Costantini, S., & Tocchio, A. (2004). The DALI logic programming agent-oriented language. In J. J. Alferes & J. A. Leite (Eds.), Logics in artificial intelligence, 9th European conference, JELIA 2004, Lecture notes in computer science (Vol. 3229, pp. 685–688). Berlin: Springer. https://doi.org/10.1007/978-3-540-30227-8_57.
– reference: Bryl, V., Mello, P., Montali, M., Torroni, P., & Zannone, N. (2008). B\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\cal{B}}$$\end{document}-Tropos. Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification. In Sadri and Satoh [306] (pp. 157–176). https://doi.org/10.1007/978-3-540-88833-8_9.
– reference: SuchJMGarcía-FornesAEspinosaABellverJMagentix2: A privacy-enhancing agent platformEngineering Applications of Artificial Intelligence20132619610910.1016/j.engappai.2012.06.009
– reference: Dasgupta, A., & Ghose, A. K. (2010). BDI agents with objectives and preferences. In Omicini et al. [281] (pp. 22–39). https://doi.org/10.1007/978-3-642-20715-0_2.
– reference: Rao, A. S., & Georgeff, M. P. (1991). Asymmetry thesis and side-effect problems in linear-time and branching-time intention logics. In J. Mylopoulos & R. Reiter (Eds.), 12th International joint conference on artificial intelligence. Sydney, Australia, August 24–30, 1991 (pp. 498–505). Morgan Kaufmann. http://ijcai.org/Proceedings/91-1/Papers/077.pdf.
– reference: Arisha, K., Ozcan, F., Ross, R., Kraus, S., & Subrahmanian, V. (1998). IMPACT: The interactive maryland platform for agents collaborating together. In International conference on multi agent systems (Cat. No. 98EX160) (pp. 385–386). IEEE. https://doi.org/10.1109/ICMAS.1998.699225.
– reference: Moreira, Á. F., Vieira, R., Bordini, R. H., & Hübner, J. F. (2005). Agent-oriented programming with underlying ontological reasoning. In Baldoni et al. [20] (pp. 155–170). https://doi.org/10.1007/11691792_10.
– reference: Ferrando, S. P., & Onaindia, E. (2012). Defeasible argumentation for multi-agent planning in ambient intelligence applications. In 11th International conference on autonomous agents and multiagent systems—Volume 1 (pp. 509–516). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems. https://dl.acm.org/doi/10.5555/2343576.2343649.
– reference: HendlerJAgents and the semantic webIEEE Intelligent Systems2001162303710.1109/5254.920597
– reference: da Silva, D. M., & Vieira, R. (2007). Argonaut: Integrating Jason and Jena for context aware computing based on OWL ontologies. In Workshop on agents, web services, and ontologies—Integrated methodologies (AWESOME’007), Durham, UK (p. 19).
– reference: BaldoniMSonTCvan RiemsdijkBMWinikoffMDeclarative agent languages and technologies VI, Lecture notes in computer science2008BerlinSpringer10.1007/978-3-540-93920-7
– reference: Budgen, D., & Brereton, P. (2006). Performing systematic literature reviews in software engineering. In 28th International conference on software engineering (ICSE 2006) (pp. 1051–1052). New York, NY: ACM. https://doi.org/10.1145/1134285.1134500.
– reference: ShohamYAgent-oriented programmingArtificial Intelligence19936015192121689610.1016/0004-3702(93)90034-9
– reference: LiffitonMHSakallahKAAlgorithms for computing minimal unsatisfiable subsets of constraintsJournal of Automated Reasoning2007401133238792410.1007/s10817-007-9084-z1154.68510
– reference: WielemakerJSchrijversTTriskaMLagerTSWI-PrologTheory and Practice of Logic Programming2012121–26796288585510.1017/S14710684110004941244.68023
– reference: Esteva, M., Rosell, B., Rodriguez-Aguilar, J. A., & Arcos, J. L. (2004). AMELI: An agent-based middleware for electronic institutions. In 3rd International joint conference on autonomous agents and multiagent systems (pp. 236–243). https://doi.org/10.1109/AAMAS.2004.10060.
– reference: Mascardi, V., Demergasso, D., & Ancona, D. (2005). Languages for programming BDI-style agents: An overview. In 6th Workshop “From objects to agents” (WOA 2005) (Vol. 2005, pp. 9–15).
– reference: Nardini, E., Omicini, A., & Viroli, M. (2011). Description spaces with fuzziness. In M. J. Palakal, C. C. Hung, W. Chu, & W. E. Wong (Eds.), 26th Annual ACM symposium on applied computing (SAC 2011), artificial intelligence and agents, information systems, and software development, ACM, Tunghai University, TaiChung, Taiwan (Vol. II, pp. 869–876). https://doi.org/10.1145/1982185.1982375.
– reference: BauerBMüllerJPOdellJAgent UML: A formalism for specifying multiagent software systemsInternational Journal of Software Engineering and Knowledge Engineering200111320723010.1142/S0218194001000517
– reference: AbrialJRButlerMHallerstedeSHoangTSMehtaFVoisinLRodin: An open toolset for modelling and reasoning in Event-BInternational Journal on Software Tools for Technology Transfer201012644746610.1007/s10009-010-0145-y
– reference: Corapi, D., Sykes, D., Inoue, K., & Russo, A. (2011). Probabilistic rule learning in nonmonotonic domains. In J. A. Leite, P. Torroni, T. Ågotnes, G. Boella, & L. van der Torre (Eds.), Computational logic in multi-agent systems, Lecture notes in computer science (Vol. 6814, pp. 243–258). Berlin: Springer. https://doi.org/10.1007/978-3-642-22359-4_17.
– reference: AlurRHenzingerTAKupfermanOAlternating-time temporal logicJournal of the ACM2002495672713214709610.1145/585265.5852701326.68181
– reference: Calegari, R., Denti, E., Dovier, A., & Omicini, A. (2018). Extending logic programming with labelled variables: Model and semantics. Fundamenta Informaticae, 161(1–2), 53–74. https://doi.org/10.3233/FI-2018-1695. Special Issue CILC 2016.
– reference: Costantini, S. (2014). Towards active logic programming. In A. Brogi & P. Hill (Eds.), PLI workshop on COmponent-based software developement in computational logic (COCL’99). Paris. http://pages.di.unipi.it/brogi/cocl99.html.
– reference: Ciatto, G., Rizzato, L., Omicini, A., & Mariani, S. (2019). TuSoW: Tuple spaces for edge computing. In The 28th International conference on computer communications and networks (ICCCN 2019). Valencia: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ICCCN.2019.8846916.
– reference: Erol, K., Hendler, J. A., & Nau, D. S. (1994). HTN planning: Complexity and expressivity. In B. Hayes-Roth & R. E. Korf (Eds.), 12th National conference on artificial intelligence (Vol. 2, pp. 1123–1128). Seattle, WA: AAAI Press/The MIT Press. http://www.aaai.org/Library/AAAI/1994/aaai94-173.php.
– reference: Rao, A. S., & Georgeff, M. P. (1993). A model-theoretic approach to the verification of situated reasoning systems. In R. Bajcsy (Ed.), 13th International joint conference on artificial intelligence. Chambéry, France, August 28–September 3, 1993 (pp. 318–324). Morgan Kaufmann. http://ijcai.org/Proceedings/93-1/Papers/045.pdf.
– reference: SagonasKSwiftTWarrenDSXSB as an efficient deductive database engineSIGMOD Record199423244245310.1145/191843.191927
– reference: VidakovićMIvanovićMStantićDVidakovićJJezicGChen-BurgerYHowlettRJJainLCVlacicLŠperkaRHow research achievements can influence delivering of a course—Siebog agent middlewareAgents and multi-agent systems: Technologies and applications, smart innovation, systems and technologies2018ChamSpringer International Publishing11012010.1007/978-3-319-92031-3_11
– reference: Clark, K. L., & Robinson, P. J. (2015). Robotic agent programming in TeleoR. In IEEE International conference on robotics and automation (ICRA). Seattle, WA: IEEE (pp. 5040–5047).
– reference: BaldoniMBaroglioCMarengoEPattiVCapuzzimatiFEngineering commitment-based business protocols with the 2CL methodologyAutonomous Agents and Multi Agent Systems201428451955710.1007/s10458-013-9233-1
– reference: Bergenti, F. (2014). An introduction to the JADEL programming language. In 26th International conference on tools with artificial intelligence. IEEE. https://doi.org/10.1109/ICTAI.2014.147.
– reference: Fan, X., Yen, J., Miller, M. S., & Volz, R. A. (2005). The semantics of MALLET—An agent teamwork encoding language. In Leite et al. [226] (pp. 69–91). https://doi.org/10.1007/11493402_5.
– reference: HillEFJess in action: Java rule-based systems2003Greenwich, CTManning Publications Co.
– reference: WooldridgeMJenningsNRIntelligent agents: Theory and practiceKnowledge Engineering Review199510211515210.1017/S0269888900008122
– reference: BrazierFMDunin-KepliczBMJenningsNRTreurJDesire: Modelling multi-agent systems in a compositional formal frameworkInternational Journal of Cooperative Information Systems199761679410.1142/S0218843097000069
– reference: Toni, F. (2005). Multi-agent systems in computational logic: Challenges and outcomes of the socs project. In Toni and Torroni [340] (pp. 420–426). https://doi.org/10.1007/11750734_26.
– reference: Baldoni, M., Baroglio, C., Capuzzimati, F., Marengo, E., & Patti, V. (2012). A generalized commitment machine for 2CL protocols and its implementation. In Baldoni et al. [25] (pp. 96–115). https://doi.org/10.1007/978-3-642-37890-4_6.
– reference: Bevar, V., Costantini, S., Tocchio, A., & De Gasperis, G. (2012). A multi-agent system for industrial fault detection and repair. In Advances on practical applications of agents and multi-agent systems (pp. 47–55). Berlin: Springer. https://doi.org/10.1007/978-3-642-28786-2_5.
– reference: Dignum, V., Vázquez-Salceda, J., & Dignum, F. (2005). OMNI: Introducing social structure, norms and ontologies into agent organizations. In R. H. Bordini, M. M. Dastani, J. Dix, & A. El Fallah Seghrouchni (Eds.), Programming multi-agent systems, Lecture notes in computer science (Vol. 3346, pp. 181–198). Berlin: Springer. https://doi.org/10.1007/978-3-540-32260-3_10.
– reference: Fisher, M. (1992). A normal form for first-order temporal formulae. In D. Kapur (Ed.), Automated deduction—CADE-11 (pp. 370–384). Berlin: Springer. https://doi.org/10.1007/3-540-55602-8_178.
– reference: Fisher, M. (2006). Implementing temporal logics: Tools for execution and proof. In Inoue et al. [198] (pp. 129–142). https://doi.org/10.1007/11750734_8.
– reference: Ceccaroni, L. (2001). OntoWEDSS—An ontology-based environmental decision-support system for the management of wastewater treatment plants. PhD thesis, Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics. https://upcommons.upc.edu/handle/2117/93950.
– reference: Aldewereld, H., & Dignum, V. (2011). OperettA: Organization-oriented development environment. In Languages, methodologies, and development tools for multi-agent systems, Lecture notes in computer science (Vol. 6822, pp. 1–18). Berlin: Springer. https://doi.org/10.1007/978-3-642-22723-3_1.
– reference: DungPMOn the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person gamesArtificial Intelligence1995772321357136030410.1016/0004-3702(94)00041-X1013.68556
– reference: KowalskiRASadriFFrom logic programming towards multi-agent systemsAnnals of Mathematics and Artificial Intelligence1999253–4391419174981610.1023/A:10189342233830940.68017
– reference: Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., & Turner, H. (2004). Nonmonotonic causal theories. Artificial Intelligence,153(1), 49–104. https://doi.org/10.1016/j.artint.2002.12.001. Logical formalizations and commonsense reasoning
– reference: Konnerth, T., Hirsch, B., & Albayrak, S. (2006). JADL—An agent description language for smart agents. In Baldoni and Endriss [17] (pp. 141–155). https://doi.org/10.1007/11961536_10.
– reference: LloydJWFoundations of logic programming19872BerlinSpringer10.1007/978-3-642-83189-80668.68004
– reference: RussellSJordanHO’HareGMPCollierRWKlüglFOssowskiSAgent factory: A framework for prototyping logic-based AOP languagesMultiagent system technologies2011BerlinSpringer12513610.1007/978-3-642-24603-6_13
– reference: SeghrouchniAEFSunaABordiniRHDastaniMDixJEl Fallah SeghrouchniAClaim and Sympa: A programming environment for intelligent and mobile agentsMulti-agent programming2005Boston, MASpringer9512210.1007/0-387-26350-0_4
– reference: OmiciniADentiEFrom tuple spaces to tuple centresScience of Computer Programming200141327729410.1016/S0167-6423(01)00011-90989.68120
– reference: KrausSSycaraKEvenchikAReaching agreements through argumentation: A logical model and implementationArtificial Intelligence19981041–2169165340310.1016/S0004-3702(98)00078-20908.68033
– reference: OmiciniARicciAViroliMTimed environment for Web agentsWeb Intelligence and Agent Systems200752161175
– reference: Sesseler, R. (2002). Eine modulare architektur für dienstbasierte interaktion zwischen agenten. Doctoral thesis, Technischen Universität Berlin.
– reference: Inter4QL. (2019). Homepage. http://4ql.org/a-downloads-inter4ql.html.
– reference: PanYTuPHPontelliESonTCLeiteJOmiciniATorroniPYolumPConstruction of an agent-based framework for evolutionary biology: A progress reportDeclarative agent languages and technologies2005BerlinSpringer9211110.1007/11493402_6
– reference: Bromuri, S., Urovi, V., Contreras, P., & Stathis, K. (2008). A virtual e-retailing environment in GOLEM. In 4th International conference on intelligent environments. IEE. https://doi.org/10.1049/cp:20081174.
– reference: Snook, C., Butler, M., Edmunds, A., & Johnson, I. (2004). Rigorous development of reusable, domain-specific components, for complex applications. In J. Jurgens & R. France (Eds.), 3rd International workshop on critical systems development with UML, Lisbon, Portugal (pp. 115–129).
– reference: Carlsson, M., et al. (2020). SICStus Prolog user’s manual (release 4.6.0). Kista: Swedish Institute of Computer Science. https://sicstus.sics.se/sicstus/docs/latest4/pdf/sicstus.pdf.
– reference: Fernández Díaz, Á., Benac Earle, C., & Fredlund, LÅ. (2019). Pitfalls of Jason concurrency. In Weyns et al. [351] (pp. 19–33). https://doi.org/10.1007/978-3-030-25693-7_2.
– reference: Wallner, J. P., Weissenbacher, G., & Woltran, S. (2013). Advanced SAT techniques for abstract argumentation. In Computational logic in multi-agent systems, Lecture notes in artificial intelligence (Vol. 8143, pp. 138–154). Berlin: Springer. https://doi.org/10.1007/978-3-642-40624-9_9.
– reference: Russell, S. J., & Norvig, P. (2002). Artificial intelligence: A modern approach, 2nd edn. Englewood Cliffs, NJ: Prentice Hall/Pearson Education International. http://vig.prenhall.com/catalog/academic/product/1,4096,0137903952,00.html.
– reference: BaumannJHohlFRothermelKStraßerMMole—Concepts of a mobile agent systemWorld Wide Web19981312313710.1023/A:10192117143011009.68903
– reference: Esteva, M., De La Cruz, D., & Sierra, C. (2002). ISLANDER: An electronic institutions editor. In 1st International joint conference on autonomous agents and multiagent systems (AAMAS 2002) (pp. 1045–1052). ACM. https://doi.org/10.1145/545056.545069.
– reference: Hashmi, A., & Fallah-Seghrouchni, A. E. (2009). Temporal planning in dynamic environments for P-CLAIM agents. In M. Baldoni, C. Baroglio, J. Bentahar, G. Boella, M. Cossentino, M. Dastani, et al. (Eds.), 2nd Multi-agent logics, languages, and organisations federated workshops (Vol. 494). http://ceur-ws.org/Vol-494/ladspaper8.pdf.
– reference: Alur, R., Henzinger, T. A., Mang, F. Y., Qadeer, S., Rajamani, S. K., & Tasiran, S. (1998). MOCHA: Modularity in model checking. In Computer aided verification, Lecture notes in computer science (Vol. 1427, pp. 521–525). Berlin: Springer. https://doi.org/10.1007/BFb0028774.
– reference: Motomura, S., Kawamura, T., & Sugahara, K. (2005). Maglog: A mobile agent framework for distributed models. In 17th IASTED PDCS international conference, Phoenix, AZ, USA (pp. 414–420). http://www.actapress.com/Abstract.aspx?paperId=22336.
– reference: HornAOn sentences which are true of direct unions of algebrasJournal of Symbolic Logic195116114214023310.2307/22686610043.24801
– reference: Dennis, L. A., & Farwer, B. (2008). Gwendolen: A BDI language for verifiable agents. In B. Löwe (Ed.), AISB 2008 Symposium on logic and the simulation of interaction and reasoning (Vol. 9, pp. 16–23). Aberdeen: The Society for the Study of Artificial Intelligence and Simulation of Behaviour, University of Aberdeen.
– reference: NauDSAuTIlghamiOKuterUMurdockJWWuDYamanFSHOP2: An HTN planning systemJournal of Artificial Intelligence Research20032037940410.1613/jair.11411058.68106
– reference: ClarkKLMcCabeFGGo!—A multi-paradigm programming language for implementing multi-threaded agentsAnnals of Mathematics and Artificial Intelligence200441217120610.1023/B:AMAI.0000031195.87297.d91048.68027
– reference: De NicolaRFerrariGLPuglieseRKLAIM: A kernel language for agents interaction and mobilityTransactions on Software Engineering199824531533010.1109/32.685256
– reference: Nau, D., Cao, Y., Lotem, A., & Munoz-Avila, H. (1999). SHOP: Simple hierarchical ordered planner. In 16th International joint conference on artificial intelligence (IJCAI 1999) (Vol. 2, pp. 968–973). Stockholm: Morgan Kaufmann Publishers Inc. https://www.ijcai.org/Proceedings/1999-2.
– reference: Costantini, S. (2015). ACE: A flexible environment for complex event processing in logical agents. In M. Baldoni, L. Baresi, & M. Dastani. (Eds.), Engineering multi-agent systems (EMAS 2015), Lecture notes in computer science (Vol. 9318, pp. 70–91). Cham: Springer. https://doi.org/10.1007/978-3-319-26184-3_5.
– reference: Rodriguez, S., Gaud, N., & Galland, S. (2014). SARL: A general-purpose agent-oriented programming language. In 2014 IEEE/WIC/ACM International joint conferences on web intelligence (WI) and intelligent agent technologies (IAT) (Vol. 3, pp. 103–110). IEEE. https://doi.org/10.1109/WI-IAT.2014.156.
– reference: Hjelmblom, M. (2008). Deontic action-logic multi-agent systems in Prolog. Tech. Rep. 30, Uppsala University, this report is originally a thesis work for degree of Master of Science in Computer Science at Uppsala University. The thesis was written and presented under the author’s former name, Magnus Blom.
– reference: ClavelMEkerSLincolnPMeseguerJPrinciples of MaudeElectronic Notes in Theoretical Computer Science19964658910.1016/S1571-0661(04)00034-90912.68095
– reference: Niewiadomski, A., Penczek, W., & Szreter, M. (2004). VerICS 2004: A model checker for real time and multi-agent systems. In International workshop on concurrency, specification and programming (CS&P’04) (Vol. 170, pp. 88–99). Humboldt-Univeristaet, Berlino, Informatik-Berichte.
– reference: Pokahr, A., Braubach, L., & Lamersdorf, W. (2005). Jadex: A BDI reasoning engine. In Håkansson et al. [167] (pp. 149–174). https://doi.org/10.1007/0-387-26350-0_6. 3rd KES International symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3–5, 2009. Proceedings.
– reference: ToniFTorroniPComputational logic in multi-agent systems, Lecture notes in computer science2005BerlinSpringer10.1007/11750734
– reference: Baldoni, M., Baroglio, C., Mascardi, V., Omicini, A., & Torroni, P. (2010). Agents, multi-agent systems and declarative programming: Who, what, when, where, why, how? In A. Dovier & E. Pontelli (Eds.), A 25 year perspective on logic programming. Achievements of the Italian Association for Logic Programming, GULP, LNAI: State-of-the-art survey (chapter 10) (pp. 200–225). Berlin: Springer. https://doi.org/10.1007/978-3-642-14309-0_10.
– reference: Freitas, A., Schmidt, D., Panisson, A., Meneguzzi, F., Vieira, R., & Bordini, R. H. (2014). Semantic representations of agent plans and planning problem domains. In Dalpiaz et al. [105] (pp. 351–366). https://doi.org/10.1007/978-3-319-14484-9_18.
– reference: Boissier, O., Bordini, R. H., Hübner, J., Ricci, A., & Santi, A. (2013). Multi-agent oriented programming with JaCaMo. Science of Computer Programming, 78(6), 747–761. https://doi.org/10.1016/j.scico.2011.10.004. Special section on Agent-oriented design methods and programming techniques for distributed computing in dynamic and complex environments
– reference: Hayashi, H., Cho, K., & Ohsuga, A. (2005). A new HTN planning framework for agents in dynamic environments. In J. Dix & J. Leite (Eds.), Computational logic in multi-agent systems (CLIMA 2004), Lecture notes in computer science (Vol. 3259). Berlin: Springer (pp. 108–133). https://doi.org/10.1007/978-3-540-30200-1_7.
– reference: AntoniouGDimaresisNGovernatoriGA modal and deontic defeasible reasoning system for modelling policies and multi-agent systemsExpert Systems with Applications2009362, Part 24125413410.1016/j.eswa.2008.03.009
– reference: ChellasBFModal logic: An introduction1980CambridgeCambridge University Press10.1017/CBO97805116211920431.03009
– reference: Ancona, D., Ferrando, A., & Mascardi, V. (2017). Parametric runtime verification of multiagent systems. In K. Larson, M. Winikoff, S. Das, & E. H. Durfee (Eds.), 16th Conference on autonomous agents and multiagent systems, AAMAS 2017, São Paulo, Brazil, May 8–12, 2017 (pp. 1457–1459). São Paulo: ACM. http://dl.acm.org/citation.cfm?id=3091328.
– reference: Henz, M., Smolka, G., & Würtz, J. (1993). Oz—A programming language for multi-agent systems. In R. Bajcsy (Ed.), 13th International joint conference on artificial intelligence (pp. 404–409). Chambéry: Morgan Kaufmann Publishers Inc.
– reference: TorroniPChesaniFMelloPMontaliMBaldoniMBentaharJvan RiemsdijkMBLloydJSocial commitments in time: Satisfied or compensatedDeclarative agent languages and technologies VII, Lecture notes in computer science2009BerlinSpringer22824310.1007/978-3-642-11355-0_141274.68592
– reference: GarciaAJSimariGRDefeasible logic programming: An argumentative approachTheory and Practice of Logic Programming20044295138203445110.1017/S14710684030016741090.68015
– reference: Zatelli, M. R., Ricci, A., & Hübner, J. F. (2015). Evaluating different concurrency configurations for executing multi-agent systems. In M. Baldoni, L. Baresi, & M. Dastani (Eds.), Engineering multi-agent systems, Lecture notes in computer science (Vol. 9318, pp. 212–230). Berlin: Springer. https://doi.org/10.1007/978-3-319-26184-3_12.
– reference: Iglesias, C. A., Garijo, M., González, J. C., & Velasco, J. R. (1998). Analysis and design of multiagent systems using MAS-CommonKADS. In M. P. Singh, A. Rao, & M. J. Wooldridge (Eds.), Intelligent agents IV agent theories, architectures, and languages (pp. 313–327). Berlin: Springer. https://doi.org/10.1007/bfb0026768.
– reference: d’InvernoMLuckMGeorgeffMKinnyDWooldridgeMThe dMARS architecture: A specification of the distributed multi-agent reasoning systemAutonomous Agents and Multi-Agent Systems200491–255310.1023/B:AGNT.0000019688.11109.19
– ident: 9478_CR268
– volume-title: Engineering multi-agent systems, Lecture notes in computer science
  year: 2014
  ident: 9478_CR105
  doi: 10.1007/978-3-319-14484-9
– start-page: 734
  volume-title: Logic programming
  year: 2008
  ident: 9478_CR131
  doi: 10.1007/978-3-540-89982-2_67
– ident: 9478_CR159
– ident: 9478_CR360
  doi: 10.1007/978-3-319-26184-3_12
– ident: 9478_CR239
– ident: 9478_CR142
– ident: 9478_CR201
  doi: 10.1007/978-3-319-14484-9_7
– volume-title: Declarative agent languages and technologies II, Lecture notes in computer science
  year: 2005
  ident: 9478_CR226
  doi: 10.1007/b136890
– ident: 9478_CR90
  doi: 10.1007/978-3-642-22359-4_17
– ident: 9478_CR82
  doi: 10.1007/978-3-540-25932-9_4
– ident: 9478_CR325
– ident: 9478_CR42
  doi: 10.1007/11750734_9
– volume-title: The object data standard: ODMG 3.0
  year: 2000
  ident: 9478_CR66
– volume-title: Declarative agent languages and technologies X, Lecture notes in computer science
  year: 2012
  ident: 9478_CR25
  doi: 10.1007/978-3-642-37890-4
– ident: 9478_CR67
– ident: 9478_CR95
  doi: 10.1007/978-3-319-26184-3_5
– ident: 9478_CR24
  doi: 10.1007/978-3-642-37890-4_6
– volume: 12
  start-page: 157
  issue: 2
  year: 2017
  ident: 9478_CR151
  publication-title: Applied Ontology
  doi: 10.3233/AO-170182
– ident: 9478_CR347
  doi: 10.1007/978-3-642-40624-9_9
– ident: 9478_CR297
– ident: 9478_CR300
  doi: 10.1007/978-3-540-45133-4_32
– ident: 9478_CR101
  doi: 10.1007/978-3-319-51676-9_10
– ident: 9478_CR73
– volume-title: Declarative agent languages and technologies III, Lecture notes in computer science
  year: 2005
  ident: 9478_CR20
  doi: 10.1007/11691792
– ident: 9478_CR317
  doi: 10.1109/COGINF.2004.1327482
– volume: 58
  start-page: 89
  issue: 1
  year: 2003
  ident: 9478_CR162
  publication-title: International Journal of Human-Computer Studies
  doi: 10.1016/S1071-5819(02)00127-1
– start-page: 357
  volume-title: The logic programming paradigm—A 25-year perspective, Artificial intelligence
  year: 1999
  ident: 9478_CR231
  doi: 10.1007/978-3-642-60085-2_16
– volume: 26
  start-page: 1315
  issue: 4
  year: 2014
  ident: 9478_CR6
  publication-title: Journal of Logic and Computation
  doi: 10.1093/logcom/exu008
– ident: 9478_CR98
  doi: 10.1007/978-3-540-30227-8_57
– start-page: 228
  volume-title: Coordination models and languages, Lecture notes in computer science
  year: 2006
  ident: 9478_CR278
  doi: 10.1007/11767954_15
– ident: 9478_CR307
– start-page: 248
  volume-title: Multiagent system technologies, Lecture notes in computer science
  year: 2009
  ident: 9478_CR209
  doi: 10.1007/978-3-642-04143-3_27
– start-page: 69
  volume-title: Declarative agent languages and technologies V, Lecture notes in computer science
  year: 2007
  ident: 9478_CR255
  doi: 10.1007/978-3-540-77564-5_5
– ident: 9478_CR104
  doi: 10.1007/3-540-35828-5_1
– ident: 9478_CR150
  doi: 10.1007/978-3-319-14484-9_18
– ident: 9478_CR274
  doi: 10.1007/978-3-030-20937-7_2
– volume: 17
  start-page: 301
  issue: 2–4
  year: 1993
  ident: 9478_CR161
  publication-title: The Journal of Logic Programming
  doi: 10.1016/0743-1066(93)90035-F
– volume: 72
  start-page: 215
  issue: 1–3
  year: 2006
  ident: 9478_CR203
  publication-title: Fundamenta Informaticae
– ident: 9478_CR52
  doi: 10.1007/978-3-319-10422-5_10
– ident: 9478_CR51
  doi: 10.1007/BFb0013586
– volume-title: Declarative agent languages and technologies VIII, Lecture notes in computer science
  year: 2010
  ident: 9478_CR281
  doi: 10.1007/978-3-642-20715-0
– ident: 9478_CR359
– ident: 9478_CR313
– volume: 13
  start-page: 16
  issue: 3
  year: 1992
  ident: 9478_CR349
  publication-title: ACM SIGOIS Bulletin
  doi: 10.1145/152683.152701
– volume: 4
  start-page: 65
  year: 1996
  ident: 9478_CR86
  publication-title: Electronic Notes in Theoretical Computer Science
  doi: 10.1016/S1571-0661(04)00034-9
– volume: 20
  start-page: 260
  issue: 2
  year: 2010
  ident: 9478_CR91
  publication-title: Autonomous Agents and Multi-Agent Systems
  doi: 10.1007/s10458-009-9099-4
– volume: 12
  start-page: 67
  issue: 1–2
  year: 2012
  ident: 9478_CR352
  publication-title: Theory and Practice of Logic Programming
  doi: 10.1017/S1471068411000494
– ident: 9478_CR43
  doi: 10.1007/978-3-540-45069-6_10
– ident: 9478_CR276
  doi: 10.1023/A:1010060322135
– ident: 9478_CR337
  doi: 10.1007/3-540-58855-8_23
– volume-title: Computational logic in multi-agent systems, Lecture notes in computer science
  year: 2013
  ident: 9478_CR227
  doi: 10.1007/978-3-642-40624-9
– ident: 9478_CR74
– start-page: 29
  volume-title: Rule-based reasoning, programming, and applications
  year: 2011
  ident: 9478_CR216
  doi: 10.1007/978-3-642-22546-8_4
– ident: 9478_CR335
  doi: 10.1007/978-3-642-12805-9_11
– ident: 9478_CR202
  doi: 10.1007/978-3-642-14977-1_17
– volume-title: Declarative agent languages and technologies IV, Lecture notes in computer science
  year: 2006
  ident: 9478_CR17
  doi: 10.1007/11961536
– ident: 9478_CR223
  doi: 10.1007/978-3-319-14484-9_19
– ident: 9478_CR183
  doi: 10.1007/3-540-44631-1_16
– ident: 9478_CR286
  doi: 10.1007/s10458-006-9000-7
– ident: 9478_CR153
– ident: 9478_CR119
– volume: 30
  start-page: 33
  year: 2006
  ident: 9478_CR44
  publication-title: Informatica (Slovenia)
– start-page: 92
  volume-title: Declarative agent languages and technologies
  year: 2005
  ident: 9478_CR283
  doi: 10.1007/11493402_6
– ident: 9478_CR80
– volume: 40
  start-page: 1
  issue: 1
  year: 2007
  ident: 9478_CR230
  publication-title: Journal of Automated Reasoning
  doi: 10.1007/s10817-007-9084-z
– volume-title: Knowledge engineering and management: The CommonKADS methodology
  year: 2000
  ident: 9478_CR310
  doi: 10.5555/347025
– ident: 9478_CR178
  doi: 10.1145/1082473.1082805
– ident: 9478_CR318
– ident: 9478_CR357
  doi: 10.1007/3540608052_81
– start-page: 1
  volume-title: Logics in artificial intelligence, Lecture notes in computer science
  year: 2002
  ident: 9478_CR97
  doi: 10.1007/3-540-45757-7_1
– volume: 12
  start-page: 101
  issue: 2–3
  year: 2006
  ident: 9478_CR308
  publication-title: Computational & Mathematical Organization Theory
  doi: 10.1007/s10588-006-9539-5
– volume: 37
  start-page: 65
  issue: 1
  year: 2003
  ident: 9478_CR77
  publication-title: Annals of Mathematics and Artificial Intelligence
  doi: 10.1023/A:1020259411066
– ident: 9478_CR244
– ident: 9478_CR117
  doi: 10.1007/11750734_20
– volume-title: Parallel program design: A foundation
  year: 1988
  ident: 9478_CR69
– volume: 29
  start-page: 221
  issue: 1
  year: 2007
  ident: 9478_CR343
  publication-title: Journal of Artificial Intelligence Research
  doi: 10.1613/jair.2221
– ident: 9478_CR10
  doi: 10.1007/978-3-319-30734-3_6
– ident: 9478_CR292
– ident: 9478_CR256
  doi: 10.1016/S0924-3542(96)80008-9
– volume: 31
  start-page: 59
  issue: 1–3
  year: 1997
  ident: 9478_CR228
  publication-title: The Journal of Logic Programming
  doi: 10.1016/S0743-1066(96)00121-5
– ident: 9478_CR346
  doi: 10.1109/SMC.2014.6974499
– volume: 23
  start-page: 442
  issue: 2
  year: 1994
  ident: 9478_CR309
  publication-title: SIGMOD Record
  doi: 10.1145/191843.191927
– ident: 9478_CR299
  doi: 10.1007/978-3-030-25693-7_3
– volume: 41
  start-page: 171
  issue: 2
  year: 2004
  ident: 9478_CR81
  publication-title: Annals of Mathematics and Artificial Intelligence
  doi: 10.1023/B:AMAI.0000031195.87297.d9
– ident: 9478_CR326
– ident: 9478_CR344
  doi: 10.1007/s10458-006-9001-6
– volume: 104
  start-page: 1
  issue: 1–2
  year: 1998
  ident: 9478_CR214
  publication-title: Artificial Intelligence
  doi: 10.1016/S0004-3702(98)00078-2
– ident: 9478_CR92
  doi: 10.1145/301136.301233
– ident: 9478_CR34
  doi: 10.1007/0-387-26350-0_5
– ident: 9478_CR144
  doi: 10.1007/3-540-55602-8_178
– ident: 9478_CR338
  doi: 10.1007/11750734_26
– volume: 5
  start-page: 272
  issue: 3
  year: 2013
  ident: 9478_CR16
  publication-title: Journal of Emerging Technologies in Web Intelligence
  doi: 10.4304/jetwi.5.3.272-277
– volume: 12
  start-page: 83
  issue: 1
  year: 2014
  ident: 9478_CR249
  publication-title: Web Intelligence and Agent Systems
  doi: 10.3233/WIA-140287
– volume: 1
  start-page: 123
  issue: 3
  year: 1998
  ident: 9478_CR31
  publication-title: World Wide Web
  doi: 10.1023/A:1019211714301
– ident: 9478_CR332
– ident: 9478_CR179
  doi: 10.1007/978-0-387-89299-3_4
– ident: 9478_CR165
  doi: 10.1007/978-3-319-14484-9_3
– ident: 9478_CR184
– volume-title: Cochrane handbook for systematic reviews of interventions, Cochrane book series
  year: 2008
  ident: 9478_CR176
  doi: 10.1002/9780470712184
– volume: 18
  start-page: 239
  issue: 2
  year: 2009
  ident: 9478_CR166
  publication-title: Autonomous Agents and Multi-Agent Systems
  doi: 10.1007/s10458-008-9042-0
– ident: 9478_CR236
  doi: 10.1007/11691372_31
– ident: 9478_CR38
  doi: 10.1109/ICTAI.2011.96
– ident: 9478_CR329
– ident: 9478_CR157
  doi: 10.1007/978-3-540-27813-9_41
– ident: 9478_CR63
– ident: 9478_CR232
– volume: 12
  start-page: 5
  issue: 1–2
  year: 2012
  ident: 9478_CR93
  publication-title: Theory and Practice of Logic Programming
  doi: 10.1017/S1471068411000512
– ident: 9478_CR235
  doi: 10.1007/11961536_3
– ident: 9478_CR72
  doi: 10.1007/11750734_14
– ident: 9478_CR143
  doi: 10.1145/191246.191322
– start-page: 251
  volume-title: Aspects of artificial intelligence
  year: 1988
  ident: 9478_CR271
  doi: 10.1007/978-94-009-2699-8_9
– ident: 9478_CR18
  doi: 10.1007/978-3-540-45208-9_19
– volume: 81
  start-page: 517
  issue: 7
  year: 2005
  ident: 9478_CR238
  publication-title: Simulation
  doi: 10.1177/0037549705058073
– ident: 9478_CR198
  doi: 10.1007/978-3-540-69619-3
– volume: 41
  start-page: 277
  issue: 3
  year: 2001
  ident: 9478_CR275
  publication-title: Science of Computer Programming
  doi: 10.1016/S0167-6423(01)00011-9
– ident: 9478_CR303
– ident: 9478_CR137
– ident: 9478_CR224
  doi: 10.1007/3-540-45448-9_11
– ident: 9478_CR320
  doi: 10.1007/11799573_25
– ident: 9478_CR288
  doi: 10.1007/0-387-26350-0_6
– ident: 9478_CR118
  doi: 10.1007/978-3-642-16867-3_4
– ident: 9478_CR78
  doi: 10.1109/ICCCN.2019.8846916
– volume: 17
  start-page: 191
  issue: 3
  year: 2006
  ident: 9478_CR270
  publication-title: Journal of Intelligent and Fuzzy Systems
– ident: 9478_CR354
  doi: 10.1007/11493402_12
– volume-title: Foundations of logic programming
  year: 1987
  ident: 9478_CR234
  doi: 10.1007/978-3-642-83189-8
– volume: 4
  start-page: 26
  issue: 4
  year: 2000
  ident: 9478_CR58
  publication-title: IEEE Internet Computing
  doi: 10.1109/4236.865084
– volume: 2
  start-page: 357
  issue: 4
  year: 1999
  ident: 9478_CR182
  publication-title: Autonomous Agents and Multi-Agent Systems
  doi: 10.1023/A:1010084620690
– start-page: 381
  volume-title: Industrial agents: Emerging applications of software agents in industry
  year: 2015
  ident: 9478_CR240
  doi: 10.1016/B978-0-12-800341-1.00021-8
– ident: 9478_CR287
  doi: 10.1109/SFCS.1977.32
– ident: 9478_CR193
  doi: 10.1145/544741.544858
– ident: 9478_CR207
  doi: 10.1007/978-3-540-93920-7_7
– ident: 9478_CR62
  doi: 10.1007/978-3-540-30227-8_64
– ident: 9478_CR247
  doi: 10.1007/978-3-540-85058-8_9
– volume-title: Modal logic: An introduction
  year: 1980
  ident: 9478_CR70
  doi: 10.1017/CBO9780511621192
– ident: 9478_CR264
  doi: 10.1145/1982185.1982375
– volume: 6
  start-page: 89
  issue: 1
  year: 1996
  ident: 9478_CR290
  publication-title: Journal of Applied Non-classical Logics
  doi: 10.1080/11663081.1996.10510868
– ident: 9478_CR3
  doi: 10.1007/11558590_14
– ident: 9478_CR132
  doi: 10.1007/978-3-540-25936-7_5
– start-page: 95
  volume-title: Multi-agent programming
  year: 2005
  ident: 9478_CR311
  doi: 10.1007/0-387-26350-0_4
– volume: 44
  start-page: 36
  issue: 3
  year: 2011
  ident: 9478_CR27
  publication-title: IEEE Computer
  doi: 10.1109/MC.2011.67
– ident: 9478_CR258
  doi: 10.1007/11691792_10
– volume: 39
  start-page: 77
  issue: 4
  year: 2018
  ident: 9478_CR156
  publication-title: AI Magazine
  doi: 10.1609/aimag.v39i4.2781
– ident: 9478_CR136
  doi: 10.1145/545056.545069
– ident: 9478_CR35
  doi: 10.1109/ICTAI.2014.147
– ident: 9478_CR37
  doi: 10.1109/TKDE.2007.29
– volume: 309
  start-page: 597
  issue: 6954
  year: 1994
  ident: 9478_CR263
  publication-title: British Medical Journal
  doi: 10.1136/bmj.309.6954.597
– volume: 33
  start-page: e19
  year: 2018
  ident: 9478_CR130
  publication-title: The Knowledge Engineering Review
  doi: 10.1017/S0269888918000164
– ident: 9478_CR114
  doi: 10.1007/978-0-387-89299-3_2
– ident: 9478_CR9
  doi: 10.1007/978-3-642-37890-4_5
– ident: 9478_CR180
  doi: 10.1007/978-3-319-14484-9_1
– ident: 9478_CR199
– volume: 10
  start-page: 344
  issue: 4
  year: 2019
  ident: 9478_CR61
  publication-title: International Journal of Grid and Utility Computing
  doi: 10.1504/IJGUC.2019.10022135
– ident: 9478_CR96
  doi: 10.1007/978-3-319-46840-2_7
– ident: 9478_CR111
  doi: 10.1007/978-3-540-93920-7_5
– ident: 9478_CR109
  doi: 10.1007/978-3-642-16867-3_5
– volume: 23
  start-page: 279
  issue: 5
  year: 1997
  ident: 9478_CR188
  publication-title: IEEE Transactions on Software Engineering
  doi: 10.1109/32.588521
– ident: 9478_CR316
  doi: 10.1109/ICMAS.1998.699289
– ident: 9478_CR149
  doi: 10.1145/3328433.3328462
– ident: 9478_CR273
  doi: 10.1007/3-540-44564-1_12
– start-page: 353
  volume-title: Handbook of logic in artificial intelligence and logic programming (chapter 7)
  year: 1994
  ident: 9478_CR272
  doi: 10.1093/oso/9780198537472.003.0007
– volume: 16
  start-page: 214
  issue: 3
  year: 2008
  ident: 9478_CR108
  publication-title: Autonomous Agents and Multi-Agent Systems
  doi: 10.1007/s10458-008-9036-y
– volume: 16
  start-page: 30
  issue: 2
  year: 2001
  ident: 9478_CR174
  publication-title: IEEE Intelligent Systems
  doi: 10.1109/5254.920597
– start-page: 382
  volume-title: The semantic web: Research and applications, Lecture notes in computer science
  year: 2011
  ident: 9478_CR210
  doi: 10.1007/978-3-642-21034-1_26
– volume: 121
  start-page: 109
  issue: 1–2
  year: 2000
  ident: 9478_CR113
  publication-title: Artificial Intelligence
  doi: 10.1016/S0004-3702(00)00031-X
– ident: 9478_CR248
  doi: 10.1007/978-3-642-37890-4_12
– ident: 9478_CR314
– ident: 9478_CR75
  doi: 10.1109/ICIPS.1997.672754
– ident: 9478_CR353
– volume: 20
  start-page: 379
  year: 2003
  ident: 9478_CR267
  publication-title: Journal of Artificial Intelligence Research
  doi: 10.1613/jair.1141
– ident: 9478_CR55
  doi: 10.1007/978-3-540-88833-8_9
– volume: 25
  start-page: 391
  issue: 3–4
  year: 1999
  ident: 9478_CR213
  publication-title: Annals of Mathematics and Artificial Intelligence
  doi: 10.1023/A:1018934223383
– volume: 63
  start-page: 362
  issue: 2
  year: 2007
  ident: 9478_CR323
  publication-title: Data & Knowledge Engineering
  doi: 10.1016/j.datak.2007.03.004
– ident: 9478_CR350
  doi: 10.1007/s10458-006-0012-0
– ident: 9478_CR48
  doi: 10.1007/11504894_51
– ident: 9478_CR1
  doi: 10.1145/50202.50218
– volume: 49
  start-page: 672
  issue: 5
  year: 2002
  ident: 9478_CR8
  publication-title: Journal of the ACM
  doi: 10.1145/585265.585270
– ident: 9478_CR280
  doi: 10.1007/s10458-008-9053-x
– ident: 9478_CR23
  doi: 10.1007/978-3-642-14309-0_10
– ident: 9478_CR99
  doi: 10.1007/978-3-540-88833-8_10
– ident: 9478_CR116
  doi: 10.1007/3-540-49545-2_2
– ident: 9478_CR282
– ident: 9478_CR251
  doi: 10.1007/3-540-58855-8_21
– ident: 9478_CR333
  doi: 10.1007/978-3-642-40624-9_10
– volume: 12
  start-page: 447
  issue: 6
  year: 2010
  ident: 9478_CR2
  publication-title: International Journal on Software Tools for Technology Transfer
  doi: 10.1007/s10009-010-0145-y
– volume-title: Executing temporal logic programs
  year: 1986
  ident: 9478_CR259
– ident: 9478_CR181
  doi: 10.1007/978-3-540-93920-7_14
– ident: 9478_CR76
– start-page: 110
  volume-title: Agents and multi-agent systems: Technologies and applications, smart innovation, systems and technologies
  year: 2018
  ident: 9478_CR342
  doi: 10.1007/978-3-319-92031-3_11
– ident: 9478_CR85
  doi: 10.1007/BFb0025774
– volume: 16
  start-page: 271
  issue: 3
  year: 2008
  ident: 9478_CR241
  publication-title: Autonomous Agents and Multi-Agent Systems
  doi: 10.1007/s10458-008-9028-y
– start-page: 125
  volume-title: Multiagent system technologies
  year: 2011
  ident: 9478_CR304
  doi: 10.1007/978-3-642-24603-6_13
– ident: 9478_CR196
  doi: 10.1007/BFb0026768
– ident: 9478_CR327
  doi: 10.1109/IAT.2005.23
– volume-title: Engineering multi-agent systems, Lecture notes in computer science
  year: 2019
  ident: 9478_CR351
  doi: 10.1007/978-3-030-25693-7
– ident: 9478_CR197
– start-page: 36
  volume-title: Deontic logic: Introductory and systematic readings, synthese library (Studies in epistemology, logic, methodology, and philosophy of science)
  year: 1971
  ident: 9478_CR205
  doi: 10.1007/978-94-010-3146-2_2
– ident: 9478_CR302
  doi: 10.1109/WI-IAT.2014.156
– ident: 9478_CR19
  doi: 10.1007/11493402_7
– ident: 9478_CR29
  doi: 10.1007/3-540-52559-9_62
– ident: 9478_CR260
– volume: 21
  start-page: 211
  issue: 2
  year: 2011
  ident: 9478_CR243
  publication-title: Journal of Applied Non-Classical Logics
  doi: 10.3166/jancl.21.211-232
– volume: 28
  start-page: 203
  issue: 3
  year: 1990
  ident: 9478_CR330
  publication-title: Theory and Decision
  doi: 10.1007/BF00162699
– ident: 9478_CR106
  doi: 10.1007/978-3-642-20715-0_2
– volume: 26
  start-page: 96
  issue: 1
  year: 2013
  ident: 9478_CR328
  publication-title: Engineering Applications of Artificial Intelligence
  doi: 10.1016/j.engappai.2012.06.009
– volume: 9
  start-page: 29:1
  issue: 4
  year: 2008
  ident: 9478_CR4
  publication-title: ACM Transactions on Computational Logic (TOCL)
  doi: 10.1145/1380572.1380578
– start-page: 995
  volume-title: Formal models and semantics, Handbook of theoretical computer science
  year: 1990
  ident: 9478_CR134
  doi: 10.1016/B978-0-444-88074-1.50021-4
– ident: 9478_CR294
– volume: 33
  start-page: 565
  issue: 3
  year: 2007
  ident: 9478_CR229
  publication-title: Expert Systems with Applications
  doi: 10.1016/j.eswa.2006.05.018
– volume-title: Aristotle: Semantics and ontology. Volume I: General Introduction. The works on logic, Philosophia Antiqua
  year: 2002
  ident: 9478_CR301
– volume: 23
  start-page: 61
  issue: 1
  year: 2007
  ident: 9478_CR147
  publication-title: Computational Intelligence
  doi: 10.1111/j.1467-8640.2007.00295.x
– ident: 9478_CR94
– volume: 4
  start-page: 429
  issue: 4
  year: 2004
  ident: 9478_CR245
  publication-title: Theory and Practice of Logic Programming
  doi: 10.1017/S1471068404002029
– ident: 9478_CR191
– ident: 9478_CR289
  doi: 10.1007/11493402_9
– ident: 9478_CR59
  doi: 10.3233/FI-2018-1695
– ident: 9478_CR87
– ident: 9478_CR173
  doi: 10.1109/ICSMC.2004.1399959
– volume: 6
  start-page: 67
  issue: 1
  year: 1997
  ident: 9478_CR50
  publication-title: International Journal of Cooperative Information Systems
  doi: 10.1142/S0218843097000069
– volume: 28
  start-page: 519
  issue: 4
  year: 2014
  ident: 9478_CR26
  publication-title: Autonomous Agents and Multi Agent Systems
  doi: 10.1007/s10458-013-9233-1
– volume: 19
  start-page: 9
  issue: 1
  year: 2017
  ident: 9478_CR237
  publication-title: International Journal on Software Tools for Technology Transfer
  doi: 10.1007/s10009-015-0378-x
– ident: 9478_CR49
  doi: 10.1007/978-3-642-60085-2_1
– ident: 9478_CR171
  doi: 10.1007/978-3-540-30200-1_7
– ident: 9478_CR334
– volume: 2
  start-page: 366
  issue: 4
  year: 2000
  ident: 9478_CR170
  publication-title: International Journal on Software Tools for Technology Transfer (STTT)
  doi: 10.1007/s100090050043
– ident: 9478_CR167
  doi: 10.1007/978-3-642-01665-3
– ident: 9478_CR168
– volume-title: Argumentation schemes
  year: 2008
  ident: 9478_CR348
  doi: 10.1017/cbo9780511802034
– volume: 7
  start-page: 174
  issue: 2
  year: 2000
  ident: 9478_CR187
  publication-title: ACM Transactions on Computer-Human Interaction (TOCHI)
  doi: 10.1145/353485.353487
– volume: 4
  start-page: 141
  issue: 2
  year: 2010
  ident: 9478_CR107
  publication-title: International Journal of Agent-Oriented Software Engineering
  doi: 10.1504/IJAOSE.2010.032799
– ident: 9478_CR146
  doi: 10.1007/11678823_1
– ident: 9478_CR284
  doi: 10.1007/978-3-319-50983-9_8
– ident: 9478_CR125
  doi: 10.1007/978-3-540-32260-3_10
– ident: 9478_CR140
– ident: 9478_CR295
– volume-title: Computational logic in multi-agent systems, Lecture notes in computer science
  year: 2005
  ident: 9478_CR340
  doi: 10.1007/11750734
– ident: 9478_CR266
– volume: 19
  start-page: 5
  issue: 1
  year: 2012
  ident: 9478_CR120
  publication-title: Automated Software Engineering
  doi: 10.1007/s10515-011-0088-x
– ident: 9478_CR145
  doi: 10.1007/11750734_8
– volume: 35
  start-page: 677
  issue: 8
  year: 1986
  ident: 9478_CR54
  publication-title: IEEE Transactions on Computers
  doi: 10.1109/TC.1986.1676819
– volume: 24
  start-page: 189
  issue: 3
  year: 2006
  ident: 9478_CR83
  publication-title: Applied Intelligence
  doi: 10.1007/s10489-006-8511-x
– ident: 9478_CR139
  doi: 10.1007/978-3-030-25693-7_2
– ident: 9478_CR64
  doi: 10.1109/WETICE.2008.31
– ident: 9478_CR53
  doi: 10.1049/cp:20081174
– ident: 9478_CR358
  doi: 10.1145/544862.544965
– volume-title: Programming and deploying Java Mobile Agents Aglets
  year: 1998
  ident: 9478_CR221
– ident: 9478_CR152
  doi: 10.1007/978-3-030-25693-7_5
– ident: 9478_CR189
  doi: 10.1007/978-3-642-16867-3_6
– ident: 9478_CR253
– volume: 10
  start-page: 115
  issue: 2
  year: 1995
  ident: 9478_CR356
  publication-title: Knowledge Engineering Review
  doi: 10.1017/S0269888900008122
– volume: 42
  start-page: 945
  issue: 4
  year: 2014
  ident: 9478_CR257
  publication-title: Artificial Intelligence Review
  doi: 10.1007/s10462-012-9350-2
– ident: 9478_CR7
  doi: 10.1007/BFb0028774
– ident: 9478_CR122
  doi: 10.1007/3-540-45241-9_13
– ident: 9478_CR298
  doi: 10.1007/s10458-010-9140-7
– volume: 24
  start-page: 315
  issue: 5
  year: 1998
  ident: 9478_CR115
  publication-title: Transactions on Software Engineering
  doi: 10.1109/32.685256
– ident: 9478_CR220
  doi: 10.1007/978-3-642-04985-9_29
– volume: 36
  start-page: 4125
  issue: 2, Part 2
  year: 2009
  ident: 9478_CR12
  publication-title: Expert Systems with Applications
  doi: 10.1016/j.eswa.2008.03.009
– volume: 5
  start-page: 277
  issue: 2
  year: 2007
  ident: 9478_CR112
  publication-title: Journal of Applied Logic
  doi: 10.1016/j.jal.2005.12.014
– volume: 9
  start-page: 5
  issue: 1–2
  year: 2004
  ident: 9478_CR126
  publication-title: Autonomous Agents and Multi-Agent Systems
  doi: 10.1023/B:AGNT.0000019688.11109.19
– volume: 77
  start-page: 321
  issue: 2
  year: 1995
  ident: 9478_CR129
  publication-title: Artificial Intelligence
  doi: 10.1016/0004-3702(94)00041-X
– volume-title: Computational logic in multi-agent systems, Lecture notes in computer science
  year: 2007
  ident: 9478_CR306
  doi: 10.1007/978-3-540-88833-8
– start-page: 200
  volume-title: Computer performance evaluation: Modelling techniques and tools, Lecture notes in computer science
  year: 2002
  ident: 9478_CR219
  doi: 10.1007/3-540-46029-2_13
– volume-title: Jess in action: Java rule-based systems
  year: 2003
  ident: 9478_CR177
– start-page: 228
  volume-title: Declarative agent languages and technologies VII, Lecture notes in computer science
  year: 2009
  ident: 9478_CR341
  doi: 10.1007/978-3-642-11355-0_14
– volume: 11
  start-page: 207
  issue: 3
  year: 2001
  ident: 9478_CR30
  publication-title: International Journal of Software Engineering and Knowledge Engineering
  doi: 10.1142/S0218194001000517
– ident: 9478_CR324
  doi: 10.1007/978-3-540-88833-8_16
– ident: 9478_CR124
  doi: 10.1109/IAT.2005.141
– ident: 9478_CR148
  doi: 10.1145/860575.860659
– volume: 13
  start-page: 245
  issue: 3–4
  year: 1995
  ident: 9478_CR261
  publication-title: New Generation Computing
  doi: 10.1007/BF03037227
– ident: 9478_CR39
  doi: 10.1007/978-3-319-09764-0_5
– ident: 9478_CR345
  doi: 10.1007/11691792_5
– volume-title: Position and change: A study in law and logic, Synthese library
  year: 2012
  ident: 9478_CR233
  doi: 10.1007/978-94-010-1202-7
– ident: 9478_CR103
– volume: 26
  start-page: 195
  issue: 2
  year: 1997
  ident: 9478_CR32
  publication-title: ACM SIGMOD Record
  doi: 10.1145/253262.253294
– ident: 9478_CR242
  doi: 10.1007/3-540-45329-6_22
– volume: 4
  start-page: 95
  issue: 2
  year: 2004
  ident: 9478_CR158
  publication-title: Theory and Practice of Logic Programming
  doi: 10.1017/S1471068403001674
– volume-title: Computational logic in multi-agent systems, Lecture notes in computer science
  year: 2014
  ident: 9478_CR57
  doi: 10.1007/978-3-319-09764-0
– volume: 5
  start-page: 51
  issue: 2
  year: 2007
  ident: 9478_CR321
  publication-title: Journal of Web Semantics
  doi: 10.1016/j.websem.2007.03.004
– ident: 9478_CR262
  doi: 10.1007/11758532_95
– ident: 9478_CR194
  doi: 10.1007/978-3-642-14977-1_11
– volume: 1
  start-page: 93
  issue: 2
  year: 2010
  ident: 9478_CR293
  publication-title: Argument and Computation
  doi: 10.1080/19462160903564592
– ident: 9478_CR172
  doi: 10.1007/11691792_11
– volume: 5
  start-page: 99
  issue: B
  year: 2001
  ident: 9478_CR269
  publication-title: Electronic Transactions on Artificial Intelligence
– ident: 9478_CR40
  doi: 10.1007/978-3-319-09764-0_6
– ident: 9478_CR265
  doi: 10.1016/j.scico.2012.10.004
– ident: 9478_CR11
– ident: 9478_CR71
  doi: 10.1109/ISAP.2017.8071400
– ident: 9478_CR212
– ident: 9478_CR315
  doi: 10.1145/544741.544746
– ident: 9478_CR285
  doi: 10.1007/978-3-319-09764-0_11
– ident: 9478_CR123
– ident: 9478_CR312
  doi: 10.1007/11431053_25
– ident: 9478_CR222
  doi: 10.1007/978-3-030-25693-7_13
– ident: 9478_CR169
– ident: 9478_CR277
  doi: 10.1007/978-3-540-25932-9_1
– volume: 113
  start-page: 1
  year: 2020
  ident: 9478_CR79
  publication-title: Journal of Logical and Algebraic Methods in Programming
  doi: 10.1016/j.jlamp.2020.100531
– start-page: 197
  volume-title: Temporal logics and their applications
  year: 1987
  ident: 9478_CR155
  doi: 10.5555/42251.42257
– start-page: 59
  volume-title: Engineering multi-agent systems, Lecture notes in computer science
  year: 2016
  ident: 9478_CR208
  doi: 10.1007/978-3-319-50983-9_4
– ident: 9478_CR5
  doi: 10.1007/978-3-642-22723-3_1
– ident: 9478_CR206
  doi: 10.1016/j.infsof.2008.09.009
– ident: 9478_CR246
– ident: 9478_CR110
  doi: 10.1007/978-3-642-45343-4_7
– volume-title: Declarative agent languages and technologies I, Lecture notes in computer science
  year: 2004
  ident: 9478_CR225
  doi: 10.1007/b97923
– ident: 9478_CR56
  doi: 10.1145/1134285.1134500
– ident: 9478_CR133
  doi: 10.1007/978-3-642-20715-0_11
– ident: 9478_CR175
– volume-title: Declarative agent languages and technologies VI, Lecture notes in computer science
  year: 2008
  ident: 9478_CR21
  doi: 10.1007/978-3-540-93920-7
– volume: 5
  start-page: 161
  issue: 2
  year: 2007
  ident: 9478_CR279
  publication-title: Web Intelligence and Agent Systems
– ident: 9478_CR339
  doi: 10.1007/11750734_26
– ident: 9478_CR47
  doi: 10.1007/978-3-540-39733-5_7
– volume: 16
  start-page: 14
  issue: 1
  year: 1951
  ident: 9478_CR190
  publication-title: Journal of Symbolic Logic
  doi: 10.2307/2268661
– ident: 9478_CR331
  doi: 10.1007/3-540-45402-0_38
– volume: 60
  start-page: 51
  issue: 1
  year: 1993
  ident: 9478_CR319
  publication-title: Artificial Intelligence
  doi: 10.1016/0004-3702(93)90034-9
– ident: 9478_CR195
  doi: 10.1007/3-540-45484-5_3
– volume: 4
  start-page: 50
  issue: 4
  year: 1989
  ident: 9478_CR250
  publication-title: IEEE Intelligent Systems
  doi: 10.1109/64.43285
– ident: 9478_CR291
– ident: 9478_CR192
– ident: 9478_CR163
  doi: 10.1016/j.artint.2002.12.001
– volume: 6
  start-page: 497
  issue: 5
  year: 1991
  ident: 9478_CR336
  publication-title: International Journal of Intelligent Systems
  doi: 10.1002/int.4550060504
– ident: 9478_CR65
  doi: 10.1145/1529282.1529586
– ident: 9478_CR211
  doi: 10.1007/11961536_10
– start-page: 1
  volume-title: Agent-oriented software engineering, Lecture notes in computer science
  year: 2001
  ident: 9478_CR355
  doi: 10.1007/3-540-44564-1_1
– volume-title: Multi-agent programming. Languages, tools and applications
  year: 2009
  ident: 9478_CR46
  doi: 10.1007/978-0-387-89299-3
– ident: 9478_CR88
  doi: 10.1007/978-3-319-25524-8_22
– volume: 26
  start-page: 28
  issue: 1
  year: 1993
  ident: 9478_CR102
  publication-title: Computer
  doi: 10.1109/2.179153
– volume: 58
  start-page: 82
  year: 2020
  ident: 9478_CR28
  publication-title: Information Fusion
  doi: 10.1016/j.inffus.2019.12.012
– volume: 2
  start-page: 719
  issue: 6
  year: 1992
  ident: 9478_CR204
  publication-title: Journal of Logic and Computation
  doi: 10.1093/logcom/2.6.719
– ident: 9478_CR121
  doi: 10.1007/978-3-642-40624-9_17
– ident: 9478_CR200
  doi: 10.1145/41625.41635
– ident: 9478_CR36
  doi: 10.1007/978-3-642-28786-2_5
– ident: 9478_CR138
  doi: 10.1007/11493402_5
– volume-title: The description logic handbook: Theory, implementation, and applications
  year: 2003
  ident: 9478_CR15
– volume: 25
  start-page: 421
  issue: 5
  year: 2006
  ident: 9478_CR186
  publication-title: Computers and Artificial Intelligence
– volume: 56
  start-page: 124
  issue: C
  year: 2016
  ident: 9478_CR218
  publication-title: Future Generation Computer Systems
  doi: 10.1016/j.future.2015.09.013
– ident: 9478_CR185
  doi: 10.1007/978-3-642-01665-3_12
– ident: 9478_CR217
– ident: 9478_CR296
– volume-title: Computational logic in multi-agent systems, Lecture notes in computer science
  year: 2009
  ident: 9478_CR127
  doi: 10.1007/978-3-642-16867-3
– ident: 9478_CR135
– volume: 16
  start-page: 46
  issue: 2
  year: 2001
  ident: 9478_CR254
  publication-title: IEEE Intelligent Systems
  doi: 10.1109/5254.920599
– ident: 9478_CR141
– ident: 9478_CR33
– ident: 9478_CR322
– volume: 7
  start-page: 80
  issue: 1
  year: 1985
  ident: 9478_CR160
  publication-title: ACM Transactions on Programming Languages and Systems
  doi: 10.1145/2363.2433
– ident: 9478_CR164
  doi: 10.1007/978-3-642-11503-5_4
– volume: 28
  start-page: 725
  issue: 4
  year: 2005
  ident: 9478_CR14
  publication-title: Expert Systems with Applications
  doi: 10.1016/j.eswa.2004.12.029
– ident: 9478_CR45
  doi: 10.1002/9780470061848
– ident: 9478_CR84
  doi: 10.1109/ICRA.2015.7139900
– ident: 9478_CR305
– volume: 3
  start-page: 184
  issue: 4
  year: 1960
  ident: 9478_CR252
  publication-title: Communications of the ACM
  doi: 10.1145/367177.367199
– volume-title: Computational logic in multi-agent systems, Lecture notes in computer science
  year: 2010
  ident: 9478_CR128
  doi: 10.1007/978-3-642-14977-1
– volume: 105
  start-page: 1
  issue: 1–2
  year: 2010
  ident: 9478_CR100
  publication-title: Fundamenta Informaticae
  doi: 10.3233/FI-2010-356
– start-page: 173
  volume-title: Artificial intelligence: Theories, models and applications, Lecture notes in computer science
  year: 2010
  ident: 9478_CR215
  doi: 10.1007/978-3-642-12842-4_21
– volume: 33
  start-page: 151
  issue: 2
  year: 1997
  ident: 9478_CR154
  publication-title: The Journal of Logic Programming
  doi: 10.1016/S0743-1066(97)00026-5
– ident: 9478_CR13
  doi: 10.1109/ICMAS.1998.699225
– ident: 9478_CR89
– ident: 9478_CR60
  doi: 10.1017/S1471068418000364
– start-page: 525
  volume-title: Computer aided verification, Lecture notes in computer science
  year: 2014
  ident: 9478_CR68
  doi: 10.1007/978-3-319-08867-9_34
– ident: 9478_CR41
  doi: 10.1016/j.scico.2011.10.004
– ident: 9478_CR22
SSID ssj0016261
Score 2.5658252
SecondaryResourceType review_article
Snippet Precisely when the success of artificial intelligence (AI) sub-symbolic techniques makes them be identified with the whole AI by many non-computer-scientists...
SourceID proquest
crossref
springer
SourceType Aggregation Database
Enrichment Source
Index Database
Publisher
SubjectTerms Agents (artificial intelligence)
Artificial Intelligence
Computer Science
Computer Systems Organization and Communication Networks
Current Trends in Research on Software Agents and Agent-Based Software Development
Intelligent systems
Literature reviews
Logic
Multiagent systems
Software Engineering/Programming and Operating Systems
Systematic review
User Interfaces and Human Computer Interaction
Title Logic-based technologies for multi-agent systems: a systematic literature review
URI https://link.springer.com/article/10.1007/s10458-020-09478-3
https://www.proquest.com/docview/2452108922
Volume 35
WOSCitedRecordID wos000579434600001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVAVX
  databaseName: Springer LINK
  customDbUrl:
  eissn: 1573-7454
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0016261
  issn: 1387-2532
  databaseCode: RSV
  dateStart: 19980301
  isFulltext: true
  titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22
  providerName: Springer Nature
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3dS8MwEA86ffDF-YnTKXnwTQNN0jWpbyIOH2QMP8beQtImIIwpa_XvN5e2q4oK-twkhEsuv7ve3e8QOvWIREViDaFWpCT2OkGktpwIf5cAYXId6Isnt2I0ktNpOq6Lwoom270JSYaX-kOxWzyQBNwd75JAUH8VrXm4k6COd_eTZezAm-iVmyWBg4CzulTm-zU-w1FrY34Jiwa0GXb_t88ttFlbl_iyug7baMXOd1C36dyAa0XeRWNosZwRgLAcl83fde80Y2_D4pBkSDQUXeGK6bm4wBq3pM94tiRjxlXtyx56HF4_XN2QurcCyWJKS8IHLqIuZ8byLHciNqk2zgHVDDXeg8vgAJkB98QJlgBmuURoLU0uXWwo5fuoM3-e2wOErZ-rmVfmKObhBUho4nQeMc1FZB3vIdqIWGU18Tj0v5ipljIZRKa8yFQQmfJzzpZzXirajV9H95uTU7UKFgpCyjSSKWM9dN6cVPv559UO_zb8CG0wyHMJ2Tx91CkXr_YYrWdv5VOxOAlX8x1Q3ttx
linkProvider Springer Nature
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3dS8MwED90Cvri_MTp1Dz4poEm6ZrWNxHHxDmGzrG3krQJCGPKWv37TdJ2VVFBn5sc4XKXu-vd_Q7g1FgkwgMlMVE8wr7RCRwKxTA3smQtTCocfPG4zweDcDKJhmVTWFZVu1cpSfdSf2h28zshtuGOCUlsUn8ZVgzxji3ku38YL3IHxkUvwqzQYhAwWrbKfE_jszmqfcwvaVFnbbrN_51zEzZK7xJdFuKwBUtqtg3NanIDKhV5B4Z2xHKCrQlLUV79XTdBMzI-LHJFhljYpitUID1nF0igGvQZTRdgzKjofdmFx-716KqHy9kKOPEJyTHraI_olErFklRzX0ZCam2hZog0EVxiL5BKG55oTgNrs3TAhQhlGmpfEsL2oDF7nql9QMrsFdQos-cz9wIEJNAi9ahg3FOatYBULI6TEnjczr-YxjVksmVZbFgWO5bFZs_ZYs9LAbvx6-p2dXNxqYJZbFPKxAsjSltwXt1U_flnagd_W34Ca73RXT_u3wxuD2Gd2poXV9nThkY-f1VHsJq85U_Z_NiJ6TujG95V
linkToPdf http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3dS8MwEA86RXxxfuJ0ah5802CTdP3wTdShOMZAHXsLSZuAMOrYqn-_ubRdp6ggPjcJ5XLXu1_v7ncInVqPRMNAK0J1GBPf2gSJpOYktLoEHiaVjr542Av7_Wg0igcLXfyu2r1KSRY9DcDSlOUXk9RcLDS--Z2IAPSx8AQS_MtoxYehQYDXH4fzPIIN1wvIFQEfAWdl28z3Z3x2TXW8-SVF6jxPt_n_d95EG2XUia8KNdlCSzrbRs1qogMuDXwHDWD0ckLAtaU4r_66WzCNbWyLXfEhkdCMhQsG6Nkllrgmg8bjOUkzLnpidtFz9_bp-o6UMxdI4lOaE94xHjUpU5onqQl9FUtlDFDQUGWRXQIXyxTAFhOyAHyZCUIpI5VGxleU8j3UyF4zvY-wtnsls0bu-dx9GQIaGJl6TPLQ04a3EK3ELZKSkBzmYoxFTaUMIhNWZMKJTNg9Z_M9k4KO49fV7eoWRWmaMwGpZqspMWMtdF7dWv3459MO_rb8BK0Nbrqid99_OETrDEphXMFPGzXy6Zs-QqvJe_4ymx47jf0A96PnOQ
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Logic-based+technologies+for+multi-agent+systems%3A+a+systematic+literature+review&rft.jtitle=Autonomous+agents+and+multi-agent+systems&rft.au=Calegari%2C+Roberta&rft.au=Ciatto%2C+Giovanni&rft.au=Mascardi%2C+Viviana&rft.au=Omicini%2C+Andrea&rft.date=2021-04-01&rft.pub=Springer+US&rft.issn=1387-2532&rft.eissn=1573-7454&rft.volume=35&rft.issue=1&rft_id=info:doi/10.1007%2Fs10458-020-09478-3&rft.externalDocID=10_1007_s10458_020_09478_3
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1387-2532&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1387-2532&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1387-2532&client=summon