1032 search results - page 12 / 207 » Extended Computation Tree Logic |
82
Voted
LICS
2009
IEEE
15 years 4 months ago
2009
IEEE
—We use the recently developed theory of forest algebras to find algebraic characterizations of the languages of unranked trees and forests definable in various logics. These i...
65
Voted
SBIA
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. The ability to view extended logic programs as argumentation systems opens the way for the use of this language in formalizing communication among reasoning computing age...
71
Voted
AUSAI
2007
Springer
15 years 3 months ago
2007
Springer
In this paper, we extend Defeasible Logic (a computationally-oriented non-monotonic logic) in order to deal with temporalised rules. In particular, we extend the logic to cope with...
ACL
2009
14 years 7 months ago
2009
We present a discourse-level Tree Adjoining Grammar which tightly integrates syntax and discourse levels, including a representation for discourse entities. We show that this tech...
FSS
2008
14 years 9 months ago
2008
In this paper we propose computationally simple, pointwise formulas for extended t-norms and t-conorms on fuzzy truth values. The complex convolutions of the extended operations a...