73 search results - page 15 / 15 » Products of Tree Automata with an Application to Temporal Lo... |
PCI
2005
Springer
13 years 10 months ago
2005
Springer
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic W...
HYBRID
2010
Springer
13 years 12 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
KDD
2003
ACM
14 years 5 months ago
2003
ACM
We describe techniques for combining two types of knowledge systems: expert and machine learning. Both the expert system and the learning system represent information by logical d...