Tag Cloud

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