MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Solution of the Robbins Problem." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 11 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • The Robbins Problem - Computer Proofs and Human Proofs  
  • by Louis H. Kauffman — In Kybernetes - The International Journal of Systems and Cybernetics, Special Issue - Gordon Pask Remembered and Celebrated: Part I, editors Bernard Scott and Ranulph Glanville
  • … and specifically in regard to the recent solution of the Robbins Problem via a proof generated by computer. Section…
  • Cited by 3 (3 self) – Add To MetaCart
  • Well-Behaved Search and the Robbins Problem  
  • by William Mccune — 1997 — 8th International Conference on Rewriting Techniques and Applications (RTA), Lecture Notes in Computer Science
  • … the achievement of well-behaved search. First, I give some background on the Robbins problem and its solution…
  • Cited by 1 (0 self) – Add To MetaCart
  • Equational Reasoning using AC Constraints  
  • by David A. Plaisted, Yunshan Zhu — 1997 — In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97
  • … successes of automated reasoning, perhaps of AI in general, is the solution of the Robbins Problem…
  • Cited by 1 (1 self) – Add To MetaCart
  • Progress in automated theorem proving, 1997-2001  
  • by Geoff Sutcliffe, Matthias Fuchs, Christian Suttner — 2001 — In Workshop on Empirical Methods in Artificial Intelligence, 17th International Joint Conference on Artificial Intelligence
  • … failed to solve, e.g., EQP’s solution of the Robbins problem [15], and MGTP’s characterization…
  • Cited by 1 (0 self) – Add To MetaCart
  • Towards Concurrent Resource Managed Deduction  
  • by Christoph Benzmüller, Mateja Jamnik, Mateja Jamnik, Manfred Kerber, Manfred Kerber, Volker Sorge, Volker Sorge — 1999 — University of Birmingham, School of Computer Science. URL
  • … by the recent solution of the Robbins problem by Eqp [McC97]. However, these traditional systems follow xed…
  • Cited by 4 (3 self) – Add To MetaCart
  • Agent based mathematical reasoning  
  • by Christoph Benzmüller , Mateja Jamnik, Manfred Kerber , Volker Sorge — 1999 — IN PROCEEDINGS OF THE CALCULEMUS WORKSHOP: SYSTEMS FOR INTEGRATED COMPUTATION AND DEDUCTION
  • … solution of the Robbins problem by Eqp [21]. However, these traditional systems follow fixed search…
  • Cited by 1 (1 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB