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