no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
1 |
A new approach to estimating the expected first hitting time of evolutionary algorithms
|
Yu, Yang |
|
2008 |
182-183 |
15 |
p. 1809-1832 24 p. |
article |
2 |
A note on the correctness of the causal ordering algorithm
|
Dash, Denver |
|
2008 |
182-183 |
15 |
p. 1800-1808 9 p. |
article |
3 |
Compactly representing utility functions using weighted goals and the max aggregator
|
Uckelman, Joel |
|
2010 |
182-183 |
15 |
p. 1222-1246 25 p. |
article |
4 |
Editorial Board
|
|
|
2009 |
182-183 |
15 |
p. IFC- 1 p. |
article |
5 |
Editorial Board
|
|
|
2008 |
182-183 |
15 |
p. IFC- 1 p. |
article |
6 |
Editorial Board
|
|
|
2010 |
182-183 |
15 |
p. IFC- 1 p. |
article |
7 |
Encoding deductive argumentation in quantified Boolean formulae
|
Besnard, Philippe |
|
2009 |
182-183 |
15 |
p. 1406-1423 18 p. |
article |
8 |
Erratum to: Reasoning with infinite stable models [Artificial Intelligence 156 (1) (2004) 75–111]
|
Bonatti, Piero A. |
|
2008 |
182-183 |
15 |
p. 1833-1835 3 p. |
article |
9 |
Extended clause learning
|
Huang, Jinbo |
|
2010 |
182-183 |
15 |
p. 1277-1284 8 p. |
article |
10 |
Fault tolerant mechanism design
|
Porter, Ryan |
|
2008 |
182-183 |
15 |
p. 1783-1799 17 p. |
article |
11 |
Logic-based ontology comparison and module extraction, with an application to DL-Lite
|
Kontchakov, Roman |
|
2010 |
182-183 |
15 |
p. 1093-1141 49 p. |
article |
12 |
Modelling and solving temporal reasoning as propositional satisfiability
|
Pham, Duc Nghia |
|
2008 |
182-183 |
15 |
p. 1752-1782 31 p. |
article |
13 |
Outlier detection for simple default theories
|
Angiulli, Fabrizio |
|
2010 |
182-183 |
15 |
p. 1247-1253 7 p. |
article |
14 |
Practical performance models of algorithms in evolutionary program induction and other domains
|
Graff, Mario |
|
2010 |
182-183 |
15 |
p. 1254-1276 23 p. |
article |
15 |
Robust solutions to Stackelberg games: Addressing bounded rationality and limited observations in human cognition
|
Pita, James |
|
2010 |
182-183 |
15 |
p. 1142-1171 30 p. |
article |
16 |
Stonian p-ortholattices: A new approach to the mereotopology RT 0
|
Hahmann, Torsten |
|
2009 |
182-183 |
15 |
p. 1424-1440 17 p. |
article |
17 |
The combination of multiple classifiers using an evidential reasoning approach
|
Bi, Yaxin |
|
2008 |
182-183 |
15 |
p. 1731-1751 21 p. |
article |
18 |
Two-terminal routing games with unknown active players
|
Ashlagi, Itai |
|
2009 |
182-183 |
15 |
p. 1441-1455 15 p. |
article |
19 |
Updating action domain descriptions
|
Eiter, Thomas |
|
2010 |
182-183 |
15 |
p. 1172-1221 50 p. |
article |
20 |
Vivid: A framework for heterogeneous problem solving
|
Arkoudas, Konstantine |
|
2009 |
182-183 |
15 |
p. 1367-1405 39 p. |
article |