5243 search results - page 186 / 1049 » Reasoning About Strategies |
155
click to vote
CADE
1992
Springer
15 years 10 months ago
1992
Springer
There are syntactically identifiable situations in which reduction does not occur in chain format linear deduction systems, i.e. situations in which linear-input subdeductions are ...
185
click to vote
LPAR
1994
Springer
15 years 10 months ago
1994
Springer
In this paper we develop a generic declarative diagnoser for normal logic programs that is based on tree search. The soundness and the completeness of the diagnoser are proved. The...
158
click to vote
HICSS
2007
IEEE
16 years 27 days ago
2007
IEEE
Information and Communication Technologies (ICTs) are rapidly changing and new technologies, processes, and skills are constantly emerging. An important challenge for the research...
131
click to vote
ACE
2004
15 years 8 months ago
2004
As the scope of computer science continues to expand and move further into inter-disciplinary research, we see communication skills development (CSD) gain prominence in tertiary c...
156
click to vote
IJCAI
2003
15 years 8 months ago
2003
We address the task of problem determination in a distributed system using probes, or test transactions, which gather information about system components. Effective probing requir...