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. Dixit
  425. Docker compose
  426. Docker Swarm
  427. DodgeDrone Challenge
  428. domain name system
  429. domotic agents
  430. Dreamer
  431. DrJava
  432. drones
  433. DrSimpA
  434. DSAW
  435. DVCS
  436. DVCS Git
  437. dynamic georeferencing
  438. dynamic task allocation
  439. DyNE
  440. e-democracy
  441. e-democracy platforms
  442. e-learning management systems
  443. E-learning platforms
  444. E-learning tools
  445. eager vs. lazy binding
  446. EASE
  447. EasyLiving
  448. Eclipse constraint solver
  449. Eclipse Modeling Framework
  450. EcoNews
  451. economic decision making
  452. Ecosystem
  453. ecosystems
  454. EDemocracy
  455. edge intelligence
  456. EDITH
  457. educational psychology
  458. EgoSpaces
  459. EHR
  460. elasticity
  461. ELDAMeth
  462. eLearning
  463. election algorithms
  464. electronic health record
  465. embedded environments
  466. embedding
  467. embodied computing
  468. embodied vs. disembodied coordination
  469. emergent behaviours
  470. Emotion CSS
  471. empirical model learning
  472. encoder-decoders
  473. end-to-end testing
  474. EneA-FL
  475. ENGINES
  476. entropy
  477. entscheidungsproblem
  478. environment engineering
  479. environment modelling
  480. environment-oriented programming
  481. EOS
  482. EOS-DUE
  483. epidemic-spread simulation
  484. epistemic action
  485. epistemology
  486. ePolicy
  487. ERP
  488. Error handling
  489. eScience
  490. etcd
  491. eternal systems
  492. ethical AI
  493. euroCRIS
  494. event loop
  495. event model
  496. event notification
  497. event tracker
  498. event-based systems
  499. event-driven coordination
  500. event-driven programming
  501. Evolution
  502. evolutionary algorithms
  503. evolutionary computing
  504. evolutionary multi-agent systems
  505. ExACT
  506. exception handling
  507. expert systems
  508. explanation as communication
  509. explanation-ready agents
  510. Express
  511. expressiveness
  512. extended reality
  513. externalised rationality
  514. extreme programming
  515. FAIR-PE01-SP08
  516. fairness
  517. fantasy football
  518. farm planning
  519. federated learning
  520. FedLSBT
  521. few-shot learning
  522. ffmpeg
  523. field-based coordination
  524. finite state machine
  525. FIPA ACL
  526. FIPA agents
  527. FIPA DPDF
  528. FIPA protocols
  529. FIPA ACL
  530. fire detection
  531. FIT
  532. Flickr30k dataset
  533. Flickr9k dataset
  534. flocking systems
  535. Flower
  536. Flutter
  537. fog computing
  538. follow-me
  539. foraging
  540. formal methods
  541. formal tools for software engineering
  542. foundations of computing
  543. Foundry
  544. fragment
  545. fragmentation
  546. Framework
  547. function as a service
  548. functional programming
  549. Functional safety
  550. fuzzy coordination
  551. fuzzy description logic
  552. Gaia4E
  553. generalised assignment problem
  554. generative AI
  555. Generative communication
  556. generics
  557. genetic algorithms
  558. genetic operators
  559. geo-fencing
  560. Geo-Linda
  561. geo-location
  562. Geo2p
  563. geofencing
  564. geolocalisation
  565. geolocation
  566. Gherkin
  567. Gillespie
  568. Git
  569. Git hooks
  570. GitBucket
  571. Gitea
  572. GitFlow
  573. GitHub
  574. GitHub Actions Workflow
  575. GitLab
  576. GitPrep
  577. glycolysis
  578. GNN2GNN
  579. Go
  580. goal-oriented systems
  581. Google Cloud
  582. Google DART
  583. Google Maps
  584. Google Android
  585. GORMAS
  586. gossip pattern
  587. GPS
  588. GPT-2
  589. GPT-3
  590. GPT3
  591. Grade
  592. gradient pattern
  593. graph convolutional networks
  594. graph DB
  595. graph neural networks
  596. graph recurrent neural networks
  597. graphic interfaces
  598. Graphivz
  599. green ICT
  600. grey-box semantics
  601. grid computing
  602. GridREx
  603. group buy
  604. GroupLog
  605. GUI
  606. H2020
  607. hands-free
  608. HCI
  609. Healthcare
  610. Helmet
  611. hematopoietic stem cells
  612. HERE Development
  613. Hermit
  614. hierarchical planning
  615. hierarchy in complex systems
  616. History of ideas
  617. Hive BDI
  618. holonic MAS
  619. home automation
  620. HoneyBadger BFT
  621. Hospital 4.0
  622. hovering information
  623. HTML
  624. HTML5
  625. HTTP
  626. HTTP challenge
  627. human walk
  628. hybrid agents
  629. hybrid coordination
  630. hybrid-quorum replication
  631. Hypercore protocol
  632. Hyperledger
  633. IBM Watson
  634. IDE
  635. ideal gas
  636. IEEE
  637. IEEE-FIPA documentation template
  638. IFTS
  639. IKVM
  640. image recognition
  641. implicit communication
  642. Implicit culture
  643. improvisation
  644. in-memory database
  645. indoor localisation
  646. Industry 4.0
  647. information extraction
  648. information harvesting
  649. Information retrieval
  650. infrastructure as a code
  651. infrastructure free
  652. INGENIAS
  653. INGENIAS-Agile
  654. Inspector tool
  655. intelligent beings
  656. intelligent environment
  657. intelligent fridge
  658. intelligent health care
  659. intelligent transportation systems
  660. intelligent virtual environments
  661. IntelliJ IDEA
  662. intentional agents
  663. intentions
  664. inter-organisational workflow
  665. interaction patterns
  666. interaction protocols
  667. interaction semantics
  668. interactive graphical maps
  669. interactive systems
  670. Internet of Intelligent Things
  671. Internet of Vehicles
  672. interoperability
  673. interplanetary file system
  674. intracellular signalling pathways
  675. intrusion detection
  676. inversion of control
  677. iOS
  678. IRIS
  679. IRoom
  680. ISO
  681. ISO26262
  682. Istar
  683. IVRE
  684. Ivy
  685. J2EE
  686. J2ME
  687. Ja.Net
  688. JaCa-Android
  689. JaCa-Web
  690. JaCa-WS
  691. JACK
  692. Jacop
  693. JADE on Android
  694. Jade-LEAP
  695. Jaeger
  696. Jakta
  697. Jakta distributed
  698. Jasa agents
  699. Java agents
  700. Java Metro
  701. Java monitor
  702. Java RMI
  703. Java Scripting Engine
  704. Java-based OS
  705. JavaBeans
  706. Javalin
  707. JavaLog
  708. Javelin
  709. JDBC
  710. JDDAC
  711. JEdit
  712. Jenkins
  713. Jess
  714. JFact
  715. Jini
  716. JNode
  717. Join point
  718. journalism
  719. JRDF
  720. JSON tuple spaces
  721. JWT
  722. Kallithea
  723. Kea
  724. KILL
  725. kinetic modelling
  726. KINS
  727. KIS
  728. KMongo
  729. knowledge construction
  730. knowledge engineering
  731. knowledge evaluation
  732. knowledge management
  733. knowledge-based coordination
  734. knowledge-oriented coordination
  735. knowledge-oriented coordination
  736. Knowledge diffusion
  737. KNX protocol stack
  738. Kotest
  739. Kotlin DSL
  740. Kotlin Multiplatform
  741. Kryonet
  742. Kubectl
  743. Kubeflow
  744. labelled logic programming
  745. labelled systems
  746. labelled theories
  747. labelled transition systems
  748. labelled tuProlog
  749. labelled variables
  750. labelled variables in logic programming
  751. Lagom
  752. LAILA
  753. lambda architecture
  754. language models
  755. languages
  756. large language models
  757. large-scale coordination
  758. large-scale distributed systems
  759. large-scale simulation
  760. Law-governed Linda
  761. learn to code
  762. learning management systems
  763. learning objects
  764. learning process
  765. ledgers
  766. legal reasoning
  767. Legolog
  768. LeJOS
  769. leRCOS
  770. Let’s Encrypt
  771. LIDAR
  772. life simulator
  773. lifted relational neural networks
  774. LighTS
  775. LinCa
  776. linear logic
  777. linear temporal logic
  778. linkability
  779. linked data
  780. linking primitives
  781. Lint
  782. LiquidFeedback
  783. LISA Pathfinder
  784. live semantic annotations
  785. LLM
  786. load classification
  787. logging
  788. logic
  789. logic clauses
  790. logic constraints
  791. logic induction
  792. logic smart contracts
  793. logic tuple centres
  794. logic tuple spaces
  795. logic tuples
  796. logic-based argumentation
  797. logic-based coordination
  798. logic-based reasoning
  799. logic-based techniques
  800. logical clocks
  801. logical English
  802. logics
  803. logistics
  804. Lotka-Volterra equation
  805. LPaas client
  806. LPaas-REST
  807. LSA
  808. LVLP
  809. machine ethics
  810. macroprogramming
  811. MAgentA
  812. Magneti Marelli
  813. managed service provider
  814. Management
  815. Manifold
  816. MAOP4FI
  817. MAPE
  818. MAPF
  819. MAPK
  820. Marmotta
  821. MARS-X
  822. MAS autonomy
  823. MAS elasticity
  824. MAS infrastructure
  825. MAS meta-model
  826. MAS programming
  827. MAS tools
  828. MAS verification
  829. MaSE
  830. MASON
  831. massive data
  832. massively multi-agent systems
  833. matchmaking
  834. Material-UI
  835. Materialize
  836. matheuristics
  837. MAVA
  838. Maven
  839. MDA
  840. MediatR
  841. MediCoordination
  842. meeting-scheduling
  843. MemN2N
  844. Mentalistic agents
  845. Mercurial
  846. MERCURIO
  847. Mesa library
  848. MeshNet
  849. message passing
  850. message-oriented middleware
  851. messaging services
  852. meta-argumentation
  853. meta-heuristics
  854. meta-interpretation
  855. meta-interpretative learning
  856. meta-modelling
  857. meta-programming
  858. meta-rules
  859. metabolyc pathways
  860. Metaio
  861. MetaMeth
  862. MetaPatrol
  863. methodologies
  864. methodology evaluation
  865. metrics for neuro-symbolic integration
  866. metrics for SKE
  867. metrics for SKI
  868. Microsoft SQL Server
  869. middleware integration
  870. Mini-ME
  871. minority game
  872. MIP-nets
  873. MIPNet
  874. MiRAgE
  875. mirror worlds
  876. MLFlow
  877. MLOps
  878. Mobile
  879. mobile ad-hoc networks
  880. mobile applications
  881. mobile backend as a service
  882. mobile banking
  883. mobile computing
  884. mobile coordination
  885. mobile devices
  886. mobile health
  887. mobile musical agents
  888. mobile systems
  889. mobile AR
  890. Mobile web
  891. mobility
  892. mobility models
  893. Mocha
  894. Mockito
  895. modal logic
  896. model-driven architecture
  897. model-driven engineering
  898. model-view-control pattern
  899. Modeling
  900. modelling and simulation
  901. Modelli di comunicazione
  902. models
  903. modular embedding
  904. MoK atoms
  905. MoK matching function
  906. MoK middleware
  907. MoK reactions
  908. MoK storage
  909. MoK users
  910. Moleculer
  911. Monaco Editor
  912. Mongoose
  913. Mosquitto
  914. motion
  915. Mozilla
  916. MQTT
  917. MRS
  918. MS COCO dataset
  919. MS-BioNET
  920. msbionet
  921. MSR
  922. multi-agent organisation
  923. multi-agent reinforcement learning
  924. multi-agent routing
  925. multi-agent systems
  926. multi-disciplinary research
  927. multi-level autonomy
  928. multi-level models
  929. multi-paradigm languages
  930. multi-paradigm modelling
  931. Multi-paradigm modelling
  932. multi-sensing data fusion
  933. multi-theory logic languages
  934. multi-threading
  935. multicellular systems biology
  936. multiplayer games
  937. multiple coordination flows
  938. multitasking
  939. multitier architectures
  940. musical acts
  941. musical agent architecture
  942. musical agents
  943. MySQL
  944. MySQL Connector
  945. n-Queens
  946. naming system
  947. Neo4j
  948. NetBeans
  949. NetcodeRollback
  950. Netty
  951. network management
  952. network time protocol
  953. Network topology
  954. neural architecture search
  955. neural image caption generation
  956. neural machine translation
  957. neural network complexity
  958. neural network opacity
  959. neuro-symbolic integration
  960. NGINX
  961. NIC
  962. NLP datasets
  963. Nomi cose città
  964. non-IID data
  965. non-playing characters
  966. non-relational databases
  967. noSQL
  968. nutritional recommendation systems
  969. NXC
  970. O-MaSe
  971. object-oriented inductive logic programming
  972. object-oriented logic programming
  973. object-oriented Petri nets
  974. object-oriented planning
  975. object-oriented software engineering
  976. object-oriented model
  977. objective coordination
  978. observable sources
  979. observer pattern
  980. obstacle avoidance
  981. Octopus
  982. OITOS
  983. online auctions
  984. online engineering
  985. ontologies
  986. OOSE
  987. open computational systems
  988. open systems
  989. open vehicle fleets
  990. OpenAPI
  991. OpenEHR
  992. OpenGL
  993. OpenNLP
  994. OpenStack
  995. OpenTelemetry
  996. OpenUP
  997. Open systems
  998. operating instructions
  999. operation manual
  1000. operational semantics
  1001. OPM
  1002. opportunistic IoT services
  1003. opportunistic network
  1004. optimisation
  1005. OPTYap
  1006. OR-parallelism
  1007. Oracle CRM
  1008. Orchestration
  1009. OrCHiD
  1010. organ transplantation
  1011. organisation-oriented programming
  1012. OrientDB
  1013. Orleans
  1014. osBrain
  1015. Ospedale Bufalini
  1016. OWAMAH
  1017. OWL
  1018. OWL-S
  1019. OWL-T
  1020. p2p
  1021. p2p networks
  1022. P@J
  1023. PAAS
  1024. paradigm shift
  1025. Paradigm shift
  1026. parallel algorithms
  1027. parallel data store
  1028. parameter engineering
  1029. parameter optimisations
  1030. parametric weighted multi-path
  1031. partial planning
  1032. particle systems
  1033. path planning
  1034. Paxos protocols
  1035. Payara
  1036. PDDL
  1037. PEDRO
  1038. peer-review federated learning
  1039. Peer-Review Flower
  1040. PEPA
  1041. perception
  1042. permissioned blockchain
  1043. persistency
  1044. persistent storage
  1045. personal agents
  1046. personal medical digital assistants
  1047. pervasive communication
  1048. pervasive intelligence
  1049. pervasive sensing
  1050. PettingZoo
  1051. PFA
  1052. pgmpy
  1053. Phabricator
  1054. Pheromones
  1055. PHP
  1056. physical clocks
  1057. physics
  1058. pi-calculus
  1059. plain diffusion
  1060. PlantUML
  1061. pLinda
  1062. plp
  1063. plug-in
  1064. PMML
  1065. PNagent
  1066. Pointcut
  1067. points of interest
  1068. Poker
  1069. Pong
  1070. post-declarative programming
  1071. post-normal science
  1072. PostgresSQL
  1073. Postman
  1074. practical byzantine fault tolerance
  1075. practical reasoning
  1076. PRACTIONIST
  1077. pray-predator
  1078. pregnancy
  1079. Prettier
  1080. prey-predator
  1081. principle
  1082. PRISM
  1083. privacy
  1084. private cloud
  1085. private international law
  1086. proactivity
  1087. probabilistic languages
  1088. probabilistic logic programming
  1089. probabilistic modular embedding
  1090. ProbLinCa
  1091. process calculus
  1092. process coordination
  1093. process engineering
  1094. process management
  1095. Process migration
  1096. PRODE
  1097. profiling
  1098. program correctness
  1099. program specification
  1100. program verification
  1101. programming
  1102. programming paradigms
  1103. project dissemination
  1104. Prolog agents
  1105. Prolog agents
  1106. Prometheus
  1107. proof of stake
  1108. proof of work
  1109. PROSOCS
  1110. Protelis
  1111. Proto
  1112. Protobuf
  1113. protocol buffers
  1114. PRS
  1115. publish/subscribe
  1116. pulverizable architectures
  1117. Pusher Channel
  1118. Pyro4
  1119. Q-learning
  1120. QoS metrics for SKI
  1121. Qu-Prolog
  1122. quadcopters
  1123. quality of service
  1124. quantum computing
  1125. Query/Update protocol
  1126. Quidditch
  1127. Quill
  1128. Quintus Prolog
  1129. quorum-based protocols
  1130. R
  1131. R3 Corda
  1132. rational agents
  1133. RDF
  1134. re-organisation
  1135. React Native
  1136. React.js
  1137. reactive agents
  1138. reactive behavioral system
  1139. Reactiveness
  1140. real time
  1141. real-time applications
  1142. real-time communication
  1143. real-time physical activity
  1144. real-time strategy games
  1145. recommendation systems
  1146. recommender systems
  1147. recurrent neural networks
  1148. Redis
  1149. Redux
  1150. refactoring
  1151. reflection
  1152. REGN
  1153. reification
  1154. reinforcement learning
  1155. reliability
  1156. remote diagnosis
  1157. remote management
  1158. Reo
  1159. reorganization
  1160. RePAST
  1161. replica-based protocols
  1162. replication
  1163. Repository
  1164. reputation
  1165. Requirement analysis
  1166. resource-constrained devices
  1167. ReSpecT nets
  1168. ReSpecTX
  1169. RethinkDB
  1170. Reti neuronali
  1171. RETSINA
  1172. reverse geocoding
  1173. reverse proxy
  1174. rewriting logic
  1175. RFID
  1176. RGB-D
  1177. Rhino
  1178. Risk
  1179. risk analysis
  1180. RMI
  1181. RoBERTa
  1182. RoboCup
  1183. robot controller
  1184. robot coordination
  1185. robot navigation
  1186. Robot Operating System
  1187. robot simulation
  1188. Robot Wars
  1189. Robot coordination
  1190. RoboVM
  1191. robustness
  1192. role-based models
  1193. roles
  1194. RoleX
  1195. ROMAS
  1196. Rousseau
  1197. RSS
  1198. RTS games
  1199. S-WAM
  1200. SACoord
  1201. SANA
  1202. SANAP
  1203. SAP
  1204. SAPERE-core
  1205. SAPERE-rel
  1206. SAPERE-WP2
  1207. SAPERE-WP4
  1208. SARL
  1209. SBML
  1210. SC00097B
  1211. ScaFi
  1212. scalability
  1213. ScalaLoci1
  1214. ScalaTest
  1215. scheduling
  1216. school timetable
  1217. Scientific reseaarch
  1218. SCIFF
  1219. Scripting languages
  1220. SeaweedFS
  1221. secure MAS
  1222. security
  1223. Selenium
  1224. self-*
  1225. self-adaptation
  1226. self-assembling robots
  1227. self-awareness
  1228. self-explaining agents
  1229. self-management of chronic diseases
  1230. self-organisation patterns
  1231. self-organising architectures
  1232. self-organising MAS
  1233. self-organising semantic coordination
  1234. self-organising workspaces
  1235. self-stabilisation
  1236. semantic chemistry
  1237. semantic matchmaking
  1238. semantic reasoning
  1239. semantic segmentation
  1240. semantic sensor networks
  1241. Semantic TuCSoN
  1242. Semantic Web of Things
  1243. semantic web reasoning
  1244. Semantics
  1245. Semantic matching
  1246. Semantic TuCsoN
  1247. sentiment analysis
  1248. serverless architecture
  1249. serverless computing
  1250. service middleware
  1251. service self-composition
  1252. Services
  1253. Shallow2Deep
  1254. sharding
  1255. Shared Prolog
  1256. Shared Prolog
  1257. SHOIN(D)
  1258. SICStus
  1259. sieve protocol
  1260. SignalR
  1261. Simbad
  1262. similarity
  1263. simpA-WS
  1264. Simple Build Tool
  1265. simulation in software engineering
  1266. simulation on software engineering
  1267. SIPEAA
  1268. situadeness
  1269. situated computing
  1270. situated coordination
  1271. situated intelligence
  1272. situated logic programming
  1273. situational process engineering
  1274. Situational Method Engineering 
  1275. SKE metrics
  1276. SLD resolution
  1277. slot machines
  1278. Small world networks
  1279. smart cities
  1280. smart co-working
  1281. smart energy management
  1282. smart glasses
  1283. smart grids
  1284. smart hospital
  1285. smart mobility
  1286. Smart Spaces
  1287. smart transportation
  1288. Smart Environment
  1289. SMS
  1290. SOA-WS
  1291. SOAP
  1292. SOAR
  1293. soccer
  1294. social action
  1295. social autonomy
  1296. social networks
  1297. social sciences
  1298. social systems
  1299. SOCIALNETS
  1300. Social networks
  1301. Socio-technical systems
  1302. socket library
  1303. software as a service
  1304. Software development
  1305. software engineering process
  1306. software process
  1307. software testing
  1308. software-defined storage
  1309. Software factory
  1310. Software systems
  1311. SOKO coordination model
  1312. Solidity
  1313. sonar sensors
  1314. SOS
  1315. space awareness
  1316. space-aware coordination
  1317. space-based coordination
  1318. Space-based coordination
  1319. space-time programming
  1320. SPADE
  1321. SPARQL
  1322. spatial computing languages
  1323. spatial coordination
  1324. spatial reasoning
  1325. Spatial ReSpecT
  1326. Spatial abstractions
  1327. Spatial coordination
  1328. spatio-temporal computing
  1329. speech recognition
  1330. SPEM 2.0
  1331. SpiderMonkey
  1332. Spring
  1333. Spring Boot
  1334. SQL
  1335. SQL Server
  1336. SSL/TLS
  1337. standard of proofs
  1338. standards
  1339. statistical learning
  1340. statistical mechanics
  1341. Stellar
  1342. stem cells
  1343. STIL
  1344. stochastic Prolog
  1345. stochastic systems
  1346. stochastic π-calculus
  1347. StoKlaim
  1348. STOMP
  1349. STOMP WebSocket
  1350. StorJ
  1351. stream processing
  1352. STRIPS
  1353. strong consistency
  1354. structured logic programming
  1355. stupid backoff
  1356. sTuples
  1357. styled components
  1358. subsumption architecture
  1359. supervised learning
  1360. surveillance systems
  1361. survey
  1362. SVN
  1363. Swagger
  1364. Swagger Codegen
  1365. Swarm
  1366. swarm bots
  1367. swarm robotics
  1368. SwarmLinda
  1369. Swift
  1370. Swing
  1371. SYBL
  1372. symbolic AI
  1373. symbolic logic
  1374. symbolic transfer learning
  1375. symbolic reasoning
  1376. Symfony
  1377. synchronisation
  1378. Syntethic
  1379. system integration
  1380. system-level programming
  1381. systemic coordination
  1382. systems
  1383. systems biology modelling languages
  1384. systems of systems
  1385. System dynamics
  1386. T Spaces
  1387. tail recursion
  1388. Talisman
  1389. task-oriented engineering
  1390. TCP/IP
  1391. technology
  1392. telemedicine
  1393. telemetry
  1394. TeleStroke
  1395. Tenderfone
  1396. Tendermint
  1397. TensorFlow
  1398. Terrier
  1399. Testing
  1400. text mining
  1401. TheOne
  1402. theoretical physics
  1403. theory of mind
  1404. THOMAS
  1405. ThOr
  1406. tic-tac-toe
  1407. TicTacToe
  1408. Tile38
  1409. time
  1410. time awareness
  1411. time-awareness
  1412. timed coordination
  1413. Timed ReSpecT
  1414. trading systems
  1415. Traefik
  1416. traffic management systems
  1417. train punctuality
  1418. transactions
  1419. Transducers
  1420. transfer learning
  1421. transformers
  1422. transport systems
  1423. trauma management
  1424. traveling salesman problem
  1425. Travis
  1426. Trello
  1427. triple space computing
  1428. Triple Store
  1429. Truff
  1430. trust
  1431. TRUST 03
  1432. trustable systems
  1433. TuCSoN
  1434. TuCSoN on Cloud
  1435. TuCSoN4Jade
  1436. TuCSoN4Jason
  1437. TuleapL
  1438. tuple matching
  1439. Turing equivalence
  1440. Type 1 diabetes mellitus
  1441. typing
  1442. ubiquitous computing
  1443. ubiquitous knowledge bases
  1444. UI testing
  1445. uLinda
  1446. UML
  1447. uncertainty
  1448. understandability
  1449. UNIBO
  1450. Unit
  1451. Unreal Engine
  1452. urban traffic management and control
  1453. Vagrant
  1454. VCS
  1455. vehicle localisation
  1456. vehicle mileage tracking
  1457. vehicle routing problem
  1458. veicolar cloud
  1459. Vert.X-Web
  1460. video games
  1461. video streaming
  1462. videogames
  1463. virtual organisations
  1464. virtual reality
  1465. virtual worlds
  1466. Virtual-Box
  1467. VirtualBox
  1468. virtualisation
  1469. virus spread
  1470. Visual Studio
  1471. Vite
  1472. Vitest
  1473. VLSI Prolog
  1474. VMWare
  1475. voting systems
  1476. Vue
  1477. Vue.js
  1478. WADE
  1479. WAM
  1480. weakly supervised learning
  1481. wearable devices
  1482. Web
  1483. Web 2.0
  1484. Web 3.0
  1485. web API
  1486. web app
  1487. web applications
  1488. web auctions
  1489. web crawling
  1490. web development
  1491. Web HTTP
  1492. web intelligence
  1493. Web of Things
  1494. web portal
  1495. web server
  1496. web technologies
  1497. web-based IDE
  1498. webpack
  1499. WebRTC
  1500. WebText dataset
  1501. Web 2.0
  1502. Web architecture
  1503. Web frameworks
  1504. Web programming
  1505. WiFi Direct
  1506. wildcards
  1507. wireless ad hoc networks
  1508. wireless coordination
  1509. wireless LAN
  1510. wireless sensor networks
  1511. WireWorld
  1512. WLAN
  1513. WoAT
  1514. WordNet
  1515. workflow description language
  1516. WP2
  1517. WP6
  1518. WS-CDL
  1519. WSDM
  1520. WSIT
  1521. WWW
  1522. xADL
  1523. XMAS
  1524. XPath
  1525. XTend
  1526. XText
  1527. XWiki
  1528. YAML
  1529. YapOr
  1530. YAWL
  1531. Yoroi
  1532. Zyzzyva
  1533. π-calculus