Search results for "AISMC"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Jan A. Plaza	Soundness and Completeness versus Lifting Property.	AISMC	1996	DBLP DOI BibTeX RDF
1	Vitaly Telerman, Dmitry Ushakov	Data Types in Subdefinite Models.	AISMC	1996	DBLP DOI BibTeX RDF
1	Brian J. Dupée	Measuring the Likely Effectiveness of Strategies.	AISMC	1996	DBLP DOI BibTeX RDF
1	Dana S. Scott	Symbolic Computation and Teaching.	AISMC	1996	DBLP DOI BibTeX RDF
1	Michael Joswig	Towards Modelling the Topology of Homogeneous Manifolds by Means of Symbolic Computation.	AISMC	1996	DBLP DOI BibTeX RDF
1	Reinhard Bündgen	Proof Transformation for Non-Compatible Rewriting.	AISMC	1996	DBLP DOI BibTeX RDF
1	Johannes Ueberberg	Interactive Theorem Proving and Finite Projective Planes.	AISMC	1996	DBLP DOI BibTeX RDF
1	Andrej Bauer, Edmund M. Clarke, Xudong Zhao 0005	Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation.	AISMC	1996	DBLP DOI BibTeX RDF
1	Elmar Eder	Backward Reasoning in Systems with Cut.	AISMC	1996	DBLP DOI BibTeX RDF
1	Antonio Gavilanes, Javier Leach, Pedro J. Martín, Susana Nieva	Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux.	AISMC	1996	DBLP DOI BibTeX RDF
1	Nirina Andrianarivelo, Wadoud Bousdira, Jean-Marc Talbot	On Theorem-Proving in Horn Theories with Built-in Algebras.	AISMC	1996	DBLP DOI BibTeX RDF
1	Frédéric Benhamou, Laurent Granvilliers	Combining Local Consistency, Symbolic Rewriting and Interval Methods.	AISMC	1996	DBLP DOI BibTeX RDF
1	Gunther Reinhart, Rolf Diesch, Michael R. Koch	Knowledge-Based Information Processing in Manufacturing Cells - The Present and the Future.	AISMC	1996	DBLP DOI BibTeX RDF
1	Jacques Calmet, John A. Campbell, Jochen Pfalzgraf (eds.)	Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings	AISMC	1996	DBLP DOI BibTeX RDF
1	Christopher Lynch, Polina Strogova	PATCH Graphs: An Efficient Data Structure for Completion of Finitely Presented Groups.	AISMC	1996	DBLP DOI BibTeX RDF
1	Dongming Wang 0001	Geometry Machines: From AI to SMC.	AISMC	1996	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Robert Rodosek	A New Approach on Solving 3-Satisfiability.	AISMC	1996	DBLP DOI BibTeX RDF
1	Anthony G. Cohn 0001	Calculi for Qualitative Spatial Reasoning.	AISMC	1996	DBLP DOI BibTeX RDF
1	Fátima C. C. Dargam	Compromised Updates in Labelled Databases.	AISMC	1996	DBLP DOI BibTeX RDF
1	Gregory Butler, Peter Grogono, Rajjan Shinghal, Indra A. Tjandra	Document Recognition, Semantics, and Symbolic Reasoning in Reverse Engineering of Software.	AISMC	1996	DBLP DOI BibTeX RDF
1	Viorica Sofronie	Towards a Sheaf Semantics for Cooperating Agents Scenarios.	AISMC	1996	DBLP DOI BibTeX RDF
1	Denis Bouhineau	Solving Geometrical Constraint Systems Using CLP Based on Linear Constraint Solver.	AISMC	1996	DBLP DOI BibTeX RDF
1	Rüdiger Dillmann, Holger Friedrich 0002	Programming by Demonstration: A Machine Learning Approach to Support Skill Acquisiton for Robots.	AISMC	1996	DBLP DOI BibTeX RDF
1	Gregory Butler	Datalog and TwoGroups and C++.	AISMC	1994	DBLP DOI BibTeX RDF
1	Johannes Ueberberg	Interactive Theorem Proving and Computer Algebra.	AISMC	1994	DBLP DOI BibTeX RDF
1	Stephan A. Missura	Theories = Signatures + Propositions Used as Types.	AISMC	1994	DBLP DOI BibTeX RDF
1	Vitaly Telerman	Propagation of Mathematical Constraints in Subdefinite Models.	AISMC	1994	DBLP DOI BibTeX RDF
1	Stéphane Collart, Daniel Mall	The Ideal Structure of Gröbner Base Computations.	AISMC	1994	DBLP DOI BibTeX RDF
1	Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Eugenio Roanes-Macías	An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective Calculus.	AISMC	1994	DBLP DOI BibTeX RDF
1	David J. Nettleton, Roberto Garigliano	Subsymbolic Processing using Adaptive Algorithms.	AISMC	1994	DBLP DOI BibTeX RDF
1	Y. V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov, M. S. Lvov	Tools for Solving Problems in the Scope of Algebraic Programming.	AISMC	1994	DBLP DOI BibTeX RDF
1	Alexander L. Semenov, Alexander B. Babichev, Alexander S. Leshchenko	Subdefinite Computations and Symbolic Transformations in the UniCalc Solver.	AISMC	1994	DBLP DOI BibTeX RDF
1	Jochen Pfalzgraf, Ute Cornelia Sigmund, Karel Stokkermans	Modeling Cooperating Agents Scenarios by Deductive Planning Methods and Logical Fiberings.	AISMC	1994	DBLP DOI BibTeX RDF
1	Peter Madden, Ian Green	A General Technique for Automatically Optimizing Programs Through the Use of Proof Plans.	AISMC	1994	DBLP DOI BibTeX RDF
1	Shusaku Tsumoto, Hiroshi Tanaka	Algebraic Specification of Empirical Inductive Learning Methods based on Rough Sets and Matroid Theory.	AISMC	1994	DBLP DOI BibTeX RDF
1	Karsten Homann, Jacques Calmet	Combining Theorem Proving and Symbolic Mathematical Computing.	AISMC	1994	DBLP DOI BibTeX RDF
1	Stephan A. Missura, Andreas Weber 0004	Using Commutativity Properties for Controlling Coercions.	AISMC	1994	DBLP DOI BibTeX RDF
1	Ashutosh Rege, John F. Canny	A Practical Algorithm for Geometric Theorem Proving.	AISMC	1994	DBLP DOI BibTeX RDF
1	Myles Chippendale	Planning a Proof of the Intermediate Value Theorem.	AISMC	1994	DBLP DOI BibTeX RDF
1	Pierre Jumpertz	Linear Logic and Real Closed Fields: a Way to Handle Situations Dynamically.	AISMC	1994	DBLP DOI BibTeX RDF
1	Reinhard Bündgen	Combining Computer Algebra and Rule Based Reasoning.	AISMC	1994	DBLP DOI BibTeX RDF
1	Siani Baker, Alan Smaill	A Proof Environment for Arithmetic with the Omega Rule.	AISMC	1994	DBLP DOI BibTeX RDF
1	Éric Monfroy	Gröbner Bases: Strategies and Applications.	AISMC	1992	DBLP DOI BibTeX RDF
1	Waldir L. Roque	Learning Qualitative Physics Reasoning from Regime Analysis.	AISMC	1992	DBLP DOI BibTeX RDF
1	Jacques Calmet, Karsten Homann, Indra A. Tjandra	Unified Domains and Abstract Computational Structures.	AISMC	1992	DBLP DOI BibTeX RDF
1	Jürgen Sellen	On the Topological Structure of Configuration Spaces.	AISMC	1992	DBLP DOI BibTeX RDF
1	Jan A. Plaza	Gentzen-style Characterizations of Negation as Failure.	AISMC	1992	DBLP DOI BibTeX RDF
1	Martin Charles Golumbic	Reasoning About Time.	AISMC	1992	DBLP DOI BibTeX RDF
1	Roberto Garigliano, David J. Nettleton	Qualitative Mathematical Modeling of Genetic Algorithms.	AISMC	1992	DBLP DOI BibTeX RDF
1	Gregory Butler	The Progress Towards an Intelligent Assistent - A Discussion Paper.	AISMC	1992	DBLP DOI BibTeX RDF
1	Hoon Hong	Heuristic Search Strategies for Cylindrical Algebraic Decomposion.	AISMC	1992	DBLP DOI BibTeX RDF
1	Larry Kerschberg, Anthony Waisanen	A Cooperative Approach to Query Processing: Integrating Historical, Structural, and Behavioral Knowledge Sources.	AISMC	1992	DBLP DOI BibTeX RDF
1	Jacques Calmet, John A. Campbell	Artificial Intelligence and Symbolic Mathematical Computation.	AISMC	1992	DBLP DOI BibTeX RDF
1	Gerhard Schwärzler	An Algebraic Approach to Knowledge-Based Modeling.	AISMC	1992	DBLP DOI BibTeX RDF
1	Reiner Hähnle	A New Translation from Deduction into Integer Programming.	AISMC	1992	DBLP DOI BibTeX RDF
1	Peter B. Ladkin, Alexander Reinefeld	A Symbolic Approach to Interval Constraint Problems.	AISMC	1992	DBLP DOI BibTeX RDF
1	Peter Struss	Qualitative Modeling of Physical Systems in AI Research.	AISMC	1992	DBLP DOI BibTeX RDF
1	Michael E. Clarkson	Intelligent User Interfaces for Symbolic and Numeric Computation.	AISMC	1992	DBLP DOI BibTeX RDF
1	Wolfram Koepf	Algorthmic Development of Power Series.	AISMC	1992	DBLP DOI BibTeX RDF
1	Jochen Pfalzgraf	On Mathematical Modeling in Robotics.	AISMC	1992	DBLP DOI BibTeX RDF
1	Andreas Weber 0004	A Type-Coercion Problem in Computer Algebra.	AISMC	1992	DBLP DOI BibTeX RDF
1	Gianna Cioni, Attilio Colagrossi, Alfonso Miola	A Desk-Top Sequent Calculus Machine.	AISMC	1992	DBLP DOI BibTeX RDF
1	Eugen E. Ardeleanu	Completion and Invariant Theory in Symbolic Computation and Artificial Intelligence.	AISMC	1992	DBLP DOI BibTeX RDF

Publications at "AISMC"( http://dblp.L3S.de/Venues/AISMC )