3793 search results - page 395 / 759 » Expressive Description Logics |
158
click to vote
AAAI
2000
15 years 8 months ago
2000
Combinatorial auctions (CAs) have emerged as an important model in economics and show promise as a useful tool for tackling resource allocation in AI. Unfortunately, winner determ...
186
click to vote
AAAI
1996
15 years 8 months ago
1996
We present a method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. This capability can be used to focus...
160
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...
195
click to vote
IJPRAI
2000
15 years 6 months ago
2000
We present an approach to knowledge compilation that transforms a function-free first-order Horn knowledge base to propositional logic. This form of compilation is important since...
202
click to vote
KSEM
2010
Springer
15 years 5 months ago
2010
Springer
Given the proven usefulness of ontologies in many areas, the representation of logical axioms associated to ontological concepts and relations has become an important task in order...