Stop the war!
Остановите войну!
for scientists:
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.