Tags

publications / Andrea Omicini
2p-Kt32PaaS33APL1A&A40A&A ReSpecT1ABA+1abduction2abductive logic programming1abductive reasoning1access control5ACLT8activity theory6actors1adaptive systems1adaptive tuple clustering1ADELFE1agens faber1agent architecture1agent cognition1agent communication1agent communication languages4agent coordination contexts22agent middleware1agent model1agent societies5agent technology1agent workspaces1agent-based modelling1agent-based modelling and simulation2agent-based XAI2agent-oriented computing7agent-oriented methodologies6agent-oriented software engineering33AgentLink2AgentLink III12agents7agricultural systems1AI4EU12Alchemist7AlmaActa1ambient intelligence1answer set programming1APPEAL1Arg2P7argumentation15artefacts26artificial intelligence6ASPECS1ASPIC+1asynchronous interaction1augmented reality1authentication2authorisation2autonomic communication1autonomous systems2autonomous weapon systems1autonomy4BaSi1behaviour analysis2behaviour prediction2behavioural implicit communication5biochemical coordination2biochemical tuple spaces4bioinformatics1biology1BioMABS2BISON1black-box regressors3blackboard model1blockchain6blockchain-based coordination2burden of persuasion3burden of proof1CARA1CArtAgO9chemical coordination3chronic diseases1cloud computing2co-argumentation artefacts2cognitive agents1cognitive stigmergy5collaboration2collaborative learning systems1collective sorting3complex system simulation1complex systems3CompuLaw17computable law1computational biology4computational institutions2computational logic ecosystem1computational logics4concurrent languages1concurrent software engineering1concurrent systems1conference management1constraint logic programming1constraint programming1contact centres1context-dependent coordination1contexts8contextual logic programming14contextual programming2contract nets1cooperation1cooperative argumentation1cooperative information systems1coordination73coordination architecture1coordination artefacts7coordination as a service3coordination expressiveness4coordination languages3coordination middleware12coordination models9coordination technology8copy-collect1CORBA1CSM7cyber-physical and cloud systems1data mining2Datalog1declarative technologies8defeasible logic1defeasible preference1defeasible reasoning3DeLP1description logics1design guidelines1design patterns2design process documentation and fragmentation2dialogue6digital democracy3discrete-event simulation2distance learning1distributed argumentation1distributed logic programming4distributed systems4distributed systems engineering2domain specific languages1Drosophila Melanogaster3dynamic task allocation2e-democracy platforms1e-health1E-learning1eager vs. lazy binding1edge computing2edge intelligence2elasticity1eLearning2embedding1embodied computing1embodied vs. disembodied coordination1emergent behaviours1EneA-FL1environment engineering1environment-based coordination8eScience1Ethereum1ethical AI1event model1event notification1event-based systems1event-driven coordination3EXPECTATION14explainability3eXplainable AI20explanation-ready agents1expressiveness1farm planning1federated learning2finite state machine1FIPA ACL2FIPA agents1follow-me1formal models15functional programming1fuzzy description logic1Gaia4GALILEO1game engines1Gamma1Gillespie2glycolysis1GNN2GNN1graph neural networks2grey-box semantics1GridEx3health care1hematopoietic stem cells2HiMAT8Home Manager3hybrid coordination1hypercube-based methods1HyperLedger Fabric1IEEE-FIPA documentation template3implicit communication1inductive logic programming4INGENIAS1intelligent agents5intelligent systems13inter-organisational workflow1interaction1interaction patterns1interaction semantics1interactive systems1Internet agents9Internet of Intelligent Things2Internet of Things9interoperability1interpretability3interpretable prediction2intracellular signalling pathways1intrusion detection2ITER1JADE6Jason2Java2Java agents1JavaBeans1JavaSpaces3KILL1KINS3knowledge extraction4knowledge management1knowledge-intensive environment8knowledge-oriented coordination1knowledge-oriented coordination1Kotlin2labelled systems1labelled variables3labelled variables in logic programming1large language models1large-scale coordination2large-scale simulation1Law-governed Linda1layering3legal reasoning1Lime2LinCa1Linda12linear logic2linkability2linked data1linking primitives1LiquidFeedback2load classification1logic agents2logic constraints1logic induction1logic programming38logic tuple centres1logic tuple spaces3logic-based argumentation1logic-based coordination3logic-based techniques1logic-based technologies4LogOp3LPaaS9LuCe7machine learning5Manifold2MAS applications2MAS coordination11MAS engineering9MAS environment18MAS meta-model2MAS middleware20MAS organisation10MAS security4MaSE1MASON1massively multi-agent systems1Maude2medieval battles1MEnSA2meta-argumentation3meta-model3meta-modelling2metabolyc pathways1method engineering1metrics for neuro-symbolic integration1metrics for SKE1metrics for SKI1micro-intelligence6middleware2middleware integration1minority game3mobile agents7mobility1model checking2model-driven architecture1model-driven engineering1models2modular embedding2MoK8Mok-News2morphogenesis1multi-agent based simulation10multi-agent systems95multi-disciplinary research1multi-level autonomy2multi-paradigm languages1multi-paradigm modelling1multi-paradigm programming6multi-theory logic languages1multicellular systems biology2multiple coordination flows2natural language processing1nature-inspired computing1nature-inspired coordination4negotiation1neural architecture search1neural network complexity1neural network opacity1neural networks6neuro-symbolic integration1neuro-symbolic reasoning2news management systems3NokiaMobileCoord11non-IID data1norms2nutritional recommendation systems1object-oriented inductive logic programming2object-oriented logic programming2object-oriented planning1object-oriented programming8object-oriented model1objective vs. subjective coordination8observable sources1observation9observation-based coordination5online engineering1open computational systems2open systems1open vehicle fleets2open systems1operating instructions3operational semantics2OPM2organisation1OWL1PASSI1peer-review federated learning1Pellet1pervasive computing5pervasive ecosystems3pervasive service ecosystems1pervasive systems2Petri nets3physics1pi-calculus1plain diffusion1planning2post-hoc explanation1PRISM1privacy1proactivity1probabilistic languages2probabilistic logic programming2probabilistic model checking1probabilistic modular embedding2ProbLinCa1process algebras5process engineering1programmable coordination media5Prolog12Prolog agents1Prometheus1PROSOCS1PSyKE3PSyKI6QoS metrics for SKI1quality of service1R3 Corda1RBAC5RBAC-MAS8RDF1reflection1Reo2RESET4resource-constrained devices2resource-oriented architecture3ReSpecT33ReSpecT nets2ReSpecTX1REST6rewriting logic1RMI1robot programming1robot systems3robustness1roles4Rousseau1S-WAM2SANA1SANAP1SAPERE2SAPERE-in6SAPERE-pre3security1self-awareness1self-management of chronic diseases1self-organising coordination4self-organising knowledge2self-organising MAS1self-organising systems17self-organising workspaces1semantic coordination5semantic reasoning1semantic segmentation1semantic tuple centres3semantic web2SemHealthCoord2serverless computing1service self-composition1service-oriented architecture4Shallow2Deep1SHOIN(D)1SICStus1SICStus Prolog5signalling pathways models1simpA1simpA-WS1simulation13SIPEAA2situadeness1situated computing1situated coordination2situated intelligence1situated logic programming3Situated ReSpecT1situational method engineering2situational process engineering1smart contracts6smart energy management1smart environments5smart home2social action1social sciences1socio-technical systems5SODA26software architecture1software development process4software engineering4SOKO coordination model1space-time programming1SPARQL1spatial computing2spatial computing languages1Spatial Tuples2spatio-temporal computing1SPEM3SPEM 2.01StairwAI8statistical mechanics1stigmergy1STIL1stochastic coordination4stochastic Prolog1stochastic simulation2stochastic systems3stochastic π-calculus3StoKlaim1stream processing1structured logic programming1subsumption architecture1survey1SYBL1symbolic AI1symbolic knowledge extraction6symbolic knowledge injection9symbolic vs. subsymbolic8symbolic reasoning1systematic literature review3systemic coordination1systems biology5systems biology modelling languages1systems of systems1T Spaces2task-oriented engineering2TCP/IP1Tenderfone3Tendermint1tic-tac-toe1timed coordination2Timed ReSpecT2tools2topology8Tropos1trust1TRUST 032trustable systems1TuCSoN102TuCSoN on Cloud1TuCSoN4Jade1tuple centres12tuple matching1tuple-based coordination31tuProlog17Turing equivalence1TuSoW1Type 1 diabetes mellitus1UML2understandability2UNIBO1uniform primitives4Unity3D1Unreal Engine1verification2virtual enterprise4VLSI Prolog1WAM2web services1WebLP5WordNet1workflow1workflow management systems8WWW2XMAS1zooming2π-calculus1