381 search results - page 13 / 77 » Establishing Logical Rules from Empirical Data |
109
click to vote
ADC
2003
Springer
15 years 6 months ago
2003
Springer
Defeasible logic is a non-monotonic logic with applications in rule-based domains such as law. To ease the development and improve the accuracy of expert systems based on defeasib...
117
click to vote
CADE
2009
Springer
16 years 2 months ago
2009
Springer
The inverse method is a generic proof search procedure applicable to non-classical logics satisfying cut elimination and the subformula property. In this paper we describe a genera...
101
click to vote
FINTAL
2006
15 years 5 months ago
2006
The tool extract enables the automatic extraction of lemma-paradigm pairs from raw text data. The tool uses search patterns that consist of regular expressions and propositional lo...
123
click to vote
SEMWEB
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. OWL-S allows selecting, composing and invoking Web Serdifferent levels of abstraction: selection uses high level abstract descriptions, invocation uses low level groundi...
124
click to vote
CSREASAM
2006
15 years 2 months ago
2006
: - Intrusion Detection Systems are increasingly a key part of systems defense. Various approaches to Intrusion Detection are currently being used, but they are relatively ineffect...