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