Tags

publications
2APL22p-Kt42PaaS33APL2A&A51A&A ReSpecT1ABA+1abduction2abductive logic programming1abductive reasoning1access control5ACLT10active documents1active learning1activity theory9actors3ad hoc alignment1adaptive systems9adaptive tuple clustering2ADELFE2agens faber1agent architecture1agent cognition1agent communication1agent communication languages5agent control loop1agent coordination contexts24agent middleware1agent model2agent programming1agent roles1agent societies9agent technology1agent workspaces1agent-based modelling3agent-based modelling and simulation3agent-based XAI2agent-oriented computing11agent-oriented methodologies10agent-oriented programming12agent-oriented software engineering84AgentLink2agents17agents in bioinformatics3AgentSpeak4aggregate computing5aggregate planning1Agile PASSI1agile software development4agricultural systems1AI infrastructure2Alberto Martelli1Alchemist18AlmaActa1ALOO1AlphaGo1ambient intelligence12amorphous computing1Android2answer set programming1AnyLogic1APPEAL1architectural styles1Arg2P12argumentation23artefacts32artificial general intelligence2artificial intelligence14artificial life1ASPECS2aspects1ASPIC+1asynchronous interaction1attention mechanism4Auction1augmented reality3augmented worlds3AUML1authentication2authorisation2automated guided vehicles1automatic service composition1AutoML3autonomic communication1autonomic computing1autonomous agents4autonomous systems2autonomous weapon systems1autonomy6availability1Bach1BaSi1BDI12BDI agents7behaviour analysis2behaviour prediction2behavioural implicit communication7BibTeX2bio-inspired computing1biochemical coordination5biochemical networks1biochemical simulation1biochemical tuple spaces4bioinformatics6biological systems1biology1BioMABS3Biomimetics1BioPepa1bisimulation1black-box models5black-box regressors7blackboard model4blockchain6blockchain-based coordination2Bluetooth1Bluetooth Low Energy2BPEL1bulk primitives1burden of persuasion6burden of proof2Butlers5byzantine behaviour1C@sa1CAP theorem1CARA1CArtAgO18CASE1CASE tools1CASO1causal interpretation1ChatBDI2ChatGPT1chemical coordination5chemical models1chemical tuple spaces3chronic diseases1client-side computing1cloud computing2cloud services1CMS1co-argumentation artefacts2code mobility2cognitive agents2cognitive artefacts2cognitive stigmergy6collaboration3collaborative learning systems1Collaborative work1collective intelligence1collective services1collective sorting8Communication1communication networks1complex system simulation1complex systems3complexity2component-based systems3computability1computable law1computational biology11computational fields6computational institutions2computational logic ecosystem1computational logics7computer science1concurrent languages1concurrent object-oriented programming2concurrent software engineering1concurrent systems1conference management1confidence1consistency1Constraint1constraint injection1constraint logic programming1constraint programming1constraint satisfaction1contact centres1Context1context awareness2context-aware computing1context-dependent coordination1contexts8contextual logic programming15contextual programming2contract net protocol1contract nets1control-driven coordination1Control-driven models1convolutional neural networks1cooperation1cooperative argumentation1cooperative information systems1coordination102coordination architecture1coordination artefacts9coordination as a service3coordination expressiveness4coordination languages3coordination middleware16coordination models12coordination patterns1coordination technology9coordination without model1copy-collect1CoQA dataset1CORBA1Cougaar1counterfactual explanation2CREAM1CReEPy1Crosscutting1crosscutting concerns1CSCW2CSM7CSpaces1CTL1cyber-physical and cloud systems1cyber-physical systems1DAI1Darwin Information Typing Architecture1data aggregation1data degradation2data mining2Data-driven models1data-efficient learning1Datalog1dataset pruning1dataset summarisation1DCaseLP1DCVS1decision support systems1Decision making1declarative programming1declarative technologies8deep learning2deep neural networks2defeasible logic1defeasible preference1defeasible reasoning5delay measures1DeLP1demo2DEMOCLE3description 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 Framework1eco-laws5ecosystems1edge computing2edge intelligence5EgoSpaces1elasticity1ELDAMeth1eLearning2embedding1embodied computing1embodied vs. disembodied coordination1emergent behaviours1encoder-decoders1EneA-FL1Engineering7entscheidungsproblem1environment engineering1environment-based coordination9epistemic vigilance1epistemology2ePolicy1eScience1eternal systems3Ethereum1ethical AI1event loop1event model1event notification2event-based systems1event-driven coordination3ExACT2expert systems1explainability9eXplainable AI29explainable clustering4explainable intelligent systems1explanation-ready agents2expressiveness4extended reality1extreme programming4FAIRBRIDGE1fairness2farm planning1FaUCI1federated learning2few-shot learning1field calculus4field-based coordination2finite state machine1FIPA2FIPA ACL2FIPA agents1Flickr30k dataset1Flickr9k dataset1fluency1follow-me1formal models18fragment1fragmentation1Framework2functional programming1FuturICT7fuzzy description logic3Gaia17Gaia4E1GALILEO2game engines1Gamma4generalised assignment problem1generative AI2Generative communication1generics3Geo-Linda1gigastructure2Gillespie2Git1glycolysis1GNN2GNN1goal-oriented systems1GORMAS1GPT-21GPT-31GPT31graph neural networks2green ICT1grey-box semantics1grid computing2GridEx5GridREx1GroupLog1HCI1health care6Healthcare3hematopoietic stem cells2Hermes3hierarchical planning1hierarchy in complex systems1HiMAT8History of ideas1Home Manager9Hospital 4.01hybrid coordination1hypercube-based methods1HyperLedger Fabric1ideal gas1IEEE1IEEE-FIPA documentation template3image recognition1implicit communication1Implicit culture2improvisation1indoor localisation3inductive logic programming4INGENIAS3INGENIAS-Agile1intelligent agents11intelligent environment1intelligent systems16intelligent systems engineering2intelligent virtual environments1intentional agents3intentions1inter-organisational workflow1interaction6interaction patterns1interaction protocols1interaction semantics1interactive graphical maps1interactive systems1Internet agents9Internet of Intelligent Things3Internet of Things14interoperability1interpretability7interpretable prediction2intracellular signalling pathways1intrusion detection2IRoom1Istar1ITER1JaCa1JaCa-Android1JaCaMo3JADE6Jadex1Jason10Java7Java agents1JavaBeans1JavaSpaces4Jini1join-computing1KILL1kinetic modelling1KINS3Klaim4knowledge evaluation1knowledge extraction8knowledge management2knowledge representation1knowledge-based systems1knowledge-intensive environment10knowledge-oriented coordination2knowledge-oriented coordination1Kotlin2KQML-S1labelled systems1labelled variables3labelled variables in logic programming1language models1languages1large language models5large-language models2large-scale coordination2large-scale distributed systems1large-scale MAS5large-scale simulation1Law-governed Linda2layering4legal reasoning2LighTS1Lime3LinCa1Linda23linear logic2linkability2linked data1linking primitives1LiquidFeedback2live semantic annotations2load classification1Logic2logic agents3logic constraints1logic induction1logic programming41logic tuple centres1logic tuple spaces3logic-based argumentation1logic-based coordination3logic-based reasoning1logic-based techniques2logic-based technologies4logic-based technology1logical clocks1logical English1logics1logistics1LogOp3LoRA1LPaaS9LuCe7machine learning9Manifold3Markov chain1MARS1MARS-X1MAS applications5MAS coordination12MAS engineering10MAS environment35MAS infrastructure2MAS meta-model3MAS middleware24MAS organisation11MAS protocols2MAS resource allocation5MAS security5MaSE1MASON1massively multi-agent systems1matheuristics1Maude4MDA1medieval battles1MEDiTATe1Mentalistic agents1Mercurial1MERCURIO1Mesh networks1meta-argumentation4meta-heuristics2meta-model9meta-modelling2metabolyc pathways1metacognition1metacognitive judgements1Method7method engineering7methodology3metrics for neuro-symbolic integration1metrics for SKE1metrics for SKI1micro-intelligence6microservices1middleware2middleware integration1minority game3MiRAgE2mirror worlds3misinformation1Mobile1mobile agents9mobile computing3mobile systems1mobility4modal logic1model checking3model-driven architecture2model-driven engineering1Modeling1models2modular embedding2Moise2MoK13Mok-News2morphogenesis4MS COCO dataset1MSR1multi-agent based simulation11multi-agent organisation2multi-agent systems166multi-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 coordination7negotiation4neural architecture search1neural image caption generation1neural machine translation2neural network complexity1neural network opacity1neural networks9neuro-symbolic integration2neuro-symbolic reasoning2neurosymbolic1news management systems3NLP datasets1non-IID data1norms2nutritional recommendation systems2O-MaSe1object-oriented inductive logic programming2object-oriented logic programming2object-oriented Petri nets1object-oriented planning1object-oriented programming8object-oriented model1objective vs. subjective coordination9observable sources1observation9observation-based coordination5online engineering2ontologies2ontology population1OOSE1open computational systems2open systems1open vehicle fleets2OpenUP1Open systems2operating instructions4operational semantics2OPM2opportunistic IoT services1orchestration2OrCHiD1organisation1OWL1OWL-S1OWL-T1P@J2Paradigm shift1parallel algorithms1parameter engineering1parameter optimisations1parametric weighted multi-path1partial planning1PASSI5PCTL1PEDRO1peer-review federated learning1Pellet1personal agents1personal medical digital assistants2pervasive computing11pervasive ecosystems5pervasive sensing1pervasive service ecosystems4pervasive systems4Petri nets5Pheromones1physical clocks1physics1pi-calculus1plain diffusion1planning4plp1PNagent1post-declarative programming1post-hoc explanation1post-normal science1practical reasoning1PRISM3privacy2proactivity1probabilistic languages2probabilistic logic1probabilistic logic programming3probabilistic model checking4probabilistic modular embedding2ProbLinCa1Process5process algebras6process calculus1process engineering1Process migration1program correctness1program specification1programmable coordination media7programming2programming languages4programming paradigms1Prolog17Prolog agents1Prolog agents1Prometheus1PROSOCS1Protelis1Proto1PSyKE9PSyKI6public research2pulverizable architectures1QoS metrics for SKI1quality of service3Quintus Prolog1R3 Corda1rational agents4RBAC7RBAC-MAS8RDF1reactive behavioral system1Reactiveness1recommendation systems1reflection1reification1reinforcement learning1reliability1remote diagnosis1Reo2repetition1requirement analysis1resource-constrained devices3resource-oriented architecture4ReSpecT34ReSpecT nets2ReSpecTX1REST8rewriting logic1RFID2RGB-D1RMI1robot programming1robot systems3robustness4roles4RoleX1ROMAS1Rousseau1S-WAM2SANA1SANAP1SAPERE-core4SAPERE-in8SAPERE-pre4SAPERE-rel1SAPERE-WP21SC00097B1ScaFi1scalability2security1self-*1self-adaptation1self-awareness1self-management of chronic diseases1self-model1self-organisation2self-organising coordination5self-organising knowledge2self-organising MAS6self-organising systems29self-organising workspaces1self-stabilisation2semantic chemistry1semantic coordination12semantic reasoning1semantic segmentation1semantic tuple centres4semantic web10Semantic matching1serverless computing1service middleware1service self-composition1service-oriented agent methodologies1service-oriented architecture6Services1Shallow2Deep1Shared Prolog1SHOIN(D)1SICStus1SICStus Prolog5signalling pathways models4simpA6simpA-WS1simpAL3simulation20situadeness1situated action1situated computing1situated coordination2situated intelligence1situated logic programming3Situated ReSpecT1situatedness1situational method engineering8situational process engineering1SKE metrics1SKI-lang1Small world networks1smart contracts6smart energy management1smart environments6smart home7smart hospital1Smart Spaces2social action2social sciences1social systems1socio-technical systems7SODA28software architecture2Software development2software development process5software engineering12software process1Software factory1Software systems1SOKO coordination model1space-based coordination1space-time programming1SPARQL1spatial computing8spatial computing languages1spatial coordination1Spatial Tuples2Spatial abstractions1Spatial coordination1spatio-temporal computing1SPEM5SPEM 2.01standard of proofs1standards1statistical mechanics1stem cells1stigmergy6stochastic coordination6stochastic Prolog1stochastic simulation5stochastic simulation algorithm4stochastic systems3stochastic π-calculus3StoKlaim3stream processing1structured logic programming1stupid backoff1sTuples2subsumption architecture1supervised learning1survey1SVN1Swarm1SYBL1symbolic AI1symbolic knowledge extraction12symbolic knowledge injection14symbolic vs. subsymbolic10symbolic reasoning1synchronisation1systematic literature review4systemic coordination1systems biology5systems biology modelling languages1systems of systems1System dynamics1T Spaces2task-oriented engineering2TCP/IP1telemedicine1TeleStroke1temporal logic1Tenderfone3Tendermint1Testing1theoretical physics1theory of mind1tic-tac-toe1time1timed coordination2Timed ReSpecT2tools6topology9TOTA3train punctuality1transactions1transformers2trauma management1TraumaTracker5Tropos10trust2trustable systems1trustworthy AI4truth2TuCSoN106TuCSoN on Cloud1TuCSoN4Jade1tuple centres13tuple matching1tuple-based coordination51tuProlog22Turing equivalence2TuSoW1Type 1 diabetes mellitus1T Spaces1ubiquitous systems3UML2uncertainty1understandability3uniform primitives4Unity3D1Unreal Engine1verification3VEsNA2virtual assistants1virtual enterprise4virtual organisations1virtual reality1virtual worlds1VLSI Prolog1WAM2Web 2.01web services4WebLP5WebText dataset1Web architecture1wildcards1WoAT2WordNet1workflow1workflow management systems8WWW3XMAS1XML2zooming2π-calculus1