Sciweavers

3776 search results - page 112 / 756
» Partition-Based Logical Reasoning
Sort
View
DLOG
2011
14 years 6 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...
136
Voted
DLOG
2006
15 years 4 months ago
Handling Imprecise Knowledge with Fuzzy Description Logic
Fuzzy Description Logics have been proposed in the literature as a way to represent and reason with vague and imprecise knowledge. Their decidability, the empirically tractable an...
Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan
ACSC
2006
IEEE
15 years 7 months ago
Logic and refinement for charts
We introduce a logic for reasoning about and constructing refinements for
Greg Reeve, Steve Reeves
EUSFLAT
2009
138views Fuzzy Logic» more  EUSFLAT 2009»
15 years 1 months ago
Choquet Integral Based Evaluations by Fuzzy Rules
Abstract-- Choquet-integral-based evaluation models are proposed. The evaluation parameters
Eiichiro Takahagi
ICLP
2010
Springer
15 years 7 months ago
Focused Proof Search for Linear Logic in the Calculus of Structures
The proof-theoretic approach to logic programming has benefited from the
Nicolas Guenot