30 search results - page 5 / 6 » Induction of Defeasible Logic Theories in the Legal Domain |
ML
2006
ACM
13 years 5 months ago
2006
ACM
Many domains in the field of Inductive Logic Programming (ILP) involve highly unbalanced data. A common way to measure performance in these domains is to use precision and recall i...
ICAIL
2003
ACM
13 years 11 months ago
2003
ACM
This paper focuses on the creation of a first order predicate calculus based regulation compliance-assistance system built upon an XML framework. Two areas of research that suppor...
FCT
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
NIPS
2007
13 years 7 months ago
2007
Much of human knowledge is organized into sophisticated systems that are often called intuitive theories. We propose that intuitive theories are mentally represented in a logical ...
EMSOFT
2004
Springer
13 years 11 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...