Tags

2APL₂  2p-Kt₄  2PaaS₃  3APL₂  A&A₅₁  A&A ReSpecT₁  ABA+₁  abduction₂  abductive logic programming₁  abductive reasoning₁  access control₅  ACLT₉  active documents₁  active learning₁  activity theory₉  actors₃  ad hoc alignment₁  adaptive systems₉  adaptive tuple clustering₂  ADELFE₂  AEQUITAS₅  agens faber₁  agent architecture₁  agent cognition₁  agent communication₁  agent communication languages₅  agent control loop₁  agent coordination contexts₂₄  agent middleware₁  agent model₂  agent societies₈  agent technology₁  agent workspaces₁  agent-based modelling₃  agent-based modelling and simulation₃  agent-based XAI₂  agent-oriented computing₁₁  agent-oriented methodologies₈  agent-oriented programming₇  agent-oriented software engineering₆₈  AgentLink₂  AgentLink III₁₄  agents₁₇  AgentSpeak₄  aggregate computing₅  aggregate planning₁  agile software development₄  agricultural systems₁  AI4EU₁₂  Alberto Martelli₁  Alchemist₁₈  ALMA TWO₂  AlmaActa₁  ALOO₁  AlphaGo₁  ambient intelligence₁₂  amorphous computing₁  Android₂  answer set programming₁  AnyLogic₁  APPEAL₁  architectural styles₁  Arg2P₁₂  argumentation₂₂  artefacts₃₂  artificial general intelligence₂  artificial intelligence₁₄  artificial life₁  ASPECS₂  aspects₁  ASPIC+₁  asynchronous interaction₁  attention mechanism₄  Auction₁  augmented reality₃  augmented worlds₃  AUML₁  authentication₂  authorisation₂  automated guided vehicles₁  automatic service composition₁  AutoML₃  autonomic communication₁  autonomic computing₁  autonomous agents₄  autonomous systems₂  autonomous weapon systems₁  autonomy₆  availability₁  Bach₁  BaSi₁  BDI₁₂  behaviour analysis₂  behaviour prediction₂  behavioural implicit communication₇  BibTeX₂  bio-inspired computing₁  biochemical coordination₅  biochemical networks₁  biochemical simulation₁  biochemical tuple spaces₄  bioinformatics₁  biology₁  BioMABS₃  Biomimetics₁  BioPepa₂  bisimulation₁  BISON₁  black-box models₅  black-box regressors₇  blackboard model₄  blockchain₆  blockchain-based coordination₂  BPEL₁  bulk primitives₁  burden of persuasion₆  burden of proof₂  Butlers₅  byzantine behaviour₁  C@sa₁  CAP theorem₁  CARA₁  CArtAgO₁₈  CASE₁  CASE tools₁  CASO₁  causal interpretation₁  ChatGPT₂  chemical coordination₅  chemical models₁  chemical tuple spaces₃  chronic diseases₁  CINA₁₀  client-side computing₁  cloud computing₂  cloud services₁  CMS₁  CNR-PA₆  co-argumentation artefacts₂  code mobility₂  cognitive agents₂  cognitive artefacts₂  cognitive stigmergy₆  collaboration₂  collaborative learning systems₁  Collaborative work₁  collective intelligence₁  collective services₁  collective sorting₈  Communication₁  communication networks₁  complex system simulation₁  complex systems₃  complexity₂  component-based systems₃  CompuLaw₂₈  computability₁  computable law₁  computational biology₇  computational fields₆  computational institutions₂  computational logic ecosystem₁  computational logics₇  computer science₁  concurrent languages₁  concurrent object-oriented programming₂  concurrent software engineering₁  concurrent systems₁  conference management₁  consistency₁  Constraint₁  constraint logic programming₁  constraint programming₁  constraint satisfaction₁  contact centres₁  Context₁  context awareness₁  context-aware computing₁  context-dependent coordination₁  contexts₈  contextual logic programming₁₅  contextual programming₂  contract nets₁  control-driven coordination₁  Control-driven models₁  convolutional neural networks₁  cooperation₁  cooperative argumentation₁  cooperative information systems₁  coordination₁₀₂  coordination architecture₁  coordination artefacts₈  coordination as a service₃  coordination expressiveness₄  coordination languages₃  coordination middleware₁₆  coordination models₁₂  coordination patterns₁  coordination technology₉  coordination without model₁  copy-collect₁  CoQA dataset₁  CORBA₁  Cougaar₁  counterfactual explanation₂  CREAM₁  CReEPy₁  Crosscutting₁  crosscutting concerns₁  CSCW₂  CSM₇  CSpaces₁  cyber-physical and cloud systems₁  cyber-physical systems₁  DAI₁  Darwin Information Typing Architecture₁  data aggregation₁  data degradation₁  data mining₂  Data-driven models₁  data-efficient learning₁  Datalog₁  dataset pruning₁  dataset summarisation₁  DCaseLP₁  DCVS₁  decision support systems₁  Decision making₁  declarative programming₁  declarative technologies₈  deep learning₂  deep neural networks₂  defeasible logic₁  defeasible preference₁  defeasible reasoning₄  delay measures₁  DeLP₁  demo₂  description logics₁₁  design guidelines₁  design patterns₄  design process documentation and fragmentation₈  developmental biology₂  DevOps₁  dialogue₆  digital democracy₃  digital health₁  digital pheromones₁  digital twins₂  discrete-event simulation₂  distance learning₁  distributed argumentation₁  distributed consensus₁  distributed data processing₁  distributed language model training₁  distributed logic programming₄  distributed programming₁  distributed systems₁₄  distributed systems engineering₂  domain specific languages₄  Drosophila Melanogaster₆  dynamic task allocation₂  e-democracy platforms₁  e-health₆  e-learning₂  e-learning management systems₁  eager vs. lazy binding₁  EasyLiving₁  Eclipse₄  Eclipse constraint solver₁  Eclipse Modeling Framework₁  Eclipse-IT₂  eco-laws₅  ecosystems₁  edge computing₂  edge intelligence₃  EgoSpaces₁  elasticity₁  ELDAMeth₁  eLearning₂  embedding₁  embodied computing₁  embodied vs. disembodied coordination₁  emergent behaviours₁  encoder-decoders₁  EneA-FL₁  Engineering₇  entscheidungsproblem₁  environment engineering₁  environment-based coordination₉  epistemology₂  ePolicy₁  eScience₁  eternal systems₃  Ethereum₁  ethical AI₁  event loop₁  event model₁  event notification₂  event-based systems₁  event-driven coordination₃  ExACT₂  EXPECTATION₁₆  expert systems₁  explainability₉  eXplainable AI₂₈  explainable clustering₄  explanation-ready agents₂  expressiveness₄  extended reality₁  extreme programming₄  farm planning₁  federated learning₂  few-shot learning₁  field calculus₄  field-based coordination₂  finite state machine₁  FIPA₁  FIPA ACL₂  FIPA agents₁  Flickr30k dataset₁  Flickr9k dataset₁  follow-me₁  formal models₁₈  fragment₁  fragmentation₁  Framework₂  functional programming₁  FuturICT₇  fuzzy description logic₃  Gaia₁₇  Gaia4E₁  GALILEO₅  game engines₁  Gamma₄  generalised assignment problem₁  generative AI₁  Generative communication₁  generics₃  Geo-Linda₁  Gillespie₂  Git₁  glycolysis₁  GNN2GNN₁  goal-oriented systems₁  GORMAS₁  GPT-2₁  GPT-3₁  GPT3₁  graph neural networks₂  green ICT₁  grey-box semantics₁  grid computing₁  GridEx₅  GridREx₁  GroupLog₁  HCI₁  health care₆  Healthcare₃  hematopoietic stem cells₂  hierarchical planning₁  hierarchy in complex systems₁  HiMAT₈  History of ideas₁  Home Manager₉  Hospital 4.0₁  hybrid coordination₁  hypercube-based methods₁  HyperLedger Fabric₁  ideal gas₁  IEEE₁  IEEE-FIPA documentation template₃  image recognition₁  implicit communication₁  Implicit culture₂  improvisation₁  inductive logic programming₄  INGENIAS₃  INGENIAS-Agile₁  intelligent agents₇  intelligent environment₁  intelligent systems₁₅  intelligent systems engineering₁  intelligent virtual environments₁  intentional agents₃  intentions₁  inter-organisational workflow₁  interaction₆  interaction patterns₁  interaction semantics₁  interactive graphical maps₁  interactive systems₁  Internet agents₉  Internet of Intelligent Things₃  Internet of Things₁₄  interoperability₁  interpretability₇  interpretable prediction₂  intracellular signalling pathways₁  intrusion detection₂  IRoom₁  Istar₁  ITER₁  JaCa₁  JaCa-Android₁  JaCaMo₃  JADE₆  Jadex₁  Jason₁₀  Java₇  Java agents₁  JavaBeans₁  JavaSpaces₄  Jini₁  KILL₁  kinetic modelling₁  KINS₃  Klaim₄  knowledge evaluation₁  knowledge extraction₈  knowledge management₂  knowledge representation₁  knowledge-based systems₁  knowledge-intensive environment₁₀  knowledge-oriented coordination₂  knowledge-oriented coordination₁  Kotlin₂  labelled systems₁  labelled variables₃  labelled variables in logic programming₁  language models₁  languages₁  large language models₄  large-scale coordination₂  large-scale distributed systems₁  large-scale simulation₁  Law-governed Linda₂  layering₄  legal reasoning₂  LighTS₁  Lime₃  LinCa₁  Linda₂₃  linear logic₂  linkability₂  linked data₁  linking primitives₁  LiquidFeedback₂  live semantic annotations₂  load classification₁  Logic₂  logic agents₂  logic constraints₁  logic induction₁  logic programming₄₁  logic tuple centres₁  logic tuple spaces₃  logic-based argumentation₁  logic-based coordination₃  logic-based reasoning₁  logic-based techniques₂  logic-based technologies₄  logical clocks₁  logical English₁  logics₁  logistics₁  LogOp₃  LPaaS₉  LuCe₇  machine learning₉  Manifold₃  MARS₁  MARS-X₁  MAS applications₅  MAS coordination₁₂  MAS engineering₁₀  MAS environment₂₉  MAS meta-model₂  MAS middleware₂₄  MAS organisation₁₁  MAS security₅  MaSE₁  MASON₁  massively multi-agent systems₁  matheuristics₁  Maude₄  MDA₁  medieval battles₁  MEnSA₂₅  Mentalistic agents₁  Mercurial₁  MERCURIO₁  meta-argumentation₄  meta-heuristics₂  meta-model₉  meta-modelling₂  metabolyc pathways₁  Method₇  method engineering₇  methodology₃  metrics for neuro-symbolic integration₁  metrics for SKE₁  metrics for SKI₁  micro-intelligence₆  microservices₁  middleware₂  middleware integration₁  minority game₃  MiRAgE₂  mirror worlds₃  Mobile₁  mobile agents₉  mobile computing₃  mobile systems₁  mobility₄  modal logic₁  model checking₃  model-driven architecture₂  model-driven engineering₁  Modeling₁  models₂  modular embedding₂  Moise₂  MoK₁₄  Mok-News₂  morphogenesis₄  MS COCO dataset₁  MS-BioNET₂  msbionet₁  MSR₁  multi-agent based simulation₁₁  multi-agent organisation₂  multi-agent systems₁₃₄  multi-disciplinary research₁  multi-level autonomy₂  multi-level models₂  multi-paradigm languages₁  multi-paradigm modelling₁  multi-paradigm programming₇  Multi-paradigm modelling₁  multi-theory logic languages₁  multicellular systems biology₃  multiple coordination flows₂  n-Queens₁  natural language processing₄  nature-inspired computing₅  nature-inspired coordination₇  negotiation₂  neural architecture search₁  neural image caption generation₁  neural machine translation₂  neural network complexity₁  neural network opacity₁  neural networks₈  neuro-symbolic integration₁  neuro-symbolic reasoning₂  news management systems₃  NLP datasets₁  NokiaMobileCoord₁₁  non-IID data₁  norms₂  nutritional recommendation systems₁  O-MaSe₁  object-oriented inductive logic programming₂  object-oriented logic programming₂  object-oriented Petri nets₁  object-oriented planning₁  object-oriented programming₈  object-oriented model₁  objective vs. subjective coordination₉  observable sources₁  observation₉  observation-based coordination₅  online engineering₂  ontologies₁  OOSE₁  open computational systems₂  open systems₁  open vehicle fleets₂  OpenUP₁  Open systems₂  operating instructions₄  operational semantics₂  OPM₂  opportunistic IoT services₁  Orchestration₁  OrCHiD₁  organisation₁  OWL₁  OWL-S₁  OWL-T₁  P@J₂  Paradigm shift₁  parallel algorithms₁  parameter engineering₁  parameter optimisations₁  parametric weighted multi-path₁  partial planning₁  PASSI₄  PEDRO₁  peer-review federated learning₁  Pellet₁  personal agents₁  personal medical digital assistants₂  pervasive computing₁₁  pervasive ecosystems₅  pervasive sensing₁  pervasive service ecosystems₄  pervasive systems₄  Petri nets₄  Pheromones₁  physical clocks₁  physics₁  pi-calculus₁  plain diffusion₁  planning₃  plp₁  PNagent₁  post-declarative programming₁  post-hoc explanation₁  post-normal science₁  practical reasoning₁  PRISM₃  privacy₂  proactivity₁  probabilistic languages₂  probabilistic logic programming₃  probabilistic model checking₄  probabilistic modular embedding₂  ProbLinCa₁  Process₅  process algebras₆  process calculus₁  process engineering₁  Process migration₁  program correctness₁  program specification₁  programmable coordination media₆  programming₂  programming languages₃  programming paradigms₁  Prolog₁₇  Prolog agents₁  Prolog agents₁  Prometheus₁  PROSOCS₁  Protelis₁  Proto₁  PSyKE₉  PSyKI₆  pulverizable architectures₁  QoS metrics for SKI₁  quality of service₃  Quintus Prolog₁  R3 Corda₁  rational agents₃  RBAC₇  RBAC-MAS₈  RDF₁  reactive behavioral system₁  Reactiveness₁  recommendation systems₁  reflection₁  reification₁  reinforcement learning₁  reliability₁  remote diagnosis₁  Reo₂  Requirement analysis₁  RESET₄  resource-constrained devices₃  resource-oriented architecture₃  ReSpecT₃₃  ReSpecT nets₂  ReSpecTX₁  REST₈  rewriting logic₁  RFID₂  RGB-D₁  RMI₁  robot programming₁  robot systems₃  robustness₃  roles₄  RoleX₁  ROMAS₁  Rousseau₁  S-WAM₂  SANA₁  SANAP₁  SAPERE₇  SAPERE-core₄  SAPERE-in₉  SAPERE-pre₆  SAPERE-rel₁  SAPERE-WP2₁  SC00097B₁  ScaFi₁  scalability₂  security₁  self-*₁  self-adaptation₁  self-awareness₁  self-management of chronic diseases₁  self-organisation₂  self-organising coordination₅  self-organising knowledge₂  self-organising MAS₁  self-organising systems₂₉  self-organising workspaces₁  self-stabilisation₂  semantic chemistry₁  semantic coordination₁₂  semantic reasoning₁  semantic segmentation₁  semantic tuple centres₄  semantic web₈  Semantic matching₁  SemHealthCoord₃  serverless computing₁  service middleware₁  service self-composition₁  service-oriented architecture₆  Services₁  Shallow2Deep₁  Shared Prolog₁  SHOIN(D)₁  SICStus₁  SICStus Prolog₅  signalling pathways models₄  simpA₆  simpA-WS₁  simpAL₃  simulation₂₀  SIPEAA₂  situadeness₁  situated computing₁  situated coordination₂  situated intelligence₁  situated logic programming₃  Situated ReSpecT₁  situatedness₁  situational method engineering₈  situational process engineering₁  SKE metrics₁  Small world networks₁  smart contracts₆  smart energy management₁  smart environments₆  smart home₇  smart hospital₁  Smart Spaces₂  social action₂  social sciences₁  social systems₁  socio-technical systems₇  SODA₂₈  software architecture₂  Software development₂  software development process₅  software engineering₇  software process₁  Software factory₁  Software systems₁  SOKO coordination model₁  space-based coordination₁  space-time programming₁  SPARQL₁  spatial computing₈  spatial computing languages₁  spatial coordination₁  Spatial Tuples₂  Spatial abstractions₁  Spatial coordination₁  spatio-temporal computing₁  SPEM₅  SPEM 2.0₁  StairwAI₁₂  standard of proofs₁  statistical mechanics₁  stem cells₁  stigmergy₆  STIL₂  stochastic coordination₆  stochastic Prolog₁  stochastic simulation₅  stochastic simulation algorithm₄  stochastic systems₃  stochastic π-calculus₃  StoKlaim₃  stream processing₁  structured logic programming₁  stupid backoff₁  sTuples₂  subsumption architecture₁  supervised learning₁  survey₁  SVN₁  Swarm₁  SYBL₁  symbolic AI₁  symbolic knowledge extraction₁₁  symbolic knowledge injection₁₁  symbolic vs. subsymbolic₉  symbolic reasoning₁  synchronisation₁  systematic literature review₃  systemic coordination₁  systems biology₅  systems biology modelling languages₁  systems of systems₁  System dynamics₁  T Spaces₂  TAILOR₇  task-oriented engineering₂  TCP/IP₁  telemedicine₁  TeleStroke₁  Tenderfone₃  Tendermint₁  Testing₁  theoretical physics₁  theory of mind₁  tic-tac-toe₁  time₁  timed coordination₂  Timed ReSpecT₂  tools₆  topology₉  TOTA₃  train punctuality₁  transactions₁  transformers₂  trauma management₁  TraumaTracker₅  Tropos₈  trust₂  TRUST 03₂  trustable systems₁  trustworthy AI₂  TuCSoN₁₀₆  TuCSoN on Cloud₁  TuCSoN4Jade₁  tuple centres₁₃  tuple matching₁  tuple-based coordination₅₀  tuProlog₂₂  Turing equivalence₁  TuSoW₁  Type 1 diabetes mellitus₁  T Spaces₁  ubiquitous systems₁  UML₂  understandability₃  UNIBO₂  uniform primitives₄  UNIMORE₅  UNITN₁₀  Unity3D₁  Unreal Engine₁  verification₃  virtual enterprise₄  virtual organisations₁  virtual reality₁  virtual worlds₁  VLSI Prolog₁  WAM₂  Web 2.0₁  web services₃  WebLP₅  WebText dataset₁  Web architecture₁  wildcards₁  WoAT₂  WordNet₁  workflow₁  workflow management systems₈  WWW₃  XMAS₁  XML₂  zooming₂  π-calculus₁