Sciweavers

1523 search results - page 168 / 305
» Partially ordered secretaries
Sort
View
EWCBR
1998
Springer
15 years 9 months ago
Study and Formalization of a Case-Based Reasoning System Using a Description Logic
In this paper the C-CLASSIC Description Logic is used to design the retrieval and selection tasks of a Case-Based Reasoning system with homogeneous, explicit and formal criteria. T...
Sylvie Salotti, Véronique Ventos
ICTAI
1996
IEEE
15 years 9 months ago
Forward-Tracking: A Technique for Searching Beyond Failure
In many applications, such as decision support, negotiation, planning, scheduling, etc., one needs to express requirements that can only be partially satisfied. In order to expres...
Elena Marchiori, Massimo Marchiori, Joost N. Kok
ECP
1997
Springer
102views Robotics» more  ECP 1997»
15 years 9 months ago
Event Calculus Planning Revisited
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...
Murray Shanahan
CONTEXT
2007
Springer
15 years 9 months ago
Using Context for the Extraction of Relational Views
The paper presents an approach for automatically extracting views from a relational database schema, based on the knowledge of the application domain. In order to achieve such resu...
Cristiana Bolchini, Elisa Quintarelli, Rosalba Ros...
ICDAR
2007
IEEE
15 years 9 months ago
An Incremental On-line Parsing Algorithm for Recognizing Sketching Diagrams
This paper presents a syntactic recognition approach for on-line drawn graphical symbols. The proposed method consists in an incremental on-line predictive parser based on symbol ...
Joan Mas, Gemma Sánchez, Josep Lladó...