2308 search results - page 411 / 462 » Representing Symbolic Reasoning |
174
Voted
JFP
2007
15 years 5 months ago
2007
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...
157
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The paper presents the methodology and the results of checking consistency of the knowledge base of CADIAG-2, a large-scale medical expert system. Such knowledge base con...
148
click to vote
FLAIRS
2009
15 years 3 months ago
2009
While team action recognition has a relatively extended literature, less attention has been given to the detailed realtime analysis of the internal structure of the team actions. ...
189
click to vote
CSL
2011
Springer
15 years 12 days ago
2011
Springer
We describe the design and evaluation of two different dynamic student uncertainty adaptations in wizarded versions of a spoken dialogue tutoring system. The two adaptive systems...
275
click to vote
LACL
2011
Springer
14 years 8 months ago
2011
Springer
The problem of generating referring expressions (GRE) is an important task in natural language generation. In this paper, we advocate for the use of logical languages in the output...