1321 search results - page 167 / 265 » Subtyping in Logical Form |
182
click to vote
DKE
2007
15 years 6 months ago
2007
Previous studies on mining sequential patterns have focused on temporal patterns specified by some form of propositional temporal logic. However, there are some interesting seque...
155
click to vote
IANDC
2010
15 years 4 months ago
2010
Categorial grammars in the tradition of Lambek [18, 19] are asymmetric: sequent statements are of the form Γ ⇒ A, where the succedent is a single formula A, the antecedent a st...
192
click to vote
IEEEHPCS
2010
15 years 4 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
157
click to vote
KI
2010
Springer
15 years 4 months ago
2010
Springer
The key task in probabilistic reasoning is to appropriately update one’s beliefs as one obtains new information in the form of evidence. In many application settings, however, th...
208
click to vote
JELIA
2010
Springer
15 years 4 months ago
2010
Springer
Tabled Logic Programming (TLP) is becoming widely available in Prolog systems, but most implementations of TLP implement only answer variance in which an answer A is added to the t...