Sciweavers

3773 search results - page 146 / 755
» Logical Reasoning
Sort
View
150
Voted
DEON
2010
Springer
15 years 8 months ago
Moral Particularism and Deontic Logic
The aim of this paper is to strengthen the point made by Horty about the relationship between reason holism and moral particularism. In the literature prima facie obligations have ...
Xavier Parent
ICLA
2009
Springer
15 years 10 months ago
Instantial Relevance in Polyadic Inductive Logic
Abstract. We show that under the assumptions of Spectrum Exchangeability and Language Invariance the so called Only Rule, a principle of instantial relevance previously know for un...
Jürgen Landes, Jeff B. Paris, Alena Vencovsk&...
123
Voted
LFCS
1992
Springer
15 years 7 months ago
Many-Valued Non-Monotonic Modal Logics
Among non-monotonic systems of reasoning, non-monotonic modal logics, and autoepistemic logic in particular, have had considerable success. The presence of explicit modal operator...
Melvin Fitting
154
Voted
ICLP
2010
Springer
15 years 2 months ago
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
Marco Alberti, Marco Gavanelli, Evelina Lamma
159
Voted
FOIKS
2010
Springer
15 years 10 months ago
Towards a Paradoxical Description Logic for the Semantic Web
As a vision for the future of the Web, the Semantic Web is an open, constantly changing and collaborative environment. Hence it is reasonable to expect that knowledge sources in th...
Xiaowang Zhang, Zuoquan Lin, Kewen Wang