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


Filter:
Author:  Ianni, Giovambattista

Results 1-15 of 15 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Eiter, Thomas ; Ianni, Giovambattista ; Lukasiewicz, Thomas ; Schindlauer, Roman ; Tompits, Hans Combining Answer Set Programming with Description Logics for the Semantic WebArtikel Article2008
2Eiter, Thomas ; Ianni, Giovambattista ; Lukasiewicz, Thomas ; Schindlauer, Roman ; Tompits, Hans Combining Answer Set Programming with Description Logics for the Semantic WebBericht Report2007
3Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans Effective Integration of Declarative Rules with External Evaluations for Semantic Web ReasoningKonferenzbeitrag Inproceedings 2006
4Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans dlvhex: A Tool for Semantic-Web Reasoning under the Answer-Set SemanticsKonferenzbeitrag Inproceedings 2006
5Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming FrameworkKonferenzbeitrag Inproceedings 2006
6Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans ; Wang, Kewen Forgetting in Managing Rules and OntologiesKonferenzbeitrag Inproceedings 2006
7Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans ; Wang, Kewen Forgetting in Managing Rules and OntologiesKonferenzbeitrag Inproceedings 2006
8Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans A RuleML Syntax for Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2006
9Eiter, Thomas ; Ianni, Giovambattista ; Polleres, Axel Florian ; Schindlauer, Roman ; Tompits, Hans Reasoning with Rules and OntologiesKonferenzbeitrag Inproceedings2006
10Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans Towards Efficient Evaluation of HEX ProgramsKonferenzbeitrag Inproceedings 2006
11Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans dlvhex: A Prover for Semantic-Web Reasoning under Answer-Set SemanticsKonferenzbeitrag Inproceedings 2006
12Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans NLP-DL: A KR System for Coupling Nonmonotonic Logic Programs with Description LogicsKonferenzbeitrag Inproceedings 2005
13Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans DLV-HEX: Dealing with Semantic Web under Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2005
14Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer -Set ProgrammingKonferenzbeitrag Inproceedings 2005
15Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans Nonmonotonic Description Logic Programs: Implementation and ExperimentsKonferenzbeitrag Inproceedings 2005



Filter:
Author:  Ianni, Giovambattista

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming FrameworkKonferenzbeitrag Inproceedings 2006