Physical Sciences and Mathematics Commons^™

Fixpunktsemantik Logischer Programme, Pascal Hitzler

Computer Science and Engineering Faculty Publications

No abstract provided.

Topology And Logic Programming Semantics, Pascal Hitzler

Computer Science and Engineering Faculty Publications

Logic programming employs logic as a programming language. Thus a logic program consists of a set of clauses of a certain form most often a subset of the clauses of first order logic viewed as axioms. Computation in this paradigm is deduction from these axioms via some interpreter.

Logic programming semantics is concerned with background theory for logic programming. It tries to provide models for logic programs to give them their intended meaning and to connect them with practically implementable interpreters.

Spieltheorie, Alexander Chocholaty, Pascal Hitzler

Computer Science and Engineering Faculty Publications

No abstract provided.

Transformation Based Endorsement Systems, Thomas Sudkamp

Computer Science and Engineering Faculty Publications

Evidential reasoning techniques classically represent support for a hypothesis by a numeric value or an evidential interval. The combination of support is performed by an arithmetic rule which often requires restrictions to be placed on the set of possibilities. These assumptions usually require the hypotheses to be exhausitive and mutually exclusive. Endorsement based classification systems represent support for the alternatives symbolically rather than numerically. A framework for constructing endorsement systems is presented in which transformations are defined to generate and update the knowledge base. The interaction of the knowledge base and transformations produces a non-monotonic reasoning system. Two endorsement based …