Artificial Intelligence, Volume 162

Volume 162, Number 1-2, February 2005

Reformulation

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ai/EllmanG05
- ask others
Thomas Ellman, Fausto Giunchiglia: Introduction to the Special Volume on Reformulation. 3-5
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ai/Val05
- ask others
Alvaro del Val: First order LUB approximations: characterization and algorithms. 7-48
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ai/AmirM05
- ask others
Eyal Amir, Sheila A. McIlraith: Partition-based logical reasoning for first-order and propositional theories. 49-88
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ai/CadoliS05
- ask others
Marco Cadoli, Andrea Schaerf: : Compiling problem specifications into SAT. 89-120
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ai/SachenbacherS05
- ask others
Martin Sachenbacher, Peter Struss: Task-dependent qualitative domain abstraction. 121-143
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ai/ChoueiryIM05
- ask others
Berthe Y. Choueiry, Yumi Iwasaki, Sheila A. McIlraith: Towards a practical theory of reformulation for reasoning about physical systems. 145-204