Sciweavers

3363 search results - page 447 / 673
» A Framework for Knowledge Reuse
Sort
View
ICTL
1994
15 years 10 months ago
Abduction in Temporal Reasoning
Commonsense knowledge often omits the temporal incidence of facts, and even the ordering between occurrences is only available for some of their instances. Reasoning about the temp...
Cristina Ribeiro, António Porto
LPNMR
1993
Springer
15 years 10 months ago
Negation as Partial Failure
We present a logic programming language which uses a four-valued bilattice as the underlying framework for semantics of programs. The two orderings of the bilattice reflect the c...
Bamshad Mobasher, Jacek Leszczylowski, Don Pigozzi
ICFCA
2007
Springer
15 years 10 months ago
A Proposal for Combining Formal Concept Analysis and Description Logics for Mining Relational Data
Recent advances in data and knowledge engineering have emphasized the need for formal concept analysis (FCA) tools taking into account structured data. There are a few adaptations ...
Mohamed Rouane Hacene, Marianne Huchard, Amedeo Na...
BPM
2006
Springer
78views Business» more  BPM 2006»
15 years 10 months ago
Semantic Correctness in Adaptive Process Management Systems
Adaptivity in Process Management Systems (PMS) is key to their successful applicability in pratice. Approaches have already been developed to ensure the system correctness after ar...
Linh Thao Ly, Stefanie Rinderle, Peter Dadam
ESWS
2006
Springer
15 years 10 months ago
Matching Semantic Service Descriptions with Local Closed-World Reasoning
Abstract. Semantic Web Services were developed with the goal of automating the integration of business processes on the Web. The main idea is to express the functionality of the se...
Stephan Grimm, Boris Motik, Chris Preist