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

Elenco delle Attività

RSS Feed