KI
1995
Springer
13 years 11 months ago
1995
Springer
Abstract. We investigate the task of skeptically reasoning in extensionbased, nonmonotonic logics by concentrating on general argumentation theories. The restricted applicability o...
KI
1995
Springer
13 years 11 months ago
1995
Springer
The integration of vision and natural languageprocessingincreasingly attracts attention in different areas of AI research. Up to now, however, there have only been a few attempts a...
IEAAIE
1995
Springer
13 years 11 months ago
1995
Springer
High level Petri Nets have recently been used for many AI applications, particularly for modelling traditional rule-based expert systems. The major effect is to facilitate the ana...
IEAAIE
1995
Springer
13 years 11 months ago
1995
Springer
Classification learning has been dominated by the induction of axisorthogonal decision surfaces. While induction of alternate forms of decision surface has received some attentio...
IEAAIE
1995
Springer
13 years 11 months ago
1995
Springer
ICAIL
1995
ACM
13 years 11 months ago
1995
ACM
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...
ICAIL
1995
ACM
13 years 11 months ago
1995
ACM
Eisner v. Macomber, 252 U.S. 189 (1920), a corporate tax case, was the principal illustration of a theory of legal reasoning and legal argumentation proposed more than ten years a...
ICAIL
1995
ACM
13 years 11 months ago
1995
ACM
Hart’s "Ascription of Responsibility and Rights" is where we find perhaps the first clear pronouncement
ICTAI
1997
IEEE
13 years 11 months ago
1997
IEEE
The computation of prime implicants has several and significant applications in different areas, including Automated Reasoning, Non-Monotonic Reasoning, Electronic Design Automati...
ICTAI
1997
IEEE
13 years 11 months ago
1997
IEEE
Knowledge refinement tools have commonly been applied to diagnostic applications. This paper considers the refinement of a design application. It explores the differences in knowl...