Sciweavers

2 search results - page 1 / 1
» Bialgebraic Methods in Structural Operational Semantics: Inv...
Sort
View
ENTCS
2007
161views more  ENTCS 2007»
13 years 3 months ago
Bialgebraic Methods in Structural Operational Semantics: Invited Talk
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of alg...
Bartek Klin
CICLING
2008
Springer
13 years 5 months ago
Natural Language as the Basis for Meaning Representation and Inference
Abstract. Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on logical representatio...
Ido Dagan, Roy Bar-Haim, Idan Szpektor, Iddo Green...