3970 search results - page 210 / 794 » A Logic For Causal Reasoning |
WWW
2008
ACM
14 years 10 months ago
2008
ACM
We propose a method of classifying XML documents and extracting XML schema from XML by inductive inference based on constraint logic programming. The goal of this work is to type ...
EPIA
2007
Springer
14 years 3 months ago
2007
Springer
Recently, the logics of minimal knowledge and negation as failure MKNF [12] was used to introduce hybrid MKNF knowledge bases [14], a powerful formalism for combining open and clos...
COOPIS
2002
IEEE
14 years 2 months ago
2002
IEEE
The Semantic Web is a vision of the next generation Web, in which semantic markup will make Web resources more accessible to automatic processes. Description Logics (DLs) are of cr...
ICDCS
2002
IEEE
14 years 2 months ago
2002
IEEE
We argue that joint administration of access policies for a dynamic coalition formed by autonomous domains requires that these domains set up a coalition authority that distribute...
CADE
2007
Springer
14 years 10 months ago
2007
Springer
We present results of our work on using first order theorem proving to reason over a large ontology (the Suggested Upper Merged Ontology ? SUMO), and methods for making SUMO suita...