Sciweavers

13827 search results - page 148 / 2766
» The state of artificial intelligence
Sort
View
AIIA
1995
Springer
15 years 10 months ago
PDL-based framework for reasoning about actions
Giuseppe De Giacomo, Maurizio Lenzerini
140
Voted
SARA
2000
Springer
15 years 10 months ago
Linearly Bounded Reformulations of Unary Databases
Rada Chirkova, Michael R. Genesereth
146
Voted
SARA
2000
Springer
15 years 10 months ago
Partial Completeness of Abstract Fixpoint Checking
Patrick Cousot