3032 search results - page 181 / 607 » Description Logic Rules |
112
click to vote
JNCA
2007
15 years 3 months 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...
137
click to vote
CVPR
2007
IEEE
15 years 9 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...
124
click to vote
LOGCOM
2006
15 years 3 months 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...
116
Voted
LPNMR
2009
Springer
15 years 10 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...
135
click to vote
CSL
2003
Springer
15 years 8 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...