default search action

combined dblp search
author search
venue search
publication search

ask others

Artificial Intelligence, Volume 116

> Home > Journals > Artificial Intelligence

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 116, Number 1-2, January 2000

- view
  authority control:
- export record
  dblp key:
  - journals/ai/DiamantidisKG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/DiamantidisKG00
N. A. Diamantidis, Dimitris Karlis, Emmanouel A. Giakoumakis:
Unsupervised stratification of cross-validation for accuracy estimation. 1-16
- view
  authority control:
- export record
  dblp key:
  - journals/ai/WaltherK00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/WaltherK00
Christoph Walther, Thomas Kolbe:
Proving theorems by reuse. 17-66
- view
  authority control:
- export record
  dblp key:
  - journals/ai/VilhelmRCJCB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/VilhelmRCJCB00
Christian Vilhelm, Pierre Ravaux, Daniel Calvelo, Alexandre Jaborska, Marie-Christine Chambrin, Michel Boniface:
Think!: A unified numerical-symbolic knowledge representation scheme and reasoning system. 67-85
- view
  authority control:
- export record
  dblp key:
  - journals/ai/McIlraith00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/McIlraith00
Sheila A. McIlraith:
Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes). 87-121
- view
  authority control:
- export record
  dblp key:
  - journals/ai/BacchusK00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/BacchusK00
Fahiem Bacchus, Froduald Kabanza:
Using temporal logics to express search control knowledge for planning. 123-191
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Rosati00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Rosati00
Riccardo Rosati:
On the decidability and complexity of reasoning about only knowing. 193-215
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Ben-DavidB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Ben-DavidB00
Shai Ben-David, Rachel Ben-Eliyahu-Zohary:
A modal logic for subjective default reasoning. 217-236
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Bochman00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Bochman00
Alexander Bochman:
A foundationalist view of the AGM theory of belief change. 237-263
- view
  authority control:
- export record
  dblp key:
  - journals/ai/LiouT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/LiouT00
Cheng-Yuan Liou, Wen-Pin Tai:
Conformality in the self-organization network. 265-286
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Hirsch00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Hirsch00
Robin Hirsch:
Tractable approximations for temporal constraint handling. 287-295
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Val00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Val00
Alvaro del Val:
On some tractable classes in deduction and abduction. 297-313
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Liberatore00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Liberatore00
Paolo Liberatore:
On the complexity of choosing the branching literal in DPLL. 315-326

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.