1059 search results - page 81 / 212 » Unification-Based Semantic Interpretation |
109
click to vote
ITRE
2005
IEEE
15 years 5 months ago
2005
IEEE
A Bayesian network model is a popular technique for data mining due to its intuitive interpretation. This paper presents a semantic genetic algorithm (SGA) to learn a complete qual...
ASM
2005
ASM
15 years 5 months ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
107
click to vote
AGP
1994
IEEE
15 years 3 months ago
1994
IEEE
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...
104
click to vote
CSL
2008
Springer
15 years 1 months ago
2008
Springer
We give a graph theoretical criterion on multiplicative additive linear logic (MALL) cut-free proof structures that exactly characterizes those whose interpretation is a hypercliqu...
COLING
2002
14 years 11 months ago
2002
In some contexts, well-formed natural language cannot be expected as input to information or communication systems. In these contexts, the use of grammar-independent input (sequen...