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
01-01-2008
End date
01-01-2008
 
Location
Phnom Penh
Country
Cambodia
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan Counting and Enumeration Problems with Bounded TreewidthKonferenzbeitrag Inproceedings 2010
2Fermüller, Christian Parallel Dialogue Games for Intermediate LogicsPräsentation Presentation1-Jan-2002
3Eiter, Thomas ; Ortiz, Magdalena ; Šimkus, Mantas Reasoning Using KnotsKonferenzbeitrag Inproceedings2008