3090 search results - page 104 / 618 » On Testing Answer-Set Programs |
138
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Modern solvers for Boolean Satisfiability (SAT) and Answer Set Programming (ASP) are based on sophisticated Boolean constraint solving techniques. In both areas, conflict-driven l...
IWPC
2003
IEEE
15 years 7 months ago
2003
IEEE
This study examines the effect of individual differences on the program comprehension strategies of users working with an unfamiliar programming system. Participants of varying pr...
173
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
Software testing is an expensive process, which is vital in the industry. Construction of the test-data in software testing requires the major cost and to decide which method to us...
115
click to vote
ERLANG
2008
ACM
15 years 3 months ago
2008
ACM
Current and future trends for software include increasingly complex requirements on interaction between systems. As a result, the difficulty of system testing increases. Model-bas...