Tompits, Hans

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Tompits, Hans
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 121-140 of 149 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
121Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans DLV-HEX: Dealing with Semantic Web under Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2005
122Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer -Set ProgrammingKonferenzbeitrag Inproceedings 2005
123Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans Nonmonotonic Description Logic Programs: Implementation and ExperimentsKonferenzbeitrag Inproceedings 2005
124Eiter, Thomas ; Fink, Michael ; Tompits, Hans Test and Comparison ResultsBericht Report2005
125Eiter, Thomas ; Fink, Michael ; Tompits, Hans Self-assessment Report for Years 3+4Bericht Report2005
126Tompits, Hans ; Woltran, Stefan Towards Implementations for Advanced Equivalence Checking in Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2005
127Tompits, Hans ; Woltran, Stefan Towards Implementations for Advanced Equivalence Checking in Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2005
128Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Woltran, Stefan Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground CaseKonferenzbeitrag Inproceedings 2005
129Eiter, Thomas ; Tompits, Hans ; Woltran, Stefan On Solution Correspondences in Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2005
130Eiter, Thomas ; Fink, Michael ; Sabbatini, Giuliana ; Tompits, Hans Reasoning about Evolving Nonmonotonic Knowledge BasesArtikel Article2005
131Besnard, Philippe ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan Representing Paraconsistent Reasoning via Quantified Propositional LogicBuchbeitrag Book Contribution 2005
132Tompits, Hans ; Woltran, Stefan On Simplifying and Rewriting Logic Programs: Characterisations and ComplexityPräsentation Presentation2004
133Tompits, Hans On Eliminating Disjunctions in Stable Logic ProgrammingPräsentation Presentation2004
134Eiter, Thomas ; Faber, Wolfgang ; Tompits, Hans Self-assessment report for year 2Bericht Report2004
135Eiter, Thomas ; Faber, Wolfgang ; Fink, Michael ; Greco, Gianluigi ; Lembo, Domenico ; Tompits, Hans Methods and Techniques for Query OptimizationBericht Report2004
136Tompits, Hans Quantifizierte Boole'sche Formeln für Anwendungen in der WissensrepräsentationPräsentation Presentation2003
137Eiter, Thomas ; Fink, Michael ; Tompits, Hans Self-assessment report for year 1Bericht Report2003
138Eiter, Thomas ; Lukasiewicz, Thomas ; Schindlauer, Roman ; Tompits, Hans Combining Answer Set Programming with Description Logics for the Semantic WebBericht Report2003
139Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Woltran, Stefan On Eliminating Disjunctions in Stable Logic ProgrammingBericht Report2003
140Delgrande, James P. ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan On Computing Solutions to Belief Change ScenariosBericht Report2003