MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Depth-Bounded Computation." – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

ATOM

ProLogICA: a practical system for Abductive Logic Programming
by Oliver Ray — 2006 — in Proceedings of the 11th International Workshop on Non-monotonic Reasoning
… for depth bounded computation. These features may be customised by the user via system parameters described…
Cited by 9 (4 self) – Add To MetaCart

Modular Integration of Connectionist and Symbolic Processing in Knowledge-Based Systems
by Mélanie Hilario, Christian Pellegrini, Frédéric Alexandre — 1994 — In Proceedings of the International Symposium on Integrating Knowledge and Neural Heuristics
… depthfirst strategy. The preprocessor's task is to compute the optimal depth bound for proving a given…
Cited by 6 (2 self) – Add To MetaCart

Modular Integration of Connectionist and Symbolic Processing in Knowledge-Based Systems
by Melanie Hilario Christian, Christian Pellegrini, Frdric Alexandre — 1994 — In Proceedings of the International Symposium on Integrating Knowledge and Neural Heuristics
… depthfirst strategy. The preprocessor's task is to compute the optimal depth bound for proving a given…
Add To MetaCart

A Hybrid Approach for Arabic Literal Amounts Recognition
by Labiba Souici-meslati, Labiba Souici-meslati, Mokhtar Sellami, Mokhtar Sellami — The Arabian J. Science and Eng
… preprocessing: whereas in static proof support, the NN comes into action just once (e.g., the depth bound…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 4.

ATOM

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