Digital Library
Close Browse articles from a journal
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             20 results found
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
177-179 15 p. 1809-1832
24 p.
article
2 A note on the correctness of the causal ordering algorithm Dash, Denver
2008
177-179 15 p. 1800-1808
9 p.
article
3 Compactly representing utility functions using weighted goals and the max aggregator Uckelman, Joel
2010
177-179 15 p. 1222-1246
25 p.
article
4 Editorial Board 2009
177-179 15 p. IFC-
1 p.
article
5 Editorial Board 2010
177-179 15 p. IFC-
1 p.
article
6 Editorial Board 2008
177-179 15 p. IFC-
1 p.
article
7 Encoding deductive argumentation in quantified Boolean formulae Besnard, Philippe
2009
177-179 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
177-179 15 p. 1833-1835
3 p.
article
9 Extended clause learning Huang, Jinbo
2010
177-179 15 p. 1277-1284
8 p.
article
10 Fault tolerant mechanism design Porter, Ryan
2008
177-179 15 p. 1783-1799
17 p.
article
11 Logic-based ontology comparison and module extraction, with an application to DL-Lite Kontchakov, Roman
2010
177-179 15 p. 1093-1141
49 p.
article
12 Modelling and solving temporal reasoning as propositional satisfiability Pham, Duc Nghia
2008
177-179 15 p. 1752-1782
31 p.
article
13 Outlier detection for simple default theories Angiulli, Fabrizio
2010
177-179 15 p. 1247-1253
7 p.
article
14 Practical performance models of algorithms in evolutionary program induction and other domains Graff, Mario
2010
177-179 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
177-179 15 p. 1142-1171
30 p.
article
16 Stonian p-ortholattices: A new approach to the mereotopology RT 0 Hahmann, Torsten
2009
177-179 15 p. 1424-1440
17 p.
article
17 The combination of multiple classifiers using an evidential reasoning approach Bi, Yaxin
2008
177-179 15 p. 1731-1751
21 p.
article
18 Two-terminal routing games with unknown active players Ashlagi, Itai
2009
177-179 15 p. 1441-1455
15 p.
article
19 Updating action domain descriptions Eiter, Thomas
2010
177-179 15 p. 1172-1221
50 p.
article
20 Vivid: A framework for heterogeneous problem solving Arkoudas, Konstantine
2009
177-179 15 p. 1367-1405
39 p.
article
                             20 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands