


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

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.