159 search results - page 12 / 32 » Complete Laziness: a Natural Semantics |
115
click to vote
JSYML
2006
15 years 1 months ago
2006
The quantified relevant logic RQ is given a new semantics in which a formula xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are mo...
108
click to vote
CLIMA
2007
15 years 3 months ago
2007
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...
125
click to vote
LREC
2008
15 years 3 months ago
2008
Lexical ontologies and semantic lexicons are important resources in natural language processing. They are used in various tasks and applications, especially where semantic process...
101
Voted
EDBTW
2006
Springer
15 years 5 months ago
2006
Springer
ORM (Object-Role Modeling) is a rich and well-known conceptual modeling method. As ORM has a formal semantics, reasoning tasks such as satisfiability checking of an ORM schema natu...
143
Voted
CONTEXT
2005
Springer
15 years 3 months ago
2005
Springer
Multi-context systems can be used to represent contextual information and inter-contextual information flow. We show that the local model semantics of a multi-context system is co...