3773 search results - page 18 / 755 » Logical Reasoning |
ENTCS
2007
14 years 9 months ago
2007
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...
SEMWEB
2005
Springer
15 years 3 months ago
2005
Springer
There has been considerable debate as to the merits and the applicability of probabilistic or statistical reasoning to Semantic Web. Much of this debate seems to have centered on ...
CADE
1994
Springer
15 years 1 months ago
1994
Springer
ECSQARU
2001
Springer
15 years 2 months ago
2001
Springer
LPAR
2001
Springer
15 years 2 months ago
2001
Springer
A simple model of dynamic databases is studied from a modal logic perspecitve. A state α of a database is an atomic update of a state β if at most one atomic statement is evaluat...