28 search results - page 4 / 6 » Combining Classical and Intuitionistic Implications |
NGC
2007
Springer
13 years 4 months ago
2007
Springer
Several constructive description logics,12) in which classical negation was replaced by strong negation as a component to treat negative atomic information have been proposed as in...
ECAI
2010
Springer
13 years 6 months ago
2010
Springer
Whilst narrative representations have played a prominent role in AI research, there has been a renewed interest in the topic with the development of interactive narratives. A typic...
IROS
2009
IEEE
13 years 12 months ago
2009
IEEE
— By combining a low-order model of forecast errors, the extended Kalman filter, and classical continuous optimization, we develop an integrated methodology for planning mobile ...
CORR
2011
Springer
13 years 8 days ago
2011
Springer
Grishin ([10]) proposed enriching the Lambek calculus with multiplicative disjunction (par) and coresiduals. Applications to linguistics were discussed by Moortgat ([15]), who spok...
SPEAKERC
2007
Springer
13 years 11 months ago
2007
Springer
Higher-level features based on linguistic or long-range information have attracted significant attention in automatic speaker recognition. This article briefly summarizes approac...