1746 search results - page 75 / 350 » A Constructive Semantics for ALC |
214
click to vote
CALCO
2011
Springer
14 years 4 months ago
2011
Springer
Fusion is arguably the simplest way to combine modal logics. For normal modal logics with Kripke semantics, many properties such as completeness and decidability are known to trans...
155
click to vote
JOLLI
2010
15 years 2 months ago
2010
After a quick overview of the field of study known as “Lexical Semantics”, where we advocate the need of accessing additional information besides syntax and Montaguestyle sema...
171
click to vote
JUCS
2010
14 years 11 months ago
2010
: We develop and study the concept of dataflow process networks as used for example by Kahn to suit exact computation over data types related to real numbers, such as continuous fu...
121
click to vote
CALCO
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Viewing discrete-time causal linear systems as (Mealy) coalgebras, we describe their semantics, minimization and realisation as universal constructions, based on the fin...
143
Voted
AI
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. A top-down parsing algorithm has been constructed to accommodate any form of ambiguous context-free grammar, augmented with semantic rules with arbitrary attribute depend...