97 search results - page 14 / 20 » A 'Natural Logic' inference system using the Lambek calculus |
ICTAI
2007
IEEE
14 years 1 months ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
DBPL
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...
SEBD
1997
13 years 8 months ago
1997
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...
PADL
2001
Springer
13 years 11 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
AIIDE
2008
13 years 9 months ago
2008
Systems that provide automated game-design support-whether fully automated game generators, or tools to assist human designers--must be able to maintain a representation of a game...