International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)

View Statistics Email Alert RSS Feed

Description

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
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Filter:
Author:  Eiter, Thomas

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

PreviewAuthor(s)TitleTypeIssue Date
1Brewka, Gerhard ; Eiter, Thomas Argumentation Context Systems: A Framework for Abstract Group ArgumentationKonferenzbeitrag Inproceedings 2009
2Van Nieuwenborgh, Davy ; Eiter, Thomas ; Vermeir, Dirk Conditional Planning with External FunctionsKonferenzbeitrag Inproceedings 2007
3Eiter, Thomas Data Integration and Answer Set ProgrammingKonferenzbeitrag Inproceedings2005
4Leone, Nicola ; Eiter, Thomas ; Faber, Wolfgang ; Fink, Michael Data Integration: a Challenging ASP ApplicationKonferenzbeitrag Inproceedings 2005
5Brewka, Gerhard ; Eiter, Thomas From Data Integration towards Knowledge MediationKonferenzbeitrag Inproceedings 2009
6Antić, Christian ; Eiter, Thomas ; Fink, Michael Hex Semantics via Approximation Fixpoint TheoryKonferenzbeitrag Inproceedings 2013
7Eiter, Thomas ; Fink, Michael ; Senko, Jan KMonitor -- A Tool for Monitoring Plan Execution in Action TheoriesKonferenzbeitrag Inproceedings 2005
8Eiter, Thomas ; Simkus, Mantas Linking Open-World Knowledge Bases Using Nonmonotonic RulesKonferenzbeitrag Inproceedings 2015
9Feier, Cristina ; Eiter, Thomas Reasoning with Forest Logic Programs Using Fully Enriched AutomataKonferenzbeitrag Inproceedings 2015
10Eiter, Thomas ; Faber, Wolfgang ; Traxler, Patrick Testing Strong Equivalence of Datalog Programs: Implementation and ExamplesKonferenzbeitrag Inproceedings 2005