Artificial Intelligence
, Volume 95
Volume 95, Number 1, August 1997
T. L. McCluskey
,
J. M. Porteous
:
Engineering and Compiling Planning Domain Models to Promote Validity and Efficiency.
1-65
Electronic Edition
(link)
BibTeX
Froduald Kabanza
,
Michel Barbeau
,
Richard St.-Denis
:
Planning Control Rules for Reactive Agents.
67-11
Electronic Edition
(link)
BibTeX
Teodor C. Przymusinski
:
Autoepistemic Logic of Knowledge and Beliefs.
115-154
Electronic Edition
(link)
BibTeX
Shmuel Onn
,
Moshe Tennenholtz
:
Determination of Social Laws for Multi-Agent Mobilization.
155-167
Electronic Edition
(link)
BibTeX
Yan Xia
,
S. Sitharama Iyengar
,
Nathan E. Brener
:
An Event Drive Integration Reasoning Scheme for Handling Dynamic Threats in an Unstructured Environment.
169-186
Electronic Edition
(link)
BibTeX
Luc De Raedt
:
Logical Settings for Concept-Learning.
187-201
Electronic Edition
(link)
BibTeX
Kurt Ammon
:
An Automatic Proof of Gödel's Incompleteness Theorem.
203-207
Electronic Edition
(link)
BibTeX
Volume 95, Number 2, September 1997
Daniel Berleant
,
Benjamin Kuipers
:
Qualitative and Quantitative Simulation: Bridging the Gap.
215-255
Electronic Edition
(link)
BibTeX
Nir Friedman
,
Joseph Y. Halpern
:
Modeling Belief in Dynamic Systems, Part I: Foundations.
257-316
Electronic Edition
(link)
BibTeX
Eliseo Clementini
,
Paolino Di Felice
,
Daniel Hernández
:
Qualitative Representation of Positional Information.
317-356
Electronic Edition
(link)
BibTeX
Carl A. Gunter
,
Teow-Hin Ngair
,
Devika Subramanian
:
The Common Order-Theoretic Structure of Version Spaces and ATMSs.
357-407
Electronic Edition
(link)
BibTeX
Enrico Giunchiglia
,
G. Neelakantan Kartha
,
Vladimir Lifschitz
:
Representing Action: Indeterminacy and Ramifications.
409-438
Electronic Edition
(link)
BibTeX
Copyright ©
Sat May 16 23:49:46 2009 by
Michael Ley
(
ley@uni-trier.de
)