Tag

pubblicazioni / Andrea Omicini
2p-Kt3  2PaaS3  3APL1  A&A40  A&A ReSpecT1  ABA+1  abduction2  abductive logic programming1  abductive reasoning1  access control5  ACLT9  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 methodologies6  agent-oriented programming4  agent-oriented software engineering36  AgentLink2  agents7  agents in bioinformatics2  agricultural systems1  AI infrastructure1  Alchemist7  AlmaActa1  ambient intelligence1  answer set programming1  APPEAL1  Arg2P7  argumentation15  artefacts26  artificial intelligence6  ASPECS1  ASPIC+1  asynchronous interaction1  augmented reality1  authentication2  authorisation2  autonomic communication1  autonomous systems2  autonomous weapon systems1  autonomy4  BaSi1  behaviour analysis2  behaviour prediction2  behavioural implicit communication5  biochemical coordination2  biochemical tuple spaces4  bioinformatics4  biology1  BioMABS2  black-box regressors3  blackboard model1  blockchain6  blockchain-based coordination2  burden of persuasion3  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  computable law1  computational biology7  computational institutions2  computational logic ecosystem1  computational logics4  concurrent languages1  concurrent software engineering1  concurrent systems1  conference management1  constraint injection1  constraint logic programming1  constraint programming1  contact centres1  context-dependent coordination1  contexts8  contextual logic programming14  contextual programming2  contract nets1  cooperation1  cooperative argumentation1  cooperative information systems1  coordination73  coordination architecture1  coordination artefacts8  coordination as a service3  coordination expressiveness4  coordination languages3  coordination middleware12  coordination models9  coordination technology8  copy-collect1  CORBA1  CSM7  cyber-physical and cloud systems1  data degradation1  data mining2  Datalog1  declarative technologies8  defeasible logic1  defeasible preference1  defeasible reasoning3  DeLP1  description logics1  design guidelines1  design patterns2  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 intelligence3  elasticity1  eLearning2  embedding1  embodied computing1  embodied vs. disembodied coordination1  emergent behaviours1  EneA-FL1  environment engineering1  environment-based coordination8  eScience1  Ethereum1  ethical AI1  event model1  event notification1  event-based systems1  event-driven coordination3  explainability3  eXplainable AI21  explanation-ready agents1  expressiveness1  fairness1  farm planning1  FaUCI1  federated learning2  finite state machine1  FIPA ACL2  FIPA agents1  follow-me1  formal models15  functional programming1  fuzzy description logic1  Gaia4  GALILEO1  game engines1  Gamma1  gigastructure1  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 agents9  intelligent systems14  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  KINS3  knowledge extraction4  knowledge management1  knowledge-intensive environment8  knowledge-oriented coordination1  knowledge-oriented coordination1  Kotlin2  labelled systems1  labelled variables3  labelled variables in logic programming1  large language models2  large-scale coordination2  large-scale MAS1  large-scale simulation1  Law-governed Linda1  layering3  legal reasoning1  Lime2  LinCa1  Linda12  linear logic2  linkability2  linked data1  linking primitives1  LiquidFeedback2  load classification1  logic agents3  logic constraints1  logic induction1  logic programming38  logic tuple centres1  logic tuple spaces3  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 environment22  MAS infrastructure1  MAS meta-model2  MAS middleware20  MAS organisation10  MAS protocols1  MAS resource allocation4  MAS security4  MaSE1  MASON1  massively multi-agent systems1  Maude2  medieval battles1  meta-argumentation3  meta-model3  meta-modelling2  metabolyc pathways1  method engineering1  metrics for neuro-symbolic integration1  metrics for SKE1  metrics for SKI1  micro-intelligence6  middleware2  middleware integration1  minority game3  mobile agents7  mobility1  model checking2  model-driven architecture1  model-driven engineering1  models2  modular embedding2  MoK8  Mok-News2  morphogenesis1  multi-agent based simulation10  multi-agent systems107  multi-disciplinary research1  multi-level autonomy2  multi-paradigm languages1  multi-paradigm modelling1  multi-paradigm programming6  multi-theory logic languages1  multicellular systems biology2  multiple coordination flows2  natural language processing1  nature-inspired computing1  nature-inspired coordination4  negotiation1  neural architecture search1  neural network complexity1  neural network opacity1  neural networks7  neuro-symbolic integration2  neuro-symbolic reasoning2  neurosymbolic1  news management systems3  non-IID data1  norms2  nutritional recommendation systems2  object-oriented inductive logic programming2  object-oriented logic programming2  object-oriented planning1  object-oriented programming8  object-oriented model1  objective vs. subjective coordination8  observable sources1  observation9  observation-based coordination5  online engineering1  ontology population1  open computational systems2  open systems1  open vehicle fleets2  open systems1  operating instructions3  operational semantics2  OPM2  organisation1  OWL1  PASSI1  peer-review federated learning1  Pellet1  pervasive computing5  pervasive ecosystems3  pervasive service ecosystems1  pervasive systems2  Petri nets4  physics1  pi-calculus1  plain diffusion1  planning2  post-hoc explanation1  PRISM1  privacy1  proactivity1  probabilistic languages2  probabilistic logic programming2  probabilistic model checking1  probabilistic modular embedding2  ProbLinCa1  process algebras5  process engineering1  programmable coordination media6  Prolog12  Prolog agents1  Prometheus1  PROSOCS1  PSyKE3  PSyKI6  public research1  QoS metrics for SKI1  quality of service1  R3 Corda1  rational agents1  RBAC5  RBAC-MAS8  RDF1  reflection1  Reo2  resource-constrained devices2  resource-oriented architecture4  ReSpecT34  ReSpecT nets2  ReSpecTX1  REST6  rewriting logic1  RMI1  robot programming1  robot systems3  robustness2  roles4  Rousseau1  S-WAM2  SANA1  SANAP1  SAPERE-in6  SAPERE-pre3  security1  self-awareness1  self-management of chronic diseases1  self-organising coordination4  self-organising knowledge2  self-organising MAS5  self-organising systems17  self-organising workspaces1  semantic coordination5  semantic reasoning1  semantic segmentation1  semantic tuple centres3  semantic web3  serverless computing1  service self-composition1  service-oriented architecture4  Shallow2Deep1  SHOIN(D)1  SICStus1  SICStus Prolog5  signalling pathways models1  simpA1  simpA-WS1  simulation13  situadeness1  situated computing1  situated coordination2  situated intelligence1  situated logic programming3  Situated ReSpecT1  situational method engineering2  situational process engineering1  SKI-lang1  smart contracts6  smart energy management1  smart environments5  smart home2  social action1  social sciences1  socio-technical systems5  SODA26  software architecture1  software development process4  software engineering5  SOKO coordination model1  space-time programming1  SPARQL1  spatial computing2  spatial computing languages1  Spatial Tuples2  spatio-temporal computing1  SPEM3  SPEM 2.01  statistical mechanics1  stigmergy1  stochastic coordination4  stochastic Prolog1  stochastic simulation2  stochastic systems3  stochastic π-calculus3  StoKlaim1  stream processing1  structured logic programming1  subsumption architecture1  survey1  SYBL1  symbolic AI1  symbolic knowledge extraction7  symbolic knowledge injection12  symbolic vs. subsymbolic9  symbolic reasoning1  systematic literature review3  systemic coordination1  systems biology5  systems biology modelling languages1  systems of systems1  T Spaces2  task-oriented engineering2  TCP/IP1  Tenderfone3  Tendermint1  tic-tac-toe1  timed coordination2  Timed ReSpecT2  tools2  topology8  Tropos2  trust1  trustable systems1  trustworthy AI1  TuCSoN102  TuCSoN on Cloud1  TuCSoN4Jade1  tuple centres12  tuple matching1  tuple-based coordination32  tuProlog17  Turing equivalence2  TuSoW1  Type 1 diabetes mellitus1  ubiquitous systems1  UML2  understandability2  uniform primitives4  Unity3D1  Unreal Engine1  verification2  virtual enterprise4  VLSI Prolog1  WAM2  web services1  WebLP5  WordNet1  workflow1  workflow management systems8  WWW2  XMAS1  zooming2  π-calculus1