Searching for "Empirically successful computerized reasoning." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Three Stories on Automated Reasoning for Natural Language Understanding
by Johan Bos — 2006 — in: Proceedings of ESCoR (IJCAR Workshop): Empirically Successful Computerized Reasoning
… an endangered species.” Empirically Successful Computerized Reasoning 81 Secondly, there is an enormous gap…
Cited by 1 (0 self) – Add To MetaCart

Translating higher-order problems to first-order clauses
by Jia Meng, Lawrence C. Paulson — 2006 — ESCoR (CEUR Workshop Proceedings
…(@(@(fequal,X),Y)),--equal(X,Y)} {--B(@(@(fequal,X),Y)),++equal(X,Y)} Empirically Successful Computerized Reasoning 71Not all subgoals…
Cited by 13 (5 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB