1587 search results - page 141 / 318 » The Semantics of Extended SOFL |
127
click to vote
WOLLIC
2009
Springer
15 years 11 months ago
2009
Springer
A relation between two secrets, known in the literature as nondeducibility, was originally introduced by Sutherland. We extend it to a relation between sets of secrets that we call...
130
click to vote
TABLEAUX
1997
Springer
15 years 8 months ago
1997
Springer
We present a Prolog program that implements a sound and complete theorem prover for first-order intuitionistic logic. It is based on free-variable semantic tableaux extended by an...
137
click to vote
CAAP
1990
15 years 8 months ago
1990
One approach to give semantics to languages with subtypes is by translation to target languages without subtyping: subtypings A 6 B are interpreted via conversion functions A B. ...
129
click to vote
VLDB
1991
ACM
15 years 7 months ago
1991
ACM
We explore the implications of supporting bags (i.e. multisets) in a data model and associated query language, and present some formal results concerned with the algebraic propert...
130
click to vote
AAAI
2004
15 years 5 months ago
2004
Clark's completion is a simple nonmonotonic formalism and a special case of several nonmonotonic logics. Recently there has been work on extending completion with "loop ...