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