default search action
Artificial Intelligence, Volume 162
Volume 162, Number 1-2, February 2005
- Thomas Ellman, Fausto Giunchiglia:
Introduction to the Special Volume on Reformulation. 3-5 - Alvaro del Val:
First order LUB approximations: characterization and algorithms. 7-48 - Eyal Amir, Sheila A. McIlraith:
Partition-based logical reasoning for first-order and propositional theories. 49-88 - Marco Cadoli, Andrea Schaerf:
: Compiling problem specifications into SAT. 89-120 - Martin Sachenbacher, Peter Struss:
Task-dependent qualitative domain abstraction. 121-143 - Berthe Y. Choueiry, Yumi Iwasaki, Sheila A. McIlraith:
Towards a practical theory of reformulation for reasoning about physical systems. 145-204
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.