Sciweavers

8337 search results - page 64 / 1668
» Reasoning With Characteristic Models
Sort
View
JOCN
2006
79views more  JOCN 2006»
15 years 4 months ago
fMRI Evidence for a Three-Stage Model of Deductive Reasoning
In an event-related fMRI study, we investigated the neurocognitive processes underlying deductive reasoning. We specifically focused on three temporally separable phases: (1) the ...
Thomas Fangmeier, Markus Knauff, Christian C. Ruff...
ICSE
2009
IEEE-ACM
16 years 4 months ago
Reasoning about edits to feature models
Features express the variabilities and commonalities among programs in a software product line (SPL). A feature model defines the valid combinations of features, where each combin...
Christian Kästner, Don S. Batory, Thomas Th&u...
160
Voted
DLOG
2011
14 years 7 months ago
Concept Model Semantics for DL Preferential Reasoning
Abstract. The preferential and rational consequence relations first studied by Lehmann and colleagues play a central role in non-monotonic reasoning, not least because they provid...
Arina Britz, Thomas Meyer, Ivan José Varzin...
CAEPIA
2003
Springer
15 years 9 months ago
A Model for Fuzzy Temporal Reasoning on a Database
In decision support systems for Intensive Care Units (ICU), the data management subsystem plays an essential role since the data have a heterogeneous origin. The temporal dimension...
Manuel Campos, José Palma, Roque Marí...
CORR
2002
Springer
132views Education» more  CORR 2002»
15 years 3 months ago
Nonmonotonic Reasoning, Preferential Models and Cumulative Logics
Many systems that exhibit nonmonotonic behavior have been described and studied already in the literature. The general notion of nonmonotonic reasoning, though, has almost always ...
Sarit Kraus, Daniel J. Lehmann, Menachem Magidor