International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)

Event name
International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)
 
Event type
Event for scientific audience
 
Start date
05-09-2005
End date
08-09-2005
 
Location
Diamante, Italy
Diamante, Italy
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Filter:
Author:  Fink, Michael

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

PreviewAuthor(s)TitleTypeIssue Date
1Fink, Michael ; Pichler, Reinhard ; Tompits, Hans ; Woltran, Stefan Complexity of Rule Redundancy in Non-Ground Answer-Set Programming over Finite DomainsKonferenzbeitrag Inproceedings 2007
2Leone, Nicola ; Eiter, Thomas ; Faber, Wolfgang ; Fink, Michael Data Integration: a Challenging ASP ApplicationKonferenzbeitrag Inproceedings 2005
3Antić, Christian ; Eiter, Thomas ; Fink, Michael Hex Semantics via Approximation Fixpoint TheoryKonferenzbeitrag Inproceedings 2013
4Eiter, Thomas ; Fink, Michael ; Senko, Jan KMonitor -- A Tool for Monitoring Plan Execution in Action TheoriesKonferenzbeitrag Inproceedings 2005