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

Elenco delle Attività

RSS Feed