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