Publication | Closed Access

Cogex: A semantically and contextually enriched logic prover for question answering

Natural Language ProcessingEngineeringQuestion AnsweringAutomated ReasoningPropositional LogicComputational LinguisticsDescription LogicLogic ProverComputer ScienceLanguage StudiesSemanticsSemantic WebSemantic ReasonerComputer-assisted Reasoning