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