Intelligent Systems Group

Home People Publications Research Teaching ISG News Contact

Home

 

 


Research areas 2014

Presentation Poster 2013

Research&development in core areas:

bullet

Norm compliance: verifying business processes against norm compliance and quality standards

bullet

Support for dispute resolution for Small and Medium Enterprises in case of contract breach

bullet

Semantic-based business process re-engineering

bullet

Decision Support Systems based on domain-based, safety arguments

bullet

Logistic Planning

 Research&development in applied fields:

bullet

Using argumentation for justifying safeness of complex technical systems

bullet

Agent oriented technology in support of e-business

bullet

Model checking of business processes against ISO-like quality standards

bullet

Representing and reason on business rules for e-commerce applications

bullet

Modeling and simulating trust on the Web

bullet

Semantic search of business products

bullet

Opinion mining for e-business

Consulting:

bullet

Ontology engineering

bullet

Tools and technologies in knowledge representation and reasoning

bullet

Opinion mining

Applied engineering services:

bullet

Engineering safety critical systems,

bullet

Business process re-engineering

bullet

Model checking verification of computer systems

bullet

Ontology engineering.

Training:

bullet

Agent-based programming

bullet

Business rules modeling and optimization

bullet

Semantic technologies and Web Services

bullet

Ontology engineering

bullet

Model checking

 

Last modified: 09/20/13