Dashboard

Pages

Tags

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

Activity Stream

RSS Feed

Tags:
Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY