94 search results - page 12 / 19 » Independent Choices and the Interpretation of IF Logic |
ECIS
2000
13 years 9 months ago
2000
Abstract eCommerce of the Business-to-Business (B2B) type requires comprehensivecontractnegotiationsdependingentirelyonacontract schema, which must be developed in advance. Contrac...
AMAI
2008
Springer
13 years 7 months ago
2008
Springer
In a previous paper [BMR01], the authors showed that the mechanism underlying Logic Programming can be extended to handle the situation where the atoms are interpreted as subsets o...
ICLP
2001
Springer
14 years 2 hour ago
2001
Springer
Abstract. Groundness analysis of logic programs using Pos-based abstract interpretation is one of the clear success stories of the last decade in the area of logic program analysis...
JOLLI
2007
13 years 7 months ago
2007
Every pregroup grammar is shown to be strongly equivalent to one which uses basic types and left and right adjoints of basic types only. Therefore a semantical interpretation is i...
RSCTC
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. This paper focuses on the use and interpretation of approximate databases where both rough sets and indiscernibility partitions are generalized and replaced by approximat...