1746 search results - page 90 / 350 » A Constructive Semantics for ALC |
126
click to vote
ER
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The modelling of landscape environment is a cognitive activity, that still requires novel kinds of spatial representations. This paper introduces a structural categorisat...
141
click to vote
CSR
2008
Springer
15 years 4 months ago
2008
Springer
An (n, k)-ary quantifier is a generalized logical connective, binding k variables and connecting n formulas. Canonical systems with (n, k)-ary quantifiers form a natural class of G...
122
click to vote
JCIT
2008
15 years 4 months ago
2008
Two simple but practical production systems are modeled using Petri Nets. Petri-net models are very useful in finding semantic errors like generalization error and missing conditi...
137
click to vote
JSYML
2006
15 years 4 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...
134
click to vote
IAT
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper proposes a module-based vision for designing BDI-based multi-agent programming languages. The introduced concept of modules enables common programming techniques such...