1746 search results - page 60 / 350 » A Constructive Semantics for ALC |
119
click to vote
PVLDB
2010
15 years 2 months ago
2010
We propose the demonstration of Keymantic, a system for keyword-based searching in relational databases that does not require a-priori knowledge of instances held in a database. I...
125
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for...
132
click to vote
JSAI
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a proposal for the integration of information structure in a unification-based grammar of Danish. Three information structure features – topic, focus and bac...
118
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is...
143
click to vote
ECOWS
2007
Springer
15 years 10 months ago
2007
Springer
The semantic annotation of Web services capabilities with ontological information aims at providing the necessary infrastructure for facilitating efficient and accurate service di...