search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

AISMC

Keyphrases

Publications

1996

Frédéric Benhamou, Laurent Granvilliers
Combining Local Consistency, Symbolic Rewriting and Interval Methods. AISMC (1996)
Johannes Ueberberg
Interactive Theorem Proving and Finite Projective Planes. AISMC (1996)
Rüdiger Dillmann, Holger Friedrich
Programming by Demonstration: A Machine Learning Approach to Support Skill Acquisiton for Robots. AISMC (1996)
Reinhard Bündgen
Proof Transformation for Non-Compatible Rewriting. AISMC (1996)
Vitaly Telerman, Dmitry Ushakov
Data Types in Subdefinite Models. AISMC (1996)
Michael Joswig
Towards Modelling the Topology of Homogeneous Manifolds by Means of Symbolic Computation. AISMC (1996)
Gregory Butler, Peter Grogono, Rajjan Shinghal, Indra A. Tjandra
Document Recognition, Semantics, and Symbolic Reasoning in Reverse Engineering of Software. AISMC (1996)
Viorica Sofronie
Towards a Sheaf Semantics for Cooperating Agents Scenarios. AISMC (1996)
Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías
An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem. AISMC (1996)
Fátima C. C. Dargam
Compromised Updates in Labelled Databases. AISMC (1996)
Denis Bouhineau
Solving Geometrical Constraint Systems Using CLP Based on Linear Constraint Solver. AISMC (1996)
Andrej Bauer, Edmund M. Clarke, Xudong Zhao
Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation. AISMC (1996)
Gunther Reinhart, Rolf Diesch, Michael R. Koch
Knowledge-Based Information Processing in Manufacturing Cells - The Present and the Future. AISMC (1996)
Dana S. Scott
Symbolic Computation and Teaching. AISMC (1996)
Nirina Andrianarivelo, Wadoud Bousdira, Jean-Marc Talbot
On Theorem-Proving in Horn Theories with Built-in Algebras. AISMC (1996)
Anthony G. Cohn
Calculi for Qualitative Spatial Reasoning. AISMC (1996)
Brian J. Dupée
Measuring the Likely Effectiveness of Strategies. AISMC (1996)
Elmar Eder
Backward Reasoning in Systems with Cut. AISMC (1996)
Dongming Wang
Geometry Machines: From AI to SMC. AISMC (1996)
Christopher Lynch, Polina Strogova
PATCH Graphs: An Efficient Data Structure for Completion of Finitely Presented Groups. AISMC (1996)
Robert Rodosek
A New Approach on Solving 3-Satisfiability. AISMC (1996)
Jan A. Plaza
Soundness and Completeness versus Lifting Property. AISMC (1996)
Antonio Gavilanes, Javier Leach, Pedro J. Martín, Susana Nieva
Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux. AISMC (1996)

volume 1138, 1996

Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings AISMC 1138 (1996)

1994

1992