3032 search results - page 181 / 607 » Description Logic Rules |
91
Voted
JNCA
2007
15 years 17 days ago
2007
Composite web services are defined using the industry-standard language BPEL (Business Process Execution Logic). There is a strong need for graphical and automated support for th...
106
Voted
CVPR
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper, a generic rule induction framework based on trajectory series analysis is proposed to learn the event rules. First the trajectories acquired by a tracking system ar...
103
Voted
LOGCOM
2006
15 years 19 days ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known that various hybrid logics without binders are decidable, but decision p...
LPNMR
2009
Springer
15 years 7 months ago
2009
Springer
We consider random logic programs with two-literal rules and study their properties. In particular, we obtain results on the probability that random “sparse” and “dense” pr...
115
Voted
CSL
2003
Springer
15 years 6 months ago
2003
Springer
System SKS is a set of rules for classical propositional logic presented in the calculus of structures. Like sequent systems and unlike natural deduction systems, it has an explici...