Sciweavers

13090 search results - page 104 / 2618
» Usable artificial intelligence
Sort
View
ECAI
1992
Springer
15 years 8 months ago
Planning as Satisfiability
Henry A. Kautz, Bart Selman
OGAI
1993
15 years 8 months ago
A Comparative Fuzzy Modal Logic
Petr Hájek, Dagmar Harmancová
LFCS
1994
Springer
15 years 8 months ago
On Model Checking Infinite-State Systems
Henrik Reif Andersen