183 search results - page 19 / 37 » A Prolog Implementation of Kem |
134
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Logic Programming languages and combinational circuit synthesis tools share a common "combinatorial search over logic formulae" background. This paper attempts ...
146
Voted
PLILP
1994
Springer
15 years 7 months ago
1994
Springer
Abstract. We investigate an extension of a lazy functional logic language, which uses term disequations both in programs and in computed answers. The semantic properties of the lan...
162
click to vote
CLIMA
2006
15 years 5 months ago
2006
This paper reports on a fertile marriage between madAgents, a Java and Prolog based multi-agent platform, and EVOLP, a logic programming based language to represent and reason abou...
125
Voted
COLING
1992
15 years 5 months ago
1992
he more abstract term "relational morphology" in place of tile usual "two-level morphology" in order to emphasize an aspect of Koskenniemi's work which ha...
116
click to vote
KI
2009
Springer
15 years 8 months ago
2009
Springer
In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using th...