3081 search results - page 386 / 617 » A Formal Ontology of Properties |
201
click to vote
ASP
2003
Springer
16 years 28 days ago
2003
Springer
We investigate rule dependency graphs and their colorings for characterizing the computation of answer sets of logic programs. To this end, we develop a series of operational chara...
155
click to vote
ICRA
2000
IEEE
16 years 3 days ago
2000
IEEE
This paper formally introduces several stability characterizations of £xtured three-dimensional rigid bodies initially at rest and in unilateral contact with Coulomb friction. The...
184
click to vote
ATAL
2000
Springer
16 years 2 days ago
2000
Springer
Abstract. In this paper, we describe the Cognitive Agents Specification Language (CASL), and exhibit its characteristics by using it to model the multiagent feature interaction re...
212
click to vote
ARTS
1999
Springer
16 years 6 hour ago
1999
Springer
In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...
165
click to vote
COMPSAC
1996
IEEE
15 years 12 months ago
1996
IEEE
Cohesion was rst developed to predict properties of implementations created from a given design. Unfortunately, cohesion, as originally de ned, could not be objectively assessed, ...