289 search results - page 24 / 58 » Algebraic results for structured operational semantics |
172
click to vote
IJCAI
2003
15 years 7 months ago
2003
Refinement operators for theories avoid the problems related to the myopia of many relational learning algorithms based on the operators that refine single clauses. However, the n...
150
click to vote
IEAAIE
1999
Springer
15 years 10 months ago
1999
Springer
This paper presents a strategy to handle incomplete knowledge during acquisition process. The goal of this research is to develop formal tools that benefit the law of semantic bala...
164
click to vote
ESWS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We think of Match as an operator which takes two graph-like structures and produces a mapping between those nodes of the two graphs that correspond semantically to each o...
165
click to vote
AML
2006
15 years 6 months ago
2006
Lukasiewicz's infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all evaluations in the Lukasiewicz algebra on the unit real interva...
160
click to vote
OTM
2005
Springer
15 years 11 months ago
2005
Springer
We view match as an operator that takes two graph-like structures (e.g., XML schemas) and produces a mapping between the nodes of these graphs that correspond semantically to each ...