2501 search results - page 223 / 501 » Logics with Rank Operators |
134
Voted
IJCAI
1989
15 years 6 months ago
1989
It is argued that Ginsberg's Possible Worlds Approach to counterfactual implication suffers from a number of defects which are the result of confusing proof theory and model ...
181
click to vote
FUIN
2007
15 years 5 months ago
2007
We present a resolution calculus for first-order logic using a more concise formalism for representing sets of clauses. The idea is to represent the clause set at hand as a Direct...
278
click to vote
ENTCS
2002
15 years 5 months ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...
156
Voted
APAL
2010
15 years 4 months ago
2010
The theory of Schauder hats is a beautiful and powerful tool for investigating, under several respects, the algebraic semantics of Lukasiewicz infinite-valued logic [CDM99], [MMM07...
181
Voted
SEMWEB
2010
Springer
15 years 3 months ago
2010
Springer
Given the large number of Semantic Web Services that can be created from online sources by using existing annotation tools, expressive formalisms and efficient and scalable approac...