Tag Cloud

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