605 search results - page 29 / 121 » Dealing with logical omniscience |
176
click to vote
EUROPAR
2004
Springer
15 years 11 months ago
2004
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing answers to subgoals. The declarative nature of tabled logic program...
196
Voted
CC
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
133
click to vote
AAAI
2007
15 years 8 months ago
2007
When reasoning about actions and sensors in realistic domains, the ability to cope with uncertainty often plays an essential role. Among the approaches dealing with uncertainty, t...
165
click to vote
ICFCA
2009
Springer
16 years 17 days ago
2009
Springer
Abstract. In a previous paper, we have introduced an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using informat...
142
click to vote
ECSQARU
2009
Springer
16 years 11 days ago
2009
Springer
Argumentation frameworks have proven to be a successful approach to formalizing commonsense reasoning. Recently, some argumentation frameworks have been extended to deal with possi...