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
Diamante, Italy
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen


Filter:
Author:  Eiter, Thomas
Author:  Traxler, Patrick

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Eiter, Thomas ; Faber, Wolfgang ; Traxler, Patrick Testing Strong Equivalence of Datalog Programs: Implementation and ExamplesKonferenzbeitrag Inproceedings 2005