190 search results - page 27 / 38 » An application of automated reasoning in natural language qu... |
150
click to vote
SIGUCCS
2006
ACM
15 years 7 months ago
2006
ACM
In this paper we present the results of an experiment made with our e-librarian service ”MatES”, an e-Learning tool on fractions in mathematics. MatES allows students to enter...
144
click to vote
LICS
2009
IEEE
15 years 8 months ago
2009
IEEE
Weighted automata are nondeterministic automata with numerical weights on transitions. They can define quantitative languages L that assign to each word w a real number L(w). In ...
122
Voted
TPHOL
2002
IEEE
15 years 6 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
111
Voted
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
The Semantic Web is a rapidly growing research area aiming at the exchange of semantic information over the World Wide Web. The Semantic Web is built on top of RDF, an XML-based ex...
113
click to vote
ECSQARU
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents a new approach to inference in Bayesian networks. The principal idea is to encode the network by logical sentences and to compile the resulting encoding into an...