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
01-01-2007
End date
01-01-2007
 
Location
Diamante
Country
Italy
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Brewka, Gerhard ; Eiter, Thomas Argumentation Context Systems: A Framework for Abstract Group ArgumentationKonferenzbeitrag Inproceedings 2009
2Weinzierl, Antonius Blending Lazy-Grounding and CDNL Search for Answer-Set SolvingKonferenzbeitrag Inproceedings 2017
3Fink, Michael ; Pichler, Reinhard ; Tompits, Hans ; Woltran, Stefan Complexity of Rule Redundancy in Non-Ground Answer-Set Programming over Finite DomainsKonferenzbeitrag Inproceedings 2007
4Van Nieuwenborgh, Davy ; Eiter, Thomas ; Vermeir, Dirk Conditional Planning with External FunctionsKonferenzbeitrag Inproceedings 2007
5Eiter, Thomas Data Integration and Answer Set ProgrammingKonferenzbeitrag Inproceedings2005
6Leone, Nicola ; Eiter, Thomas ; Faber, Wolfgang ; Fink, Michael Data Integration: a Challenging ASP ApplicationKonferenzbeitrag Inproceedings 2005
7Brain, Martin ; Gebser, Martin ; Puehrer, Joerg ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan Debugging ASP Programs by Means of ASPKonferenzbeitrag Inproceedings 2007
8Brewka, Gerhard ; Eiter, Thomas From Data Integration towards Knowledge MediationKonferenzbeitrag Inproceedings 2009
9Finzi, Alberto ; Lukasiewicz, Thomas Game-Theoretic Reasoning About Actions in Nonmonotonic Causal TheoriesKonferenzbeitrag Inproceedings2005
10Eiter, Thomas ; Fink, Michael ; Senko, Jan KMonitor -- A Tool for Monitoring Plan Execution in Action TheoriesKonferenzbeitrag Inproceedings 2005
11Eiter, Thomas ; Simkus, Mantas Linking Open-World Knowledge Bases Using Nonmonotonic RulesKonferenzbeitrag Inproceedings 2015
12Janhunen, Tomi ; Oikarinen, Emilia ; Tompits, Hans ; Woltran, Stefan Modularity Aspects of Disjunctive Stable ModelsKonferenzbeitrag Inproceedings2007
13Delgrande, James P. ; Schaub, Torsten ; Tompits, Hans A Preference-Based Framework for Updating Logic ProgramsKonferenzbeitrag Inproceedings 2007
14Feier, Cristina ; Eiter, Thomas Reasoning with Forest Logic Programs Using Fully Enriched AutomataKonferenzbeitrag Inproceedings 2015
15Eiter, Thomas ; Faber, Wolfgang ; Traxler, Patrick Testing Strong Equivalence of Datalog Programs: Implementation and ExamplesKonferenzbeitrag Inproceedings 2005