3793 search results - page 580 / 759 » Expressive Description Logics |
168
click to vote
ICLP
2007
Springer
16 years 19 days ago
2007
Springer
Abstract In this doctoral work we aim at developing a rich timed concurrent constraint (tcc) based language with strong ties to logic. The new calculus called Universal Timed Concu...
196
click to vote
ILP
2007
Springer
16 years 19 days ago
2007
Springer
Mode declarations are a successful form of language bias in explanatory ILP. But, while they are heavily used in Horn systems, they have yet to be similarly exploited in more expre...
187
click to vote
LPAR
2007
Springer
16 years 19 days ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
174
click to vote
MODELS
2007
Springer
16 years 18 days ago
2007
Springer
The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logical preced...
180
click to vote
PKDD
2007
Springer
16 years 18 days ago
2007
Springer
This paper presents a novel method for multi-relational classification via an aggregation-based Inductive Logic Programming (ILP) approach. We extend the classical ILP representati...