Although the Semantic web is steadily gaining in popularity, it remains a mystery to a large percentage of Internet users. This can be ed to the complexity of the technologies tha...
Pradeep Dantuluri, Brian Davis, Siegfried Handschu...
Categorial grammars in the tradition of Lambek [18, 19] are asymmetric: sequent statements are of the form Γ ⇒ A, where the succedent is a single formula A, the antecedent a st...
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
We present GENSEM, a tool for generating input semantic representations for two sentence generators based on the same reversible Tree Adjoining Grammar. We then show how GENSEM ca...
Claire Gardent, Benjamin Gottesman, Laura Perez-Be...
Four different kinds of grammars that can define crossing dependencies in human language are compared here: (i) context sensitive rewrite grammars with rules that depend on contex...