Phoster

Research and Development

Category: Mathematics

Neurosymbolic Learning and Reasoning

  1. Introduction
  2. Knowledge Representation
  3. Logic
  4. Question Answering
  5. Mathematics
  6. Argumentation
  7. Constraint Satisfaction
  8. Algorithmic Reasoning
  9. Program Synthesis
  10. Fibring
  11. Modularity

Artificial Intelligence and Mathematics

  1. Introduction
  2. Knowledge Representation and Reasoning
  3. Function Approximation
  4. Differential Equation Solving
  5. Physics-informed Neural Networks
  6. Symbolic Regression
  7. Theorem Proving

Modeling the Contexts of Actions

  1. Cognitive Narratology
  2. Predictive Inferencing
  3. Causal Reasoning
  4. Context and Concepts
  5. Context and Causal Models
  6. Generalization

Modeling Combinations of Actions

  1. Pharmacology
  2. Public Health
  3. Behavioral Sciences
  4. Psychology
  5. Sociology
  6. Political Science
  7. Marketing
  8. Education
  9. Artificial Intelligence

The Assessment of Language and the Evaluation of Natural Language Generation

  1. Assessing Mathematics Exercises and Proofs
  2. Assessing Essays and Open-ended Verbal Responses
  3. Assessing and Assisting Writing
  4. Assessing Argumentation
  5. Evaluating Natural Language Generation

Language and Mathematics

  1. Language and Mathematics Education
  2. Language and Mathematics Tutoring
  3. Written Mathematical Language
  4. Symbolic Declarations, Linguistic Precedents, Lexical Entrainment and Differentiation
  5. Vocabulary Learning and Mathematical Vocabulary Learning
  6. Understanding Mathematical Expressions
  7. Context and the Understanding of Mathematical Language
  8. Text Inferencing and Reading Comprehension
  9. Generating Natural Language from Mathematics
  10. Natural Language Generation Macroplanning and Mathematics
  11. Generating Referring Expressions
  12. Lexical Selection
  13. Generating Mathematical Expressions for Inferencing and Presentation

Mathematics Educational Technology and Multimodal User Interfaces

  1. Multimodal Input and Mathematics
  2. Mathematical Sketches and Diagrams
  3. Multimodal Input, Note-taking and Context

Mathematical Creativity, Analogical Reasoning and Visualization

  1. Mathematical Creativity
  2. Mathematical Metaphor, Analogy and Blending
  3. Mathematical Visualization

Intelligent Tutoring Systems and Mathematics

  1. Mathematics
  2. The Cognitive Neuroscience of Mathematical Reasoning
  3. Conceptual Knowledge
  4. Procedural Knowledge
  5. Teaching Problem Solving Skills
  6. Mathematical Proof
  7. Natural Language Generation
  8. Natural Language Understanding
  9. Pragmatics
  10. The Automatic Assessment of Mathematics Exercises and Proofs

Planning and Generating Sequences of Exercises for the Assessment and Development of Mathematical Knowledge and Proficiency

  1. Teaching Problem-solving Skills
  2. Mathematical Examples
  3. Transitioning from Examples to Exercises
  4. Mathematical Exercises
  5. Puzzles and Games
  6. Generalization
  7. Analogical Reasoning
  8. Comparing and Selecting Strategies
  9. Mathematical Discovery
  10. Metacognition
  11. Cognitive Load
  12. Context
  13. Multitasking and Task Switching
  14. The Aesthetics of Mathematical Exercises
  15. The Aesthetics of Mathematical Thought, Reasoning and Proof
  16. Motivation and Affect
  17. Assessment
  18. Modeling Students and Problem Solving