Sciweavers

4617 search results - page 164 / 924
» Automation of Diagrammatic Reasoning
Sort
View
CSL
2009
Springer
16 years 1 months ago
The Ackermann Award 2009
Johann A. Makowsky, Alexander A. Razborov
126
Voted
ECSQARU
2009
Springer
16 years 1 months ago
Encoding the Revision of Partially Preordered Information in Answer Set Programming
Mariette Sérayet, Pierre Drap, Odile Papini