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 ]