99 search results - page 7 / 20 » Extending Classical Theorem Proving for the Semantic Web |
91
Voted
AISC
2008
Springer
14 years 11 months ago
2008
Springer
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
MST
2006
14 years 9 months ago
2006
Motivated by problems of pattern statistics, we study the limit distribution of the random variable counting the number of occurrences of the symbol a in a word of length n chosen...
99
Voted
ESWS
2008
Springer
14 years 11 months ago
2008
Springer
PowerMagpie is a tool that brings semantic interpretation to classical web pages by dynamically--i.e. during browsing--selecting and making use of a wide range of online available ...
71
Voted
ENTCS
2008
14 years 9 months ago
2008
The better known methods of semantic tableaux for deciding satisfiability in propositional linear temporal logic generate graphs in addition to classical trees. The test of satisf...
105
click to vote
TABLEAUX
1997
Springer
15 years 1 months ago
1997
Springer
Free-variable semantic tableaux are a well-established technique for first-order theorem proving where free variables act as a meta-linguistic device for tracking the eigenvariabl...