Dashboard

Pages

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

Activity Stream

RSS Feed