Tags

  1. &-Prolog
  2. .Net
  3. 2APL
  4. 2p-Kt
  5. 2PaaS
  6. 2pTag
  7. 2PTags
  8. 3APL
  9. A&A
  10. A&A ReSpecT
  11. ABA+
  12. abduction
  13. abduction-based explanations
  14. abductive logic programming
  15. abductive reasoning
  16. abduttive agents
  17. abduttive reasoning
  18. ABS
  19. abstract tuples
  20. Accenture
  21. acceptance test driven development
  22. access control
  23. ACLT
  24. ACME
  25. active documents
  26. Active Object
  27. activity theory
  28. Actor-D
  29. actors
  30. ad hoc alignment
  31. adaptive governance
  32. adaptive systems
  33. adaptive tuple clustering
  34. ADELFE
  35. adjustable autonomy
  36. ADL
  37. ADR
  38. AEQUITAS
  39. agens faber
  40. Agens faber
  41. agent architecture
  42. agent augmented community
  43. agent behaviour
  44. agent body
  45. agent cognition
  46. agent communication
  47. agent communication languages
  48. agent control loop
  49. agent coordination contexts
  50. agent management system
  51. agent middleware
  52. agent model
  53. agent programming
  54. agent societies
  55. agent technology
  56. agent workspaces
  57. agent-based modelling
  58. agent-based modelling and simulation
  59. agent-based technologies
  60. agent-based XAI
  61. agent-oriented computing
  62. agent-oriented programming
  63. agent-oriented software engineering
  64. AgentLink
  65. AgentLink II
  66. AgentLink III
  67. agents
  68. AgentSpeak
  69. AgentSpeak(L)
  70. Agent & Law
  71. AGERE
  72. aggregate computing
  73. aggregate planning
  74. agile software development
  75. Aglets
  76. agreement technologies
  77. agricultural systems
  78. AI in consulting
  79. AI2Go
  80. AI4EU
  81. AI4EUROPE
  82. AIBA
  83. air traffic control
  84. Ajax
  85. Akka
  86. ALBA
  87. Alberto Martelli
  88. Alchemist
  89. algebraic methods
  90. algorithmic bias
  91. algorithms
  92. ALIAS
  93. allopoiesis
  94. ALMA TWO
  95. AlmaActa
  96. ALOO
  97. AlphaGo
  98. alternative dispute resolution
  99. Alzheimer
  100. Amazon Elastic GPUs
  101. Amazon S3
  102. Amazon Web Services
  103. ambient intelligence
  104. AmbientTalk
  105. amorphous computing
  106. AMPQ
  107. AMUSE
  108. AND-parallelism
  109. Andorra
  110. Android
  111. Angular.js
  112. anomaly detection
  113. Ansible
  114. answer set programming
  115. Ant
  116. ant clustering
  117. ant foraging
  118. ant-based systems
  119. antivirus
  120. AnyLogic
  121. AOSD
  122. AOSE methodologies
  123. Apache Bookkeper
  124. Apache Cassandra
  125. Apache Commons Mathematics Library
  126. Apache Flink
  127. Apache HttpClient
  128. Apache Ignite
  129. Apache Kafka
  130. Apache Nutch
  131. Apache Pulsar
  132. Apache Zookeeper
  133. APICe
  134. APPEAL
  135. Apple Vision Pro
  136. Application
  137. AR-Drone
  138. Ara
  139. arcade games
  140. architectural styles
  141. Arduino
  142. Arg2P
  143. ARGoS simulator
  144. argumentation
  145. ARM cluster
  146. artefact manuals
  147. artefacts
  148. artificial general intelligence
  149. artificial intelligence
  150. artificial life
  151. artificial vision
  152. as a service
  153. ASAI-ER
  154. ASP.NET
  155. ASPECS
  156. aspects
  157. ASPIC+
  158. ASTRA
  159. astronomy
  160. asynchronous communication
  161. asynchronous interaction
  162. asynchronous programming
  163. attention mechanism
  164. Auction
  165. augmented reality
  166. augmented worlds
  167. AUML
  168. Aurora
  169. authentication
  170. authentication protocols
  171. authorisation
  172. automated guided vehicles
  173. automated reasoning
  174. automatic service composition
  175. automatic systems
  176. automatic vehicle parking
  177. automatic service composition
  178. automation testing
  179. AutoML
  180. autonomic communication
  181. autonomic computing
  182. autonomic systems
  183. autonomous agents
  184. autonomous cars
  185. autonomous driving
  186. autonomous flight
  187. autonomous racing drones
  188. autonomous robots
  189. autonomous systems
  190. autonomous vehicles
  191. autonomous weapon systems
  192. autonomy
  193. autopoiesis
  194. AUTOSAR 3LSC
  195. availability
  196. AWARE
  197. Axios
  198. Azure cloud services
  199. Bach
  200. backend as a service
  201. BaSi
  202. basketball
  203. bathhouses
  204. Battleship
  205. bayesan networks
  206. BBS
  207. BDI
  208. beach volley
  209. beacon devices
  210. behaviour analysis
  211. behaviour prediction
  212. behaviour-driven development
  213. behavioural implicit communication
  214. BentoML
  215. Berkeley algorithm
  216. bias
  217. BibTeX
  218. bio-inspired computation
  219. bio-inspired computing
  220. bio-inspired design patterns
  221. bio-inspired networking
  222. Biobricks
  223. biochemical coordination
  224. biochemical networks
  225. biochemical simulation
  226. biochemical tuple spaces
  227. biocomputing
  228. bioinformatics
  229. biological systems
  230. biology
  231. BioMABS
  232. Biomimetics
  233. BioPepa
  234. bisimulation
  235. BISON
  236. Bitcoin
  237. BitTorrent
  238. black-box models
  239. black-box regressors
  240. Blackboard
  241. blockchain
  242. blockchain-based coordination
  243. Bluetooth Low Energy
  244. board games
  245. bookies
  246. Bootstrap
  247. BPEL
  248. BPMN
  249. BTS-SOC
  250. bubble rap
  251. bulk primitives
  252. burden of persuasion
  253. burden of proof
  254. Business
  255. business rule management systems
  256. Butlers
  257. byzantine behaviour
  258. byzantine fault tolerance
  259. byzantine generals problem
  260. C#
  261. C@sa
  262. CAA
  263. CAP theorem
  264. car-to-car gossiping
  265. CARA
  266. card games
  267. Cards Against Humanity
  268. CArtAgO
  269. CArtAgO-WS
  270. CASCOM
  271. CASE
  272. CASE tools
  273. case-based planning
  274. CASO
  275. causal interpretation
  276. CellML
  277. cellular automata
  278. Cellulat
  279. Ceph
  280. Chandy-Lamport algorithm
  281. chat
  282. chatbot
  283. ChatGPT
  284. chemical coordination
  285. chemical models
  286. chemical tuple spaces
  287. Choco Solver
  288. chronic diseases
  289. CI/CD
  290. CINA
  291. CINECA
  292. class loading
  293. clause database
  294. client-side computing
  295. cloud computing
  296. cloud services
  297. cloud storage
  298. Cloudify
  299. CloudStack
  300. clustering
  301. CMS
  302. CNR-PA
  303. co-argumentation artefacts
  304. co-argumentation artifact
  305. Co-fields
  306. Cocumber
  307. code mobility
  308. code playground
  309. Codenames
  310. coding
  311. cognitive agents
  312. cognitive artefacts
  313. cognitive computing
  314. cognitive stigmergy
  315. collaboration
  316. collaborative learning
  317. collaborative learning systems
  318. collaborative text-editors
  319. Collaborative work
  320. collective intelligence
  321. collective services
  322. collective sorting
  323. collision avoidance
  324. collision prediction
  325. Communication
  326. communication networks
  327. complex networks
  328. complex system simulation
  329. complex systems
  330. complexity
  331. component-based systems
  332. CompuLaw
  333. computability
  334. computable law
  335. computation tree logic
  336. computational biology
  337. computational ecosystems
  338. computational fields
  339. computational institutions
  340. computational logic ecosystem
  341. computational logics
  342. computational thinking
  343. computer science
  344. computing
  345. concurrency
  346. concurrent languages
  347. concurrent logic programming
  348. concurrent object-oriented programming
  349. concurrent software engineering
  350. concurrent systems
  351. ConDec
  352. conference management
  353. CONNECARE
  354. Constraint
  355. constraint logic programming
  356. constraint programming
  357. constraint satisfaction
  358. contact centres
  359. container orchestration
  360. containerisation
  361. content management systems
  362. Context
  363. context awareness
  364. context-aware computing
  365. context-dependent coordination
  366. contexts
  367. contextual logic programming
  368. contextual programming
  369. contract nets
  370. control-driven coordination
  371. Control-driven models
  372. conversational agents
  373. conversational systems
  374. convolutional neural networks
  375. cooperation
  376. cooperative argumentation
  377. cooperative information retrieval
  378. cooperative information systems
  379. coordination
  380. coordination architecture
  381. coordination artefacts
  382. coordination as a service
  383. coordination expressiveness
  384. coordination for simulation
  385. coordination languages
  386. coordination middleware
  387. coordination models
  388. coordination patterns
  389. coordination technology
  390. coordination without model
  391. coordination-aware elasticity
  392. coordination-based simulation
  393. Coordination artefacts
  394. copy-collect
  395. CoQA dataset
  396. CORBA
  397. Corda
  398. Cordova
  399. core calculus
  400. core languages
  401. coroutines
  402. cosmic rays
  403. Cougaar
  404. counterfactual explanation
  405. Cradle
  406. crawler4j
  407. CREAM
  408. CReEPy
  409. CRIS
  410. Croquet SDK
  411. Cross Origin Resource Sharing
  412. Crosscutting
  413. crosscutting concerns
  414. crowd evacuation
  415. crowd modelling
  416. cryptocurrency
  417. cryptography
  418. CSCW
  419. CSM
  420. CSpaces
  421. CSS
  422. customer relationship management
  423. cyber-physical and cloud systems
  424. cyber-physical systems
  425. cybersecurity
  426. Cypress
  427. D
  428. DAI
  429. Darwin Information Typing Architecture
  430. dasLab
  431. data aggregation
  432. data analytics
  433. data fusion
  434. data mining
  435. data processing
  436. data streams
  437. Data-driven models
  438. database replication
  439. Datalog
  440. DCaseLP
  441. DCVS
  442. decentralisation
  443. decentralised control
  444. decentralised storage
  445. decision support systems
  446. decision theory
  447. Decision making
  448. declarative programming
  449. declarative technologies
  450. deductive databases
  451. deep learning
  452. deep neural networks
  453. deep reinforcement learning
  454. defeasible logic
  455. defeasible preference
  456. defeasible reasoning
  457. delay measures
  458. delegation
  459. DeliveryChecker
  460. DeLP
  461. demo
  462. description logics
  463. design guidelines
  464. design patterns
  465. design process documentation and fragmentation
  466. developmental biology
  467. DevOps
  468. DevStack
  469. diabetes mellitus
  470. dialogue
  471. Dialogue artifact
  472. digital democracy
  473. digital health
  474. digital pheromones
  475. digital twins
  476. discrete-event simulation
  477. dispersion games
  478. distance learning
  479. distance sensors
  480. distributed adaptive controller
  481. distributed argumentation
  482. distributed artificial intelligence
  483. distributed cognition
  484. distributed consensus
  485. distributed data mining
  486. distributed data processing
  487. distributed databases
  488. distributed file sharing
  489. distributed file system
  490. distributed games
  491. distributed information retrieval
  492. distributed key-value stores
  493. distributed language model training
  494. distributed ledger technology
  495. distributed logic programming
  496. distributed MAS
  497. distributed messaging
  498. distributed objects
  499. distributed programming
  500. distributed robot systems
  501. distributed state
  502. distributed streaming
  503. distributed system monitoring
  504. distributed systems
  505. distributed systems engineering
  506. distributed systems inspection
  507. distributed tracing
  508. divergent thinking
  509. Docker
  510. Docker compose
  511. Docker Swarm
  512. DodgeDrone Challenge
  513. domain name system
  514. domain specific languages
  515. domotic agents
  516. Dreamer
  517. DrJava
  518. drones
  519. Drosophila Melanogaster
  520. DrSimpA
  521. DSAW
  522. DVCS
  523. DVCS Git
  524. dynamic georeferencing
  525. dynamic task allocation
  526. DyNE
  527. e-democracy
  528. e-democracy platforms
  529. e-health
  530. e-learning
  531. e-learning management systems
  532. E-learning platforms
  533. E-learning tools
  534. eager vs. lazy binding
  535. EASE
  536. EasyLiving
  537. Eclipse
  538. Eclipse constraint solver
  539. Eclipse Modeling Framework
  540. Eclipse-IT
  541. eco-laws
  542. EcoNews
  543. economic decision making
  544. Ecosystem
  545. ecosystems
  546. EDemocracy
  547. edge computing
  548. edge intelligence
  549. EDITH
  550. educational psychology
  551. EgoSpaces
  552. EHR
  553. elasticity
  554. ELDAMeth
  555. eLearning
  556. election algorithms
  557. electronic health record
  558. embedded environments
  559. embedding
  560. embodied computing
  561. embodied vs. disembodied coordination
  562. emergent behaviours
  563. Emotion CSS
  564. empirical model learning
  565. encoder-decoders
  566. end-to-end testing
  567. EneA-FL
  568. Engineering
  569. entropy
  570. entscheidungsproblem
  571. environment engineering
  572. environment modelling
  573. environment-based coordination
  574. environment-oriented programming
  575. EOS
  576. EOS-DUE
  577. epidemic-spread simulation
  578. epistemic action
  579. epistemology
  580. ePolicy
  581. ERP
  582. Error handling
  583. eScience
  584. etcd
  585. eternal systems
  586. Ethereum
  587. ethical AI
  588. euroCRIS
  589. event loop
  590. event model
  591. event notification
  592. event tracker
  593. event-based systems
  594. event-driven coordination
  595. event-driven programming
  596. Evolution
  597. evolutionary algorithms
  598. evolutionary computing
  599. evolutionary multi-agent systems
  600. ExACT
  601. exception handling
  602. EXPECTATION
  603. expert systems
  604. explainability
  605. eXplainable AI
  606. explainable clustering
  607. explanation as communication
  608. explanation-ready agents
  609. Express
  610. expressiveness
  611. extended reality
  612. externalised rationality
  613. extreme programming
  614. FAIR-PE01-SP08
  615. fairness
  616. fantasy football
  617. farm planning
  618. fault tolerance
  619. federated learning
  620. FedLSBT
  621. few-shot learning
  622. ffmpeg
  623. field calculus
  624. field-based coordination
  625. finite state machine
  626. FIPA
  627. FIPA ACL
  628. FIPA agents
  629. FIPA DPDF
  630. FIPA protocols
  631. FIPA ACL
  632. fire detection
  633. FIT
  634. Flickr30k dataset
  635. Flickr9k dataset
  636. flocking systems
  637. Flower
  638. Flutter
  639. fog computing
  640. follow-me
  641. foraging
  642. formal methods
  643. formal models
  644. formal tools for software engineering
  645. foundations of computing
  646. Foundry
  647. fragment
  648. fragmentation
  649. Framework
  650. function as a service
  651. functional programming
  652. Functional safety
  653. FuturICT
  654. fuzzy coordination
  655. fuzzy description logic
  656. Gaia
  657. Gaia4E
  658. GALILEO
  659. game engines
  660. games
  661. Gamma
  662. generalised assignment problem
  663. generative AI
  664. Generative communication
  665. generics
  666. genetic algorithms
  667. genetic operators
  668. geo-fencing
  669. Geo-Linda
  670. geo-location
  671. Geo2p
  672. geofencing
  673. geolocalisation
  674. geolocation
  675. Gherkin
  676. Gillespie
  677. Git
  678. GitBucket
  679. Gitea
  680. GitFlow
  681. GitHub
  682. GitHub Actions Workflow
  683. GitLab
  684. GitPrep
  685. glycolysis
  686. GNN2GNN
  687. Go
  688. goal-oriented systems
  689. Google Cloud
  690. Google DART
  691. Google Maps
  692. Google Android
  693. GORMAS
  694. gossip pattern
  695. GPS
  696. GPT-2
  697. GPT-3
  698. GPT3
  699. Grade
  700. gradient pattern
  701. Gradle
  702. graph convolutional networks
  703. graph DB
  704. graph neural networks
  705. graph recurrent neural networks
  706. graphic interfaces
  707. Graphivz
  708. green ICT
  709. grey-box semantics
  710. grid computing
  711. GridEx
  712. GridREx
  713. group buy
  714. GroupLog
  715. gRPC
  716. Gson
  717. GUI
  718. H2020
  719. hands-free
  720. HCI
  721. health care
  722. Healthcare
  723. Helmet
  724. hematopoietic stem cells
  725. HERE Development
  726. Hermit
  727. hierarchical planning
  728. hierarchy in complex systems
  729. HiMAT
  730. History of ideas
  731. Hive BDI
  732. holonic MAS
  733. home automation
  734. Home Manager
  735. HoneyBadger BFT
  736. Hospital 4.0
  737. hovering information
  738. HTML
  739. HTML5
  740. HTTP
  741. HTTP challenge
  742. human walk
  743. hybrid agents
  744. hybrid coordination
  745. hybrid-quorum replication
  746. Hypercore protocol
  747. hypercube-based methods
  748. Hyperledger
  749. HyperLedger Fabric
  750. IBM Watson
  751. IDE
  752. ideal gas
  753. IEEE
  754. IEEE-FIPA documentation template
  755. IFTS
  756. IKVM
  757. image recognition
  758. implicit communication
  759. Implicit culture
  760. improvisation
  761. in-memory database
  762. indoor localisation
  763. inductive logic programming
  764. Industry 4.0
  765. information extraction
  766. information harvesting
  767. Information retrieval
  768. infrastructure as a code
  769. infrastructure free
  770. INGENIAS
  771. INGENIAS-Agile
  772. Inspector tool
  773. intelligent agents
  774. intelligent beings
  775. intelligent environment
  776. intelligent fridge
  777. intelligent systems
  778. intelligent systems engineering
  779. intelligent transportation systems
  780. intelligent virtual environments
  781. IntelliJ IDEA
  782. intentional agents
  783. intentions
  784. inter-organisational workflow
  785. interaction
  786. interaction patterns
  787. interaction protocols
  788. interaction semantics
  789. interactive graphical maps
  790. interactive systems
  791. Internet agents
  792. Internet of Intelligent Things
  793. Internet of Things
  794. Internet of Vehicles
  795. interoperability
  796. interplanetary file system
  797. interpretability
  798. interpretable prediction
  799. intracellular signalling pathways
  800. intrusion detection
  801. inversion of control
  802. iOS
  803. IRIS
  804. IRoom
  805. ISO
  806. ISO26262
  807. Istar
  808. ITER
  809. IVRE
  810. Ivy
  811. J2EE
  812. J2ME
  813. Ja.Net
  814. JaCa
  815. JaCa-Android
  816. JaCa-Web
  817. JaCa-WS
  818. JaCaMo
  819. JACK
  820. Jacop
  821. JADE
  822. JADE on Android
  823. Jade-LEAP
  824. Jadex
  825. Jaeger
  826. Jasa agents
  827. Jason
  828. Java
  829. Java agents
  830. Java Metro
  831. Java monitor
  832. Java RMI
  833. Java Scripting Engine
  834. Java-based OS
  835. JavaBeans
  836. Javalin
  837. JavaLog
  838. JavaScript
  839. JavaSpaces
  840. Javelin
  841. JDBC
  842. JDDAC
  843. JEdit
  844. Jenkins
  845. Jess
  846. JFact
  847. Jini
  848. JNode
  849. Join point
  850. journalism
  851. jQuery
  852. JRDF
  853. JSON
  854. JUnit
  855. Kallithea
  856. Kea
  857. KILL
  858. kinetic modelling
  859. KINS
  860. KIS
  861. Klaim
  862. KMongo
  863. knowledge construction
  864. knowledge engineering
  865. knowledge evaluation
  866. knowledge extraction
  867. knowledge management
  868. knowledge representation
  869. knowledge-based coordination
  870. knowledge-based systems
  871. knowledge-intensive environment
  872. knowledge-oriented coordination
  873. knowledge-oriented coordination
  874. Knowledge diffusion
  875. KNX protocol stack
  876. Kotlin
  877. Kotlin Multiplatform
  878. Kryonet
  879. Kubectl
  880. Kubeflow
  881. Kubernetes
  882. labelled logic programming
  883. labelled systems
  884. labelled theories
  885. labelled transition systems
  886. labelled tuProlog
  887. labelled variables
  888. labelled variables in logic programming
  889. Lagom
  890. LAILA
  891. lambda architecture
  892. language models
  893. languages
  894. large language models
  895. large-scale coordination
  896. large-scale distributed systems
  897. large-scale simulation
  898. Law-governed Linda
  899. layering
  900. learn to code
  901. learning management systems
  902. learning objects
  903. learning process
  904. ledgers
  905. legal reasoning
  906. LEGO Mindstorms
  907. Legolog
  908. LeJOS
  909. leRCOS
  910. Let’s Encrypt
  911. LIDAR
  912. life simulator
  913. lifted relational neural networks
  914. LighTS
  915. Lime
  916. LinCa
  917. Linda
  918. linear logic
  919. linear temporal logic
  920. linkability
  921. linked data
  922. linking primitives
  923. LiquidFeedback
  924. LISA Pathfinder
  925. live semantic annotations
  926. load balancing
  927. load classification
  928. logging
  929. Logic
  930. logic agents
  931. logic clauses
  932. logic constraints
  933. logic induction
  934. logic programming
  935. logic tuple centres
  936. logic tuple spaces
  937. logic tuples
  938. logic-based argumentation
  939. logic-based coordination
  940. logic-based reasoning
  941. logic-based techniques
  942. logic-based technologies
  943. logical clocks
  944. logical English
  945. logics
  946. logistics
  947. LogOp
  948. Lotka-Volterra equation
  949. LPaaS
  950. LPaas client
  951. LPaas-REST
  952. LSA
  953. LuCe
  954. LVLP
  955. machine ethics
  956. machine learning
  957. macroprogramming
  958. MAgentA
  959. Magneti Marelli
  960. managed service provider
  961. Management
  962. Manifold
  963. MAOP4FI
  964. MAPE
  965. MAPF
  966. MAPK
  967. Marmotta
  968. MARS
  969. MARS-X
  970. MAS applications
  971. MAS autonomy
  972. MAS coordination
  973. MAS elasticity
  974. MAS engineering
  975. MAS environment
  976. MAS infrastructure
  977. MAS meta-model
  978. MAS middleware
  979. MAS organisation
  980. MAS programming
  981. MAS security
  982. MAS tools
  983. MAS verification
  984. MaSE
  985. MASON
  986. massive data
  987. massively multi-agent systems
  988. matchmaking
  989. Material-UI
  990. Materialize
  991. matheuristics
  992. Maude
  993. MAVA
  994. Maven
  995. MDA
  996. MediatR
  997. MediCoordination
  998. medieval battles
  999. meeting-scheduling
  1000. MemN2N
  1001. MEnSA
  1002. Mentalistic agents
  1003. Mercurial
  1004. MERCURIO
  1005. Mesa library
  1006. MeshNet
  1007. message passing
  1008. message-oriented middleware
  1009. messaging services
  1010. meta-argumentation
  1011. meta-heuristics
  1012. meta-interpretation
  1013. meta-interpretative learning
  1014. meta-model
  1015. meta-modelling
  1016. meta-programming
  1017. meta-rules
  1018. metabolyc pathways
  1019. Metaio
  1020. MetaMeth
  1021. MetaPatrol
  1022. Method
  1023. method engineering
  1024. methodologies
  1025. methodology
  1026. methodology evaluation
  1027. micro-intelligence
  1028. microservices
  1029. Microsoft SQL Server
  1030. middleware
  1031. middleware integration
  1032. Mini-ME
  1033. minority game
  1034. MIP-nets
  1035. MIPNet
  1036. MiRAgE
  1037. mirror worlds
  1038. MLFlow
  1039. MLOps
  1040. Mobile
  1041. mobile ad-hoc networks
  1042. mobile agents
  1043. mobile applications
  1044. mobile backend as a service
  1045. mobile banking
  1046. mobile computing
  1047. mobile coordination
  1048. mobile devices
  1049. mobile health
  1050. mobile musical agents
  1051. mobile systems
  1052. mobile AR
  1053. Mobile web
  1054. mobility
  1055. mobility models
  1056. Mocha
  1057. Mockito
  1058. modal logic
  1059. model checking
  1060. model-driven architecture
  1061. model-driven engineering
  1062. model-view-control pattern
  1063. Modeling
  1064. modelling and simulation
  1065. Modelli di comunicazione
  1066. models
  1067. modular embedding
  1068. Moise
  1069. MoK
  1070. MoK atoms
  1071. MoK matching function
  1072. MoK middleware
  1073. MoK reactions
  1074. MoK storage
  1075. MoK users
  1076. Mok-News
  1077. Mole
  1078. Moleculer
  1079. Monaco Editor
  1080. MongoDB
  1081. Mongoose
  1082. morphogenesis
  1083. Mosquitto
  1084. motion
  1085. Mozilla
  1086. MQTT
  1087. MRS
  1088. MS COCO dataset
  1089. MS-BioNET
  1090. msbionet
  1091. MSR
  1092. multi-agent based simulation
  1093. multi-agent organisation
  1094. multi-agent reinforcement learning
  1095. multi-agent routing
  1096. multi-agent systems
  1097. multi-disciplinary research
  1098. multi-level autonomy
  1099. multi-level models
  1100. multi-paradigm languages
  1101. multi-paradigm modelling
  1102. multi-paradigm programming
  1103. Multi-paradigm modelling
  1104. multi-sensing data fusion
  1105. multi-threading
  1106. multicellular systems biology
  1107. multimedia
  1108. multiplayer games
  1109. multiple coordination flows
  1110. multitasking
  1111. multitier architectures
  1112. musical acts
  1113. musical agent architecture
  1114. musical agents
  1115. MySQL
  1116. MySQL Connector
  1117. n-Queens
  1118. naming system
  1119. natural language processing
  1120. nature-inspired computing
  1121. nature-inspired coordination
  1122. nature-inspired models
  1123. negotiation
  1124. Neo4j
  1125. NetBeans
  1126. NetcodeRollback
  1127. NetLogo
  1128. Netty
  1129. network management
  1130. network time protocol
  1131. Network topology
  1132. neural architecture search
  1133. neural image caption generation
  1134. neural machine translation
  1135. neural network complexity
  1136. neural network opacity
  1137. neural networks
  1138. neuro-symbolic integration
  1139. neuro-symbolic reasoning
  1140. news management systems
  1141. NGINX
  1142. NIC
  1143. NLP datasets
  1144. Node.js
  1145. NokiaMobileCoord
  1146. Nomi cose città
  1147. non-relational databases
  1148. norms
  1149. noSQL
  1150. npm
  1151. nutritional recommendation systems
  1152. NXC
  1153. O-MaSe
  1154. object-oriented inductive logic programming
  1155. object-oriented logic programming
  1156. object-oriented Petri nets
  1157. object-oriented planning
  1158. object-oriented programming
  1159. object-oriented model
  1160. objective coordination
  1161. objective vs. subjective coordination
  1162. observable sources
  1163. observation
  1164. observation-based coordination
  1165. observer pattern
  1166. obstacle avoidance
  1167. Octopus
  1168. OITOS
  1169. online auctions
  1170. online engineering
  1171. ontologies
  1172. OOSE
  1173. open computational systems
  1174. open systems
  1175. open vehicle fleets
  1176. OpenAPI
  1177. OpenEHR
  1178. OpenGL
  1179. OpenNLP
  1180. OpenStack
  1181. OpenTelemetry
  1182. OpenUP
  1183. Open systems
  1184. operating instructions
  1185. operation manual
  1186. operational semantics
  1187. OPM
  1188. opportunistic IoT services
  1189. opportunistic network
  1190. optimisation
  1191. OPTYap
  1192. OR-parallelism
  1193. Oracle CRM
  1194. Orchestration
  1195. OrCHiD
  1196. organ transplantation
  1197. organisation
  1198. organisation-oriented programming
  1199. OrientDB
  1200. Orleans
  1201. osBrain
  1202. Ospedale Bufalini
  1203. OWAMAH
  1204. OWL
  1205. OWL-S
  1206. OWL-T
  1207. p2p
  1208. p2p networks
  1209. P@J
  1210. PAAS
  1211. PageSpace
  1212. paradigm shift
  1213. Paradigm shift
  1214. parallel algorithms
  1215. parallel data store
  1216. parameter engineering
  1217. parameter optimisations
  1218. parametric weighted multi-path
  1219. partial planning
  1220. particle systems
  1221. PASSI
  1222. path planning
  1223. Paxos protocols
  1224. Payara
  1225. PDDL
  1226. PEDRO
  1227. peer-review federated learning
  1228. Peer-Review Flower
  1229. Pellet
  1230. PEPA
  1231. perception
  1232. persistency
  1233. persistent storage
  1234. personal agents
  1235. personal medical digital assistants
  1236. pervasive communication
  1237. pervasive computing
  1238. pervasive ecosystems
  1239. pervasive intelligence
  1240. pervasive sensing
  1241. pervasive service ecosystems
  1242. pervasive systems
  1243. Petri nets
  1244. PettingZoo
  1245. PFA
  1246. pgmpy
  1247. Phabricator
  1248. Pheromones
  1249. PHP
  1250. physical clocks
  1251. physics
  1252. pi-calculus
  1253. plain diffusion
  1254. planning
  1255. PlantUML
  1256. pLinda
  1257. plp
  1258. plug-in
  1259. PMML
  1260. PNagent
  1261. Pointcut
  1262. points of interest
  1263. poker
  1264. Pong
  1265. post-declarative programming
  1266. post-normal science
  1267. PostgresSQL
  1268. Postman
  1269. practical byzantine fault tolerance
  1270. practical reasoning
  1271. PRACTIONIST
  1272. pray-predator
  1273. pregnancy
  1274. prey-predator
  1275. principle
  1276. PRISM
  1277. privacy
  1278. private cloud
  1279. private international law
  1280. proactivity
  1281. probabilistic languages
  1282. probabilistic logic programming
  1283. probabilistic model checking
  1284. probabilistic modular embedding
  1285. ProbLinCa
  1286. Process
  1287. process algebras
  1288. process calculus
  1289. process engineering
  1290. process management
  1291. Process migration
  1292. PRODE
  1293. profiling
  1294. program correctness
  1295. program specification
  1296. program verification
  1297. programmable coordination media
  1298. programming
  1299. programming languages
  1300. programming paradigms
  1301. project dissemination
  1302. Prolog
  1303. Prolog agents
  1304. Prolog agents
  1305. Prometheus
  1306. proof of stake
  1307. proof of work
  1308. PROSOCS
  1309. Protelis
  1310. Proto
  1311. Protobuf
  1312. protocol buffers
  1313. PRS
  1314. PSyKE
  1315. PSyKI
  1316. publish/subscribe
  1317. pulverizable architectures
  1318. Pusher Channel
  1319. Pyro4
  1320. Python
  1321. Q-learning
  1322. QoS metrics for SKI
  1323. Qu-Prolog
  1324. quadcopters
  1325. quality of service
  1326. quantum computing
  1327. Query/Update protocol
  1328. Quidditch
  1329. Quill
  1330. Quintus Prolog
  1331. quorum-based protocols
  1332. R
  1333. R3 Corda
  1334. RabbitMQ
  1335. Raft
  1336. Raspberry Pi
  1337. rational agents
  1338. RBAC
  1339. RBAC-MAS
  1340. RDF
  1341. re-organisation
  1342. React Native
  1343. React.js
  1344. reactive agents
  1345. reactive behavioral system
  1346. Reactiveness
  1347. real time
  1348. real-time applications
  1349. real-time communication
  1350. real-time physical activity
  1351. real-time strategy games
  1352. recommendation systems
  1353. recommender systems
  1354. recurrent neural networks
  1355. Redis
  1356. Redux
  1357. refactoring
  1358. reflection
  1359. REGN
  1360. reification
  1361. reinforcement learning
  1362. reliability
  1363. remote diagnosis
  1364. remote management
  1365. Reo
  1366. reorganization
  1367. RePAST
  1368. replica-based protocols
  1369. replication
  1370. Repository
  1371. reputation
  1372. Requirement analysis
  1373. RESET
  1374. resource-constrained devices
  1375. resource-oriented architecture
  1376. ReSpecT
  1377. ReSpecTX
  1378. ReSpecT nets
  1379. REST
  1380. RESTful web services
  1381. RethinkDB
  1382. Reti neuronali
  1383. RETSINA
  1384. reverse geocoding
  1385. reverse proxy
  1386. rewriting logic
  1387. RFID
  1388. RGB-D
  1389. Rhino
  1390. Risk
  1391. risk analysis
  1392. RMI
  1393. RoBERTa
  1394. RoboCup
  1395. robot controller
  1396. robot coordination
  1397. robot navigation
  1398. Robot Operating System
  1399. robot programming
  1400. robot simulation
  1401. robot systems
  1402. Robot Wars
  1403. Robot coordination
  1404. RoboVM
  1405. robustness
  1406. role-based models
  1407. roles
  1408. RoleX
  1409. ROMAS
  1410. Rousseau
  1411. RSS
  1412. RTS games
  1413. S-WAM
  1414. SACoord
  1415. SANA
  1416. SANAP
  1417. SAP
  1418. SAPERE
  1419. SAPERE-core
  1420. SAPERE-in
  1421. SAPERE-pre
  1422. SAPERE-rel
  1423. SAPERE-WP1
  1424. SAPERE-WP2
  1425. SAPERE-WP4
  1426. SAPERE-WP6
  1427. SARL
  1428. SBML
  1429. SC00097B
  1430. ScaFi
  1431. Scala
  1432. scalability
  1433. ScalaLoci1
  1434. scheduling
  1435. school timetable
  1436. Scientific reseaarch
  1437. SCIFF
  1438. Scripting languages
  1439. SeaweedFS
  1440. secure MAS
  1441. security
  1442. Selenium
  1443. self-*
  1444. self-adaptation
  1445. self-assembling robots
  1446. self-awareness
  1447. self-explaining agents
  1448. self-management of chronic diseases
  1449. self-organisation
  1450. self-organisation patterns
  1451. self-organising architectures
  1452. self-organising coordination
  1453. self-organising knowledge
  1454. self-organising MAS
  1455. self-organising semantic coordination
  1456. self-organising systems
  1457. self-organising workspaces
  1458. self-stabilisation
  1459. semantic chemistry
  1460. semantic coordination
  1461. semantic matchmaking
  1462. semantic reasoning
  1463. semantic segmentation
  1464. semantic sensor networks
  1465. Semantic TuCSoN
  1466. semantic tuple centres
  1467. semantic web
  1468. Semantic Web of Things
  1469. semantic web reasoning
  1470. Semantics
  1471. Semantic matching
  1472. Semantic TuCsoN
  1473. SemHealthCoord
  1474. sentiment analysis
  1475. serverless architecture
  1476. serverless computing
  1477. service middleware
  1478. service self-composition
  1479. service-oriented architecture
  1480. Services
  1481. Shallow2Deep
  1482. sharding
  1483. Shared Prolog
  1484. Shared Prolog
  1485. SHOIN(D)
  1486. SICStus
  1487. SICStus Prolog
  1488. signalling pathways models
  1489. SignalR
  1490. Simbad
  1491. similarity
  1492. simpA
  1493. simpA-WS
  1494. simpAL
  1495. simulation
  1496. simulation in software engineering
  1497. simulation on software engineering
  1498. SIPEAA
  1499. situadeness
  1500. situated computing
  1501. situated coordination
  1502. situated intelligence
  1503. situated logic programming
  1504. Situated ReSpecT
  1505. situatedness
  1506. situational method engineering
  1507. situational process engineering
  1508. Situational Method Engineering 
  1509. SKE metrics
  1510. SLD resolution
  1511. slot machines
  1512. Small world networks
  1513. smart cities
  1514. smart co-working
  1515. smart contracts
  1516. smart energy management
  1517. smart environments
  1518. smart glasses
  1519. smart grids
  1520. smart home
  1521. smart hospital
  1522. smart mobility
  1523. smart spaces
  1524. smart transportation
  1525. Smart Environment
  1526. SMS
  1527. SOA-WS
  1528. SOAP
  1529. SOAR
  1530. soccer
  1531. social action
  1532. social autonomy
  1533. social networks
  1534. social sciences
  1535. social systems
  1536. SOCIALNETS
  1537. Social networks
  1538. socio-technical systems
  1539. Socio-technical systems
  1540. socket library
  1541. Socket.IO
  1542. SockJS
  1543. SODA
  1544. software architecture
  1545. software as a service
  1546. software development
  1547. software development process
  1548. software engineering
  1549. software engineering process
  1550. Software process
  1551. software testing
  1552. software-defined storage
  1553. Software factory
  1554. Software systems
  1555. SOKO coordination model
  1556. Solidity
  1557. sonar sensors
  1558. SOS
  1559. space awareness
  1560. space-aware coordination
  1561. space-based coordination
  1562. Space-based coordination
  1563. space-time programming
  1564. SPADE
  1565. SPARQL
  1566. spatial computing
  1567. spatial computing languages
  1568. spatial coordination
  1569. spatial reasoning
  1570. Spatial ReSpecT
  1571. Spatial Tuples
  1572. Spatial abstractions
  1573. Spatial coordination
  1574. spatio-temporal computing
  1575. speech recognition
  1576. SPEM
  1577. SPEM 2.0
  1578. SpiderMonkey
  1579. Spring
  1580. Spring Boot
  1581. SQL
  1582. SQL Server
  1583. SSL/TLS
  1584. StairwAI
  1585. standard of proofs
  1586. standards
  1587. state machine replication
  1588. statistical learning
  1589. statistical mechanics
  1590. Stellar
  1591. stem cells
  1592. stigmergy
  1593. STIL
  1594. stochastic coordination
  1595. stochastic Prolog
  1596. stochastic simulation
  1597. stochastic simulation algorithm
  1598. stochastic systems
  1599. stochastic π-calculus
  1600. StoKlaim
  1601. STOMP
  1602. STOMP WebSocket
  1603. StorJ
  1604. stream processing
  1605. STRIPS
  1606. strong consistency
  1607. structured logic programming
  1608. stupid backoff
  1609. sTuples
  1610. styled components
  1611. subsumption architecture
  1612. supervised learning
  1613. surveillance systems
  1614. survey
  1615. SVN
  1616. Swagger
  1617. Swagger Codegen
  1618. Swarm
  1619. swarm bots
  1620. swarm intelligence
  1621. swarm robotics
  1622. SwarmLinda
  1623. Swift
  1624. Swing
  1625. SYBL
  1626. symbolic AI
  1627. symbolic knowledge extraction
  1628. symbolic knowledge injection
  1629. symbolic logic
  1630. symbolic transfer learning
  1631. symbolic vs. subsymbolic
  1632. symbolic reasoning
  1633. Symfony
  1634. synchronisation
  1635. Syntethic
  1636. sysadmin
  1637. system integration
  1638. system-level programming
  1639. systematic literature review
  1640. systemic coordination
  1641. systems
  1642. systems biology
  1643. systems biology modelling languages
  1644. systems of systems
  1645. System dynamics
  1646. T Spaces
  1647. tail recursion
  1648. TAILOR
  1649. Talisman
  1650. task-oriented engineering
  1651. TCP/IP
  1652. technology
  1653. telemedicine
  1654. telemetry
  1655. Telescript
  1656. TeleStroke
  1657. Tenderfone
  1658. Tendermint
  1659. TensorFlow
  1660. Terrier
  1661. testing
  1662. text mining
  1663. TheOne
  1664. theoretical physics
  1665. theory of mind
  1666. THOMAS
  1667. ThOr
  1668. tic-tac-toe
  1669. TicTacToe
  1670. Tile38
  1671. time
  1672. time awareness
  1673. time-awareness
  1674. timed coordination
  1675. Timed ReSpecT
  1676. tools
  1677. topology
  1678. TOTA
  1679. trading systems
  1680. Traefik
  1681. traffic management systems
  1682. train punctuality
  1683. transactions
  1684. Transducers
  1685. transfer learning
  1686. transformers
  1687. transport systems
  1688. trauma management
  1689. TraumaTracker
  1690. traveling salesman problem
  1691. Travis
  1692. triple space computing
  1693. Triple Store
  1694. Tropos
  1695. Truff
  1696. trust
  1697. TRUST 03
  1698. trustable systems
  1699. trustworthy AI
  1700. TuCSoN
  1701. TuCSoN on Cloud
  1702. TuCSoN4Jade
  1703. TuCSoN4Jason
  1704. TuleapL
  1705. tuple centres
  1706. tuple matching
  1707. tuple spaces
  1708. tuple-based coordination
  1709. tuProlog
  1710. Turing equivalence
  1711. TuSoW
  1712. Type 1 diabetes mellitus
  1713. TypeScript
  1714. typing
  1715. T Spaces
  1716. ubiquitous knowledge bases
  1717. ubiquitous systems
  1718. UI testing
  1719. uLinda
  1720. UML
  1721. uncertainty
  1722. understandability
  1723. UNIBO
  1724. uniform primitives
  1725. UNIMORE
  1726. Unit
  1727. UNITN
  1728. Unity3D
  1729. Unreal Engine
  1730. urban traffic management and control
  1731. Vagrant
  1732. VCS
  1733. vehicle localisation
  1734. vehicle mileage tracking
  1735. vehicle routing problem
  1736. veicolar cloud
  1737. verification
  1738. Vert.X
  1739. video streaming
  1740. videogames
  1741. virtual enterprise
  1742. virtual organisations
  1743. virtual reality
  1744. virtual worlds
  1745. Virtual-Box
  1746. VirtualBox
  1747. virtualisation
  1748. virus spread
  1749. Visual Studio
  1750. Vite
  1751. Vitest
  1752. VLSI Prolog
  1753. VMWare
  1754. voting systems
  1755. Vue
  1756. WADE
  1757. WAM
  1758. wearable devices
  1759. Web
  1760. Web 2.0
  1761. Web 3.0
  1762. web API
  1763. web app
  1764. web applications
  1765. web auctions
  1766. web crawling
  1767. web development
  1768. Web HTTP
  1769. web intelligence
  1770. Web of Things
  1771. web portal
  1772. web server
  1773. web services
  1774. web technologies
  1775. web-based IDE
  1776. WebLP
  1777. webpack
  1778. WebSocket
  1779. WebText dataset
  1780. web 2.0
  1781. Web architecture
  1782. Web frameworks
  1783. Web programming
  1784. WiFi Direct
  1785. wildcards
  1786. wireless ad hoc networks
  1787. wireless coordination
  1788. wireless LAN
  1789. wireless sensor networks
  1790. WireWorld
  1791. WLAN
  1792. WoAT
  1793. WordNet
  1794. workflow
  1795. workflow description language
  1796. workflow management systems
  1797. WP2
  1798. WP6
  1799. WS-CDL
  1800. WSDM
  1801. WSIT
  1802. WWW
  1803. xADL
  1804. XMAS
  1805. XML
  1806. XPath
  1807. XTend
  1808. XText
  1809. XWiki
  1810. YAML
  1811. YapOr
  1812. YAWL
  1813. Yoroi
  1814. zooming
  1815. Zyzzyva
  1816. π-calculus
Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY