Intelligent technology for an aging population: The use of AI to assist elders with cognitive impairment

ME Pollack - AI magazine, 2005 - ojs.aaai.org
Today, approximately 10 percent of the world's population is over the age of 60; by 2050 this
proportion will have more than doubled. Moreover, the greatest rate of increase is amongst …

Constraint programming

F Rossi, P Van Beek, T Walsh - Foundations of Artificial Intelligence, 2008 - Elsevier
Publisher Summary Constraint programming is a powerful paradigm for solving
combinatorial search problems that draws on a wide range of techniques from artificial …

[BOG][B] Handbook of constraint programming

F Rossi, P Van Beek, T Walsh - 2006 - books.google.com
Constraint programming is a powerful paradigm for solving combinatorial search problems
that draws on a wide range of techniques from artificial intelligence, computer science …

A taxonomy for task allocation problems with temporal and ordering constraints

E Nunes, M Manner, H Mitiche, M Gini - Robotics and Autonomous Systems, 2017 - Elsevier
Previous work on assigning tasks to robots has proposed extensive categorizations of
allocation of tasks with and without constraints. The main contribution of this paper is a …

[BOG][B] Handbook of knowledge representation

F Van Harmelen, V Lifschitz, B Porter - 2008 - books.google.com
Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

Autominder: An intelligent cognitive orthotic system for people with memory impairment

ME Pollack, L Brown, D Colbry, CE McCarthy… - Robotics and …, 2003 - Elsevier
The world's population is aging at a phenomenal rate. Certain types of cognitive decline, in
particular some forms of memory impairment, occur much more frequently in the elderly. This …

Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra

A Krokhin, P Jeavons, P Jonsson - Journal of the ACM (JACM), 2003 - dl.acm.org
Allen's interval algebra is one of the best established formalisms for temporal reasoning.
This article provides the final step in the classification of complexity for satisfiability problems …

CTP: A new constraint-based formalism for conditional, temporal planning

I Tsamardinos, T Vidal, ME Pollack - Constraints, 2003 - Springer
Temporal constraints pose a challenge for conditional planning, because it is necessary for
a conditional planner to determine whether a candidate plan will satisfy the specified …

A SAT based approach for solving formulas over boolean and linear mathematical propositions

G Audemard, P Bertoli, A Cimatti, A Korniłowicz… - … on Automated Deduction, 2002 - Springer
The availability of decision procedures for combinations of boolean and linear mathematical
propositions opens the ability to solve problems arising from real-world domains such as …

Optimal rectangle packing

RE Korf, MD Moffitt, ME Pollack - Annals of Operations Research, 2010 - Springer
We consider the NP-complete problem of finding an enclosing rectangle of minimum area
that will contain a given a set of rectangles. We present two different constraint-satisfaction …