The SCEAS System
Navigation Menu

Journals in DBLP

Artif. Intell.
2000, volume: 116, number: 1-2

  1. N. A. Diamantidis, D. Karlis, Emmanouel A. Giakoumakis
    Unsupervised stratification of cross-validation for accuracy estimation. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2000, v:116, n:1-2, pp:1-16 [Journal]
  2. Christoph Walther, Thomas Kolbe
    Proving theorems by reuse. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2000, v:116, n:1-2, pp:17-66 [Journal]
  3. Christian Vilhelm, Pierre Ravaux, Daniel Calvelo, Alexandre Jaborska, Marie-Christine Chambrin, Michel Boniface
    Think!: A unified numerical-symbolic knowledge representation scheme and reasoning system. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2000, v:116, n:1-2, pp:67-85 [Journal]
  4. Sheila A. McIlraith
    Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes). [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2000, v:116, n:1-2, pp:87-121 [Journal]
  5. Fahiem Bacchus, Froduald Kabanza
    Using temporal logics to express search control knowledge for planning. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2000, v:116, n:1-2, pp:123-191 [Journal]
  6. Riccardo Rosati
    On the decidability and complexity of reasoning about only knowing. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2000, v:116, n:1-2, pp:193-215 [Journal]
  7. Shai Ben-David, Rachel Ben-Eliyahu-Zohary
    A modal logic for subjective default reasoning. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2000, v:116, n:1-2, pp:217-236 [Journal]
  8. Alexander Bochman
    A foundationalist view of the AGM theory of belief change. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2000, v:116, n:1-2, pp:237-263 [Journal]
  9. Cheng-Yuan Liou, Wen-Pin Tai
    Conformality in the self-organization network. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2000, v:116, n:1-2, pp:265-286 [Journal]
  10. Robin Hirsch
    Tractable approximations for temporal constraint handling. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2000, v:116, n:1-2, pp:287-295 [Journal]
  11. Alvaro del Val
    On some tractable classes in deduction and abduction. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2000, v:116, n:1-2, pp:297-313 [Journal]
  12. Paolo Liberatore
    On the complexity of choosing the branching literal in DPLL. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2000, v:116, n:1-2, pp:315-326 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002