Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
177
WASABI: Affect Simulation for Agents with Believable Interactivity
, 2008
"... bei der Technischen Fakultät an der ..."
der Naturwissenschaftlich-Technischen Fakultät III
"... Bei Herr Prof. Dr. Claus Jacob möchte ich mich für die Überlassung des Themas und die wertvollen Anregungen und Diskussionen herzlich bedankenDedicated to my loving Mother I would like to dedicate my thesis to my mother and brothers. I also want to dedicate my thesis to my loving wife and daughters. ..."
Abstract
- Add to MetaCart
Bei Herr Prof. Dr. Claus Jacob möchte ich mich für die Überlassung des Themas und die wertvollen Anregungen und Diskussionen herzlich bedankenDedicated to my loving Mother I would like to dedicate my thesis to my mother and brothers. I also want to dedicate my thesis to my loving wife and daughters
Technischen Universität München zur Erlangung des akademischen Grades eines
"... Die Dissertation wurde am 16.03.2009 bei der Technischen Universität München eingereicht und ..."
Abstract
- Add to MetaCart
Die Dissertation wurde am 16.03.2009 bei der Technischen Universität München eingereicht und
der Technischen Fakult"at der Universit"at des Saarlandes
"... Abstract This thesis studies decidable fragments of first-order logic which are relevant to the field of nonclassical logic and knowledge representation. We show that refinements of resolution based on suitable liftable orderings provide decision procedures for the subclasses E+, K, and DK of firsto ..."
Abstract
- Add to MetaCart
Abstract This thesis studies decidable fragments of first-order logic which are relevant to the field of nonclassical logic and knowledge representation. We show that refinements of resolution based on suitable liftable orderings provide decision procedures for the subclasses E+, K, and DK of firstorder logic. By the use of semantics-based translation methods we can embed the description logic ALB and extensions of the basic modal logic K into fragments of first-order logic. We describe various decision procedures based on ordering refinements and selection functions for these fragments and show that a polynomial simulation of tableaux-based decision procedures for these logics is possible. In the final part of the thesis we develop a benchmark suite and perform an empirical analysis of various modal theorem provers.
Die Disseration wurde am 12.11.2003 bei der Technischen Universität München
"... Molecular cytogenetic analysis of chemically induced aneuploidy in germinal and somatic cells of mice: studies with topoisomerase II inhibitors ..."
Abstract
- Add to MetaCart
Molecular cytogenetic analysis of chemically induced aneuploidy in germinal and somatic cells of mice: studies with topoisomerase II inhibitors
Grades eines genehmigten Dissertation. Doktor-Ingenieurs (Dr.-Ing.) Vorsitzender:
"... Die Dissertation wurde am 03.06.2009 bei der Technischen ..."
der Christian Albrechts Universit"at zu Kiel
, 1998
"... vorgelegt bei der Mathematisch-Naturwissenschaftlichen Fakult"at ..."
der Technischen Universität München Carbohydrates and SAAs in Drug-Design: Synthesis of Selective α4β7-Integrin
"... 3. apl. Prof. Dr. L. Moroder Die Dissertation wurde am 17.10.2002 bei der Technischen Universität München eingereicht und durch die Fakultät für Chemie am 09.12.2002 angenommen. ..."
Abstract
- Add to MetaCart
3. apl. Prof. Dr. L. Moroder Die Dissertation wurde am 17.10.2002 bei der Technischen Universität München eingereicht und durch die Fakultät für Chemie am 09.12.2002 angenommen.
Results 1 - 10
of
177
