1223 search results - page 106 / 245 » An Attributive Logic of Set Descriptions and Set Operations |
193
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
We describe the design and implementation of a higher-order tabled logic programming interpreter where some redundant and infinite computation is eliminated by memoizing sub-comput...
150
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
With the increasing availability of Web-enabled mobile devices, we are facing the problem to effectively adapt Web content for those devices. For adaptation, Web page structures r...
186
click to vote
AAAI
2008
15 years 8 months ago
2008
Probabilistic logic programming is a powerful technique to represent and reason with imprecise probabilistic knowledge. A probabilistic logic program (PLP) is a knowledge base whi...
161
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...
166
click to vote
JSYML
2006
15 years 6 months ago
2006
The quantified relevant logic RQ is given a new semantics in which a formula xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are mo...