Technical Discussion Topics

Citation, Provenance and Microattribution

• Bibliographic Formats
• Citation (Scholarly, Scientific)
• Citation Styles (Style Guides)
• Citation Styles Language
• Legal Citation Markup
• Microattribution
• Provenance (Data Provenance, Computers and Law, PROV-O: The PROV Ontology)

Computational Linguistics

• Annotation
• Computer Lexicons
• Natural Language Generation of Argumentation
  • Table of Natural Language Generation Systems
• Natural Language Understanding of Argumentation
• The Association for Computational Linguistics (ACL)
  • Special Interest Group on Annotation (SIGANN)
  • Special Interest Group on Linguistic Data and Corpus-Based Approaches to NLP (SIGDAT)
  • Special Interest Group on Discourse and Dialogue (SIGDIAL)
  • Special Interest Group on Natural Language Generation (SIGGEN)
  • Special Interest Group on the Lexicon (SIGLEX)
  • Special Interest Group on Natural Language Parsing (SIGPARSE)
  • Special Interest Group on Computational Semantics (SIGSEM)
  • Special Interest Group on Web as Corpus (SIGWAC)

Curry-Howard Correspondence

Empirical Techniques and Methodologies

• Data Provenance
• Structure of a Scientific Paper

Evidence Models

• Evidence Ontologies (http://www.evidenceontology.org/)

Generic Programming

• Association for Computing Machinery (ACM) Special Interest Group on Programming Languages (SIGPLAN) Workshop on Generic Programming (WGP)

Parametric Polymorphism

Templates

• C++11
• C++14
• Variadic Templates

Linguistic and Semantic Annotation

• Discourse Analysis
  • Semantic Macrostructures
• Grammar
• Pragmatics
• Rhetorical Structure Theory
• Semantics
• Semiotics
• Syntax
• Text Linguistics
  • Acceptability
  • Coherence
  • Cohesion
  • Informativity
  • Intentionality
  • Intertextuality
  • Situationality

Parallel Markup

• Multipart MIME
• MathML3, Chapter 5

Planning and Scheduling

• Plan Rationale
• Process Ontology
  • The Act Formalism
  • Belief, Desire, Intention (BDI)
  • Core Ontology of Services (COS)
  • Core Plan Representation (CPR)
  • Cyc
  • DOLCE + DnS Plan Ontology (DDPO)
  • Enterprise Ontology (EO)
  • General Formal Ontology (GFO)
  • m3po and m3pl
  • An Ontological Formalization of the Planning Task
  • Ontology with Polymorphic Types (OPT)
  • oXPDL
  • Planning Domain Definition Language (PDDL)
  • PLANET
  • Process Specification Language (PSL)
  • Problem Solving Method
  • Shared Planning and Activity Representation (SPAR)
  • Semantics Utilised for Process Management within and between Enterprises (SUPER)
  • Task Taxonomies for Knowledge Content
  • XML Process Definition Language (XPDL)
• Strategy Markup Language (StratML)

Polymorphism

Reasoning Systems

Case-based Reasoning Systems

Cognitive Systems

• 4CAPS
• ACT-R
• ALifeE
• Apex
• ASMO
• CHREST
• CLARION
• Copycat
• DUAL
• EPIC
• FORR
• GAIuS
• H-Cogaff (CogAff)
• CoJACK (JACK)
• IDA and LIDA (Global Workspace Theory)
• PMML.1
• PreAct
• PRODIGY
• Procedural Reasoning System
• Psi-Theory
• R-CAST
• Soar
• Society of Mind
• Subsumption Architectures
• The Emotion Machine

Constraint Solvers

Expert Systems

Logic Programs

• Abductive Logic Programming
• Answer Set Programming
• Constraint Logic Programming
• Functional Logic Programming
• Inductive Logic Programming

Machine Learning Systems

• Supervised Learning
  • AODE
  • Artificial Neural Network
    • Backpropagation
  • Bayesian Statistics
    • Naive Bayes Classifier
    • Bayesian Network
    • Bayesian Knowledge Base
  • Case-based Reasoning
  • Decision Trees
  • Inductive Logic Programming
    • Automatic Distillation of Structure
    • Grammar Induction
    • Ontology Induction (DL-Learner)
    • Syntactic Pattern Recognition
    • XML Schema Inference
    • XSLT Induction
  • Gaussian Process Regression
  • Gene Expression Programming
  • Group Method of Data Handling
  • Learning Automata
  • Learning Vector Quantization
  • Logistic Model Tree
  • Minimum Message Length
  • Lazy Learning
  • Instance-based Learning
    • Nearest Neighbor Algorithm
    • Analogical Modeling
  • Probably Approximately Correct Learning
  • Ripple Down Rules
  • Symbolic Machine Learning
  • Subsymbolic Machine Learning
  • Support Vector Machine
  • Random Forests
  • Ensembles of Classifiers
    • Bootstrap Aggregating
    • Boosting
  • Ordinal Classification
  • Regression Analysis
  • Information Fuzzy Networks

• Statistical Classification
  • ANOVA
  • Linear Classifiers
    • Fisher's Linear Discriminant
    • Logistic Regression
    • Naive Bayes Classifier
    • Perceptron
    • Support Vector Machines
  • Quadratic Classifiers
  • K-nearest Neighbor
  • Boosting
  • Decision Trees
    • C4.5
    • Random Forests
  • Bayesian Networks
  • Hidden Markov Models

• Unsupervised Learning
  • Artificial Neural Network
  • Data Clustering
  • Expectation-maximization Algorithm
  • Self-organizing Map
  • Radial Basis Function Network
  • Vector Quantization
  • Generative Topographic Map
  • Information Bottleneck Method
  • IBSEAD

• Association Rule Learning
  • Apriori Algorithm
  • Eclat Algorithm
  • FP-growth Algorithm

• Hierarchical Clustering
  • Single-linkage Clustering
  • Conceptual Clustering

• Partitional Clustering
  • K-means Algorithm
  • Fuzzy Clustering

• Reinforcement Learning
  • Temporal Difference Learning
  • Q-learning
  • Learning Automata
  • Monte Carlo Method
  • SARSA

• Others
  • Data Pre-processing

Procedural Reasoning Systems

Rule Engines

Theorem Provers

Rewriting Systems

Graph Rewriting

Lindermayer Systems

Structured and Parameterized Theories

• OMDoc 1.3, Chapter 6

Template Metaprogramming

XML Macros

• Macro
• Macro Instruction

Type Theory

• Description Logic
• History of Type Theory
• Type System

XSLT-Enhanced XML Include

• XSLT (1.0, 2.0, 3.0, Named Templates, Callable Components, Initiating)
• XInclude (1.0, 1.1)

XSLT Extensions

• XSLT Extensions (1.0, 2.0, 3.0)

CSS

• CSS Namespaces Module
• XSL and CSS

RIF / RuleML / SWRL

SPARQL

• Topia
• RDF Twig
• XSLT+SPARQL