1941 search results - page 123 / 389 » Reasoning about Computations Using Two-Levels of Logic |
97
Voted
LILOG
1989
15 years 7 months ago
1989
We propose a theory for reasoning about actions based on order-sorted predicate logic where one can consider an elaborate taxonomy of objects. We are interested in the projection ...
236
Voted
LACL
2011
Springer
14 years 6 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...
126
click to vote
KR
2004
Springer
15 years 8 months ago
2004
Springer
Motivational attitudes play an important role in investigations into intelligent agents. One of the key problems of representing and reasoning about motivational attitudes is whic...
103
click to vote
LICS
2008
IEEE
15 years 9 months ago
2008
IEEE
The question of whether there is a logic that captures polynomial time is the central open problem in descriptive complexity theory. In my talk, I will review the question and the...
PG
2003
IEEE
15 years 8 months ago
2003
IEEE
I argue that computer graphics can benefit from a deeper use of machine learning techniques. I give an overview of what learning has to offer the graphics community, with an emph...