1588 search results - page 6 / 318 » On the Logic of Constitutive Rules |
RR
2007
Springer
14 years 1 months ago
2007
Springer
This work presents a visualization algorithm for defeasible logic rule bases as well as a software tool that applies this algorithm, according to which, a directed graph is produce...
IGPL
2008
13 years 7 months ago
2008
We show that IPC, K4, GL, and S4, as well as all logics inheriting their admissible rules, have independent bases of admissible rules. Key words: admissible rule, independent basi...
COLING
1990
13 years 8 months ago
1990
This paper constitutes an investigation into the generative capabilities of two-level phonology with respect to unilevel generative phonological rules. Proponents of two-level pho...
FUZZY
2001
Springer
13 years 12 months ago
2001
Springer
RSCTC
2000
Springer
13 years 11 months ago
2000
Springer