default search action

combined dblp search
author search
venue search
publication search

ask others

Artificial Intelligence, Volume 92

> 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 92, Numbers 1-2, May 1997

- view
  authority control:
- export record
  dblp key:
  - journals/ai/Antonelli97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Antonelli97
Gian Aldo Antonelli:
Defeasible Inheritance on Cyclic Networks. 1-12
- view
  authority control:
- export record
  dblp key:
  - journals/ai/HortonS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/HortonS97
Joseph Douglas Horton, Bruce Spencer:
Clause Trees: A Tool for Understanding and Implementing Resolution in Automated Reasoning. 25-89
- view
  authority control:
- export record
  dblp key:
  - journals/ai/ShultsK97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/ShultsK97
Benjamin Shults, Benjamin Kuipers:
Proving Properties of Continuous Systems: Qualitative Simulation and Temporal Logic. 91-129
- view
  authority control:
- export record
  dblp key:
  - journals/ai/LinR97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/LinR97
Fangzhen Lin, Raymond Reiter:
How to Progress a Database. 131-167
- view
  authority control:
- export record
  dblp key:
  - journals/ai/PierceK97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/PierceK97
David Pierce, Benjamin Kuipers:
Map Learning with Uninterpreted Sensors and Effectors. 169-227
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Smets97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Smets97
Philippe Smets:
The Normative Representation of Quantified Beliefs by Belief Functions. 229-242
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Nie97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Nie97
Xumin Nie:
Non-Horn Clause Logic Programming. 243-258
- view
  authority control:
- export record
  dblp key:
  - journals/ai/BenferhatDP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/BenferhatDP97
Salem Benferhat, Didier Dubois, Henri Prade:
Nonmonotonic Reasoning, Conditional Objects and Possibility Theory. 259-276
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Freund97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Freund97
Michael Freund:
Default Extensions: Dealing with Computer Information. 277-288
- view
  authority control:
- export record
  dblp key:
  - journals/ai/ChowL97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/ChowL97
Tommy W. S. Chow, Jinyan Li:
Higher-Order Petri Net Models Based on Artificial Neural Networks. 289-300
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Kshemkalyani97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Kshemkalyani97
Ajay D. Kshemkalyani:
Reasoning About Causality Between Distributed Nonatomic Events. 301-315
- view
  authority control:
- export record
  dblp key:
  - journals/ai/DunneB97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/DunneB97
Paul E. Dunne, Trevor J. M. Bench-Capon:
The Maximum Length of Prime Implicates for Instances of 3-SAT. 317-329

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.