default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Mathematics and Artificial Intelligence, Volume 55

> Home > Journals > Annals of Mathematics and Artificial Intelligence

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 55, Numbers 1-2, February 2009

Special Issue on First-Order Theorem Proving

- view
  authority control:
- export record
  dblp key:
  - journals/amai/RaniseH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/RaniseH09
Silvio Ranise, Ullrich Hustadt:
Preface. 1-2
- view
  authority control:
- export record
  dblp key:
  - journals/amai/FietzkeW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/FietzkeW09
Arnaud Fietzke, Christoph Weidenbach:
Labelled splitting. 3-34
- view
  authority control:
- export record
  dblp key:
  - journals/amai/HofnerSS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/HofnerSS09
Peter Höfner, Georg Struth, Geoff Sutcliffe:
Automated verification of refinement laws. 35-62
- view
  authority control:
- export record
  dblp key:
  - journals/amai/BruttomessoCFGS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BruttomessoCFGS09
Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani:
Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis. 63-99
- view
  authority control:
- export record
  dblp key:
  - journals/amai/GeBT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/GeBT09
Yeting Ge, Clark W. Barrett, Cesare Tinelli:
Solving quantified verification conditions using satisfiability modulo theories. 101-122
- view
  authority control:
- export record
  dblp key:
  - journals/amai/NahonKKB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/NahonKKB09
Fabrice Nahon, Claude Kirchner, Hélène Kirchner, Paul Brauner:
Inductive proof search modulo. 123-154
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Schmidt09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Schmidt09
Renate A. Schmidt:
A new methodology for developing deduction methods. 155-187

Volume 55, Numbers 3-4, April 2009

- view
  authority control:
- export record
  dblp key:
  - journals/amai/Gatti09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Gatti09
Nicola Gatti:
Extending the alternating-offers protocol in the presence of competition: models and theoretical analysis. 189-236
- view
  authority control:
- export record
  dblp key:
  - journals/amai/HavensBKPH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/HavensBKPH09
Timothy C. Havens, James C. Bezdek, James M. Keller, Mihail Popescu, Jacalyn M. Huband:
Is VAT really single linkage in disguise? 237-251
- view
  authority control:
- export record
  dblp key:
  - journals/amai/RahwanPSD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/RahwanPSD09
Iyad Rahwan, Philippe Pasquier, Liz Sonenberg, Frank Dignum:
A formal analysis of interest-based negotiation. 253-276
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Rigatos09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Rigatos09
Gerasimos G. Rigatos:
Cooperative behavior of nano-robots as an analogous of the quantum harmonic oscillator. 277-294
- view
  authority control:
- export record
  dblp key:
  - journals/amai/VuSF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/VuSF09
Xuan-Ha Vu, Djamila Sam-Haroud, Boi Faltings:
Enhancing numerical constraint propagation using multiple inclusion representations. 295-354
- view
  authority control:
- export record
  dblp key:
  - journals/amai/DekhtyarD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/DekhtyarD09
Alex Dekhtyar, Michael I. Dekhtyar:
The theory of interval probabilistic logic programs. 355-388
- view
  authority control:
- export record
  dblp key:
  - journals/amai/LoyerS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/LoyerS09
Yann Loyer, Umberto Straccia:
Approximate well-founded semantics, query answering and generalized normal logic programs over lattices. 389-417

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.