Tags

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