Sciweavers

4573 search results - page 38 / 915
» Automated Reasoning
Sort
View
ICLP
1990
Springer
15 years 6 months ago
Logic Programming and Databases
Catriel Beeri
ICLP
1990
Springer
15 years 6 months ago
Logic Programs with Classical Negation
Michael Gelfond, Vladimir Lifschitz
ICLP
1990
Springer
15 years 6 months ago
Parallel Logic Programming Systems
Jacques Chassin de Kergommeaux
KR
1989
Springer
15 years 6 months ago
Temporal Constraint Networks
Rina Dechter, Itay Meiri, Judea Pearl