1368 search results - page 99 / 274 » Personality-Based Practical Reasoning |
125
click to vote
FAABS
2000
Springer
15 years 6 months ago
2000
Springer
Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophis...
127
click to vote
AFP
1995
Springer
15 years 6 months ago
1995
Springer
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
111
click to vote
CAV
2010
Springer
15 years 6 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...
124
click to vote
ESEM
2008
ACM
15 years 4 months ago
2008
ACM
An important task in Requirements Engineering is to select which requirements that should go into a specific release of a system. This is a complex decision that requires balancin...
134
click to vote
EON
2008
15 years 4 months ago
2008
One of the arguments for choosing description logics as the basis for the Web Ontology Language is the ability to support the development of complex ontologies through logical reas...