Sciweavers

2128 search results - page 192 / 426
» A general characterization of indulgence
Sort
View
ICAI
2004
15 years 8 months ago
Inductive System Health Monitoring
- The Inductive Monitoring System (IMS) software was developed to provide a technique to automatically produce health monitoring knowledge bases for systems that are either difficu...
David L. Iverson
DMCS
2003
15 years 8 months ago
A symbolic projection of Langton's Ant
d Abstract) Anah´ı Gajardo† GI2MA, Departamento de Ingenier´ıa Matem´atica, Universidad de Concepci´on, Casilla 160-C, correo 3, Concepci´on, Chile The Langton’s ant is ...
Anahí Gajardo
IJCAI
2003
15 years 8 months ago
Understanding the Power of Clause Learning
Efficient implementations of DPLL with the addition of clause learning are the fastest complete satisfiability solvers and can handle many significant real-world problems, such as...
Paul Beame, Henry A. Kautz, Ashish Sabharwal
IJCAI
2003
15 years 8 months ago
Evaluating Significance of Inconsistencies
Inconsistencies frequently occur in knowledge about the real-world. Some of these inconsistencies may be more significant than others, and some knowledgebases (sets of formulae) m...
Anthony Hunter
IJCAI
2003
15 years 8 months ago
Local-Effect Games
We present a new class of games, local-effect games (LEGs), which exploit structure in a different way from other compact game representations studied in AI. We show both theoreti...
Kevin Leyton-Brown, Moshe Tennenholtz