3793 search results - page 252 / 759 » Expressive Description Logics |
164
click to vote
ILP
2000
Springer
15 years 10 months ago
2000
Springer
First-order probabilistic models are recognized as efficient frameworks to represent several realworld problems: they combine the expressive power of first-order logic, which serv...
196
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
169
click to vote
CF
2008
ACM
15 years 8 months ago
2008
ACM
Using a new exact synthesizer that automatically induces minimal universal boolean function libraries, we introduce two indicators for comparing their expressiveness: the first ba...
204
click to vote
ASP
2003
Springer
15 years 12 months ago
2003
Springer
Disjunctive Logic Programming (DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). DLP is very expressive in a precise mathematical sense: it allows to ...
157
click to vote
AAAI
2000
15 years 8 months ago
2000
High-level robot controllers in realistic domains typically deal with processes which operate concurrently, change the world continuously, and where the execution of actions is ev...