Tag Cloud  /  Publications  /  Mirko Viroli

  3APL(1)    A&A(25)    A&A ReSpecT(1)    access control(2)    activity theory(3)    adaptive systems(3)    adaptive tuple clustering(2)    agens faber(1)    agent cognition(1)    agent communication(1)    agent communication languages(4)    agent coordination contexts(16)    agent model(1)    agent-oriented computing(4)    agent-oriented programming(1)    agent-oriented software engineering(4)    aggregate computing(1)    Alchemist(9)    AOSE methodologies(1)    argumentation(4)    artefacts(20)    artificial intelligence(1)    augmented reality(1)    behavioural implicit communication(3)    bio-inspired computing(1)    biochemical coordination(2)    biology(1)    BPEL(1)    CArtAgO(8)    chemical coordination(5)    chemical tuple spaces(2)    co-argumentation artefacts(1)    cognitive agents(1)    cognitive stigmergy(3)    collective sorting(7)    component-based systems(2)    computational fields(2)    coordination(20)    coordination artefacts(3)    coordination as a service(3)    coordination expressiveness(2)    coordination languages(1)    coordination middleware(3)    coordination models(2)    copy-collect(1)    description logics(2)    design patterns(1)    developmental biology(1)    dialogue(4)    distributed systems(1)    Drosophila Melanogaster(3)    e-Health(1)    eco-laws(5)    ecosystems(1)    environment-based coordination(8)    eternal systems(3)    event notification(1)    event-driven coordination(1)    FIPA ACL(2)    FIPA agents(1)    follow-me(1)    formal models(8)    fuzzy description logic(1)    GALILEO(2)    Gamma(1)    generics(3)    grey-box semantics(1)    IEEE-FIPA documentation template(1)    implicit communication(1)    interaction(1)    interaction patterns(1)    interaction semantics(1)    Internet of Things(1)    intrusion detection(2)    JADE(2)    Java(5)    JavaSpaces(3)    knowledge-intensive environment(1)    large-scale distributed systems(1)    large-scale simulation(1)    Lime(2)    Linda(4)    linear logic(1)    linking primitives(1)    live semantic annotations(2)    logic programming(1)    LogOp(3)    Manifold(2)    MAS coordination(3)    MAS engineering(6)    MAS environment(12)    MAS middleware(11)    MAS organisation(8)    MAS security(4)    Maude(3)    meta-heuristics(1)    meta-model(1)    method engineering(1)    minority game(3)    mirror worlds(1)    model checking(1)    models(2)    morphogenesis(1)    MS-BioNET(2)    multi-agent based simulation(1)    multi-agent systems(24)    multi-disciplinary research(1)    multicellular systems biology(1)    multiple coordination flows(1)    nature-inspired computing(3)    negotiation(1)    objective vs. subjective coordination(2)    observation(7)    observation-based coordination(3)    online engineering(1)    operating instructions(4)    operational semantics(1)    opportunistic IoT services(1)    OWL(1)    P@J(2)    Pellet(1)    pervasive computing(3)    pervasive ecosystems(4)    pervasive service ecosystems(3)    pervasive systems(2)    Petri nets(1)    physics(1)    plain diffusion(1)    PRISM(3)    probabilistic model checking(4)    process algebras(5)    Prolog(2)    Proto(1)    RBAC(4)    RBAC-MAS(6)    reification(1)    Reo(2)    ReSpecT(11)    ReSpecT nets(1)    rewriting logic(1)    roles(3)    SANA(1)    SANAP(1)    SAPERE(6)    SAPERE-core(4)    SAPERE-in(6)    SAPERE-pre(6)    SAPERE-rel(1)    SAPERE-WP2(1)    self-*(1)    self-organising coordination(1)    self-organising systems(24)    semantic chemistry(1)    semantic coordination(6)    semantic tuple centres(4)    semantic web(2)    SemHealthCoord-in(1)    SemHealthCoord-pre(3)    service-oriented architecture(1)    SHOIN(D)(1)    simpA(4)    simpA-WS(1)    simulation(10)    social sciences(1)    SODA(3)    spatial computing(4)    spatial coordination(1)    Spatial Tuples(2)    stochastic Prolog(1)    stochastic simulation(2)    stochastic simulation algorithm(4)    stochastic π-calculus(3)    T Spaces(2)    timed coordination(2)    Timed ReSpecT(2)    tools(1)    TuCSoN(40)    tuple centres(6)    tuple-based coordination(7)    tuProlog(2)    UNIBO(1)    verification(2)    web services(1)    wildcards(1)    WordNet(1)    π-calculus(1)  

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