1746 search results - page 149 / 350 » A Constructive Semantics for ALC |
132
click to vote
DATE
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper proposes extensions to the VHDL grammar and de nes new semantics in the language to model the timing behavior of high frequency buses and clock lines with multiple, dis...
128
click to vote
ATAL
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We address the problem of constructing multiagent systems by coordinating autonomous agents, whose internal designs may not be fully known. We develop a customizable coor...
124
click to vote
ATAL
2004
Springer
15 years 8 months ago
2004
Springer
paper we present an abstract agent programming language and its operational semantics which can be used to implement cognitive agents. This language consists of programming constr...
131
click to vote
ISMVL
2010
IEEE
15 years 6 months ago
2010
IEEE
—In this paper we examine different possibilities of defining reduced products and ultraproducts in fuzzy predicate logics. We present analogues to the Łos Theorem for these no...
130
click to vote
CNL
2009
15 years 5 months ago
2009
Controlled natural languages (CNL) and computational semantics in general do not address word sense disambiguation, i.e., they tend to interpret only some functional words that are...