1916 search results - page 116 / 384 » Reasoning with class algebra |
102
click to vote
EWCBR
2004
Springer
15 years 6 months 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...
126
Voted
ESWS
2008
Springer
15 years 2 months ago
2008
Springer
Ontology-Driven Software Development (ODSD) advocates using ontologies for capturing knowledge about a software system at development time. So far, ODSD approaches have mainly focu...
106
Voted
AAAI
2000
15 years 2 months ago
2000
Recent work has demonstrated that treating resource reasoning separately from causal reasoning can lead to improved planning performance and rational resource management where inc...
88
Voted
ISMVL
2000
IEEE
15 years 5 months ago
2000
IEEE
We present a uniform relational framework for developing proof systems for theories of manyvaluedness that may have the form of a logical system, of a class of algebra or of an in...
126
Voted
AIML
2006
15 years 2 months ago
2006
We observe that the known fact that the difference logic and the hybrid logic with universal modality have the same expressive power on Kripke frames can be strengthened for a far ...