Conferences in DBLP

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

1. 
   Symmetry and Search - A Survey. [Citation Graph (, )][DBLP]
   
   
2. 
   On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra. [Citation Graph (, )][DBLP]
   
   
3. 
   Applying Link Grammar Formalism in the Development of English-Indonesian Machine Translation System. [Citation Graph (, )][DBLP]
   
   
4. 
   Case Studies in Model Manipulation for Scientific Computing. [Citation Graph (, )][DBLP]
   
   
5. 
   Mechanising a Proof of Craig's Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle. [Citation Graph (, )][DBLP]
   
   
6. 
   AISC Meets Natural Typography. [Citation Graph (, )][DBLP]
   
   
7. 
   The Monoids of Order Eight and Nine. [Citation Graph (, )][DBLP]
   
   
8. 
   Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation. [Citation Graph (, )][DBLP]
   
   
9. 
   A Full First-Order Constraint Solver for Decomposable Theories. [Citation Graph (, )][DBLP]
   
   
10. 
    Search Techniques for Rational Polynomial Orders. [Citation Graph (, )][DBLP]
    
    
11. 
    Strategies for Solving SAT in Grids by Randomized Search. [Citation Graph (, )][DBLP]
    
    
12. 
    Towards an Implementation of a Computer Algebra System in a Functional Language. [Citation Graph (, )][DBLP]
    
    
13. 
    Automated Model Building: From Finite to Infinite Models. [Citation Graph (, )][DBLP]
    
    
14. 
    A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple. [Citation Graph (, )][DBLP]
    
    
15. 
    On the Construction of Transformation Steps in the Category of Multiagent Systems. [Citation Graph (, )][DBLP]
    
    
16. 
    Increasing Interpretations. [Citation Graph (, )][DBLP]
    
    
17. 
    Validated Evaluation of Special Mathematical Functions. [Citation Graph (, )][DBLP]
    
    
18. 
    MetiTarski: An Automatic Prover for the Elementary Functions. [Citation Graph (, )][DBLP]
    
    
19. 
    High-Level Theories. [Citation Graph (, )][DBLP]
    
    
20. 
    Parametric Linear Arithmetic over Ordered Fields in Isabelle/HOL. [Citation Graph (, )][DBLP]
    
    
21. 
    A Global Workspace Framework for Combining Reasoning Systems. [Citation Graph (, )][DBLP]
    
    
22. 
    Effective Set Membership in Computer Algebra and Beyond. [Citation Graph (, )][DBLP]
    
    
23. 
    Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems. [Citation Graph (, )][DBLP]
    
    
24. 
    Symbolic Computation Software Composability. [Citation Graph (, )][DBLP]
    
    
25. 
    Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server. [Citation Graph (, )][DBLP]
    
    
26. 
    Automating Side Conditions in Formalized Partial Functions. [Citation Graph (, )][DBLP]
    
    
27. 
    Combining Isabelle and QEPCAD-B in the Prover's Palette. [Citation Graph (, )][DBLP]
    
    
28. 
    Digital Mathematics Libraries: The Good, the Bad, the Ugly. [Citation Graph (, )][DBLP]
    
    
29. 
    Automating Signature Evolution in Logical Theories. [Citation Graph (, )][DBLP]
    
    
30. 
    A Tactic Language for Hiproofs. [Citation Graph (, )][DBLP]
    
    
31. 
    Logic-Free Reasoning in Isabelle/Isar. [Citation Graph (, )][DBLP]
    
    
32. 
    A Mathematical Type for Physical Variables. [Citation Graph (, )][DBLP]
    
    
33. 
    Unit Knowledge Management. [Citation Graph (, )][DBLP]
    
    
34. 
    Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors. [Citation Graph (, )][DBLP]
    
    
35. 
    Verification of Mathematical Formulae Based on a Combination of Context-Free Grammar and Tree Grammar. [Citation Graph (, )][DBLP]
    
    
36. 
    Specifying Strategies for Exercises. [Citation Graph (, )][DBLP]
    
    
37. 
    Mediated Access to Symbolic Computation Systems. [Citation Graph (, )][DBLP]
    
    
38. 
    Herbrand Sequent Extraction. [Citation Graph (, )][DBLP]
    
    
39. 
    Visual Mathematics: Diagrammatic Formalization and Proof. [Citation Graph (, )][DBLP]
    
    
40. 
    Normalization Issues in Mathematical Representations. [Citation Graph (, )][DBLP]
    
    
41. 
    Notations for Living Mathematical Documents. [Citation Graph (, )][DBLP]
    
    
42. 
    Cross-Curriculum Search for Intergeo. [Citation Graph (, )][DBLP]
    
    
43. 
    Augmenting Presentation MathML for Search. [Citation Graph (, )][DBLP]
    
    
44. 
    Automated Classification and Categorization of Mathematical Knowledge. [Citation Graph (, )][DBLP]
    
    
45. 
    Kantian Philosophy of Mathematics and Young Robots. [Citation Graph (, )][DBLP]
    
    
46. 
    Transforming the arXiv to XML. [Citation Graph (, )][DBLP]
    
    
47. 
    On Correctness of Mathematical Texts from a Logical and Practical Point of View. [Citation Graph (, )][DBLP]