1368 search results - page 104 / 274 » Personality-Based Practical Reasoning |
150
click to vote
CSL
2009
Springer
15 years 10 months ago
2009
Springer
This paper extends for the first time semantic interpretation tools to infinite data in order to ensure Input/Output upper bounds on first order Haskell like programs on streams...
176
click to vote
ISPW
1994
IEEE
15 years 10 months ago
1994
IEEE
All software projects are experiments in the sense of the scientific method because the outcomes are not known in advance, theories and hypotheses may be tested in the project emp...
144
click to vote
APSEC
2003
IEEE
15 years 9 months ago
2003
IEEE
Using the language Z for more than specification is hindered by the fact that its algebra of schemas is not monotonic with respect to refinement; so specification is modular, but ...
170
click to vote
OWLED
2008
15 years 7 months ago
2008
We view OWL instance data evaluation as a process in which instance data is checked for conformance with application requirements. We previously identified some integrity issues ra...
162
click to vote
CLIMA
2006
15 years 7 months ago
2006
This paper describes a team of agents that took part in the second CLIMA Contest. The team was implemented in a logic-based language for BDI agents and was run in a Java-based inte...