Institute for Web Science and Technologies · Universität Koblenz - Landau
Institute WeST


Quantitative Deadlock Analysis in Petri Nets

28.01.21. In my thesis, I developed approaches to approximate the termination potential of an ordinary marked Petri Net through structural analysis by exploiting the similarities of the problem and inconsistency measurement. [mehr lesen...]

Skeptical Reasoning with Preferred Semantics Revisited

21.01.21. We provide a new characterisation of skeptical acceptance wrt. preferred semantics that does not involve the notion of a preferred extension, develop a new algorithm that avoids maximising admissible sets and present results of an experimental evaluation. [mehr lesen...]

SAT-based Algorithms for Inconsistency Measurement

18.01.21. Several inconsistency measures can be reduced to the satisfiability problem of propositional logic (SAT), for which many high-performance solvers have been developed already. This talk concerns itself with the development of SAT encodings for a number of inconsistency measures in order to use the existing solvers. [mehr lesen...]

Research Lab EYEWORD: Eye tracking in word processing

17.12.20. In this research lab we build a web based application that is fully functional with eye based gesture. And out of many methods for eye typing out there, three prominent eye typing methods were particularly picked and implemented for this research lab which are (dwell, gesture and swipe) keyboards based. [mehr lesen...]

Type-safe Programming for the Semantic Web

10.12.20. Graph-based data formats are flexible in representing data. In particular semantic data models, where the schema is part of the data, gained traction and commercial success in recent years. Semantic data models are also the basis for the Semantic Web---a Web of data governed by open standards in which computer programs can freely access the provided data. This talk is concerned with the correctness of programs that access semantic data. [mehr lesen...]

Ältere Einträge