International Joint Conference on Artificial Intelligence (IJCAI)

Event name
International Joint Conference on Artificial Intelligence (IJCAI)
 
Event type
Event for scientific audience
 
Start date
30-07-2005
End date
05-08-2005
 
Location
Edinburgh, Scotland, UK
Country
Austria
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Filter:
Date Issued:  [2000 TO 2024]
Author:  Tompits, Hans

Results 1-4 of 4 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer -Set ProgrammingKonferenzbeitrag Inproceedings 2005
2Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Woltran, Stefan Complexity Results for Checking Equivalence of Stratified Logic ProgramsKonferenzbeitrag Inproceedings 2007
3De Bruijn, Jos ; Eiter, Thomas ; Polleres, Axel Florian ; Tompits, Hans Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base CombinationKonferenzbeitrag Inproceedings 2007
4Eiter, Thomas ; Tompits, Hans ; Woltran, Stefan On Solution Correspondences in Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2005