3776 search results - page 149 / 756 » Partition-Based Logical Reasoning |
156
Voted
DALT
2005
Springer
15 years 9 months ago
2005
Springer
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this v...
123
Voted
CADE
2005
Springer
15 years 5 months ago
2005
Springer
We present the CoRe calculus for contextual reasoning which supports reasoning directly at the assertion level, where proof steps are justified in terms of applications of defini...
154
Voted
ICLP
2010
Springer
15 years 2 months ago
2010
Springer
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
164
Voted
PCI
2005
Springer
15 years 9 months ago
2005
Springer
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic W...
136
Voted
APWEB
2006
Springer
15 years 7 months ago
2006
Springer
In the semantic web context,the formal representation of knowledge is not resourceful while the informal one with uncertainty prevails. In order to provide an uncertainty reasoning...