Sciweavers

4617 search results - page 9 / 924
» Automation of Diagrammatic Reasoning
Sort
View
LPNMR
2001
Springer
15 years 2 months ago
NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics
Christian Anger, Kathrin Konczak, Thomas Linke