Sciweavers

3776 search results - page 112 / 756
» Partition-Based Logical Reasoning
Sort
View
143
Voted
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...
129
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
101
Voted
ACSC
2006
IEEE
15 years 6 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 12 days ago
Choquet Integral Based Evaluations by Fuzzy Rules
Abstract-- Choquet-integral-based evaluation models are proposed. The evaluation parameters
Eiichiro Takahagi
109
Voted
ICLP
2010
Springer
15 years 6 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