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