Sciweavers

121
Voted
KI
1995
Springer
15 years 8 months ago
What Is a Skeptical Proof?
Abstract. We investigate the task of skeptically reasoning in extensionbased, nonmonotonic logics by concentrating on general argumentation theories. The restricted applicability o...
Michael Thielscher
TACS
1997
Springer
15 years 8 months ago
Type System for Specializing Polymorphism
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
Atsushi Ohori
KI
1995
Springer
15 years 8 months ago
Integrating Vision and Language: Towards Automatic Description of Human Movements
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...
Gerd Herzog, Karl Rohr
KDD
1995
ACM
139views Data Mining» more  KDD 1995»
15 years 8 months ago
Resource and Knowledge Discovery in Global Information Systems: A Preliminary Design and Experiment
Eficient and efiective discovery of resource and knowledge from the Internet has become an imminent research issue, especially with the advent of the Information Super-Highway. A ...
Osmar R. Zaïane, Jiawei Han
140
Voted
KDD
1995
ACM
127views Data Mining» more  KDD 1995»
15 years 8 months ago
Toward a Multi-Strategy and Cooperative Discovery System
Ning Zhong, Setsuo Ohsuga