1426 search results - page 98 / 286 » Specification of nonmonotonic reasoning |
138
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Gist is a tool that (a) solves the qualitative analysis problem of turn-based probabilistic games with -regular objectives; and (b) synthesizes reasonable environment assumptions f...
185
click to vote
CADE
2008
Springer
15 years 8 months ago
2008
Springer
It is well known how to use an intuitionistic meta-logic to specify natural deduction systems. It is also possible to use linear logic as a meta-logic for the specification of a va...
145
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
The purpose of this paper is to provide a solution which allows automatic reasoning processes over Moodle activities logs, in order to obtain user-personalized recommendations. Act...
166
click to vote
AISM
2004
15 years 7 months ago
2004
The `Need to Know' concept is often quoted but rarely defined in the literature. In general the principle directs that unless an individual has a specific reason to have acce...
168
click to vote
FLAIRS
2000
15 years 7 months ago
2000
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...