Tag

pubblicazioni
2APL22p-Kt42PaaS33APL2A&A51A&A ReSpecT1ABA+1abduction2abductive logic programming1abductive reasoning1access control5ACLT9active documents1active learning1activity theory9actors3ad hoc alignment1adaptive systems9adaptive tuple clustering2ADELFE2AEQUITAS5agens faber1agent architecture1agent cognition1agent communication1agent communication languages5agent control loop1agent coordination contexts24agent middleware1agent model2agent societies8agent technology1agent workspaces1agent-based modelling3agent-based modelling and simulation3agent-based XAI2agent-oriented computing11agent-oriented methodologies8agent-oriented programming7agent-oriented software engineering68AgentLink2AgentLink III14agents17AgentSpeak4aggregate computing5aggregate planning1agile software development4agricultural systems1AI4EU12Alberto Martelli1Alchemist18ALMA TWO2AlmaActa1ALOO1AlphaGo1ambient intelligence12amorphous computing1Android2answer set programming1AnyLogic1APPEAL1architectural styles1Arg2P12argumentation22artefacts32artificial general intelligence2artificial intelligence14artificial life1ASPECS2aspects1ASPIC+1asynchronous interaction1attention mechanism4Auction1augmented reality3augmented worlds3AUML1authentication2authorisation2automated guided vehicles1automatic service composition1AutoML3autonomic communication1autonomic computing1autonomous agents4autonomous systems2autonomous weapon systems1autonomy6availability1Bach1BaSi1BDI12behaviour analysis2behaviour prediction2behavioural implicit communication7BibTeX2bio-inspired computing1biochemical coordination5biochemical networks1biochemical simulation1biochemical tuple spaces4bioinformatics1biology1BioMABS3Biomimetics1BioPepa2bisimulation1BISON1black-box models5black-box regressors7blackboard model4blockchain6blockchain-based coordination2BPEL1bulk primitives1burden of persuasion6burden of proof2Butlers5byzantine behaviour1C@sa1CAP theorem1CARA1CArtAgO18CASE1CASE tools1CASO1causal interpretation1ChatGPT2chemical coordination5chemical models1chemical tuple spaces3chronic diseases1CINA10client-side computing1cloud computing2cloud services1CMS1CNR-PA6co-argumentation artefacts2code mobility2cognitive agents2cognitive artefacts2cognitive stigmergy6collaboration2collaborative learning systems1Collaborative work1collective intelligence1collective services1collective sorting8Communication1communication networks1complex system simulation1complex systems3complexity2component-based systems3CompuLaw28computability1computable law1computational biology7computational fields6computational institutions2computational logic ecosystem1computational logics7computer science1concurrent languages1concurrent object-oriented programming2concurrent software engineering1concurrent systems1conference management1consistency1Constraint1constraint logic programming1constraint programming1constraint satisfaction1contact centres1Context1context awareness1context-aware computing1context-dependent coordination1contexts8contextual logic programming15contextual programming2contract nets1control-driven coordination1Control-driven models1convolutional neural networks1cooperation1cooperative argumentation1cooperative information systems1coordination102coordination architecture1coordination artefacts8coordination as a service3coordination expressiveness4coordination languages3coordination middleware16coordination models12coordination patterns1coordination technology9coordination without model1copy-collect1CoQA dataset1CORBA1Cougaar1counterfactual explanation2CREAM1CReEPy1Crosscutting1crosscutting concerns1CSCW2CSM7CSpaces1cyber-physical and cloud systems1cyber-physical systems1DAI1Darwin Information Typing Architecture1data aggregation1data degradation1data mining2Data-driven models1data-efficient learning1Datalog1dataset pruning1dataset summarisation1DCaseLP1DCVS1decision support systems1Decision making1declarative programming1declarative technologies8deep learning2deep neural networks2defeasible logic1defeasible preference1defeasible reasoning4delay measures1DeLP1demo2description logics11design guidelines1design patterns4design process documentation and fragmentation8developmental biology2DevOps1dialogue6digital democracy3digital health1digital pheromones1digital twins2discrete-event simulation2distance learning1distributed argumentation1distributed consensus1distributed data processing1distributed language model training1distributed logic programming4distributed programming1distributed systems14distributed systems engineering2domain specific languages4Drosophila Melanogaster6dynamic task allocation2e-democracy platforms1e-health6e-learning2e-learning management systems1eager vs. lazy binding1EasyLiving1Eclipse4Eclipse constraint solver1Eclipse Modeling Framework1Eclipse-IT2eco-laws5ecosystems1edge computing2edge intelligence3EgoSpaces1elasticity1ELDAMeth1eLearning2embedding1embodied computing1embodied vs. disembodied coordination1emergent behaviours1encoder-decoders1EneA-FL1Engineering7entscheidungsproblem1environment engineering1environment-based coordination9epistemology2ePolicy1eScience1eternal systems3Ethereum1ethical AI1event loop1event model1event notification2event-based systems1event-driven coordination3ExACT2EXPECTATION16expert systems1explainability9eXplainable AI28explainable clustering4explanation-ready agents2expressiveness4extended reality1extreme programming4farm planning1federated learning2few-shot learning1field calculus4field-based coordination2finite state machine1FIPA1FIPA ACL2FIPA agents1Flickr30k dataset1Flickr9k dataset1follow-me1formal models18fragment1fragmentation1Framework2functional programming1FuturICT7fuzzy description logic3Gaia17Gaia4E1GALILEO5game engines1Gamma4generalised assignment problem1generative AI1Generative communication1generics3Geo-Linda1Gillespie2Git1glycolysis1GNN2GNN1goal-oriented systems1GORMAS1GPT-21GPT-31GPT31graph neural networks2green ICT1grey-box semantics1grid computing1GridEx5GridREx1GroupLog1HCI1health care6Healthcare3hematopoietic stem cells2hierarchical planning1hierarchy in complex systems1HiMAT8History of ideas1Home Manager9Hospital 4.01hybrid coordination1hypercube-based methods1HyperLedger Fabric1ideal gas1IEEE1IEEE-FIPA documentation template3image recognition1implicit communication1Implicit culture2improvisation1inductive logic programming4INGENIAS3INGENIAS-Agile1intelligent agents7intelligent environment1intelligent systems15intelligent systems engineering1intelligent virtual environments1intentional agents3intentions1inter-organisational workflow1interaction6interaction patterns1interaction semantics1interactive graphical maps1interactive systems1Internet agents9Internet of Intelligent Things3Internet of Things14interoperability1interpretability7interpretable prediction2intracellular signalling pathways1intrusion detection2IRoom1Istar1ITER1JaCa1JaCa-Android1JaCaMo3JADE6Jadex1Jason10Java7Java agents1JavaBeans1JavaSpaces4Jini1KILL1kinetic modelling1KINS3Klaim4knowledge evaluation1knowledge extraction8knowledge management2knowledge representation1knowledge-based systems1knowledge-intensive environment10knowledge-oriented coordination2knowledge-oriented coordination1Kotlin2labelled systems1labelled variables3labelled variables in logic programming1language models1languages1large language models4large-scale coordination2large-scale distributed systems1large-scale simulation1Law-governed Linda2layering4legal reasoning2LighTS1Lime3LinCa1Linda23linear logic2linkability2linked data1linking primitives1LiquidFeedback2live semantic annotations2load classification1Logic2logic agents2logic constraints1logic induction1logic programming41logic tuple centres1logic tuple spaces3logic-based argumentation1logic-based coordination3logic-based reasoning1logic-based techniques2logic-based technologies4logical clocks1logical English1logics1logistics1LogOp3LPaaS9LuCe7machine learning9Manifold3MARS1MARS-X1MAS applications5MAS coordination12MAS engineering10MAS environment29MAS meta-model2MAS middleware24MAS organisation11MAS security5MaSE1MASON1massively multi-agent systems1matheuristics1Maude4MDA1medieval battles1MEnSA25Mentalistic agents1Mercurial1MERCURIO1meta-argumentation4meta-heuristics2meta-model9meta-modelling2metabolyc pathways1Method7method engineering7methodology3metrics for neuro-symbolic integration1metrics for SKE1metrics for SKI1micro-intelligence6microservices1middleware2middleware integration1minority game3MiRAgE2mirror worlds3Mobile1mobile agents9mobile computing3mobile systems1mobility4modal logic1model checking3model-driven architecture2model-driven engineering1Modeling1models2modular embedding2Moise2MoK14Mok-News2morphogenesis4MS COCO dataset1MS-BioNET2msbionet1MSR1multi-agent based simulation11multi-agent organisation2multi-agent systems134multi-disciplinary research1multi-level autonomy2multi-level models2multi-paradigm languages1multi-paradigm modelling1multi-paradigm programming7Multi-paradigm modelling1multi-theory logic languages1multicellular systems biology3multiple coordination flows2n-Queens1natural language processing4nature-inspired computing5nature-inspired coordination7negotiation2neural architecture search1neural image caption generation1neural machine translation2neural network complexity1neural network opacity1neural networks8neuro-symbolic integration1neuro-symbolic reasoning2news management systems3NLP datasets1NokiaMobileCoord11non-IID data1norms2nutritional recommendation systems1O-MaSe1object-oriented inductive logic programming2object-oriented logic programming2object-oriented Petri nets1object-oriented planning1object-oriented programming8object-oriented model1objective vs. subjective coordination9observable sources1observation9observation-based coordination5online engineering2ontologies1OOSE1open computational systems2open systems1open vehicle fleets2OpenUP1Open systems2operating instructions4operational semantics2OPM2opportunistic IoT services1Orchestration1OrCHiD1organisation1OWL1OWL-S1OWL-T1P@J2Paradigm shift1parallel algorithms1parameter engineering1parameter optimisations1parametric weighted multi-path1partial planning1PASSI4PEDRO1peer-review federated learning1Pellet1personal agents1personal medical digital assistants2pervasive computing11pervasive ecosystems5pervasive sensing1pervasive service ecosystems4pervasive systems4Petri nets4Pheromones1physical clocks1physics1pi-calculus1plain diffusion1planning3plp1PNagent1post-declarative programming1post-hoc explanation1post-normal science1practical reasoning1PRISM3privacy2proactivity1probabilistic languages2probabilistic logic programming3probabilistic model checking4probabilistic modular embedding2ProbLinCa1Process5process algebras6process calculus1process engineering1Process migration1program correctness1program specification1programmable coordination media6programming2programming languages3programming paradigms1Prolog17Prolog agents1Prolog agents1Prometheus1PROSOCS1Protelis1Proto1PSyKE9PSyKI6pulverizable architectures1QoS metrics for SKI1quality of service3Quintus Prolog1R3 Corda1rational agents3RBAC7RBAC-MAS8RDF1reactive behavioral system1Reactiveness1recommendation systems1reflection1reification1reinforcement learning1reliability1remote diagnosis1Reo2Requirement analysis1RESET4resource-constrained devices3resource-oriented architecture3ReSpecT33ReSpecT nets2ReSpecTX1REST8rewriting logic1RFID2RGB-D1RMI1robot programming1robot systems3robustness3roles4RoleX1ROMAS1Rousseau1S-WAM2SANA1SANAP1SAPERE7SAPERE-core4SAPERE-in9SAPERE-pre6SAPERE-rel1SAPERE-WP21SC00097B1ScaFi1scalability2security1self-*1self-adaptation1self-awareness1self-management of chronic diseases1self-organisation2self-organising coordination5self-organising knowledge2self-organising MAS1self-organising systems29self-organising workspaces1self-stabilisation2semantic chemistry1semantic coordination12semantic reasoning1semantic segmentation1semantic tuple centres4semantic web8Semantic matching1SemHealthCoord3serverless computing1service middleware1service self-composition1service-oriented architecture6Services1Shallow2Deep1Shared Prolog1SHOIN(D)1SICStus1SICStus Prolog5signalling pathways models4simpA6simpA-WS1simpAL3simulation20SIPEAA2situadeness1situated computing1situated coordination2situated intelligence1situated logic programming3Situated ReSpecT1situatedness1situational method engineering8situational process engineering1SKE metrics1Small world networks1smart contracts6smart energy management1smart environments6smart home7smart hospital1Smart Spaces2social action2social sciences1social systems1socio-technical systems7SODA28software architecture2Software development2software development process5software engineering7software process1Software factory1Software systems1SOKO coordination model1space-based coordination1space-time programming1SPARQL1spatial computing8spatial computing languages1spatial coordination1Spatial Tuples2Spatial abstractions1Spatial coordination1spatio-temporal computing1SPEM5SPEM 2.01StairwAI12standard of proofs1statistical mechanics1stem cells1stigmergy6STIL2stochastic coordination6stochastic Prolog1stochastic simulation5stochastic simulation algorithm4stochastic systems3stochastic π-calculus3StoKlaim3stream processing1structured logic programming1stupid backoff1sTuples2subsumption architecture1supervised learning1survey1SVN1Swarm1SYBL1symbolic AI1symbolic knowledge extraction11symbolic knowledge injection11symbolic vs. subsymbolic9symbolic reasoning1synchronisation1systematic literature review3systemic coordination1systems biology5systems biology modelling languages1systems of systems1System dynamics1T Spaces2TAILOR7task-oriented engineering2TCP/IP1telemedicine1TeleStroke1Tenderfone3Tendermint1Testing1theoretical physics1theory of mind1tic-tac-toe1time1timed coordination2Timed ReSpecT2tools6topology9TOTA3train punctuality1transactions1transformers2trauma management1TraumaTracker5Tropos8trust2TRUST 032trustable systems1trustworthy AI2TuCSoN106TuCSoN on Cloud1TuCSoN4Jade1tuple centres13tuple matching1tuple-based coordination50tuProlog22Turing equivalence1TuSoW1Type 1 diabetes mellitus1T Spaces1ubiquitous systems1UML2understandability3UNIBO2uniform primitives4UNIMORE5UNITN10Unity3D1Unreal Engine1verification3virtual enterprise4virtual organisations1virtual reality1virtual worlds1VLSI Prolog1WAM2Web 2.01web services3WebLP5WebText dataset1Web architecture1wildcards1WoAT2WordNet1workflow1workflow management systems8WWW3XMAS1XML2zooming2π-calculus1