Skip to Content

Pannello di Controllo

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

Elenco delle Attività

RSS Feed