1193 search results - page 16 / 239 » A primer of simple theories |
AML
2007
14 years 12 months ago
2007
In this paper we naturally define when a theory has bounded quantifier elimination, or is bounded model complete. We give several equivalent conditions for a theory to have each...
IJCAI
2003
15 years 1 months ago
2003
We propose a framework for simple causal theories of action, and study the computational complexity in it of various reasoning tasks such as determinism, progression and regressio...
103
click to vote
GCSE
2000
Springer
15 years 3 months ago
2000
Springer
It is well known that modifying software by hand, especially someone else's, is not only slow and tedious but so notoriously error-prone that we strive for components that ne...
JOLLI
2010
14 years 10 months ago
2010
We introduce A-ranked preferential structures and combine them with an accessibility relation. A-ranked preferential structures are intermediate between simple preferential struct...
BMCBI
2010
14 years 12 months ago
2010
Background: A simple classification rule with few genes and parameters is desirable when applying a classification rule to new data. One popular simple classification rule, diagon...