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 Styling of Content and Mathematical Notations by Semantics-based CSS Selectors

Semantics enhances the selection and styling of content; varieties of semantic selection include: (1) selecting upon URI items in white space separated lists of TERMorCURIEorAbsIRI values, (2) selecting upon parallel markup structure and reference combinators, and (3) graph-based selections with … Continue reading

XML/RDF Hybrid Documents

Documents can align XML, tree-based, document content with graph-based semantics, RDF semantics.  Use case scenarios include: argumentation formats, linguistic and semantic annotations, rhetorical structure, SSML and XHTML documents.  In SSML contexts, such data can facilitate enhanced prosodic speech synthesis.  In XHTML scenarios, many … Continue reading

XML Relational Algebra: Client-side Relational Algebra on Tree-based Data

XML-based relational algebra, a subset of XSLT functionality, can enhance numerous digital document scenarios including those of argumentation formats. XML-based relational algebra (e.g. from, select, where, selectmany, sum, min, max, average, aggregate, join, groupjoin, take, takewhile, skip, skipwhile, oftype, concat, … Continue reading

XML Preprocessing: XSLT, Web Components, Tree Rewriting, Data Compression, Search, Automated Planning and Scheduling, Generative Grammar and Rhetorical Structure

Argumentation formats can be enhanced by XML-based computation, XML preprocessing. The topics overlap with those of XSLT, Web Components, tree or graph rewriting, data compression, search, automated planning and scheduling, generative grammar and rhetorical structure. XML varieties of preprocessing, include, … Continue reading