Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms Harold Boley, NRC IIT e-Business, Fredericton RuleML-2003 Sanibel.
600.325/425 Declarative Methods - J. Eisner 1 Prolog: Programming in Logic with some mention of Datalog and Constraint Logic Programming.
600.325/425 Declarative Methods - J. Eisner1 Soft Constraints: Exponential Models Factor graphs (undirected graphical models) and their connection to constraint.
600.325/425 Declarative Methods - J. Eisner1 Mathematical Programming especially Integer Linear Programming and Mixed Integer Programming.
Runtime Analysis and Program Transformations for Dynamic Programs John Blatz CS 325/425 April 26, 2006.
Ontologies Reasoning Components Agents Simulations Ontologies Jacques Robin.
600.325/425 Declarative Methods - J. Eisner1 Satisfiability Generate-and-test / NP / NP-complete SAT, weighted MAX-SAT, CNF-SAT, DNF- SAT, 3-CNF-SAT, Tseitin,
Rendering of Realistic Landscapes
Soft Constraints: Exponential Models
1 Declarative Specification of NLP Systems Jason Eisner IBM, May 2006 student co-authors on various parts of this work: Eric Goldlust, Noah A. Smith, John.
Dynamic Programming
Constraint Program Solvers