( en | de | ru )

 

Disambiguation of "Eiter, Thomas"

Author of the publication

copydeleteadd this publication to your clipboard
The dlv System: Model Generator and Advanced Frontends (system description).

, , , , , , , , and . WLP, Ludwig Maximilians Universität München, (1997)

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.

Anna Eiter

Viktoria Eiter

Christoph Ludwig Eiter

Szilvia Eiterer

Karl Eiter

 

Other publications of authors with the same name

Computing discrete Fréchet distance, , , , and . (1994)A Distance-Based Method for the Evaluation of Interest point Detection Algorithms., and . ICIP, page 2745-2748. IEEE, (2006)Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information., , and . IJCAI, page 634-639. Morgan Kaufmann, (1993)Updating Action Domain Descriptions., , , and . IJCAI, page 418-423. Professional Book Center, (2005)Decomposition of Declarative Knowledge Bases with External Functions., , and . IJCAI, page 752-758. (2009)Using the dlv System for Planning and Diagnostic Reasoning., , , , and . WLP, volume 90 of GMD Report, page 125-134. (2000)Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract)., and . IJCAI, page 5593-5597. ijcai.org, (2018)Efficient Evaluation of Logic Programs for Querying Data Integration Systems., , , and . ICLP, volume 2916 of Lecture Notes in Computer Science, page 163-177. Springer, (2003)Exploiting Conjunctive Queries in Description Logic Programs., , , and . ISAIM, (2008)Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems., , and . Ann. Pure Appl. Log., 78 (1-3): 111-125 (1996)