Sciweavers

89 search results - page 3 / 18
» A Critique of the Valiant Model
Sort
View
AIME
2007
Springer
14 years 4 months ago
The Role of Model Checking in Critiquing Based on Clinical Guidelines
Medical critiquing systems criticise clinical actions performed by a physician. In order to provide useful feedback, an important task is to find differences between the actual a...
Perry Groot, Arjen Hommersom, Peter J. F. Lucas, R...
LFCS
2009
Springer
14 years 4 months ago
Decidability and Undecidability in Probability Logic
We study computational aspects of a probabilistic logic based on a well-known model of induction by Valiant. We prove that for this paraconsistent logic the set of valid formulas ...
Sebastiaan Terwijn
ECIS
2003
13 years 11 months ago
A critique of statistical modelling from a critical realist perspective
Most published research in information systems is underpinned by a positivist or empiricist philosophy. This generally involves the collection of quantitative data and its subsequ...
John Mingers
AIEDU
2006
120views more  AIEDU 2006»
13 years 10 months ago
An Assessment of Constraint-Based Tutors: A Response to Mitrovic and Ohlsson's Critique of "A Comparison of Model-Tracing and Co
Model tracing and constraint-based modeling are two prominent paradigms on which intelligent tutoring systems (ITSs) have been based. We Kodaganallur, Weitz and Rosenthal (2005), h...
Viswanathan Kodaganallur, Rob R. Weitz, David Rose...
KDD
2003
ACM
114views Data Mining» more  KDD 2003»
14 years 10 months ago
Information awareness: a prospective technical assessment
Recent proposals to apply data mining systems to problems in law enforcement, national security, and fraud detection have attracted both media attention and technical critiques of...
David Jensen, Matthew J. Rattigan, Hannah Blau