The SCEAS System
Navigation Menu

Conferences in DBLP

Artificial Intelligence and Symbolic Computation (AISC) (aisc)
1996 (conf/aisc/1996)

  1. Dana S. Scott
    Symbolic Computation and Teaching. [Citation Graph (0, 0)][DBLP]
    AISMC, 1996, pp:1-20 [Conf]
  2. Andrej Bauer, Edmund M. Clarke, Xudong Zhao
    Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation. [Citation Graph (0, 0)][DBLP]
    AISMC, 1996, pp:21-37 [Conf]
  3. Gregory Butler, Peter Grogono, Rajjan Shinghal, Indra A. Tjandra
    Document Recognition, Semantics, and Symbolic Reasoning in Reverse Engineering of Software. [Citation Graph (0, 0)][DBLP]
    AISMC, 1996, pp:38-48 [Conf]
  4. Fétima C. C. Dargam
    Compromised Updates in Labelled Databases. [Citation Graph (0, 0)][DBLP]
    AISMC, 1996, pp:49-70 [Conf]
  5. Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías
    An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem. [Citation Graph (0, 0)][DBLP]
    AISMC, 1996, pp:71-86 [Conf]
  6. Rüdiger Dillmann, Holger Friedrich
    Programming by Demonstration: A Machine Learning Approach to Support Skill Acquisiton for Robots. [Citation Graph (0, 0)][DBLP]
    AISMC, 1996, pp:87-108 [Conf]
  7. Gunther Reinhart, Rolf Diesch, Michael R. Koch
    Knowledge-Based Information Processing in Manufacturing Cells - The Present and the Future. [Citation Graph (0, 0)][DBLP]
    AISMC, 1996, pp:109-123 [Conf]
  8. Anthony G. Cohn
    Calculi for Qualitative Spatial Reasoning. [Citation Graph (0, 0)][DBLP]
    AISMC, 1996, pp:124-143 [Conf]
  9. Frédéric Benhamou, Laurent Granvilliers
    Combining Local Consistency, Symbolic Rewriting and Interval Methods. [Citation Graph (0, 0)][DBLP]
    AISMC, 1996, pp:144-159 [Conf]
  10. Reinhard Bündgen
    Proof Transformation for Non-Compatible Rewriting. [Citation Graph (0, 0)][DBLP]
    AISMC, 1996, pp:160-175 [Conf]
  11. Christopher Lynch, Polina Strogova
    PATCH Graphs: An Efficient Data Structure for Completion of Finitely Presented Groups. [Citation Graph (0, 0)][DBLP]
    AISMC, 1996, pp:176-190 [Conf]
  12. Brian J. Dupée
    Measuring the Likely Effectiveness of Strategies. [Citation Graph (0, 0)][DBLP]
    AISMC, 1996, pp:191-196 [Conf]
  13. Robert Rodosek
    A New Approach on Solving 3-Satisfiability. [Citation Graph (0, 0)][DBLP]
    AISMC, 1996, pp:197-212 [Conf]
  14. Dongming Wang
    Geometry Machines: From AI to SMC. [Citation Graph (0, 0)][DBLP]
    AISMC, 1996, pp:213-239 [Conf]
  15. Johannes Ueberberg
    Interactive Theorem Proving and Finite Projective Planes. [Citation Graph (0, 0)][DBLP]
    AISMC, 1996, pp:240-257 [Conf]
  16. Michael Joswig
    Towards Modelling the Topology of Homogeneous Manifolds by Means of Symbolic Computation. [Citation Graph (0, 0)][DBLP]
    AISMC, 1996, pp:258-273 [Conf]
  17. Denis Bouhineau
    Solving Geometrical Constraint Systems Using CLP Based on Linear Constraint Solver. [Citation Graph (0, 0)][DBLP]
    AISMC, 1996, pp:274-288 [Conf]
  18. Viorica Sofronie
    Towards a Sheaf Semantics for Cooperating Agents Scenarios. [Citation Graph (0, 0)][DBLP]
    AISMC, 1996, pp:289-304 [Conf]
  19. Vitaly Telerman, Dmitry Ushakov
    Data Types in Subdefinite Models. [Citation Graph (0, 0)][DBLP]
    AISMC, 1996, pp:305-319 [Conf]
  20. Nirina Andrianarivelo, Wadoud Bousdira, Jean-Marc Talbot
    On Theorem-Proving in Horn Theories with Built-in Algebras. [Citation Graph (0, 0)][DBLP]
    AISMC, 1996, pp:320-338 [Conf]
  21. Elmar Eder
    Backward Reasoning in Systems with Cut. [Citation Graph (0, 0)][DBLP]
    AISMC, 1996, pp:339-353 [Conf]
  22. Jan A. Plaza
    Soundness and Completeness versus Lifting Property. [Citation Graph (0, 0)][DBLP]
    AISMC, 1996, pp:354-364 [Conf]
  23. Antonio Gavilanes, Javier Leach, Pedro J. Martín, Susana Nieva
    Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux. [Citation Graph (0, 0)][DBLP]
    AISMC, 1996, pp:365-379 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002