183 search results - page 12 / 37 » A Prolog Implementation of Kem |
144
Voted
APIN
2000
15 years 3 months ago
2000
Defeasible logic is a system of reasoning in which rules have exceptions, and when rules conflict, the one that applies most specifically to the situation wins out. This paper repo...
139
Voted
CORR
2002
Springer
15 years 3 months ago
2002
Springer
Abstract. We implement Groenendijk and Stokhof's partition semantics of questions in a simple question answering algorithm. The algorithm is sound, complete, and based on tabl...
160
Voted
META
1992
15 years 7 months ago
1992
A meta-level extension of a logic programming language is presented. The resulting language, called 'LOG (read quote-log), provides meta-programming facilities similar to thos...
136
Voted
TISSEC
2010
14 years 10 months ago
2010
The SELinux mandatory access control (MAC) policy has recently added a multi-level security (MLS) model which is able to express a fine granularity of control over a subject'...
127
Voted
ICLP
1998
Springer
15 years 7 months ago
1998
Springer
A number of logic programming languages based on Linear Logic [3] have been proposed. However, the implementation techniques proposed for these languages have relied heavily on th...