3773 search results - page 16 / 755 » Logical Reasoning |
130
click to vote
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
Ford has introduced a non-monotonic logic, System LS, inspired by an empirical study of human non-monotonic reasoning. We define here a defeasible logic FDL based on Ford’s logi...
137
Voted
ICTL
1994
15 years 7 months ago
1994
This paper presents a temporal belief logic called
199
Voted
LLL
1999
Springer
15 years 7 months ago
1999
Springer
133
click to vote
CONCUR
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.
111
Voted
ICWE
2004
Springer
15 years 8 months ago
2004
Springer
The paper proposes some applications of description logic reasoning techniques in web–based education environments. Current solutions are web oriented but without applying ontolo...