Sciweavers

6794 search results - page 348 / 1359
» Semantics of Visual Languages
Sort
View
ESOP
2009
Springer
16 years 1 months ago
Minimization Algorithm for Symbolic Bisimilarity
The operational semantics of interactive systems is usually d by labeled transition systems. Abstract semantics is defined in terms of bisimilarity that, in the finite case, can ...
Filippo Bonchi, Ugo Montanari
RR
2007
Springer
16 years 24 days ago
Extending SWRL to Enhance Mathematical Support
This paper presents an extension to the Semantic Web Rule Language and a methodology to enable advanced mathematical support in SWRL rules. This solution separates mathematical and...
Alfonso Sánchez-Macián, Encarna Past...
FINTAL
2006
15 years 10 months ago
Paraphrase Identification on the Basis of Supervised Machine Learning Techniques
Abstract. This paper presents a machine learning approach for paraphrase identification which uses lexical and semantic similarity information. In the experimental studies, we exam...
Zornitsa Kozareva, Andrés Montoyo
IJCAI
2003
15 years 8 months ago
Terminological Cycles in a Description Logic with Existential Restrictions
Cyclic definitions in description logics have until now been investigated only for description logics allowing for value restrictions. Even for the most basic language which allow...
Franz Baader
EACL
1989
ACL Anthology
15 years 7 months ago
An Algorithm For Generation In Unification Categorial Grammar
We present an algorithm for the generation of sentences from the semantic representations of Unification Categorial Grammar. We discuss a variant of Shieber's semantic monoto...
Jonathan Calder, Mike Reape, Henk Zeevat