Tags

Last modified by Andrea Omicini on 12/10/2020 15:48

Publication Space / Tag Cloud

abductive logic programming

activity theory

ad hoc alignment

adaptive systems

adaptive tuple clustering

adaptive tuple clustering

agent cognition

agent communication

agent communication languages

agent coordination contexts

agent middleware

agent societies

agent technology

agent workspaces

agent-based modelling

agent-based modelling and simulation

agent-based XAI

agent-oriented computing

agent-oriented programming

agile software development

Alberto Martelli

ambient intelligence

amorphous computing

answer set programming

AOSE methodologies

AOSE methodologies

architectural styles

artificial intelligence

artificial life

asynchronous interaction

augmented reality

augmented worlds

autonomic communication

Autonomic computing

autonomous systems

autonomous weapon systems

behaviour analysis

behaviour prediction

behavioural implicit communication

bio-inspired computing

biochemical coordination

biochemical tuple spaces

blockchain-based coordination

bulk primitives

burden of proof

chemical coordination

chemical tuple spaces

client-side computing

cloud computing

co-argumentation artefacts

cognitive agents

cognitive artefacts

cognitive stigmergy

collaborative learning systems

Collaborative work

collective intelligence

collective sorting

complex system simulation

complex systems

component-based systems

computational biology

computational fields

computational institutions

computational logics

concurrent languages

constraint logic programming

constraint programming

contact centres

context-dependent coordination

contextual logic programming

contextual programming

Control-driven models

cooperative information systems

coordination architecture

coordination artefacts

coordination as a service

coordination expressiveness

coordination languages

coordination middleware

coordination models

coordination patterns

coordination technologies

coordination technology

coordination without model

crosscutting concerns

cyber-physical and cloud systems

Data-driven models

Decision making

declarative technologies

defeasible logic

defeasible reasoning

description logics

design guidelines

design patterns

design process documentation and fragmentation

developmental biology

digital democracy

discrete-event simulation

distance learning

distributed logic programming

distributed programming

distributed systems

distributed systems engineering

domain specific languages

Drosophila Melanogaster

dynamic task allocation

e-democracy platforms

edge intelligence

embodied computing

embodied vs. disembodied coordination

emergent behaviours

environment engineering

environment-based coordination

eternal systems

event notification

event-based systems

event-driven coordination

explanation-ready agents

extreme programming

field-based coordination

finite state machine

functional programming

fuzzy description logic

generalised assignment problem

Generative communication

Goal-oriented systems

grey-box semantics

hematopoietic stem cells

hierarchical planning

History of ideas

HyperLedger Fabric

IEEE-FIPA documentation template

implicit communication

Implicit culture

inductive logic programming

intelligent agents

intelligent environment

intelligent systems

Intelligent agents

intentional agents

inter-organisational workflow

interaction semantics

interactive systems

Internet agents

Internet of Intelligent Things

Internet of Things

interoperability

interpretability

intracellular signalling pathways

intrusion detection

knowledge management

knowledge representation

knowledge-intensive environment

knowledge-intensive environments

knowledge-oriented coordination

knowledge-oriented coordination

labelled variables

labelled variables in logic programming

Law-governed Linda

legal reasoning

live semantic annotations

logic constraints

logic induction

logic programming

logic tuple centres

logic tuple spaces

logic-based argumentation

logic-based coordination

logic-based reasoning

logic-based techniques

logic-based technologies

machine learning

MAS applications

MAS coordination

MAS engineering

MAS environment

MAS organisation

medieval battles

Mentalistic agents

meta-heuristics

method engineering

micro-intelligence

middleware integration

mobile computing

model-driven architecture

model-driven engineering

modular embedding

multi-agent based simulation

multi-agent systems

multi-level autonomy

multi-level models

multi-paradigm languages

multi-paradigm modelling

multi-paradigm programming

Multi-paradigm modelling

multicellular systems biology

multiple coordination flows

Nature-inspired

nature-inspired computing

nature-inspired coordination

neural networks

neuro-symbolic computing

news management systems

object-oriented inductive logic programming

object-oriented logic programming

object-oriented planning

object-oriented programming

object-oriented model

objective vs. subjective coordination

observation-based coordination

Online engineering

open vehicle fleets

operating instructions

operational semantics

parameter optimisations

personal medical digital assistants

pervasive computing

pervasive ecosystems

pervasive sensing

pervasive service ecosystems

pervasive systems

physical clocks

plain diffusion

Post-declarative programming

probabilistic languages

probabilistic logic programming

probabilistic model checking

probabilistic modular embedding

process algebras

process calculus

process engineering

Process migration

programmable coordination media

programming languages

Programming paradigms

rational agents

reactive behavioral system

Recommentation systems

Requirement analysis

resource-oriented architecture

self-organising coordination

self-organising knowledge

self-organising systems

self-organising workspaces

semantic chemistry

semantic coordination

semantic reasoning

semantic tuple centres

Semantic matching

SemHealthCoord-in

SemHealthCoord-pre

service self-composition

service-oriented architecture

situated computing

situated coordination

situated logic programming

situational method engineering

situational process engineering

Small world networks

smart contracts

smart environments

socio-technical systems

Socio-technical systems

software architecture

Software development

software development process

software engineering

software process

Software factory

Software systems

space-based coordination

space-time programming

spatial computing

spatial computing languages

spatial coordination

Spatial abstractions

Spatial coordination

spatio-temporal computing

statistical mechanics

stochastic coordination

Stochastic processes

stochastic Prolog

stochastic simulation

stochastic simulation algorithm

stochastic systems

stochastic π-calculus

structured logic programming

subsumption architecture

symbolic vs. subsymbolic

symbolic reasoning

synchronisation

systematic literature review

systemic coordination

systems biology

systems biology modelling languages

systems of systems

System dynamics

timed coordination

trustable systems

tuple-based coordination

tuProlog-related

Turing equivalence

understandability

uniform primitives

virtual enterprise

virtual organisations

Virtual Reality

Web architecture

workflow management systems

0

Tags:

2011 © aliCE Research Group @ DEIS, Alma Mater Studiorum-Università di Bologna

1.1