Annals of Mathematics and Artificial Intelligence, Volume 44

Volume 44, Number 1-2, May 2005

Robert Saxon Milnikel:
Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics. 1-34
Jinchang Wang:
A cost-reducing question-selection algorithm for propositional knowledge-based systems. 35-60
Víctor Dalmau:
A new tractable class of constraint satisfaction problems. 61-85
Quoc Bao Vo, Norman Y. Foo, Joe Thurbon:
Semantics for a theory of defeasible reasoning. 87-119
DoRon B. Motter, Jarrod A. Roy, Igor L. Markov:
Resolution cannot polynomially simulate compressed-BFS. 121-156
Hans van Maaren, Linda van Norden:
Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances. 157-177

Shantanu Biswas, Y. Narahari:
Iterative Dutch combinatorial auctions. 185-205
S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings:
Bargaining with incomplete information. 207-232
Alan J. King, Olga Streltchenko, Yelena Yesha:
Using multi-agent simulation to understand trading dynamics of a derivatives market. 233-253
Can C. Özturan:
Used car salesman problem: A differential auction-barter market. 255-267
David C. Parkes:
Auction design with costly preference elicitation. 269-302

Douglas A. Cenzer, Jeffrey B. Remmel, Victor W. Marek:
Logic programming with infinite sets. 309-339
Hubie Chen:
The expressive rate of constraints. 341-352
Gabriel Istrate, Stefan Boettcher, Allon G. Percus:
Spines of random constraint satisfaction problems: definition and connection with computational complexity. 353-372
Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä:
Unrestricted vs restricted cut in a tableau method for Boolean circuits. 373-399
Andrew Lee:
Learning via finitely many queries. 401-418
Haiou Shen, Hantao Zhang:
Improving exact algorithms for MAX-2-SAT. 419-436

Last update Sat May 25 19:34:42 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page