3385 search results - page 110 / 677 » Language, Logic, and the Brain |
DSS
2007
13 years 10 months ago
2007
The use of positive and negative reasons in inference and decision aiding is a recurrent issue of investigation as far as the type of formal language to use within a DSS is concer...
ICALP
2009
Springer
14 years 10 months ago
2009
Springer
ER
2009
Springer
14 years 4 months ago
2009
Springer
ICSE
2007
IEEE-ACM
14 years 10 months ago
2007
IEEE-ACM
We present Trio2Promela, a tool for model checking metric temporal logic specifications written in the TRIO language. Our approach is based on the translation of formulae into Pro...
TIME
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...