3081 search results - page 239 / 617 » A Formal Ontology of Properties |
183
click to vote
KRMED
2004
15 years 8 months ago
2004
The symbolic representation of the physical structure of living organisms needs an ontologically well-founded and logically sound approach so that formal reasoning can adequately ...
155
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
Human Resources Management (HRM) is the strategic management of the employees, who individually and collectively contribute to the achievement of the strategic goals of an organiza...
216
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
162
click to vote
SAS
2000
Springer
15 years 10 months ago
2000
Springer
Design constraints express essential behavioural properties of a software system. Two key elements of a scheme for enforcing design constraints are presented: a logic for describin...
141
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We investigate planning for self-interested agents in large multi-agent simulations. We present two heuristic algorithms that exploit different domain-specific properties in order...