3335 search results - page 141 / 667 » A Unified Approach to Modeling and Programming |
204
click to vote
LPNMR
2007
Springer
16 years 17 days ago
2007
Springer
Decision making models for autonomous agents have received increased attention, particularly in the field of intelligent robots. In this paper we will show how a Defeasible Logic ...
207
click to vote
ESOP
2001
Springer
15 years 11 months ago
2001
Springer
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...
182
click to vote
LPNMR
2009
Springer
15 years 11 months ago
2009
Springer
Several proposals of the semantics of aggregates are based on different extensions of the stable model semantics, which makes it difficult to compare them. In this note, building ...
172
click to vote
ICSEA
2007
IEEE
16 years 22 days ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
189
click to vote
MODELS
2007
Springer
16 years 17 days ago
2007
Springer
Many safety-related and certification standards exist for developing safety-critical systems. Safety assessments are performed in practice, and system certification according to a...