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

Publications Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Delgrande, James P. ; Schaub, Torsten ; Tompits, Hans ; Baral, Chitta ; Brewka, Gerd ; Schlipf, John A Preference-Based Framework for Updating Logic ProgramsKonferenzbeitrag Inproceedings 2007
2Brewka, Gerhard ; Eiter, Thomas ; Erdem, Esra ; Lin, Fangzhen ; Schaub, Torsten Argumentation Context Systems: A Framework for Abstract Group ArgumentationKonferenzbeitrag Inproceedings 2009
3Weinzierl, Antonius ; Balduccini, Marcello ; Janhunen, Tomi Blending Lazy-Grounding and CDNL Search for Answer-Set SolvingKonferenzbeitrag Inproceedings 2017
4Fink, Michael ; Pichler, Reinhard ; Tompits, Hans ; Woltran, Stefan ; Baral, Chitta ; Brewka, Gerd ; Schlipf, John Complexity of Rule Redundancy in Non-Ground Answer-Set Programming over Finite DomainsKonferenzbeitrag Inproceedings 2007
5Van Nieuwenborgh, Davy ; Eiter, Thomas ; Vermeir, Dirk ; Baral, Chitta ; Brewka, Gerd ; Schlipf, John Conditional Planning with External FunctionsKonferenzbeitrag Inproceedings 2007
6Eiter, Thomas ; Baral, Chitta Data Integration and Answer Set ProgrammingKonferenzbeitrag Inproceedings2005
7Leone, Nicola ; Eiter, Thomas ; Faber, Wolfgang ; Fink, Michael ; Baral, Chitta Data Integration: a Challenging ASP ApplicationKonferenzbeitrag Inproceedings 2005
8Brain, Martin ; Gebser, Martin ; Puehrer, Joerg ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan Debugging ASP Programs by Means of ASPKonferenzbeitrag Inproceedings 2007
9Brewka, Gerhard ; Eiter, Thomas ; Erdem, Esra ; Lin, Fangzhen ; Schaub, Torsten From Data Integration towards Knowledge MediationKonferenzbeitrag Inproceedings 2009
10Finzi, Alberto ; Lukasiewicz, Thomas ; Baral, Chitta ; Greco, Gianluigi ; Leone, Nicola Game-Theoretic Reasoning About Actions in Nonmonotonic Causal TheoriesKonferenzbeitrag Inproceedings2005
11Antić, Christian ; Eiter, Thomas ; Fink, Michael ; Cabalar, Pedro ; Son, Tran Cao Hex Semantics via Approximation Fixpoint TheoryKonferenzbeitrag Inproceedings 2013
12Eiter, Thomas ; Fink, Michael ; Senko, Jan ; Baral, Chitta KMonitor -- A Tool for Monitoring Plan Execution in Action TheoriesKonferenzbeitrag Inproceedings 2005
13Eiter, Thomas ; Simkus, Mantas ; Calimeri, Francesco ; Ianni, Giovambattista ; Truszczynski, Miroslaw Linking Open-World Knowledge Bases Using Nonmonotonic RulesKonferenzbeitrag Inproceedings 2015
14Janhunen, Tomi ; Oikarinen, Emilia ; Tompits, Hans ; Woltran, Stefan Modularity Aspects of Disjunctive Stable ModelsKonferenzbeitrag Inproceedings2007
15Feier, Cristina ; Eiter, Thomas ; Calimeri, Francesco ; Ianni, Giovambattista ; Truszczynski, Miroslaw Reasoning with Forest Logic Programs Using Fully Enriched AutomataKonferenzbeitrag Inproceedings 2015
16Eiter, Thomas ; Faber, Wolfgang ; Traxler, Patrick ; Baral, Chitta Testing Strong Equivalence of Datalog Programs: Implementation and ExamplesKonferenzbeitrag Inproceedings 2005