Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dipl.-Ing. Karl Kübler

Approach for manufacturer independent automated machine tool control software test, , , , and . Progress in production engineering; selected, peer reviewed papers from the 2015 WGP Congress, September 7 - 8, 2015, Hamburg, Germany, 794, page 347-354. Pfaffikon, Trans Tech Publ., (2015)
 

Other publications of authors with the same name

Some results on theory revision.. The Logic of Theory Change, volume 465 of Lecture Notes in Computer Science, page 72-92. Springer, (1989)A New Approach to Preferential Structures., , , , and . Fundam. Inform., 42 (3-4): 391-410 (2000)Some Completeness Results for Classical Preferential Models.. Logic, Action, and Information, (1996)Remarks on Consistency and Completeness of Circumscription.. GWAI, volume 181 of Informatik-Fachberichte, page 96-103. Springer, (1988)A Reliability Theory of Truth.. CoRR, (2018)Equilibria und weiteres Heiteres II, and . CoRR, (2011)New Techniques and Completeness Results for Preferential Structures.. J. Symb. Log., 65 (2): 719-746 (2000)Nonmonotonic logics: a preferential approach.. The Many Valued and Nonmonotonic Turn in Logic, volume 8 of Handbook of the History of Logic, Elsevier, (2007)Explaining Updates by Minimal Sums., and . FSTTCS, volume 1738 of Lecture Notes in Computer Science, page 142-154. Springer, (1999)A Comment on Argumentation.. CoRR, (2016)