default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Mathematics and Artificial Intelligence, Volume 26

> Home > Journals > Annals of Mathematics and Artificial Intelligence

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 26, Number 1-4, 1999

Artificial Intelligence and Mathematics IX

- view
  authority control:
- export record
  dblp key:
  - journals/amai/Halpern99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Halpern99
Joseph Y. Halpern:
Set-theoretic completeness for epistemic and conditional logic. 1-27
- view
  authority control:
- export record
  dblp key:
  - journals/amai/BrodskyS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BrodskyS99
Alexander Brodsky, Yehoshua Sagiv:
Inference of monotonicity constraints in Datalog programs. 29-57
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Okushi99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Okushi99
Fumiaki Okushi:
Parallel cooperative propositional theorem proving. 59-85
- view
  authority control:
- export record
  dblp key:
  - journals/amai/GelderO99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/GelderO99
Allen Van Gelder, Fumiaki Okushi:
A propositional theorem prover to solve planning and other problems. 87-112
- view
  authority control:
- export record
  dblp key:
  - journals/amai/GelderO99a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/GelderO99a
Allen Van Gelder, Fumiaki Okushi:
Lemma and cut strategies for propositional model elimination. 113-132
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Jonsson99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Jonsson99
Peter Jonsson:
Strong bounds on the approximability of two Pspace-hard problems in propositional planning. 133-147
- view
  authority control:
- export record
  dblp key:
  - journals/amai/FrostD99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/FrostD99
Daniel Frost, Rina Dechter:
Maintenance scheduling problems as benchmarks for constraint algorithms. 149-170
- view
  authority control:
- export record
  dblp key:
  - journals/amai/BorosU99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BorosU99
Endre Boros, Tonguç Ünlüyurt:
Diagnosing double regular systems. 171-191
- view
  authority control:
- export record
  dblp key:
  - journals/amai/LiP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/LiP99
Xiaodong Li, Martin K. Purvis:
Pattern recognition by an optical thin-film multilayer model. 193-213
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Arzi-Gonczarowski99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Arzi-Gonczarowski99
Zippora Arzi-Gonczarowski:
Perceive this as that - Analogies, artificial perception, and category theory. 215-252
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Halpern99a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Halpern99a
Joseph Y. Halpern:
Errata: "The relationship between knowledge, belief, and certainty". 253-256

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.