Computer Algebra in Knowledge Based Applications

Topics

The scope of the special session includes but is not restricted to the following topics:

  • System combinations and integrations
    • symbolic computation in intelligent systems
    • automated reasoning with computer algebra
    • reasoning within symbolic computations
    • frameworks for system combinations
    • computer algebra and logic
    • theorem proving aspects
    • applications in constraint solving
    • automated theory formation
  • Knowledge acquisition and representation
    • from CA to AI through ontologies
    • computational aspects in formal mathematics
    • human-oriented representation
    • modelling human style computation
    • knowledge acquisition from printed sources
    • language and system design
  • Application areas
    • discrete mathematics
    • software anlysis and verification
    • digital libraries
    • document analysis
    • simluations
    • computer-supported publishing