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

The Technology of Meetings, Lectures, Discussion Panels, Dialogues, Argumentation and Debates

The technology of meetings, lectures, discussion panels, dialogues, argumentation and debates are of interest to our group. Some topics in the overlap of artificial intelligence with meetings support technology are discussed, meetings occurring in all organizations, in all sectors, academia, … Continue reading

The Web, notes and civic participation

In addition to the Internet-enhanced desktop applications for questionnaires, surveys and opinion polling, productivity software topics are applicable to civics and civic participation and can convenience rational individual decision making and group decision making including voting. Understanding civics and civic … Continue reading

Digital forms, questionnaires, surveys and opinion polls

In addition to the topics of e-voting, broader pertinent topics include: group decision making, digital forms, questionnaires, their construction, surveys, related data collection and opinion polls. Some technological topics include the design of forms, questionnaires, surveys and opinion polls, existing … Continue reading