2138 search results - page 162 / 428 » Logical Step-Indexed Logical Relations |
150
click to vote
DLOG
1998
15 years 7 months ago
1998
We consider two recently proposed definitions of the expressive power of description logics, one due to Baader, the other due to Kurtonina and de Rijke. The proposals are non-equi...
118
click to vote
COLING
1994
15 years 7 months ago
1994
A logic formalism is presented which increases the expressive power of the ID/LP format of GPSG by enlarging the inventory of ordering relations and extending the domain of their ...
155
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
This paper describes experiments on learning Dutch phonotactic rules using Inductive Logic Programming, a machine learning approach based on the notion of inverting resolution. Di...
159
click to vote
KI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Unlike people, household robots cannot rely on commonsense knowledge when accomplishing everyday tasks. We believe that this is one of the reasons why they perform poorly...
162
click to vote
LOGCOM
2010
15 years 5 months ago
2010
A theory of infinitary deduction systems is developed for the modal logic of coalgebras for measurable polynomial functors on the category of measurable spaces. These functors ha...