Sciweavers

713 search results - page 94 / 143
» Syntax and Semantics of Babel-17
Sort
View
JOLLI
2010
107views more  JOLLI 2010»
14 years 11 months ago
PGF: A Portable Run-time Format for Type-theoretical Grammars
Abstract PGF (Portable Grammar Format) is a low-level language used as a target of compiling grammars written in GF (Grammatical Framework). Low-level and simple, PGF is easy to re...
Krasimir Angelov, Björn Bringert, Aarne Ranta
105
Voted
VL
2010
IEEE
173views Visual Languages» more  VL 2010»
14 years 11 months ago
Modular Design by Contract Visually and Formally Using VCL
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
Nuno Amálio, Pierre Kelsen
118
Voted
INLG
2010
Springer
14 years 10 months ago
Grouping Axioms for More Coherent Ontology Descriptions
Ontologies and datasets for the Semantic Web are encoded in OWL formalisms that are not easily comprehended by people. To make ontologies accessible to human domain experts, sever...
Sandra Williams, Richard Power
SDB
1995
178views Database» more  SDB 1995»
15 years 4 months ago
A Semantics-based Approach to Design of Query Languages for Partial Information
Most of work on partial information in databases asks which operations of standard languages, like relational algebra, can still be performed correctly in the presence of nulls. In...
Leonid Libkin
90
Voted
IJCINI
2007
66views more  IJCINI 2007»
15 years 20 days ago
Language, Logic, and the Brain
Language is primarily a physical, and more particularly a biological phenomenon. To say that it is primarily so is to say that that is how, in the first instance, it presents itse...
Ray E. Jennings