MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Abstract Proof Search." – sorted by Relevance.

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

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

21 documents found, showing 1 through 10. Next 10 →

ATOM

Abstract proof search
by Tristan Cazenave — 2002 — Computers and Games (CG 2000), volume 2063 of Lecture Notes in Computer Science
…Abstract Proof Search Tristan Cazenave Laboratoire d'Intelligence Artificielle Département…
Cited by 18 (3 self) – Add To MetaCart

A Generalized Threats Search Algorithm
by Tristan Cazenave — 2002 — In Computers and Games 2002
… analysis is proposed. It can model existing related algorithms such as Lambda Search and Abstract Proof…
Cited by 13 (5 self) – Add To MetaCart

Admissible Moves in Two-player Games
by Tristan Cazenave — 2002 — in: Proceedings of SARA 2002
… up search. They work well with depth-bounded search algorithms such as Gradual Abstract Proof Search…
Cited by 2 (0 self) – Add To MetaCart

A Static Analysis of a Classical Linear Logic Programming Language
by Kyoung-sun Kang
… an abstract proof search on an abstract proof. In order to develop abstract proof search in linear logic, we…
Cited by 1 (1 self) – Add To MetaCart

Annotated Reasoning
by Dieter Hutter — 2000 — Annals of Mathematics and Artificial Intelligence (AMAI). Special Issue on Strategies in Automated Deduction
… techniques to guide the proof search. Many of these techniques incorporate additional knowledge to restrict…
Cited by 8 (3 self) – Add To MetaCart

A Proof-Planning Framework with explicit Abstractions based on Indexed Formulas
by Serge Autexier — 2001 — Electronic Notes in Theoretical Computer Science
…. To structure reasoning levels the framework allows for an explicit representation of abstractions and proof-search…
Cited by 7 (5 self) – Add To MetaCart

Iterative widening
by Tristan Cazenave — 2001 — In Proceedings of IJCAI-01
…@(email omitted); tel: 33 1 49 40 64 04 fax: 33 1 49 40 64 00 2 The search algorithm We use Abstract Proof Search…
Cited by 8 (3 self) – Add To MetaCart

A Static Analysis Method for a Classical Linear Logic Programming Language
by Kyoung-sun Kang, Naoyuki Tamura — 2000 — Information Processing Society of Japan Transactions on Programming
… of programs, and such a hope is realizable by a static analysis performing an abstract proof search…
Cited by 2 (2 self) – Add To MetaCart

Equational Proof-Planning by Dynamic Abstraction
by Serge Autexier, Dieter Hutter — 1997 — In M.P. Bonacina and U. Furbach, editors, Proceedings of FTP97
… information and thus, planning in the abstract space is rather unconstrained, or the proof search…
Cited by 5 (3 self) – Add To MetaCart

Structuring Deduction by Using Abstractions
by Dieter Hutter — 1998 — International Symposium on Abstraction, Reformulation, and Approximation (SARA-98
… for the proof search, or the abstraction is to detailed to gain any advantages wrt. the search space. Hence…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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