152 search results - page 9 / 31 » A Unifying Approach to Goal-Directed Evaluation |
LPNMR
2009
Springer
14 years 2 months ago
2009
Springer
We define the semantics of logic programs with (abstract) constraint atoms in a way closely tied to default logic. Like default logic, formulas in rules are evaluated using the cl...
ICSE
2001
IEEE-ACM
13 years 12 months ago
2001
IEEE-ACM
Design traceability has been widely recognized as being an integral aspect of software development. In the past years this fact has been amplified due to the increased use of lega...
IQ
2007
13 years 9 months ago
2007
: Integrated access to distributed data is an important problem faced in many scientific and commercial applications. A data integration system provides a unified view for users to...
DMIN
2006
13 years 9 months ago
2006
- Research work related to applying text categorization methods to a monolingual corpus such as English text collections has been well established by several research teams in rece...
ER
2004
Springer
14 years 28 days ago
2004
Springer
A major issue in the study of semantic Web services concerns the matching problem of Web services. Various techniques for this problem have been proposed. Typical ones include FSM ...