2138 search results - page 131 / 428 » Logics for the Relational Syllogistic |
ICLP
2010
Springer
14 years 22 hour ago
2010
Springer
Abstract. We present an integration of answer set programming and constraint processing as an interesting approach to constraint logic programming. Although our research is in a ve...
HASKELL
2007
ACM
14 years 3 hour ago
2007
ACM
We develop a Haskell library for functional-logic programming, motivated by the implementation of Wired, a relational embedded domain-specific language for describing and analysin...
DLOG
1998
13 years 9 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...
COLING
1994
13 years 9 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 ...
CORR
2007
Springer
13 years 8 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...