550 search results - page 10 / 110 » Context Semantics, Linear Logic and Computational Complexity |
EPIA
2005
Springer
15 years 3 months ago
2005
Springer
Theoretical research has spent some years facing the problem of how to represent and provide semantics to updates of logic programs. This problem is relevant for addressing highly ...
ACL
2009
14 years 7 months ago
2009
We consider the problem of learning context-dependent mappings from sentences to logical form. The training examples are sequences of sentences annotated with lambda-calculus mean...
JSYML
2000
14 years 9 months ago
2000
We introduce a sequent calculus B for a new logic, named basic logic. The aim of basic logic is to find a structure in the space of logics. Classical, intuitionistic, quantum and ...
PERCOM
2008
ACM
15 years 9 months ago
2008
ACM
Semantic similarity measurement gained attention over the last years as a non-standard inference service for various kinds of knowledge representations including description logics...
89
Voted
BIRTHDAY
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We survey some of the main results regarding the complexity and expressive power of Live Sequence Charts (LSCs). We first describe the two main semantics given to LSCs: a...