Sciweavers

4573 search results - page 21 / 915
» Automated Reasoning
Sort
View
149
Voted
ICCBR
1999
Springer
15 years 11 months ago
Footprint-Based Retrieval
Barry Smyth, Elizabeth McKenna
ICLP
1999
Springer
15 years 11 months ago
Answer Set Planning
Vladimir Lifschitz
133
Voted
ICLP
1999
Springer
15 years 11 months ago
Monotonicity in Rule Based Update
Yan Zhang