The SRI Cartographic Modeling Environment has been created to support research on interactive, semi-automated, and automated computer-based cartographic activities.
Theorem provers based on the model elimination theorem-proving procedure have exhibited extremely high inference rates but have lacked a redundancy control mechanism such as subsumption.
Jerry R. Hobbs, Douglas E. Appelt, & David Magerman
It is often assumed that when natural language processing meets the real world, the idea of aiming for complete and correct interpretations has to be abandoned.
Quantification in modal logic is interesting from a technical and philosophical stand-point. Here we look at quantification in auto-epistemic logic, which is a modal logic of self-knowledge.
