Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Knowledge-Based Geo-risk Assessment for an Intelligent Measurement System.

T. Vicovac, A. Reiterer, U. Egly, T. Eiter, and D. Rieke-Zapp. IFIP AI, volume 331 of IFIP Advances in Information and Communication Technology, page 215-224. Springer, (2010)

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.

Dr. Uwe Gaisbauer University of Stuttgart

Hon. -Prof. Dr. Uwe Pfenning University of Stuttgart

Prof. Uni. Reg. de Blumenau Uwe Menzel University of Stuttgart

Dr. rer. nat. Uwe Breitenbücher University of Stuttgart

Uwe Fischer University of Stuttgart

Other publications of authors with the same name

A solver for QBFs in negation normal form.U. Egly, M. Seidl, and S. Woltran. Constraints, 14 (1): 38-79 (2009)Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results.U. Egly, T. Eiter, V. Klotz, H. Tompits, and S. Woltran. Answer Set Programming, (2001)Knowledge-Based Geo-risk Assessment for an Intelligent Measurement System.T. Vicovac, A. Reiterer, U. Egly, T. Eiter, and D. Rieke-Zapp. IFIP AI, volume 331 of IFIP Advances in Information and Communication Technology, page 215-224. Springer, (2010)A Solver for QBFs in Nonprenex Form.U. Egly, M. Seidl, and S. Woltran. ECAI, volume 141 of Frontiers in Artificial Intelligence and Applications, page 477-481. IOS Press, (2006)Satisfiability-Based Methods for Reactive Synthesis from Safety Specifications.R. Bloem, U. Egly, P. Klampfl, R. Könighofer, F. Lonsing, and M. Seidl. CoRR, (2016)A Generalized Factorization Rule Based on the Introduction of Skolem Terms.U. Egly. ÖGAI, volume 287 of Informatik-Fachberichte, page 116-125. Springer, (1991)Guided Merging of Sequence Diagrams.M. Widl, A. Biere, P. Brosch, U. Egly, M. Heule, G. Kappel, M. Seidl, and H. Tompits. SLE, volume 7745 of Lecture Notes in Computer Science, page 164-183. Springer, (2012)KoMeT.W. Bibel, S. Brüning, U. Egly, and T. Rath. CADE, volume 814 of Lecture Notes in Computer Science, page 783-787. Springer, (1994)New Results on the Phase Transition for Random Quantified Boolean Formulas.N. Creignou, H. Daudé, U. Egly, and R. Rossignol. SAT, volume 4996 of Lecture Notes in Computer Science, page 34-47. Springer, (2008)Some Pitfalls of LK-to-LJ Translations and How to Avoid Them.U. Egly. CADE, volume 1249 of Lecture Notes in Computer Science, page 116-130. Springer, (1997)