4573 search results - page 316 / 915 » Automated Reasoning |
210
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
CEL (Classifier for EL) is a reasoner for the small description logic EL+ which can be used to compute the subsumption hierarchy induced by EL+ ontologies. The most distinguishing ...
191
click to vote
ECSQARU
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...
182
click to vote
ICLP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Constraints and preferences are ubiquitous in real-life. Moreover, preferences can be of many kinds: qualitative, quantitative, conditional, positive or negative, to name...
166
Voted
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
188
click to vote
EWCBR
2004
Springer
16 years 3 days ago
2004
Springer
In industrial manufacturing rigorous testing is used to ensure that the delivered products meet their specifications. Mechanical maladjustment or faults often show their presence t...