Sciweavers

260 search results - page 28 / 52
» On the Logic Underlying Common Sense
Sort
View
CSCLP
2008
Springer
14 years 11 months ago
From Rules to Constraint Programs with the Rules2CP Modelling Language
In this paper, we present a rule-based modelling language for constraint programming, called Rules2CP. Unlike other modelling languages, Rules2CP adopts a single knowledge represen...
François Fages, Julien Martin
DLOG
2010
14 years 7 months ago
Automata-Based Abduction for Tractable Diagnosis
Abstract. Abductive reasoning has been recognized as a valuable complement to deductive inference for tasks such as diagnosis and integration of incomplete information despite its ...
Thomas Hubauer, Steffen Lamparter, Michael Pirker
MANSCI
2008
62views more  MANSCI 2008»
14 years 9 months ago
Service-Level Agreements in Call Centers: Perils and Prescriptions
A call center with both contract and non-contract customers was giving priority to the contract customers only in off-peak hours, precisely when having priority was least importan...
Joseph M. Milner, Tava Lennon Olsen
AIA
2006
14 years 11 months ago
Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT
Model-based diagnosis of technical systems requires both a simulation machinery and a logic calculus. The former is responsible for the system's behavior analysis, the latter...
Benno Stein, Oliver Niggemann, Theodor Lettmann
80
Voted
IJCAI
1989
14 years 10 months ago
A Critique of the Valiant Model
This paper considers the Valiant framework as it is applied to the task of learning logical concepts from random examples. It is argued that the current interpretation of this Val...
Wray L. Buntine