default search action

combined dblp search
author search
venue search
publication search

ask others

Artificial Intelligence, Volume 74

> 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 74, Number 1, March 1995

- view
  authority control:
- export record
  dblp key:
  - journals/ai/Gelsey95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Gelsey95
Andrew Gelsey:
Automated Reasoning About Machines. 1-53
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Olsson95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Olsson95
Roland Olsson:
Inductive Functional Programming Using Incremental Program Transformation. 55-8
- view
  authority control:
- export record
  dblp key:
  - journals/ai/MuslinerDS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/MuslinerDS95
David J. Musliner, Edmund H. Durfee, Kang G. Shin:
World Modeling for the Dynamic Construction of Real-Time Control Plans. 83-127
- view
  authority control:
- export record
  dblp key:
  - journals/ai/KautzKS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/KautzKS95
Henry A. Kautz, Michael J. Kearns, Bart Selman:
Horn Approximations of Empirical Data. 129-145
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Shanahan95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Shanahan95
Murray Shanahan:
Default Reasoning about Spatial Occupancy. 147-163
- view
  authority control:
- export record
  dblp key:
  - journals/ai/PrieditisD95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/PrieditisD95
Armand Prieditis, Robert Davis:
Quantitatively Relating Abstractness to the Accuracy of Admissible Heuristics. 165-175
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Xu95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Xu95
Hong Xu:
Computing Marginals for Arbitrary Subsets from Marginal Representation in Markov Trees. 177-189
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Valdes-Perez95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Valdes-Perez95
Raúl E. Valdés-Pérez:
Machine Discovery in Chemistry: New Results. 191-201

Volume 74, Number 2, April 1995

- view
  authority control:
- export record
  dblp key:
  - journals/ai/GereviniS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/GereviniS95
Alfonso Gerevini, Lenhart K. Schubert:
Efficient Algorithms for Qualitative Reasoning about Time. 207-248
- view
  authority control:
- export record
  dblp key:
  - journals/ai/SchaerfC95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/SchaerfC95
Marco Schaerf, Marco Cadoli:
Tractable Reasoning via Approximation. 249-310
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Grovez95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Grovez95
Adam J. Grove:
Naming and Identity in Epistemic Logic Part II: A First-Order Logic for Naming. 311-350
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Lifschitz95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Lifschitz95
Vladimir Lifschitz:
Nested Abnormality Theories. 351-365
- view
  authority control:
- export record
  dblp key:
  - journals/ai/BrusoniCT95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/BrusoniCT95
Vittorio Brusoni, Luca Console, Paolo Terenziani:
On the Computational Complexity of Querying Bounds on Differences Constraints. 367-379
- view
  authority control:
- export record
  dblp key:
  - journals/ai/HalpernL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/HalpernL95
Joseph Y. Halpern, Gerhard Lakemeyer:
Levesque's Axiomatization of only Knowing is Incomplete. 381-387
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Bojadziev95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Bojadziev95
Damjan Bojadziev:
Sloman's View of Gödel's Sentence. 389-393

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.