1223 search results - page 150 / 245 » An Attributive Logic of Set Descriptions and Set Operations |
IAT
2009
IEEE
15 years 8 months ago
2009
IEEE
—High level conceptual thought seems to be at the basis of the impressive human cognitive ability. Classical topdown (Logic based) and bottom-up (Connectionist) approaches to the...
115
click to vote
ICWS
2008
IEEE
15 years 3 months ago
2008
IEEE
In this work, we present a framework for the semantic composition of web services based on Statecharts and uniform community service descriptions. Our model is a two step process....
103
click to vote
INTERNET
2007
15 years 1 months ago
2007
evel of abstraction, we can represent a workflow as a directed graph with operators (or tasks) at the vertices (see Figure 1). Each operator takes inputs from data sources or from ...
131
click to vote
KR
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, partial knowledge about the possible transitions which can take place in a dynamical environment is represented by a set of pairs of propositional formulae, with th...
128
click to vote
WLP
1997
Springer
15 years 5 months ago
1997
Springer
eduction strategies for logic programs often use an abstraction operator to guarantee the niteness of the set of goals for which partial deductions are . Findingan abstraction ope...