![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Computational Intelligence, Volume 14
Volume 14, Number 1, February 1998
- Ronald Prescott Loui:
Process and Policy: Resource-Bounded Nondemonstrative Reasoning. 1-38 - Javier Pinto:
Integrating Discrete and Continuous Change in a Logical Framework. 39-88 - Barbara Di Eugenio:
An Action Representation Formalism to Interpret Natural Language Instructions. 89-133 - Alessandro Cimatti
, Fausto Giunchiglia, Richard W. Weyhrauch:
A Many-Sorted Natural Deduction. 134-149
Volume 14, Number 2, May 1998
- Karen L. Myers, David E. Wilkins:
Reasoning about Locations in Theory and Practice. 151-187 - Armand Prieditis:
Depth-First Branch-and-Bound vs. Depth-Bounded IDA*. 188-206 - Wanlin Pang, André Trudel:
Representing and Reasoning about Motion in a Two-Dimensional World. 207-237 - Robert K. Lindsay:
Using Diagrams to Understand Geometry. 238-272
Volume 14, Number 3, August 1998
- Eric Neufeld, Scott D. Goodwin:
The 6-49 Lottery Paradox. 273-286 - Munindar P. Singh
:
Toward a Model Theory of Actions: How Agents do it in Branching Time. 287-317 - Joseph C. Culberson, Jonathan Schaeffer:
Pattern Databases. 318-334 - Anne Preller, Marie-Laure Mugnier, Michel Chein:
Logic for Nested Graphs. 335-357 - J. M. Britanik, Michael M. Marefat:
An Approach for Merging Plans Hierarchically in Decomposable Domains. 358-391 - Peter Haddawy, Steve Hanks:
Utility Models for Goal-Directed, Decision-Theoretic Planners. 392-429 - Ian P. Gent, Toby Walsh:
Analysis of Heuristics for Number Partitioning. 430-451 - Paul Snow:
On the Correctness and Reasonableness of Cox's Theorem for Finite Domains. 452-459
Volume 14, Number 4, November 1998
- Haim Schweitzer, Janell Straach:
Utilizing Moment Invariants and Grobner Bases to Reason about Shapes. 461-474 - Nevin Lianwen Zhang:
Probabilistic Inference in Influence Diagrams. 475-497 - John L. Pollock:
Perceiving and Reasoning about a Changing World. 498-562 - Diana Cukierman, James P. Delgrande:
Expressing Time Intervals and Repetition within a Formalization of Calendars. 563-597 - Andrew Fall:
The Foundations of Taxonomic Encoding. 598-642
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.