Skip to toolbar

Community & Business Groups

Software Analysis, Automated Theorem Proving, Plan and Argument Analysis

The technology of static program analysis, automated theorem proving, computer algebra systems, formula editors, automated planning and scheduling, plan rationale, argumentation software, argument analysis software, related document authoring and editing software as well as the features and ergonomics of such software are … Continue reading

Natural Language Technology and Public Opinion Polling

Web-based opinion polls can be enhanced by natural language processing technology. Uses of natural language technology include processing text-based responses to the questions of opinion polls, surveys or questionnaires, including why people answered one or more previous questions as they … Continue reading