2920 search results - page 26 / 584 » Finite information logic |
FORTE
2004
15 years 1 months ago
2004
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
101
click to vote
SEMWEB
2009
Springer
15 years 6 months ago
2009
Springer
Most languages for the Semantic Web have their logical basis in some fragment of first-order logic. Thus, integrating first-order logic with probability is fundamental for represen...
59
Voted
MLQ
2006
14 years 11 months ago
2006
We define the concept of a logic frame, which extends the concept stract logic by adding the concept of a syntax and an axiom system. In a recursive logic frame the syntax and the...
LATIN
1992
Springer
15 years 3 months ago
1992
Springer
LATIN
2000
Springer
15 years 3 months ago
2000
Springer