default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Mathematics and Artificial Intelligence, Volume 8
Volume 8, Number 1-2, 1993
- Alexis Manaster-Ramer:
Capacity, Complexity, Construction. 1-16 - Walter J. Savitch:
Why it Might Pay to Assume That Languages are infinite. 17-25 - R. Suzanne Zeitman:
Somewhat Finite Approaches to Infinite Sentences. 27-36 - András Kornai
:
The Generative Power of Feature Geometry. 37-46 - Munindar P. Singh:
A Semantics for Speech Acts. 47-71 - Nelson Correa:
Attribute and Unification Grammar: A Review and Analysis of Formalisms. 73-105 - John Nerbonne:
A Feature-based Syntax/Semantics Interface. 107-132 - David E. Johnson, Lawrence S. Moss:
Some Formal Properties of Stratified Feature Grammars. 133-173 - M. Andrew Moshier:
On Completeness theorems for Feature Logics. 175-213
Volume 8, Number 3-4, 1993
- Jean-Claude Latombe:
Geometry and Search in Motion Planning. 215-227 - Marc Kirschenbaum, Leon Sterling, Ashish Jain:
Relating Logic Programs Via Program Maps. 229-245 - Paolo Carraresi, Giorgio Gallo, Gabriella Rago:
A Hypergraph model for Constraint Logic Programming and Applications to Bus Drivers' Scheduling. 247-270 - Michel Gangnet, Burton Rosenberg:
Constraint Programming and Graph Algorithms. 271-284 - Feng Zhao:
Computational Dynamics: Modeling and Visualizing Trajectory Flows in Phase Space. 285-300 - Paul A. Strooper, Maarten H. van Emden:
Describing Symmetrical Structures in Logic. 301-314 - Divesh Srivastava:
Subsumption and Indexing in Constraint Query Languages with Linear Arithmetic Constraints. 315-343 - Fritz von Haeseler, Heinz-Otto Peitgen, Guentcho Skordev:
Cellular Automata, Matrix Substitutions and Fractals. 345-362 - Richard Barnett, David A. Basin, Jane Hesketh:
A Recursion Planning Analysis of Inductive Completion. 363-381 - Hantao Zhang, Gary Xin Hua:
Proving Ramsey's Theorem by the Cover Set Induction: A Case and Comparison Study. 383-405 - Kurt Ammon:
A Learning Procedure for Mathematics. 407-423 - Dominique Pastre:
Automated Theorem Proving in Mathematics. 425-447 - José Alberto Fernández, Jorge Lobo, Jack Minker, V. S. Subrahmanian:
Disjunctive LP + Integrity Constraints = Stable Model Semantics. 449-474 - Alessandro Armando, Enrico Giunchiglia:
Embedding Complex Decision Procedures Inside an Interactive Theorem Prover. 475-502
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.
last updated on 2025-01-06 23:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
