Sciweavers

1056 search results - page 84 / 212
» ijcai 2007
Sort
View
IJCAI
2001
15 years 1 days ago
A Framework for Declarative Update Specifications in Logic Programs
Recently, several approaches for updating knowledge bases represented as logic programs have been proposed. In this paper, we present a generic framework for declarative specifica...
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...
IJCAI
2001
15 years 1 days ago
Reasoning about Categories in Conceptual Spaces
Understanding the process of categorization is a primary research goal in artificial intelligence. The conceptual space framework provides a flexible approach to modeling context-...
Peter Gärdenfors, Mary-Anne Williams
81
Voted
IJCAI
2001
15 years 1 days ago
Causal interaction: from a high-level representation to an operational event-based representation
We propose to extend the temporal causal graph formalisms used in model-based diagnosis in order to deal with non trivial interactions like (partial) cancellation of fault effects...
Irène Grosclaude, Marie-Odile Cordier, Rene...
IJCAI
2001
15 years 1 days ago
On-Line Execution of cc-Golog Plans
Previously, the plan language cc-Golog was introduced for the purpose of specifying event-driven behavior typically found in robot controllers. So far, however, cc-Golog is usable...
Henrik Grosskreutz, Gerhard Lakemeyer
IJCAI
2001
15 years 1 days ago
Formalizing Artistic Techniques and Scientific Visualization for Painted Renditions of Complex Information Spaces
This paper describes a new method for visualizing complex information spaces as painted images. Scientific visualization converts data into pictures that allow viewers to "se...
Christopher G. Healey