Theory and Practice of Logic Programming, Vol. 6, No. 5, pp, Programming Finite-Domain Constraint Propagators in Action Rules

Source URL: www.sci.brooklyn.cuny.edu

Proceedings of CICLOPS 2009 9th International Colloquium on Implementation of Constraint and LOgic Programming Systems

Source URL: www.cse.unt.edu

On the Robustness of Qualitative Distance- and Direction-Reasoning* Jung-Hong Hong Department of Surveying Engineering National Cheng-Kung University

Source URL: mapcontext.com

• Cognition
• Reasoning
• Cognitive science
• Logic
• Knowledge representation
• Constraint programming
• Educational psychology
• Spatialtemporal reasoning
• Qualitative reasoning
• Spatial relation
• Reasoning system
• Andrew U. Frank

CONTRIBUTED TALK ABSTRACTS 1.2 JAKUB BUL´IN Charles University in Prague Absorption in finitely related SD(∧) algebras has bounded arity The notion of absorbing subuniverse plays an important role in the recent devel

Source URL: www.fields.utoronto.ca

• Logic
• Constraint programming
• Constraint satisfaction problem
• Model theory
• Abstraction
• Philosophy
• Constraint satisfaction
• Satisfiability
• Algebraic structure

AAAI Proceedings Template

Source URL: qr15.sift.net

• Knowledge representation
• Reasoning
• Constraint programming
• Cognition
• Computational topology
• Region connection calculus
• Mathematics
• Cognitive science
• Logic

A Constraint-based Partial Evaluator for Functional Logic Programs and its Application Laura Lafave A thesis submitted to the University of Bristol in accordance with the

Source URL: repository.readscheme.org

• Software engineering
• Programming paradigms
• Computing
• Theoretical computer science
• Evaluation strategy
• Incremental computing
• Partial evaluation
• Logic programming
• Functional programming
• Algorithm
• Programming language
• Evaluation

Properties of IsaCoSy’s Constraint Generation Algorithm Moa Johansson, Lucas Dixon, Alan Bundy February 16, 2010 Abstract This report states and sketches the proofs for some important properties of

Source URL: dream.inf.ed.ac.uk

• Constraint programming
• Theoretical computer science
• Constraint
• Mathematical optimization
• Exact cover
• Logic programming
• Software engineering
• Cognitive science
• Constraint logic programming
• First class constraint

LNCSA Standard Framework for Timetabling Problems

Source URL: stefan.buettcher.org

• Constraint programming
• Mathematical optimization
• Artificial intelligence
• Theoretical computer science
• Applied mathematics
• Constraint logic programming
• NP-hard problems
• Operations research
• Genetic algorithm
• Nurse scheduling problem
• Constrained optimization

Boolean Lexicographic Optimization Joao Marques-Silva1 , Josep Argelich2 , Ana Grac¸a3 , and Inˆes Lynce3 1 2 CSI/CASL, University College Dublin, Ireland

Source URL: ceur-ws.org

• Theoretical computer science
• Mathematics
• Mathematical optimization
• Numerical analysis
• Combinatorial optimization
• Operations research
• Constraint programming
• Logic in computer science
• Maximum satisfiability problem
• Linear programming
• Constrained optimization
• Solver

¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning”

Source URL: resources.mpi-inf.mpg.de

• Theoretical computer science
• Mathematical logic
• Mathematics
• Logic programming
• Logic in computer science
• Automated theorem proving
• Formal methods
• Unification
• Lambda calculus
• Constraint logic programming
• Conjunctive normal form