6 search results - page 2 / 2 » An inclusion theorem for defeasible logics |
LICS
2007
IEEE
13 years 11 months ago
2007
IEEE
We define a new class of languages defined by multi-stack automata that forms a robust subclass of context-sensitive languages, with decidable emptiness and closure under boolea...