Tags  /  Publications

  2APL2  2p-Kt3  2PaaS3  3APL2  A&A46  A&A ReSpecT1  ABA+1  abduction1  abductive logic programming1  access control5  ACLT8  activity theory8  actors1  ad hoc alignment1  adaptive systems8  adaptive tuple clustering2  ADELFE1  agens faber1  agent cognition1  agent communication1  agent communication languages4  agent coordination contexts24  agent middleware1  agent model2  agent societies5  agent technology1  agent workspaces1  agent-based modelling3  agent-based modelling and simulation3  agent-based XAI2  agent-oriented computing8  agent-oriented programming6  agent-oriented software engineering60  AgentLink1  agents12  AgentSpeak3  aggregate computing2  agile software development4  AI4EU12  Alchemist14  AlmaActa1  ambient intelligence12  amorphous computing1  Android2  answer set programming1  AnyLogic1  AOSE methodologies6  APPEAL1  architectural styles1  Arg2P7  argumentation17  artefacts32  artificial intelligence9  ASPECS1  aspects1  ASPIC+1  asynchronous interaction1  Auction1  augmented reality3  augmented worlds3  AUML1  authentication1  authorisation1  automated guided vehicles1  autonomic computing1  autonomous systems2  autonomous weapon systems1  autonomy5  Bach1  BaSi1  BDI9  behaviour analysis2  behaviour prediction2  behavioural implicit communication6  bio-inspired computing1  biochemical coordination5  biochemical tuple spaces4  biology1  BioMABS3  Biomimetics1  BioPepa1  bisimulation1  BISON1  black-box regressors1  Blackboard1  blockchain6  blockchain-based coordination2  BPEL1  bulk primitives1  burden of persuasion2  burden of proof2  Butlers5  byzantine behaviour1  C@sa1  CARA1  CArtAgO16  CASE1  chemical coordination5  chemical tuple spaces2  chronic diseases1  client-side computing1  cloud computing2  CMS1  CNR-PA6  co-argumentation artefacts2  cognitive agents2  cognitive artefacts2  cognitive stigmergy5  collaboration2  collaborative learning systems1  Collaborative work1  collective intelligence1  collective sorting7  Communication1  communication networks1  CompBioModel1  complex system simulation1  complex systems3  complexity2  component-based systems3  CompuLaw18  computable law1  computational biology5  computational fields3  computational institutions2  computational logic ecosystem1  computational logics2  concurrent languages1  concurrent software engineering1  conference management1  Constraint1  constraint logic programming1  constraint programming1  contact centres1  Context1  context awareness1  context-aware computing1  context-dependent coordination1  contexts6  contextual logic programming14  contextual programming3  contract nets1  control-driven coordination1  Control-driven models1  cooperation1  cooperative argumentation1  cooperative information systems1  coordination91  coordination architecture1  coordination artefacts7  coordination as a service3  coordination expressiveness3  coordination languages3  coordination middleware13  coordination models11  coordination patterns1  coordination technology9  coordination without model1  copy-collect1  CORBA1  Cougaar1  Crosscutting1  crosscutting concerns1  CSCW2  CSM5  CSpaces1  cyber-physical and cloud systems1  data aggregation1  data mining2  Data-driven models1  DCaseLP1  DCVS1  Decision making1  declarative technologies7  deep learning1  defeasible logic1  defeasible preference1  defeasible reasoning3  DeLP1  demo2  description logics10  design guidelines1  design patterns3  design process documentation and fragmentation8  developmental biology2  dialogue6  digital democracy2  digital health1  digital pheromones1  digital twins2  discrete-event simulation1  distance learning1  distributed argumentation1  distributed consensus1  distributed data processing1  distributed logic programming4  distributed programming1  distributed systems12  distributed systems engineering2  domain specific languages2  Drosophila Melanogaster6  dynamic task allocation2  e-democracy platforms1  e-health4  EasyLiving1  Eclipse3  eco-laws5  ecosystems1  edge computing2  edge intelligence2  EgoSpaces1  elasticity1  eLearning3  embedding1  embodied computing1  embodied vs. disembodied coordination1  emergent behaviours1  Engineering7  environment engineering1  environment-based coordination9  Epistemology1  ePolicy1  eternal systems3  Ethereum1  ethical AI1  event model1  event notification2  event-based systems1  event-driven coordination2  EXPECTATION7  explainability3  eXplainable AI14  explanation-ready agents1  expressiveness4  extended reality1  extreme programming4  field calculus2  field-based coordination2  finite state machine1  FIPA ACL2  FIPA agents1  follow-me1  formal models17  fragment1  fragmentation1  Framework2  functional programming1  FuturICT7  fuzzy description logic3  Gaia15  GALILEO5  game engines1  Gamma4  generalised assignment problem1  Generative communication1  generics3  Geo-Linda1  Gillespie1  Git1  glycolysis1  Goal-oriented systems1  graph neural networks1  green ICT1  grey-box semantics1  grid computing1  GridEx1  GroupLog1  HCI1  health care4  Healthcare3  hematopoietic stem cells2  hierarchical planning1  hierarchy in complex systems1  HiMAT8  History of ideas1  HomeManager9  Hospital 4.01  hybrid coordination1  HyperLedger Fabric1  ideal gas1  IEEE-FIPA documentation template3  implicit communication1  Implicit culture2  improvisation1  inductive logic programming4  INGENIAS2  intelligent agents2  intelligent environment1  intelligent systems11  intelligent virtual environments1  Intelligent agents1  intentional agents3  inter-organisational workflow1  interaction5  interaction patterns1  interaction semantics1  interactive graphical maps1  interactive systems1  Internet agents8  Internet of Intelligent Things3  Internet of Things12  interoperability1  interpretability3  intracellular signalling pathways1  intrusion detection2  IRoom1  Istar1  JaCa1  JaCa-Android1  JaCaMo2  JADE6  Jadex1  Jason9  Java7  Java agents1  JavaBeans1  JavaSpaces4  Jini1  Klaim4  knowledge extraction3  knowledge management2  knowledge representation1  knowledge-intensive environment9  knowledge-oriented coordination2  knowledge-oriented coordination1  Kotlin2  labelled systems1  labelled variables3  labelled variables in logic programming1  languages1  large-scale coordination1  large-scale distributed systems1  large-scale simulation1  Law-governed Linda2  layering4  legal reasoning2  LighTS1  Lime3  LinCa1  Linda21  linear logic2  linkability2  linking primitives1  LiquidFeedback2  live semantic annotations2  Logic1  logic agents2  logic constraints1  logic induction1  logic programming35  logic tuple centres1  logic tuple spaces2  logic-based argumentation1  logic-based coordination3  logic-based reasoning1  logic-based techniques1  logic-based technologies3  logical clocks1  logics1  LogOp3  LPaaS9  LuCe7  machine learning5  Manifold3  Map1  MARS1  MARS-X1  MAS applications3  MAS coordination11  MAS engineering10  MAS environment28  MAS meta-model1  MAS middleware24  MAS organisation11  MAS security5  MaSE1  MASON1  massively multi-agent systems1  matheuristics1  Maude3  MDA2  medieval battles1  MEnSA25  Mentalistic agents1  Mercurial1  MERCURIO1  meta-heuristics2  meta-model9  meta-modelling2  metabolyc pathways1  Method7  method engineering7  methodology3  micro-intelligence6  middleware2  middleware integration1  minority game3  MiRAgE2  mirror worlds3  Mobile1  mobile agents9  mobile computing2  mobility4  model checking3  model-driven architecture1  model-driven engineering1  Modeling2  models2  modular embedding2  Moise1  MoK12  Mok-News2  morphogenesis3  MS-BioNET2  msbionet1  MSR1  multi-agent based simulation10  multi-agent systems110  multi-disciplinary research1  multi-level autonomy2  multi-level models2  multi-paradigm languages1  multi-paradigm modelling1  multi-paradigm programming7  Multi-paradigm modelling1  multicellular systems biology3  multiple coordination flows2  nature-inspired computing5  nature-inspired coordination6  negotiation1  neural architecture search1  neural network complexity1  neural network opacity1  neural networks2  neuro-symbolic computing1  news management systems3  norms2  object-oriented inductive logic programming2  object-oriented logic programming1  object-oriented Petri nets1  object-oriented planning1  object-oriented programming6  object-oriented model1  objective vs. subjective coordination9  observation7  observation-based coordination3  online engineering2  OOSE1  open systems1  open vehicle fleets2  Open systems2  operating instructions4  operational semantics1  OPM2  opportunistic IoT services1  Orchestration1  OWL1  OWL-S1  OWL-T1  P@J2  Paradigm shift1  parameter engineering1  parameter optimisations1  parametric weighted multi-path1  PASSI3  Pellet1  personal agents1  personal medical digital assistants2  pervasive computing11  pervasive ecosystems5  pervasive sensing1  pervasive service ecosystems4  pervasive systems4  Petri nets3  Pheromones1  physical clocks1  physics1  pi-calculus1  plain diffusion1  planning2  PNagent1  post-declarative programming1  PRISM3  privacy2  proactivity1  probabilistic languages2  probabilistic logic programming2  probabilistic model checking4  probabilistic modular embedding2  ProbLinCa1  Process5  process algebras5  process calculus1  process engineering1  Process migration1  programmable coordination media5  programming2  programming languages3  programming paradigms1  Prolog14  Prolog agents1  Prolog agents1  Prometheus1  PROSOCS1  Proto1  PSyKE1  QoS1  Quintus Prolog1  R3 Corda1  rational agents3  RBAC7  RBAC-MAS8  reactive behavioral system1  Reactiveness1  recommendation systems1  reflection1  reification1  reliability1  Reo2  Requirement analysis1  RESET3  resource-oriented architecture3  ReSpecT32  ReSpecTX1  ReSpecT nets1  REST8  rewriting logic1  RFID2  RGB-D1  RMI1  robot systems4  roles4  RoleX1  Rousseau1  S-WAM2  SANA1  SANAP1  SAPERE7  SAPERE-core4  SAPERE-in9  SAPERE-pre6  SAPERE-rel1  SAPERE-WP21  scalability2  security1  self-*1  self-adaptation1  self-awareness1  self-management of chronic diseases1  self-organising coordination4  self-organising knowledge2  self-organising systems28  self-organising workspaces1  semantic chemistry1  semantic coordination11  semantic reasoning1  semantic tuple centres4  semantic web6  Semantic matching1  SemHealthCoord-in1  SemHealthCoord-pre9  service self-composition1  service-oriented architecture6  Services1  Shallow2Deep1  Shared Prolog1  SHOIN(D)1  SICStus1  SICStus Prolog4  simpA6  simpA-WS1  simpAL2  simulation19  situadeness1  situated computing1  situated coordination2  situated intelligence1  situated logic programming3  Situated ReSpecT1  situatedness1  situational method engineering8  situational process engineering1  Small world networks1  smart contracts6  smart environments6  smart home8  smart hospital1  smart spaces2  social action1  social sciences1  social systems1  socio-technical systems5  Socio-technical systems1  SODA27  software architecture2  Software development2  software development process4  software engineering7  software process1  Software factory1  Software systems1  SOKO coordination model1  space-based coordination1  space-time programming1  spatial computing5  spatial computing languages1  spatial coordination1  Spatial Tuples2  Spatial abstractions1  Spatial coordination1  spatio-temporal computing1  SPEM5  SPEM 2.01  StairwAI5  standard of proofs1  statistical mechanics1  stem cells1  stigmergy6  stochastic coordination5  stochastic Prolog1  stochastic simulation4  stochastic simulation algorithm4  stochastic systems3  stochastic π-calculus3  StoKlaim3  stream processing1  structured logic programming1  sTuples2  subsumption architecture1  survey1  SVN1  Swarm1  SYBL1  symbolic AI1  symbolic vs. subsymbolic7  symbolic reasoning1  synchronisation1  systematic literature review2  systemic coordination1  systems biology5  systems biology modelling languages1  systems of systems1  System dynamics1  T Spaces2  task-oriented engineering2  TCP/IP1  Tenderfone3  Tendermint1  Testing1  theoretical physics1  theory of mind1  tic-tac-toe1  time1  timed coordination2  Timed ReSpecT2  tools6  topology8  TOTA3  transactions1  trauma management1  TraumaTracker5  Tropos7  trust1  trustable systems1  TuCSoN106  TuCSoN4Jade1  tuple centres12  tuple matching1  tuple-based coordination48  tuProlog22  Turing equivalence1  TuSoW1  Type 1 diabetes mellitus1  T Spaces1  UML2  understandability1  UNIBO2  uniform primitives4  UNIMORE5  UNITN10  Unity3D1  Unreal Engine1  verification2  virtual enterprise4  virtual organisations1  Virtual Reality1  virtual worlds1  WAM2  Web 2.01  web services3  WebLP5  Web architecture1  wildcards1  WoAT2  WordNet1  workflow1  workflow management systems8  WWW3  XMAS1  XML1  zooming2  π-calculus1 

[  2607  /  702  tags  ]

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY