Sciweavers

503 search results - page 53 / 101
» A multivalued knowledge-base model
Sort
View
AIME
1997
Springer
15 years 8 months ago
A Causal-Functional Model Applied to EMG Diagnosis
This paper presents an EMG diagnostic Knowledge Based System, that is the first application of our methodology for reasoning with causal-functional (meta-)models. Despite past diff...
Jorge Cruz, Pedro Barahona
KI
2007
Springer
15 years 4 months ago
Modeling Human-Level Intelligence by Integrated Cognition in a Hybrid Architecture
Various forms of reasoning, the profusion of knowledge, the gap between neuro-inspired approaches and conceptual representations, the problem of inconsistent data input, and the ma...
Kai-Uwe Kühnberger, Tonio Wandmacher, Angela ...
KR
2004
Springer
15 years 9 months ago
Inferential Complexity Control for Model-Based Abduction
We describe a technique for speeding up inference for model-based abduction tasks that trades off inference time and/or space for the fraction of queries correctly answered. We co...
Gregory M. Provan
COMPENG
2010
265views Algorithms» more  COMPENG 2010»
15 years 8 months ago
Ontological Framework to Model Critical Infrastructures and their Interdependencies
This paper presents a Knowledge Base System (KBS) as a key component of a federated simulation framework which allows the investigation of (inter)dependencies among Critical Infra...
Elisa Castorini, Paolo Palazzari, Alberto Tofani, ...
AAAI
1997
15 years 5 months ago
Model-Theoretic Semantics and Tractable Algorithm for CNF-BCP
CNF-BCP is a well-known propositional reasoner that extends clausal Boolean Constraint Propagation (BCP) to non-clausal theories. Although BCP has efficient linear-time implementa...
Rahul Roy-Chowdhury, Mukesh Dalal