1588 search results - page 6 / 318 » On the Logic of Constitutive Rules |
92
Voted
RR
2007
Springer
15 years 5 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...
89
Voted
IGPL
2008
14 years 11 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...
68
Voted
COLING
1990
15 years 25 days 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...
103
Voted
FUZZY
2001
Springer
15 years 4 months ago
2001
Springer
RSCTC
2000
Springer
15 years 3 months ago
2000
Springer