1454 search results - page 90 / 291 » Stateful traits and their formalization |
83
Voted
FLAIRS
2003
15 years 2 months ago
2003
It has been discovered about a decade ago that autistic people cannot properly understand and reproduce mental states and emotions. In this study we suggest a particular emotion r...
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
Many forms of reasoning about actions and planning can be reduced to regression, the computation of the weakest precondition a state has to satisfy to guarantee the satisfaction of...
100
click to vote
APLAS
2010
ACM
15 years 26 days ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...
100
Voted
COLING
2002
15 years 14 days ago
2002
We report about the current state of development of a document suite and its applications. This collection of tools for the flexible and robust processing of documents in German i...
FAC
2002
15 years 12 days ago
2002
Formal methods can be used in effective combination only if the semantic links between individual methods are clearly established. This paper discusses the semantic design of TCOZ,...