default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Mathematics and Artificial Intelligence, Volume 57

> 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 57, Number 1, September 2009

- view
  authority control:
- export record
  dblp key:
  - journals/amai/DonaldsonM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/DonaldsonM09
Alastair F. Donaldson, Alice Miller:
On the constructive orbit problem. 1-35
- view
  authority control:
- export record
  dblp key:
  - journals/amai/FlenerPS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/FlenerPS09
Pierre Flener, Justin Pearson, Meinolf Sellmann:
Static and dynamic structural symmetry breaking. 37-57
- view
  authority control:
- export record
  dblp key:
  - journals/amai/AloulRMS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/AloulRMS09
Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah:
Dynamic symmetry-breaking for Boolean satisfiability. 59-73
- view
  authority control:
- export record
  dblp key:
  - journals/amai/GraylandJMR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/GraylandJMR09
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

- view
  authority control:
- export record
  dblp key:
  - journals/amai/MolinaroCM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/MolinaroCM09
Cristian Molinaro, Jan Chomicki, Jerzy Marcinkowski:
Disjunctive databases for representing repairs. 103-124
- view
  authority control:
- export record
  dblp key:
  - journals/amai/ZhouLZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/ZhouLZ09
Yi Zhou, Fangzhen Lin, Yan Zhang:
General default logic. 125-160
- view
  authority control:
- export record
  dblp key:
  - journals/amai/TsaihC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/TsaihC09
Rua-Huan Tsaih, Tsung-Chi Cheng:
A resistant learning procedure for coping with outliers. 161-180
- view
  authority control:
- export record
  dblp key:
  - journals/amai/ViglizzoTS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/ViglizzoTS09
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

- view
  authority control:
- export record
  dblp key:
  - journals/amai/Hernando09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Hernando09
Antonio Hernando:
New methods for proving the impossibility to solve problems through reduction of problem spaces. 205-231
- view
  authority control:
- export record
  dblp key:
  - journals/amai/EndresFP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/EndresFP09
Dominik Maria Endres, Peter Földiák, Uta Priss:
An application of formal concept analysis to semantic neural decoding. 233-248
- view
  authority control:
- export record
  dblp key:
  - journals/amai/BorosCKK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BorosCKK09
Endre Boros, Ondrej Cepek, Alexander Kogan, Petr Kucera:
A subclass of Horn CNFs optimally compressible in polynomial time. 249-291
- view
  authority control:
- export record
  dblp key:
  - journals/amai/ElmaliachAK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/ElmaliachAK09
Yehuda Elmaliach, Noa Agmon, Gal A. Kaminka:
Multi-robot area patrol under frequency constraints. 293-320

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.