Sciweavers

4209 search results - page 668 / 842
» Abstract Dialectical Frameworks
Sort
View
145
Voted
CSL
2001
Springer
15 years 8 months ago
A Logic for Approximate First-Order Reasoning
Abstract. In classical approaches to knowledge representation, reasoners are assumed to derive all the logical consequences of their knowledge base. As a result, reasoning in the ï...
Frédéric Koriche
DAWAK
2001
Springer
15 years 8 months ago
Towards a Novel OLAP Interface for Distributed Data Warehouses
We present a framework for visualizing remote distributed data sources using a multi-user immersive virtual reality environment. DIVE-ON is a system prototype that consolidates dis...
Ayman Ammoura, Osmar R. Zaïane, Randy Goebel
124
Voted
ECSQARU
2001
Springer
15 years 8 months ago
How to Reason Credulously and Skeptically within a Single Extension
Abstract. Consistency-based approaches in nonmonotonic reasoning may be expected to yield multiple sets of default conclusions for a given default theory. Reasoning about such exte...
James P. Delgrande, Torsten Schaub
130
Voted
EMSOFT
2001
Springer
15 years 8 months ago
Compiler Optimizations for Adaptive EPIC Processors
Abstract. Advances in VLSI technology have lead to a tremendous increase in the density and number of devices that can be manufactured in a single microchip. One of the interesting...
Krishna V. Palem, Surendranath Talla, Weng-Fai Won...
132
Voted
ICSE
2001
IEEE-ACM
15 years 8 months ago
Engineering Mobile-Agent Applications via Context-Dependent Coordination
: The design and development of Internet applications, requiring dynamic and possibly mobile access to Internet resources, can take advantage of an approach based on autonomous mob...
Giacomo Cabri, Letizia Leonardi, Franco Zambonelli