( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems.

, , и . Ann. Pure Appl. Log., 78 (1-3): 111-125 (1996)

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.

Anna Eiter

Viktoria Eiter

Christoph Ludwig Eiter

Szilvia Eiterer

Karl Eiter

 

Другие публикации лиц с тем же именем

Computing discrete Fréchet distance, , , , и . (1994)Linking Open-World Knowledge Bases Using Nonmonotonic Rules., и . LPNMR, том 9345 из Lecture Notes in Computer Science, стр. 294-308. Springer, (2015)Reasoning on \textitDL-Lite_ℛ with Defeasibility in ASP., , и . RuleML+RR, том 11784 из Lecture Notes in Computer Science, стр. 19-35. Springer, (2019)Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming, , , и . CoRR, (2002)Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming., , , и . Answer Set Programming, (2001)Semantically Enriched Multi-Modal Routing., , , , , и . Int. J. Intell. Transp. Syst. Res., 14 (1): 20-35 (2016)Reasoning about Evolving Nonmonotonic Knowledge Bases., , , и . LPAR, том 2250 из Lecture Notes in Computer Science, стр. 407-421. Springer, (2001)Towards Comparing RDF Stream Processing Semantics., , и . HiDeSt@KI, том 1447 из CEUR Workshop Proceedings, стр. 15-27. CEUR-WS.org, (2015)Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Extended Abstract)., , и . Description Logics, том 3263 из CEUR Workshop Proceedings, CEUR-WS.org, (2022)Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming., , , , и . Answer Set Programming, том 78 из CEUR Workshop Proceedings, CEUR-WS.org, (2003)