Technical Discussion Topics

From Argumentation Community Group
Jump to: navigation, search

Citation, Provenance and Microattribution

Computational Linguistics

Curry-Howard Correspondence

Empirical Techniques and Methodologies

Evidence Models

Generic Programming

Parametric Polymorphism

Templates

Linguistic and Semantic Annotation

Parallel Markup

Planning and Scheduling

Polymorphism

Reasoning Systems

Case-based Reasoning Systems

Cognitive Systems

Constraint Solvers

Expert Systems

Logic Programs

Machine Learning Systems

Procedural Reasoning Systems

Rule Engines

Theorem Provers

Rewriting Systems

Graph Rewriting

Lindermayer Systems

Structured and Parameterized Theories

Template Metaprogramming

XML Macros

Type Theory

XSLT-Enhanced XML Include

XSLT Extensions

CSS

RIF / RuleML / SWRL

SPARQL