George Baryannis

28 Seguidores

9 SlideShares 28 Seguidores 29 Seguindos

I am Senior Lecturer in Artificial Intelligence at the University of Huddersfield and a member of the Centre for Planning, Autonomy and Representation of Knowledge (PARK). I received a DiplEng in Electronic and Computer Engineering from the Technical University of Crete, Greece and a MSc and PhD in Computer Science from the University of Crete, Greece. I have over 10 years of experience in teaching in Computer Science and research within the broader area of Artificial Intelligence, mainly focusing on Knowledge Representation and Reasoning, Machine Learning and Interpretability, as well as applications in Supply Chain Risk Management, Smart Homes and Service-oriented and Cloud Computing.

service specification web service frame problem service description service composition ramification problem qualification problem service verification trajectory qualitative reasoning spatial reasoning answer set programming smart home event driven architectures multi-modal sensing indoor localisation adl activity recognition web services formal specification service validation cloud computing service-based applications multi-cloud

Ver mais

Atividades
Sobre

George Baryannis

Apresentações

Deriving composite service specifications

Deriving Specifications for Composite Web Services

Towards Realizing Dynamic QoS-aware Web Service Composition

Lifecycle Management of Service-based Applications on Multi-Clouds: A Research Roadmap

WSSL: A Fluent Calculus-based Language for Web Service Specifications

Fluent Calculus-based Semantic Web Service Composition and Verification using WSSL

A Novel Specification and Composition Language for Services

Rule-based Real-Time Activity Recognition in a Smart Home Environment

A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming