Tags

Tags

Publications  /  Andrea Omicini

  2p-Kt3  2PaaS3  3APL1  A&A40  A&A ReSpecT1  ABA+1  abduction2  abductive logic programming1  access control5  ACLT8  activity theory6  actors1  adaptive systems1  adaptive tuple clustering1  ADELFE1  agens faber1  agent architecture1  agent cognition1  agent communication1  agent communication languages4  agent coordination contexts22  agent middleware1  agent model1  agent societies5  agent technology1  agent workspaces1  agent-based modelling1  agent-based modelling and simulation2  agent-based XAI2  agent-oriented computing7  agent-oriented software engineering32  AgentLink2  AgentLink III12  agents7  agricultural systems1  AI4EU12  Alchemist7  AlmaActa1  ambient intelligence1  answer set programming1  AOSE methodologies6  APPEAL1  Arg2P7  argumentation15  artefacts26  artificial intelligence6  ASPECS1  ASPIC+1  asynchronous interaction1  augmented reality1  authentication1  authorisation1  autonomic communication1  autonomous systems2  autonomous weapon systems1  autonomy4  BaSi1  behaviour analysis2  behaviour prediction2  behavioural implicit communication5  biochemical coordination2  biochemical tuple spaces4  bioinformatics1  biology1  BioMABS2  BISON1  black-box regressors3  blockchain6  blockchain-based coordination2  burden of persuasion2  burden of proof1  CARA1  CArtAgO9  chemical coordination3  chronic diseases1  cloud computing2  co-argumentation artefacts2  cognitive agents1  cognitive stigmergy5  collaboration2  collaborative learning systems1  collective sorting3  complex system simulation1  complex systems3  CompuLaw17  computable law1  computational biology4  computational institutions2  computational logic ecosystem1  computational logics2  concurrent languages1  concurrent software engineering1  concurrent systems1  conference management1  constraint logic programming1  constraint programming1  contact centres1  context-dependent coordination1  contexts8  contextual logic programming14  contextual programming2  contract nets1  cooperation1  cooperative argumentation1  cooperative information systems1  coordination71  coordination architecture1  coordination artefacts7  coordination as a service3  coordination expressiveness4  coordination languages3  coordination middleware12  coordination models9  coordination technology8  copy-collect1  CORBA1  CSM7  cyber-physical and cloud systems1  data mining2  declarative technologies8  defeasible logic1  defeasible preference1  defeasible reasoning3  DeLP1  description logics1  design guidelines1  design patterns1  design process documentation and fragmentation2  dialogue6  digital democracy3  discrete-event simulation2  distance learning1  distributed argumentation1  distributed logic programming4  distributed systems4  distributed systems engineering2  domain specific languages1  Drosophila Melanogaster3  dynamic task allocation2  e-democracy platforms1  e-health1  E-learning1  eager vs. lazy binding1  edge computing2  edge intelligence2  elasticity1  eLearning2  embedding1  embodied computing1  embodied vs. disembodied coordination1  emergent behaviours1  environment engineering1  environment-based coordination8  eScience1  Ethereum1  ethical AI1  event model1  event notification1  event-based systems1  event-driven coordination3  EXPECTATION12  explainability3  eXplainable AI16  explanation-ready agents1  expressiveness1  farm planning1  finite state machine1  FIPA ACL2  FIPA agents1  follow-me1  formal models15  functional programming1  fuzzy description logic1  Gaia3  GALILEO1  game engines1  Gamma1  Gillespie2  glycolysis1  GNN2GNN1  graph neural networks2  grey-box semantics1  GridEx3  health care1  hematopoietic stem cells2  HiMAT8  Home Manager3  hybrid coordination1  hypercube-based methods1  HyperLedger Fabric1  IEEE-FIPA documentation template3  implicit communication1  inductive logic programming4  INGENIAS1  intelligent agents4  intelligent systems13  inter-organisational workflow1  interaction1  interaction patterns1  interaction semantics1  interactive systems1  Internet agents9  Internet of Intelligent Things2  Internet of Things9  interoperability1  interpretability3  interpretable prediction2  intracellular signalling pathways1  intrusion detection2  ITER1  JADE6  Jason2  Java2  Java agents1  JavaBeans1  JavaSpaces3  KILL1  KINS2  knowledge extraction4  knowledge management1  knowledge-intensive environment8  knowledge-oriented coordination1  knowledge-oriented coordination1  Kotlin2  labelled systems1  labelled variables3  labelled variables in logic programming1  large-scale coordination2  large-scale simulation1  Law-governed Linda1  layering3  legal reasoning1  Lime2  LinCa1  Linda12  linear logic2  linkability2  linked data1  linking primitives1  LiquidFeedback2  load classification1  logic agents2  logic constraints1  logic induction1  logic programming38  logic tuple centres1  logic tuple spaces2  logic-based argumentation1  logic-based coordination3  logic-based techniques1  logic-based technologies4  LogOp3  LPaaS9  LuCe7  machine learning5  Manifold2  MAS applications2  MAS coordination11  MAS engineering9  MAS environment18  MAS meta-model2  MAS middleware20  MAS organisation10  MAS security4  MaSE1  MASON1  massively multi-agent systems1  Maude2  medieval battles1  MEnSA2  meta-argumentation2  meta-model3  meta-modelling3  metabolyc pathways1  method engineering1  micro-intelligence6  middleware2  middleware integration1  minority game3  mobile agents7  mobility1  model checking2  model-driven architecture2  model-driven engineering2  models2  modular embedding2  MoK8  Mok-News2  morphogenesis1  multi-agent based simulation10  multi-agent systems95  multi-disciplinary research1  multi-level autonomy2  multi-paradigm languages1  multi-paradigm modelling2  multi-paradigm programming6  multicellular systems biology2  multiple coordination flows2  nature-inspired computing1  nature-inspired coordination4  negotiation1  neural architecture search1  neural network complexity1  neural network opacity1  neural networks5  neuro-symbolic reasoning1  news management systems3  NokiaMobileCoord12  norms2  nutritional recommendation systems1  object-oriented inductive logic programming2  object-oriented logic programming1  object-oriented planning1  object-oriented programming8  object-oriented model1  objective vs. subjective coordination8  observable sources1  observation9  observation-based coordination5  online engineering1  open computational systems2  open systems1  open vehicle fleets2  open systems1  operating instructions3  operational semantics2  OPM2  organisation1  OWL1  PASSI1  Pellet1  pervasive computing5  pervasive ecosystems3  pervasive service ecosystems1  pervasive systems2  Petri nets2  physics1  pi-calculus1  plain diffusion1  planning2  PRISM1  privacy1  proactivity1  probabilistic languages2  probabilistic logic programming2  probabilistic model checking1  probabilistic modular embedding2  ProbLinCa1  process algebras5  process engineering1  programmable coordination media5  Prolog12  Prolog agents1  Prometheus1  PROSOCS1  PSyKE3  PSyKI4  quality of service1  R3 Corda1  RBAC5  RBAC-MAS8  RDF1  reflection1  Reo2  RESET4  resource-constrained devices1  resource-oriented architecture3  ReSpecT33  ReSpecTX1  ReSpecT nets1  REST6  rewriting logic1  RMI1  robot programming1  robot systems3  robustness1  roles4  Rousseau1  S-WAM2  SANA1  SANAP1  SAPERE2  SAPERE-in6  SAPERE-pre3  security1  self-awareness1  self-management of chronic diseases1  self-organising coordination4  self-organising knowledge2  self-organising systems17  self-organising workspaces1  semantic coordination5  semantic reasoning1  semantic tuple centres3  semantic web2  SemHealthCoord2  service self-composition1  service-oriented architecture4  Shallow2Deep1  SHOIN(D)1  SICStus1  SICStus Prolog5  signalling pathways models1  simpA1  simpA-WS1  simulation13  SIPEAA2  situadeness1  situated computing1  situated coordination2  situated intelligence1  situated logic programming3  Situated ReSpecT1  situational method engineering2  situational process engineering2  smart contracts6  smart environments5  smart home2  social action1  social sciences1  socio-technical systems5  SODA26  software architecture1  software development process5  software engineering4  SOKO coordination model1  space-time programming1  SPARQL1  spatial computing2  spatial computing languages1  Spatial Tuples2  spatio-temporal computing1  SPEM3  SPEM 2.01  StairwAI8  statistical mechanics1  stigmergy1  STIL1  stochastic coordination4  stochastic Prolog1  stochastic simulation2  stochastic systems3  stochastic π-calculus3  StoKlaim1  stream processing1  structured logic programming1  subsumption architecture1  survey1  SYBL1  symbolic AI1  symbolic knowledge extraction3  symbolic knowledge injection5  symbolic vs. subsymbolic8  symbolic reasoning1  systematic literature review2  systemic coordination1  systems biology5  systems biology modelling languages1  systems of systems2  T Spaces2  task-oriented engineering2  TCP/IP1  Tenderfone3  Tendermint1  tic-tac-toe1  timed coordination2  Timed ReSpecT2  tools2  topology7  Tropos1  trust1  TRUST 032  trustable systems1  TuCSoN102  TuCSoN on Cloud1  TuCSoN4Jade1  tuple centres12  tuple matching1  tuple-based coordination31  tuProlog17  Turing equivalence1  TuSoW1  Type 1 diabetes mellitus1  UML2  understandability2  UNIBO1  uniform primitives4  Unity3D1  Unreal Engine1  verification1  virtual enterprise4  VLSI Prolog1  WAM2  web services1  WebLP5  WordNet1  workflow1  workflow management systems8  WWW2  XMAS1  zooming2  π-calculus1 

[  1871  /  502  tags  ]

Avatar

home  •  activity  •  courses  •  events  •  internships  •  projects  •  publications  •  talks  •  theses

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