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. LLM
  927. load balancing
  928. load classification
  929. logging
  930. Logic
  931. logic agents
  932. logic clauses
  933. logic constraints
  934. logic induction
  935. logic programming
  936. logic tuple centres
  937. logic tuple spaces
  938. logic tuples
  939. logic-based argumentation
  940. logic-based coordination
  941. logic-based reasoning
  942. logic-based techniques
  943. logic-based technologies
  944. logical clocks
  945. logical English
  946. logics
  947. logistics
  948. LogOp
  949. Lotka-Volterra equation
  950. LPaaS
  951. LPaas client
  952. LPaas-REST
  953. LSA
  954. LuCe
  955. LVLP
  956. machine ethics
  957. machine learning
  958. macroprogramming
  959. MAgentA
  960. Magneti Marelli
  961. managed service provider
  962. Management
  963. Manifold
  964. MAOP4FI
  965. MAPE
  966. MAPF
  967. MAPK
  968. Marmotta
  969. MARS
  970. MARS-X
  971. MAS applications
  972. MAS autonomy
  973. MAS coordination
  974. MAS elasticity
  975. MAS engineering
  976. MAS environment
  977. MAS infrastructure
  978. MAS meta-model
  979. MAS middleware
  980. MAS organisation
  981. MAS programming
  982. MAS security
  983. MAS tools
  984. MAS verification
  985. MaSE
  986. MASON
  987. massive data
  988. massively multi-agent systems
  989. matchmaking
  990. Material-UI
  991. Materialize
  992. matheuristics
  993. Maude
  994. MAVA
  995. Maven
  996. MDA
  997. MediatR
  998. MediCoordination
  999. medieval battles
  1000. meeting-scheduling
  1001. MemN2N
  1002. MEnSA
  1003. Mentalistic agents
  1004. Mercurial
  1005. MERCURIO
  1006. Mesa library
  1007. MeshNet
  1008. message passing
  1009. message-oriented middleware
  1010. messaging services
  1011. meta-argumentation
  1012. meta-heuristics
  1013. meta-interpretation
  1014. meta-interpretative learning
  1015. meta-model
  1016. meta-modelling
  1017. meta-programming
  1018. meta-rules
  1019. metabolyc pathways
  1020. Metaio
  1021. MetaMeth
  1022. MetaPatrol
  1023. Method
  1024. method engineering
  1025. methodologies
  1026. methodology
  1027. methodology evaluation
  1028. micro-intelligence
  1029. microservices
  1030. Microsoft SQL Server
  1031. middleware
  1032. middleware integration
  1033. Mini-ME
  1034. minority game
  1035. MIP-nets
  1036. MIPNet
  1037. MiRAgE
  1038. mirror worlds
  1039. MLFlow
  1040. MLOps
  1041. Mobile
  1042. mobile ad-hoc networks
  1043. mobile agents
  1044. mobile applications
  1045. mobile backend as a service
  1046. mobile banking
  1047. mobile computing
  1048. mobile coordination
  1049. mobile devices
  1050. mobile health
  1051. mobile musical agents
  1052. mobile systems
  1053. mobile AR
  1054. Mobile web
  1055. mobility
  1056. mobility models
  1057. Mocha
  1058. Mockito
  1059. modal logic
  1060. model checking
  1061. model-driven architecture
  1062. model-driven engineering
  1063. model-view-control pattern
  1064. Modeling
  1065. modelling and simulation
  1066. Modelli di comunicazione
  1067. models
  1068. modular embedding
  1069. Moise
  1070. MoK
  1071. MoK atoms
  1072. MoK matching function
  1073. MoK middleware
  1074. MoK reactions
  1075. MoK storage
  1076. MoK users
  1077. Mok-News
  1078. Mole
  1079. Moleculer
  1080. Monaco Editor
  1081. MongoDB
  1082. Mongoose
  1083. morphogenesis
  1084. Mosquitto
  1085. motion
  1086. Mozilla
  1087. MQTT
  1088. MRS
  1089. MS COCO dataset
  1090. MS-BioNET
  1091. msbionet
  1092. MSR
  1093. multi-agent based simulation
  1094. multi-agent organisation
  1095. multi-agent reinforcement learning
  1096. multi-agent routing
  1097. multi-agent systems
  1098. multi-disciplinary research
  1099. multi-level autonomy
  1100. multi-level models
  1101. multi-paradigm languages
  1102. multi-paradigm modelling
  1103. multi-paradigm programming
  1104. Multi-paradigm modelling
  1105. multi-sensing data fusion
  1106. multi-threading
  1107. multicellular systems biology
  1108. multimedia
  1109. multiplayer games
  1110. multiple coordination flows
  1111. multitasking
  1112. multitier architectures
  1113. musical acts
  1114. musical agent architecture
  1115. musical agents
  1116. MySQL
  1117. MySQL Connector
  1118. n-Queens
  1119. naming system
  1120. natural language processing
  1121. nature-inspired computing
  1122. nature-inspired coordination
  1123. nature-inspired models
  1124. negotiation
  1125. Neo4j
  1126. NetBeans
  1127. NetcodeRollback
  1128. NetLogo
  1129. Netty
  1130. network management
  1131. network time protocol
  1132. Network topology
  1133. neural architecture search
  1134. neural image caption generation
  1135. neural machine translation
  1136. neural network complexity
  1137. neural network opacity
  1138. neural networks
  1139. neuro-symbolic integration
  1140. neuro-symbolic reasoning
  1141. news management systems
  1142. NGINX
  1143. NIC
  1144. NLP datasets
  1145. Node.js
  1146. NokiaMobileCoord
  1147. Nomi cose città
  1148. non-relational databases
  1149. norms
  1150. noSQL
  1151. npm
  1152. nutritional recommendation systems
  1153. NXC
  1154. O-MaSe
  1155. object-oriented inductive logic programming
  1156. object-oriented logic programming
  1157. object-oriented Petri nets
  1158. object-oriented planning
  1159. object-oriented programming
  1160. object-oriented model
  1161. objective coordination
  1162. objective vs. subjective coordination
  1163. observable sources
  1164. observation
  1165. observation-based coordination
  1166. observer pattern
  1167. obstacle avoidance
  1168. Octopus
  1169. OITOS
  1170. online auctions
  1171. online engineering
  1172. ontologies
  1173. OOSE
  1174. open computational systems
  1175. open systems
  1176. open vehicle fleets
  1177. OpenAPI
  1178. OpenEHR
  1179. OpenGL
  1180. OpenNLP
  1181. OpenStack
  1182. OpenTelemetry
  1183. OpenUP
  1184. Open systems
  1185. operating instructions
  1186. operation manual
  1187. operational semantics
  1188. OPM
  1189. opportunistic IoT services
  1190. opportunistic network
  1191. optimisation
  1192. OPTYap
  1193. OR-parallelism
  1194. Oracle CRM
  1195. Orchestration
  1196. OrCHiD
  1197. organ transplantation
  1198. organisation
  1199. organisation-oriented programming
  1200. OrientDB
  1201. Orleans
  1202. osBrain
  1203. Ospedale Bufalini
  1204. OWAMAH
  1205. OWL
  1206. OWL-S
  1207. OWL-T
  1208. p2p
  1209. p2p networks
  1210. P@J
  1211. PAAS
  1212. PageSpace
  1213. paradigm shift
  1214. Paradigm shift
  1215. parallel algorithms
  1216. parallel data store
  1217. parameter engineering
  1218. parameter optimisations
  1219. parametric weighted multi-path
  1220. partial planning
  1221. particle systems
  1222. PASSI
  1223. path planning
  1224. Paxos protocols
  1225. Payara
  1226. PDDL
  1227. PEDRO
  1228. peer-review federated learning
  1229. Peer-Review Flower
  1230. Pellet
  1231. PEPA
  1232. perception
  1233. persistency
  1234. persistent storage
  1235. personal agents
  1236. personal medical digital assistants
  1237. pervasive communication
  1238. pervasive computing
  1239. pervasive ecosystems
  1240. pervasive intelligence
  1241. pervasive sensing
  1242. pervasive service ecosystems
  1243. pervasive systems
  1244. Petri nets
  1245. PettingZoo
  1246. PFA
  1247. pgmpy
  1248. Phabricator
  1249. Pheromones
  1250. PHP
  1251. physical clocks
  1252. physics
  1253. pi-calculus
  1254. plain diffusion
  1255. planning
  1256. PlantUML
  1257. pLinda
  1258. plp
  1259. plug-in
  1260. PMML
  1261. PNagent
  1262. Pointcut
  1263. points of interest
  1264. poker
  1265. Pong
  1266. post-declarative programming
  1267. post-normal science
  1268. PostgresSQL
  1269. Postman
  1270. practical byzantine fault tolerance
  1271. practical reasoning
  1272. PRACTIONIST
  1273. pray-predator
  1274. pregnancy
  1275. prey-predator
  1276. principle
  1277. PRISM
  1278. privacy
  1279. private cloud
  1280. private international law
  1281. proactivity
  1282. probabilistic languages
  1283. probabilistic logic programming
  1284. probabilistic model checking
  1285. probabilistic modular embedding
  1286. ProbLinCa
  1287. Process
  1288. process algebras
  1289. process calculus
  1290. process engineering
  1291. process management
  1292. Process migration
  1293. PRODE
  1294. profiling
  1295. program correctness
  1296. program specification
  1297. program verification
  1298. programmable coordination media
  1299. programming
  1300. programming languages
  1301. programming paradigms
  1302. project dissemination
  1303. Prolog
  1304. Prolog agents
  1305. Prolog agents
  1306. Prometheus
  1307. proof of stake
  1308. proof of work
  1309. PROSOCS
  1310. Protelis
  1311. Proto
  1312. Protobuf
  1313. protocol buffers
  1314. PRS
  1315. PSyKE
  1316. PSyKI
  1317. publish/subscribe
  1318. pulverizable architectures
  1319. Pusher Channel
  1320. Pyro4
  1321. Python
  1322. Q-learning
  1323. QoS metrics for SKI
  1324. Qu-Prolog
  1325. quadcopters
  1326. quality of service
  1327. quantum computing
  1328. Query/Update protocol
  1329. Quidditch
  1330. Quill
  1331. Quintus Prolog
  1332. quorum-based protocols
  1333. R
  1334. R3 Corda
  1335. RabbitMQ
  1336. Raft
  1337. Raspberry Pi
  1338. rational agents
  1339. RBAC
  1340. RBAC-MAS
  1341. RDF
  1342. re-organisation
  1343. React Native
  1344. React.js
  1345. reactive agents
  1346. reactive behavioral system
  1347. Reactiveness
  1348. real time
  1349. real-time applications
  1350. real-time communication
  1351. real-time physical activity
  1352. real-time strategy games
  1353. recommendation systems
  1354. recommender systems
  1355. recurrent neural networks
  1356. Redis
  1357. Redux
  1358. refactoring
  1359. reflection
  1360. REGN
  1361. reification
  1362. reinforcement learning
  1363. reliability
  1364. remote diagnosis
  1365. remote management
  1366. Reo
  1367. reorganization
  1368. RePAST
  1369. replica-based protocols
  1370. replication
  1371. Repository
  1372. reputation
  1373. Requirement analysis
  1374. RESET
  1375. resource-constrained devices
  1376. resource-oriented architecture
  1377. ReSpecT
  1378. ReSpecTX
  1379. ReSpecT nets
  1380. REST
  1381. RESTful web services
  1382. RethinkDB
  1383. Reti neuronali
  1384. RETSINA
  1385. reverse geocoding
  1386. reverse proxy
  1387. rewriting logic
  1388. RFID
  1389. RGB-D
  1390. Rhino
  1391. Risk
  1392. risk analysis
  1393. RMI
  1394. RoBERTa
  1395. RoboCup
  1396. robot controller
  1397. robot coordination
  1398. robot navigation
  1399. Robot Operating System
  1400. robot programming
  1401. robot simulation
  1402. robot systems
  1403. Robot Wars
  1404. Robot coordination
  1405. RoboVM
  1406. robustness
  1407. role-based models
  1408. roles
  1409. RoleX
  1410. ROMAS
  1411. Rousseau
  1412. RSS
  1413. RTS games
  1414. S-WAM
  1415. SACoord
  1416. SANA
  1417. SANAP
  1418. SAP
  1419. SAPERE
  1420. SAPERE-core
  1421. SAPERE-in
  1422. SAPERE-pre
  1423. SAPERE-rel
  1424. SAPERE-WP1
  1425. SAPERE-WP2
  1426. SAPERE-WP4
  1427. SAPERE-WP6
  1428. SARL
  1429. SBML
  1430. SC00097B
  1431. ScaFi
  1432. Scala
  1433. scalability
  1434. ScalaLoci1
  1435. scheduling
  1436. school timetable
  1437. Scientific reseaarch
  1438. SCIFF
  1439. Scripting languages
  1440. SeaweedFS
  1441. secure MAS
  1442. security
  1443. Selenium
  1444. self-*
  1445. self-adaptation
  1446. self-assembling robots
  1447. self-awareness
  1448. self-explaining agents
  1449. self-management of chronic diseases
  1450. self-organisation
  1451. self-organisation patterns
  1452. self-organising architectures
  1453. self-organising coordination
  1454. self-organising knowledge
  1455. self-organising MAS
  1456. self-organising semantic coordination
  1457. self-organising systems
  1458. self-organising workspaces
  1459. self-stabilisation
  1460. semantic chemistry
  1461. semantic coordination
  1462. semantic matchmaking
  1463. semantic reasoning
  1464. semantic segmentation
  1465. semantic sensor networks
  1466. Semantic TuCSoN
  1467. semantic tuple centres
  1468. semantic web
  1469. Semantic Web of Things
  1470. semantic web reasoning
  1471. Semantics
  1472. Semantic matching
  1473. Semantic TuCsoN
  1474. SemHealthCoord
  1475. sentiment analysis
  1476. serverless architecture
  1477. serverless computing
  1478. service middleware
  1479. service self-composition
  1480. service-oriented architecture
  1481. Services
  1482. Shallow2Deep
  1483. sharding
  1484. Shared Prolog
  1485. Shared Prolog
  1486. SHOIN(D)
  1487. SICStus
  1488. SICStus Prolog
  1489. signalling pathways models
  1490. SignalR
  1491. Simbad
  1492. similarity
  1493. simpA
  1494. simpA-WS
  1495. simpAL
  1496. simulation
  1497. simulation in software engineering
  1498. simulation on software engineering
  1499. SIPEAA
  1500. situadeness
  1501. situated computing
  1502. situated coordination
  1503. situated intelligence
  1504. situated logic programming
  1505. Situated ReSpecT
  1506. situatedness
  1507. situational method engineering
  1508. situational process engineering
  1509. Situational Method Engineering 
  1510. SKE metrics
  1511. SLD resolution
  1512. slot machines
  1513. Small world networks
  1514. smart cities
  1515. smart co-working
  1516. smart contracts
  1517. smart energy management
  1518. smart environments
  1519. smart glasses
  1520. smart grids
  1521. smart home
  1522. smart hospital
  1523. smart mobility
  1524. smart spaces
  1525. smart transportation
  1526. Smart Environment
  1527. SMS
  1528. SOA-WS
  1529. SOAP
  1530. SOAR
  1531. soccer
  1532. social action
  1533. social autonomy
  1534. social networks
  1535. social sciences
  1536. social systems
  1537. SOCIALNETS
  1538. Social networks
  1539. socio-technical systems
  1540. Socio-technical systems
  1541. socket library
  1542. Socket.IO
  1543. SockJS
  1544. SODA
  1545. software architecture
  1546. software as a service
  1547. software development
  1548. software development process
  1549. software engineering
  1550. software engineering process
  1551. Software process
  1552. software testing
  1553. software-defined storage
  1554. Software factory
  1555. Software systems
  1556. SOKO coordination model
  1557. Solidity
  1558. sonar sensors
  1559. SOS
  1560. space awareness
  1561. space-aware coordination
  1562. space-based coordination
  1563. Space-based coordination
  1564. space-time programming
  1565. SPADE
  1566. SPARQL
  1567. spatial computing
  1568. spatial computing languages
  1569. spatial coordination
  1570. spatial reasoning
  1571. Spatial ReSpecT
  1572. Spatial Tuples
  1573. Spatial abstractions
  1574. Spatial coordination
  1575. spatio-temporal computing
  1576. speech recognition
  1577. SPEM
  1578. SPEM 2.0
  1579. SpiderMonkey
  1580. Spring
  1581. Spring Boot
  1582. SQL
  1583. SQL Server
  1584. SSL/TLS
  1585. StairwAI
  1586. standard of proofs
  1587. standards
  1588. state machine replication
  1589. statistical learning
  1590. statistical mechanics
  1591. Stellar
  1592. stem cells
  1593. stigmergy
  1594. STIL
  1595. stochastic coordination
  1596. stochastic Prolog
  1597. stochastic simulation
  1598. stochastic simulation algorithm
  1599. stochastic systems
  1600. stochastic π-calculus
  1601. StoKlaim
  1602. STOMP
  1603. STOMP WebSocket
  1604. StorJ
  1605. stream processing
  1606. STRIPS
  1607. strong consistency
  1608. structured logic programming
  1609. stupid backoff
  1610. sTuples
  1611. styled components
  1612. subsumption architecture
  1613. supervised learning
  1614. surveillance systems
  1615. survey
  1616. SVN
  1617. Swagger
  1618. Swagger Codegen
  1619. Swarm
  1620. swarm bots
  1621. swarm intelligence
  1622. swarm robotics
  1623. SwarmLinda
  1624. Swift
  1625. Swing
  1626. SYBL
  1627. symbolic AI
  1628. symbolic knowledge extraction
  1629. symbolic knowledge injection
  1630. symbolic logic
  1631. symbolic transfer learning
  1632. symbolic vs. subsymbolic
  1633. symbolic reasoning
  1634. Symfony
  1635. synchronisation
  1636. Syntethic
  1637. sysadmin
  1638. system integration
  1639. system-level programming
  1640. systematic literature review
  1641. systemic coordination
  1642. systems
  1643. systems biology
  1644. systems biology modelling languages
  1645. systems of systems
  1646. System dynamics
  1647. T Spaces
  1648. tail recursion
  1649. TAILOR
  1650. Talisman
  1651. task-oriented engineering
  1652. TCP/IP
  1653. technology
  1654. telemedicine
  1655. telemetry
  1656. Telescript
  1657. TeleStroke
  1658. Tenderfone
  1659. Tendermint
  1660. TensorFlow
  1661. Terrier
  1662. testing
  1663. text mining
  1664. TheOne
  1665. theoretical physics
  1666. theory of mind
  1667. THOMAS
  1668. ThOr
  1669. tic-tac-toe
  1670. TicTacToe
  1671. Tile38
  1672. time
  1673. time awareness
  1674. time-awareness
  1675. timed coordination
  1676. Timed ReSpecT
  1677. tools
  1678. topology
  1679. TOTA
  1680. trading systems
  1681. Traefik
  1682. traffic management systems
  1683. train punctuality
  1684. transactions
  1685. Transducers
  1686. transfer learning
  1687. transformers
  1688. transport systems
  1689. trauma management
  1690. TraumaTracker
  1691. traveling salesman problem
  1692. Travis
  1693. triple space computing
  1694. Triple Store
  1695. Tropos
  1696. Truff
  1697. trust
  1698. TRUST 03
  1699. trustable systems
  1700. trustworthy AI
  1701. TuCSoN
  1702. TuCSoN on Cloud
  1703. TuCSoN4Jade
  1704. TuCSoN4Jason
  1705. TuleapL
  1706. tuple centres
  1707. tuple matching
  1708. tuple spaces
  1709. tuple-based coordination
  1710. tuProlog
  1711. Turing equivalence
  1712. TuSoW
  1713. Type 1 diabetes mellitus
  1714. TypeScript
  1715. typing
  1716. T Spaces
  1717. ubiquitous knowledge bases
  1718. ubiquitous systems
  1719. UI testing
  1720. uLinda
  1721. UML
  1722. uncertainty
  1723. understandability
  1724. UNIBO
  1725. uniform primitives
  1726. UNIMORE
  1727. Unit
  1728. UNITN
  1729. Unity3D
  1730. Unreal Engine
  1731. urban traffic management and control
  1732. Vagrant
  1733. VCS
  1734. vehicle localisation
  1735. vehicle mileage tracking
  1736. vehicle routing problem
  1737. veicolar cloud
  1738. verification
  1739. Vert.X
  1740. video streaming
  1741. videogames
  1742. virtual enterprise
  1743. virtual organisations
  1744. virtual reality
  1745. virtual worlds
  1746. Virtual-Box
  1747. VirtualBox
  1748. virtualisation
  1749. virus spread
  1750. Visual Studio
  1751. Vite
  1752. Vitest
  1753. VLSI Prolog
  1754. VMWare
  1755. voting systems
  1756. Vue
  1757. WADE
  1758. WAM
  1759. wearable devices
  1760. Web
  1761. Web 2.0
  1762. Web 3.0
  1763. web API
  1764. web app
  1765. web applications
  1766. web auctions
  1767. web crawling
  1768. web development
  1769. Web HTTP
  1770. web intelligence
  1771. Web of Things
  1772. web portal
  1773. web server
  1774. web services
  1775. web technologies
  1776. web-based IDE
  1777. WebLP
  1778. webpack
  1779. WebSocket
  1780. WebText dataset
  1781. web 2.0
  1782. Web architecture
  1783. Web frameworks
  1784. Web programming
  1785. WiFi Direct
  1786. wildcards
  1787. wireless ad hoc networks
  1788. wireless coordination
  1789. wireless LAN
  1790. wireless sensor networks
  1791. WireWorld
  1792. WLAN
  1793. WoAT
  1794. WordNet
  1795. workflow
  1796. workflow description language
  1797. workflow management systems
  1798. WP2
  1799. WP6
  1800. WS-CDL
  1801. WSDM
  1802. WSIT
  1803. WWW
  1804. xADL
  1805. XMAS
  1806. XML
  1807. XPath
  1808. XTend
  1809. XText
  1810. XWiki
  1811. YAML
  1812. YapOr
  1813. YAWL
  1814. Yoroi
  1815. zooming
  1816. Zyzzyva
  1817. π-calculus
Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY