Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             12 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A logic programming approach to knowledge-state planning, II: The DLV K system Eiter, Thomas
2003
144 1-2 p. 157-211
55 p.
artikel
2 A relevance restriction strategy for automated deduction Plaisted, David A
2003
144 1-2 p. 59-93
35 p.
artikel
3 Author Index‚ÄĒVolume 144 (2003) 2003
144 1-2 p. 269-270
2 p.
artikel
4 Developing reproducible and comprehensible computational models Lane, Peter C.R.
2003
144 1-2 p. 251-263
13 p.
artikel
5 Editorial Board 2003
144 1-2 p. IFC-
1 p.
artikel
6 Evaluating the effect of semi-normality on the expressiveness of defaults Janhunen, Tomi
2003
144 1-2 p. 233-250
18 p.
artikel
7 Forthcoming Papers 2003
144 1-2 p. 265-268
4 p.
artikel
8 Knowledge, action, and the frame problem Scherl, Richard B.
2003
144 1-2 p. 1-39
39 p.
artikel
9 Lessons from a failure: Generating tailored smoking cessation letters Reiter, Ehud
2003
144 1-2 p. 41-58
18 p.
artikel
10 On market-inspired approaches to propositional satisfiability Walsh, William E
2003
144 1-2 p. 125-156
32 p.
artikel
11 Qualitative simulation of temporal concurrent processes using Time Interval Petri Nets Bulitko, Vadim
2003
144 1-2 p. 95-124
30 p.
artikel
12 Robustness of regional matching scheme over global matching scheme Chen, Liang
2003
144 1-2 p. 213-232
20 p.
artikel
                             12 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland