Sciweavers

987 search results - page 33 / 198
» Ludics and Its Applications to Natural Language Semantics
Sort
View
ECMDAFA
2007
Springer
156views Hardware» more  ECMDAFA 2007»
15 years 10 months ago
Human Comprehensible and Machine Processable Specifications of Operational Semantics
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
Markus Scheidgen, Joachim Fischer
COLING
2000
15 years 7 months ago
A Formal Semantics for Generating and Editing Plurals
We present a formal semantics for an objectoriented formalism which allows for the representation of plural objects (such as `Three N', `Most of the N', `Some N',.....
Paul Piwek
ESWS
2005
Springer
15 years 11 months ago
AquaLog: An Ontology-Portable Question Answering System for the Semantic Web
As semantic markup becomes ubiquitous, it will become important to be able to ask queries and obtain answers, using natural language (NL) expressions, rather than the keyword-based...
Vanessa Lopez, Michele Pasin, Enrico Motta
POPL
2012
ACM
14 years 1 months ago
A language for automatically enforcing privacy policies
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
Jean Yang, Kuat Yessenov, Armando Solar-Lezama
MODELS
2010
Springer
15 years 4 months ago
Capturing the Intention of Model Changes
Abstract. Model differences calculated by differencing algorithms contain the atomic changes made to a model. However, they do not capture the user’s intention of the modifica...
Patrick Könemann