Sciweavers

12981 search results - page 97 / 2597
» Artificial Intelligence
Sort
View
ECAI
1992
Springer
15 years 9 months ago
Planning as Satisfiability
Henry A. Kautz, Bart Selman
OGAI
1993
15 years 9 months ago
A Comparative Fuzzy Modal Logic
Petr Hájek, Dagmar Harmancová
LFCS
1994
Springer
15 years 9 months ago
On Model Checking Infinite-State Systems
Henrik Reif Andersen