Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005)
Book title Buchtitel
Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005)
Editor Herausgeber_in
Publisher Herausgeber
Springer
Place of publishing Erscheinungsort
LNCS 3662
Results 1-5 of 5 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Eiter, Thomas ; Baral, Chitta | Data Integration and Answer Set Programming | Konferenzbeitrag Inproceedings | 2005 | |
| 2 | Leone, Nicola ; Eiter, Thomas ; Faber, Wolfgang ; Fink, Michael ; Baral, Chitta | Data Integration: a Challenging ASP Application | Konferenzbeitrag Inproceedings  | 2005 | |
| 3 | Finzi, Alberto ; Lukasiewicz, Thomas ; Baral, Chitta ; Greco, Gianluigi ; Leone, Nicola | Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories | Konferenzbeitrag Inproceedings | 2005 | |
| 4 | Eiter, Thomas ; Fink, Michael ; Senko, Jan ; Baral, Chitta | KMonitor -- A Tool for Monitoring Plan Execution in Action Theories | Konferenzbeitrag Inproceedings | 2005 | |
| 5 | Eiter, Thomas ; Faber, Wolfgang ; Traxler, Patrick ; Baral, Chitta | Testing Strong Equivalence of Datalog Programs: Implementation and Examples | Konferenzbeitrag Inproceedings | 2005 |