Logic for Programming, Artificial Intelligence, and Reasoning (LPAR)
Event name
Logic for Programming, Artificial Intelligence, and Reasoning (LPAR)
Event type
Event for scientific audience
Start date
13-11-2006
End date
17-11-2006
Location
Phnom Penh, Cambodia
Country
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Results 1-4 of 4 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Fermüller, Christian ; Kosik, Robert | Combining Supervaluation and Degree Based Reasoning Under Vagueness | Konferenzbeitrag Inproceedings | 2006 | |
| 2 | Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan ; Goebel, Randy ; Siekmann, Jörg ; Wahlster, Wolfgang | Counting and Enumeration Problems with Bounded Treewidth | Konferenzbeitrag Inproceedings  | 2010 | |
| 3 | Fermüller, Christian | Parallel Dialogue Games for Intermediate Logics | Präsentation Presentation | 2002 | |
| 4 | Eiter, Thomas ; Ortiz, Magdalena ; Šimkus, Mantas ; Cervesato, Iliano ; Veith, Helmut ; Voronkov, Andrei | Reasoning Using Knots | Konferenzbeitrag Inproceedings | 2008 |