Annals of Mathematics and Artificial Intelligence, Volume 57

Volume 57, Number 1, September 2009

• Alastair F. Donaldson, Alice Miller:
  On the constructive orbit problem. 1-35
  
• Pierre Flener, Justin Pearson, Meinolf Sellmann:
  Static and dynamic structural symmetry breaking. 37-57
  
• Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah:
  Dynamic symmetry-breaking for Boolean satisfiability. 59-73
  
• Andrew Grayland, Christopher Jefferson, Ian Miguel, Colva M. Roney-Dougal:
  Minimal ordering constraints for some families of variable symmetries. 75-102
  

Volume 57, Number 2, October 2009

• Cristian Molinaro, Jan Chomicki, Jerzy Marcinkowski:
  Disjunctive databases for representing repairs. 103-124
  
• Yi Zhou, Fangzhen Lin, Yan Zhang:
  General default logic. 125-160
  
• Rua-Huan Tsaih, Tsung-Chi Cheng:
  A resistant learning procedure for coping with outliers. 161-180
  
• Ignacio Darío Viglizzo, Fernando A. Tohmé, Guillermo Ricardo Simari:
  The foundations of DeLP: defeating relations, games and truth values. 181-204
  

Volume 57, Numbers 3-4, December 2009

• Antonio Hernando:
  New methods for proving the impossibility to solve problems through reduction of problem spaces. 205-231
  
• Dominik Maria Endres, Peter Földiák, Uta Priss:
  An application of formal concept analysis to semantic neural decoding. 233-248
  
• Endre Boros, Ondrej Cepek, Alexander Kogan, Petr Kucera:
  A subclass of Horn CNFs optimally compressible in polynomial time. 249-291
  
• Yehuda Elmaliach, Noa Agmon, Gal A. Kaminka:
  Multi-robot area patrol under frequency constraints. 293-320
  

Last update Sat May 25 15:27:05 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page