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

Modularity Aspects of Disjunctive Stable Models.

T. Janhunen, E. Oikarinen, H. Tompits, and S. Woltran. LPNMR, volume 4483 of Lecture Notes in Computer Science, page 175-187. Springer, (2007)

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.

apl. Prof. Dr. -Ing. Michael Hanss University of Stuttgart

apl. Prof. Dr. -Ing. Niels Hansen University of Stuttgart

Hon. -Prof. Dr. Hans Sommer University of Stuttgart

apl. Prof. Dr. Hans Stein University of Stuttgart

Hon. -Prof. Dr. Hans Opower University of Stuttgart

Other publications of authors with the same name

Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic.J. de Bruijn, T. Eiter, and H. Tompits. KR, page 485-495. AAAI Press, (2008)A General Framework for Expressing Preferences in Causal Reasoning and Planning.J. Delgrande, T. Schaub, and H. Tompits. J. Log. Comput., 17 (5): 871-907 (2007)Combining answer set programming with description logics for the Semantic Web.T. Eiter, G. Ianni, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Artif. Intell., 172 (12-13): 1495-1539 (2008)A Framework for Compiling Preferences in Logic Programs.J. Delgrande, T. Schaub, and H. Tompits. TPLP, 3 (2): 129-187 (2003)A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning.J. Delgrande, T. Schaub, H. Tompits, and K. Wang. Computational Intelligence, 20 (2): 308-334 (2004)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)Modularity Aspects of Disjunctive Stable Models.T. Janhunen, E. Oikarinen, H. Tompits, and S. Woltran. J. Artif. Intell. Res., (2009)Annotating Answer-Set Programs in LANA?M. Vos, D. Kisa, J. Oetsch, J. Pührer, and H. Tompits. CoRR, (2012)Local Redundancy in SAT: Generalizations of Blocked Clauses.B. Kiesl, M. Seidl, H. Tompits, and A. Biere. CoRR, (2017)Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base CombinationJ. de Bruijn, T. Eiter, A. Polleres, and H. Tompits. CoRR, (2008)