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-IID data
  1160. non-relational databases
  1161. norms
  1162. noSQL
  1163. npm
  1164. nutritional recommendation systems
  1165. NXC
  1166. O-MaSe
  1167. object-oriented inductive logic programming
  1168. object-oriented logic programming
  1169. object-oriented Petri nets
  1170. object-oriented planning
  1171. object-oriented programming
  1172. object-oriented software engineering
  1173. object-oriented model
  1174. objective coordination
  1175. objective vs. subjective coordination
  1176. observable sources
  1177. observation
  1178. observation-based coordination
  1179. observer pattern
  1180. obstacle avoidance
  1181. Octopus
  1182. OITOS
  1183. online auctions
  1184. online engineering
  1185. ontologies
  1186. OOSE
  1187. open computational systems
  1188. open systems
  1189. open vehicle fleets
  1190. OpenAPI
  1191. OpenEHR
  1192. OpenGL
  1193. OpenNLP
  1194. OpenStack
  1195. OpenTelemetry
  1196. OpenUP
  1197. Open systems
  1198. operating instructions
  1199. operation manual
  1200. operational semantics
  1201. OPM
  1202. opportunistic IoT services
  1203. opportunistic network
  1204. optimisation
  1205. OPTYap
  1206. OR-parallelism
  1207. Oracle CRM
  1208. Orchestration
  1209. OrCHiD
  1210. organ transplantation
  1211. organisation
  1212. organisation-oriented programming
  1213. OrientDB
  1214. Orleans
  1215. osBrain
  1216. Ospedale Bufalini
  1217. OWAMAH
  1218. OWL
  1219. OWL-S
  1220. OWL-T
  1221. p2p
  1222. p2p networks
  1223. P@J
  1224. PAAS
  1225. PageSpace
  1226. paradigm shift
  1227. Paradigm shift
  1228. parallel algorithms
  1229. parallel data store
  1230. parameter engineering
  1231. parameter optimisations
  1232. parametric weighted multi-path
  1233. partial planning
  1234. particle systems
  1235. PASSI
  1236. path planning
  1237. Paxos protocols
  1238. Payara
  1239. PDDL
  1240. PEDRO
  1241. peer-review federated learning
  1242. Peer-Review Flower
  1243. Pellet
  1244. PEPA
  1245. perception
  1246. persistency
  1247. persistent storage
  1248. personal agents
  1249. personal medical digital assistants
  1250. pervasive communication
  1251. pervasive computing
  1252. pervasive ecosystems
  1253. pervasive intelligence
  1254. pervasive sensing
  1255. pervasive service ecosystems
  1256. pervasive systems
  1257. Petri nets
  1258. PettingZoo
  1259. PFA
  1260. pgmpy
  1261. Phabricator
  1262. Pheromones
  1263. PHP
  1264. physical clocks
  1265. physics
  1266. pi-calculus
  1267. plain diffusion
  1268. planning
  1269. PlantUML
  1270. pLinda
  1271. plp
  1272. plug-in
  1273. PMML
  1274. PNagent
  1275. Pointcut
  1276. points of interest
  1277. poker
  1278. Pong
  1279. post-declarative programming
  1280. post-normal science
  1281. PostgresSQL
  1282. Postman
  1283. practical byzantine fault tolerance
  1284. practical reasoning
  1285. PRACTIONIST
  1286. pray-predator
  1287. pregnancy
  1288. prey-predator
  1289. principle
  1290. PRISM
  1291. privacy
  1292. private cloud
  1293. private international law
  1294. proactivity
  1295. probabilistic languages
  1296. probabilistic logic programming
  1297. probabilistic model checking
  1298. probabilistic modular embedding
  1299. ProbLinCa
  1300. Process
  1301. process algebras
  1302. process calculus
  1303. process engineering
  1304. process management
  1305. Process migration
  1306. PRODE
  1307. profiling
  1308. program correctness
  1309. program specification
  1310. program verification
  1311. programmable coordination media
  1312. programming
  1313. programming languages
  1314. programming paradigms
  1315. project dissemination
  1316. Prolog
  1317. Prolog agents
  1318. Prolog agents
  1319. Prometheus
  1320. proof of stake
  1321. proof of work
  1322. PROSOCS
  1323. Protelis
  1324. Proto
  1325. Protobuf
  1326. protocol buffers
  1327. PRS
  1328. PSyKE
  1329. PSyKI
  1330. publish/subscribe
  1331. pulverizable architectures
  1332. Pusher Channel
  1333. Pyro4
  1334. Python
  1335. Q-learning
  1336. QoS metrics for SKI
  1337. Qu-Prolog
  1338. quadcopters
  1339. quality of service
  1340. quantum computing
  1341. Query/Update protocol
  1342. Quidditch
  1343. Quill
  1344. Quintus Prolog
  1345. quorum-based protocols
  1346. R
  1347. R3 Corda
  1348. RabbitMQ
  1349. Raft
  1350. Raspberry Pi
  1351. rational agents
  1352. RBAC
  1353. RBAC-MAS
  1354. RDF
  1355. re-organisation
  1356. React Native
  1357. React.js
  1358. reactive agents
  1359. reactive behavioral system
  1360. Reactiveness
  1361. real time
  1362. real-time applications
  1363. real-time communication
  1364. real-time physical activity
  1365. real-time strategy games
  1366. recommendation systems
  1367. recommender systems
  1368. recurrent neural networks
  1369. Redis
  1370. Redux
  1371. refactoring
  1372. reflection
  1373. REGN
  1374. reification
  1375. reinforcement learning
  1376. reliability
  1377. remote diagnosis
  1378. remote management
  1379. Reo
  1380. reorganization
  1381. RePAST
  1382. replica-based protocols
  1383. replication
  1384. Repository
  1385. reputation
  1386. Requirement analysis
  1387. RESET
  1388. resource-constrained devices
  1389. resource-oriented architecture
  1390. ReSpecT
  1391. ReSpecTX
  1392. ReSpecT nets
  1393. REST
  1394. RESTful web services
  1395. RethinkDB
  1396. Reti neuronali
  1397. RETSINA
  1398. reverse geocoding
  1399. reverse proxy
  1400. rewriting logic
  1401. RFID
  1402. RGB-D
  1403. Rhino
  1404. Risk
  1405. risk analysis
  1406. RMI
  1407. RoBERTa
  1408. RoboCup
  1409. robot controller
  1410. robot coordination
  1411. robot navigation
  1412. Robot Operating System
  1413. robot programming
  1414. robot simulation
  1415. robot systems
  1416. Robot Wars
  1417. Robot coordination
  1418. RoboVM
  1419. robustness
  1420. role-based models
  1421. roles
  1422. RoleX
  1423. ROMAS
  1424. Rousseau
  1425. RSS
  1426. RTS games
  1427. S-WAM
  1428. SACoord
  1429. SANA
  1430. SANAP
  1431. SAP
  1432. SAPERE
  1433. SAPERE-core
  1434. SAPERE-in
  1435. SAPERE-pre
  1436. SAPERE-rel
  1437. SAPERE-WP1
  1438. SAPERE-WP2
  1439. SAPERE-WP4
  1440. SAPERE-WP6
  1441. SARL
  1442. SBML
  1443. SC00097B
  1444. ScaFi
  1445. Scala
  1446. scalability
  1447. ScalaLoci1
  1448. ScalaTest
  1449. scheduling
  1450. school timetable
  1451. Scientific reseaarch
  1452. SCIFF
  1453. Scripting languages
  1454. SeaweedFS
  1455. secure MAS
  1456. security
  1457. Selenium
  1458. self-*
  1459. self-adaptation
  1460. self-assembling robots
  1461. self-awareness
  1462. self-explaining agents
  1463. self-management of chronic diseases
  1464. self-organisation
  1465. self-organisation patterns
  1466. self-organising architectures
  1467. self-organising coordination
  1468. self-organising knowledge
  1469. self-organising MAS
  1470. self-organising semantic coordination
  1471. self-organising systems
  1472. self-organising workspaces
  1473. self-stabilisation
  1474. semantic chemistry
  1475. semantic coordination
  1476. semantic matchmaking
  1477. semantic reasoning
  1478. semantic segmentation
  1479. semantic sensor networks
  1480. Semantic TuCSoN
  1481. semantic tuple centres
  1482. semantic web
  1483. Semantic Web of Things
  1484. semantic web reasoning
  1485. Semantics
  1486. Semantic matching
  1487. Semantic TuCsoN
  1488. SemHealthCoord
  1489. sentiment analysis
  1490. serverless architecture
  1491. serverless computing
  1492. service middleware
  1493. service self-composition
  1494. service-oriented architecture
  1495. Services
  1496. Shallow2Deep
  1497. sharding
  1498. Shared Prolog
  1499. Shared Prolog
  1500. SHOIN(D)
  1501. SICStus
  1502. SICStus Prolog
  1503. signalling pathways models
  1504. SignalR
  1505. Simbad
  1506. similarity
  1507. simpA
  1508. simpA-WS
  1509. simpAL
  1510. Simple Build Tool
  1511. simulation
  1512. simulation in software engineering
  1513. simulation on software engineering
  1514. SIPEAA
  1515. situadeness
  1516. situated computing
  1517. situated coordination
  1518. situated intelligence
  1519. situated logic programming
  1520. Situated ReSpecT
  1521. situatedness
  1522. situational method engineering
  1523. situational process engineering
  1524. Situational Method Engineering 
  1525. SKE metrics
  1526. SLD resolution
  1527. slot machines
  1528. Small world networks
  1529. smart cities
  1530. smart co-working
  1531. smart contracts
  1532. smart energy management
  1533. smart environments
  1534. smart glasses
  1535. smart grids
  1536. smart home
  1537. smart hospital
  1538. smart mobility
  1539. smart spaces
  1540. smart transportation
  1541. Smart Environment
  1542. SMS
  1543. SOA-WS
  1544. SOAP
  1545. SOAR
  1546. soccer
  1547. social action
  1548. social autonomy
  1549. social networks
  1550. social sciences
  1551. social systems
  1552. SOCIALNETS
  1553. Social networks
  1554. socio-technical systems
  1555. Socio-technical systems
  1556. socket library
  1557. Socket.IO
  1558. SockJS
  1559. SODA
  1560. software architecture
  1561. software as a service
  1562. Software development
  1563. software development process
  1564. software engineering
  1565. software engineering process
  1566. Software process
  1567. software testing
  1568. software-defined storage
  1569. Software factory
  1570. Software systems
  1571. SOKO coordination model
  1572. Solidity
  1573. sonar sensors
  1574. SOS
  1575. space awareness
  1576. space-aware coordination
  1577. space-based coordination
  1578. Space-based coordination
  1579. space-time programming
  1580. SPADE
  1581. SPARQL
  1582. spatial computing
  1583. spatial computing languages
  1584. spatial coordination
  1585. spatial reasoning
  1586. Spatial ReSpecT
  1587. Spatial Tuples
  1588. Spatial abstractions
  1589. Spatial coordination
  1590. spatio-temporal computing
  1591. speech recognition
  1592. SPEM
  1593. SPEM 2.0
  1594. SpiderMonkey
  1595. Spring
  1596. Spring Boot
  1597. SQL
  1598. SQL Server
  1599. SSL/TLS
  1600. StairwAI
  1601. standard of proofs
  1602. standards
  1603. state machine replication
  1604. statistical learning
  1605. statistical mechanics
  1606. Stellar
  1607. stem cells
  1608. stigmergy
  1609. STIL
  1610. stochastic coordination
  1611. stochastic Prolog
  1612. stochastic simulation
  1613. stochastic simulation algorithm
  1614. stochastic systems
  1615. stochastic π-calculus
  1616. StoKlaim
  1617. STOMP
  1618. STOMP WebSocket
  1619. StorJ
  1620. stream processing
  1621. STRIPS
  1622. strong consistency
  1623. structured logic programming
  1624. stupid backoff
  1625. sTuples
  1626. styled components
  1627. subsumption architecture
  1628. supervised learning
  1629. surveillance systems
  1630. survey
  1631. SVN
  1632. Swagger
  1633. Swagger Codegen
  1634. Swarm
  1635. swarm bots
  1636. swarm intelligence
  1637. swarm robotics
  1638. SwarmLinda
  1639. Swift
  1640. Swing
  1641. SYBL
  1642. symbolic AI
  1643. symbolic knowledge extraction
  1644. symbolic knowledge injection
  1645. symbolic logic
  1646. symbolic transfer learning
  1647. symbolic vs. subsymbolic
  1648. symbolic reasoning
  1649. Symfony
  1650. synchronisation
  1651. Syntethic
  1652. sysadmin
  1653. system integration
  1654. system-level programming
  1655. systematic literature review
  1656. systemic coordination
  1657. systems
  1658. systems biology
  1659. systems biology modelling languages
  1660. systems of systems
  1661. System dynamics
  1662. T Spaces
  1663. tail recursion
  1664. TAILOR
  1665. Talisman
  1666. task-oriented engineering
  1667. TCP/IP
  1668. technology
  1669. telemedicine
  1670. telemetry
  1671. Telescript
  1672. TeleStroke
  1673. Tenderfone
  1674. Tendermint
  1675. TensorFlow
  1676. Terrier
  1677. Testing
  1678. text mining
  1679. TheOne
  1680. theoretical physics
  1681. theory of mind
  1682. THOMAS
  1683. ThOr
  1684. tic-tac-toe
  1685. TicTacToe
  1686. Tile38
  1687. time
  1688. time awareness
  1689. time-awareness
  1690. timed coordination
  1691. Timed ReSpecT
  1692. tools
  1693. topology
  1694. TOTA
  1695. trading systems
  1696. Traefik
  1697. traffic management systems
  1698. train punctuality
  1699. transactions
  1700. Transducers
  1701. transfer learning
  1702. transformers
  1703. transport systems
  1704. trauma management
  1705. TraumaTracker
  1706. traveling salesman problem
  1707. Travis
  1708. triple space computing
  1709. Triple Store
  1710. Tropos
  1711. Truff
  1712. trust
  1713. TRUST 03
  1714. trustable systems
  1715. trustworthy AI
  1716. TuCSoN
  1717. TuCSoN on Cloud
  1718. TuCSoN4Jade
  1719. TuCSoN4Jason
  1720. TuleapL
  1721. tuple centres
  1722. tuple matching
  1723. tuple spaces
  1724. tuple-based coordination
  1725. tuProlog
  1726. Turing equivalence
  1727. TuSoW
  1728. Type 1 diabetes mellitus
  1729. TypeScript
  1730. typing
  1731. T Spaces
  1732. ubiquitous knowledge bases
  1733. ubiquitous systems
  1734. UI testing
  1735. uLinda
  1736. UML
  1737. uncertainty
  1738. understandability
  1739. UNIBO
  1740. uniform primitives
  1741. UNIMORE
  1742. Unit
  1743. UNITN
  1744. Unity3D
  1745. Unreal Engine
  1746. urban traffic management and control
  1747. Vagrant
  1748. VCS
  1749. vehicle localisation
  1750. vehicle mileage tracking
  1751. vehicle routing problem
  1752. veicolar cloud
  1753. verification
  1754. Vert.X
  1755. Vert.X-Web
  1756. video streaming
  1757. videogames
  1758. virtual enterprise
  1759. virtual organisations
  1760. virtual reality
  1761. virtual worlds
  1762. Virtual-Box
  1763. VirtualBox
  1764. virtualisation
  1765. virus spread
  1766. Visual Studio
  1767. Vite
  1768. Vitest
  1769. VLSI Prolog
  1770. VMWare
  1771. voting systems
  1772. Vue
  1773. Vue.js
  1774. WADE
  1775. WAM
  1776. wearable devices
  1777. Web
  1778. Web 2.0
  1779. Web 3.0
  1780. web API
  1781. web app
  1782. web applications
  1783. web auctions
  1784. web crawling
  1785. web development
  1786. Web HTTP
  1787. web intelligence
  1788. Web of Things
  1789. web portal
  1790. web server
  1791. web services
  1792. web technologies
  1793. web-based IDE
  1794. WebLP
  1795. webpack
  1796. WebSocket
  1797. WebText dataset
  1798. web 2.0
  1799. Web architecture
  1800. Web frameworks
  1801. Web programming
  1802. WiFi Direct
  1803. wildcards
  1804. wireless ad hoc networks
  1805. wireless coordination
  1806. wireless LAN
  1807. wireless sensor networks
  1808. WireWorld
  1809. WLAN
  1810. WoAT
  1811. WordNet
  1812. workflow
  1813. workflow description language
  1814. workflow management systems
  1815. WP2
  1816. WP6
  1817. WS-CDL
  1818. WSDM
  1819. WSIT
  1820. WWW
  1821. xADL
  1822. XMAS
  1823. XML
  1824. XPath
  1825. XTend
  1826. XText
  1827. XWiki
  1828. YAML
  1829. YapOr
  1830. YAWL
  1831. Yoroi
  1832. zooming
  1833. Zyzzyva
  1834. π-calculus
Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY