4573 search results - page 516 / 915 » Automated Reasoning |
162
click to vote
JAIR
2008
15 years 5 months ago
2008
Ontologies and automated reasoning are the building blocks of the Semantic Web initiative. Derivation rules can be included in an ontology to define derived concepts based on base...
156
click to vote
COSIT
2009
Springer
15 years 11 months ago
2009
Springer
We present an approach to assist the smart environment design process by means of automated validation of work-in-progress designs. The approach facilitates validation of not only ...
166
Voted
CADE
1992
Springer
15 years 9 months ago
1992
Springer
network of theories. Results are typically proved in compact, abstract theories, and then transported as needed to more concrete theories, or indeed to Supported by the MITRE-Spon...
129
Voted
IJCAI
2003
15 years 6 months ago
2003
An additive fluent is a fluent with numerical values such that the effect of several concurrently executed actions on it can be computed by adding the effects of the individual ac...
124
click to vote
DAC
2009
ACM
16 years 6 months ago
2009
ACM
Electronic design automation is a field replete with challenging ? and often intractable ? problems to be solved over very large instances. As a result, the field of design automa...