77 search results - page 3 / 16 » Automating Leibniz's Theory of Concepts |
ICMCS
2005
IEEE
13 years 11 months ago
2005
IEEE
Traditionally artistic color concepts play an important role in the analysis of artworks, and provide valuable domain knowledge to guide the analysis and accurate retrieval of pai...
KR
2000
Springer
13 years 9 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
ECSQARU
2007
Springer
13 years 9 months ago
2007
Springer
In possibility theory, the degree of inconsistency is commonly used to measure the level of conflict in information from multiple sources after merging, especially conjunctive merg...
LICS
1999
IEEE
13 years 9 months ago
1999
IEEE
The ordered conjecture states that least fixed-point logic LFP is strictly more expressive than first-order logic FO on every infinite class of ordered finite structures. It has b...
TPHOL
2008
IEEE
13 years 11 months ago
2008
IEEE
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...