Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals 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
Volume 44, Number 3, July 2005
- Shantanu Biswas, Y. Narahari:
Iterative Dutch combinatorial auctions. 185-205 - S. Shaheen Fatima, Michael J. 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
Volume 44, Number 4, August 2005
- 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
a service of 
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.
last updated on 2024-04-25 04:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
