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

Vorträge

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