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:
Date Issued:  [2000 TO 2024]

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

PreviewAuthor(s)TitleTypeIssue Date
1Delgrande, James P. ; Schaub, Torsten ; Tompits, Hans A Preference-Based Framework for Updating Logic ProgramsKonferenzbeitrag Inproceedings 2007
2Brewka, Gerhard ; Eiter, Thomas Argumentation Context Systems: A Framework for Abstract Group ArgumentationKonferenzbeitrag Inproceedings 2009
3Weinzierl, Antonius Blending Lazy-Grounding and CDNL Search for Answer-Set SolvingKonferenzbeitrag Inproceedings 2017
4Fink, Michael ; Pichler, Reinhard ; Tompits, Hans ; Woltran, Stefan Complexity of Rule Redundancy in Non-Ground Answer-Set Programming over Finite DomainsKonferenzbeitrag Inproceedings 2007
5Van Nieuwenborgh, Davy ; Eiter, Thomas ; Vermeir, Dirk Conditional Planning with External FunctionsKonferenzbeitrag Inproceedings 2007
6Eiter, Thomas Data Integration and Answer Set ProgrammingKonferenzbeitrag Inproceedings2005
7Leone, Nicola ; Eiter, Thomas ; Faber, Wolfgang ; Fink, Michael 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 From Data Integration towards Knowledge MediationKonferenzbeitrag Inproceedings 2009
10Finzi, Alberto ; Lukasiewicz, Thomas Game-Theoretic Reasoning About Actions in Nonmonotonic Causal TheoriesKonferenzbeitrag Inproceedings2005
11Antić, Christian ; Eiter, Thomas ; Fink, Michael Hex Semantics via Approximation Fixpoint TheoryKonferenzbeitrag Inproceedings 2013
12Eiter, Thomas ; Fink, Michael ; Senko, Jan KMonitor -- A Tool for Monitoring Plan Execution in Action TheoriesKonferenzbeitrag Inproceedings 2005
13Eiter, Thomas ; Simkus, Mantas 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 Reasoning with Forest Logic Programs Using Fully Enriched AutomataKonferenzbeitrag Inproceedings 2015
16Eiter, Thomas ; Faber, Wolfgang ; Traxler, Patrick Testing Strong Equivalence of Datalog Programs: Implementation and ExamplesKonferenzbeitrag Inproceedings 2005