111 search results - page 2 / 23 » Using Counterfactuals in Knowledge-Based Programming |
ALPUK
1990
13 years 7 months ago
1990
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
INTERACT
2003
13 years 7 months ago
2003
: Whereas sophisticated computer users can exercise more control in what they are exposed to and produce computational artifacts, technologically challenged end-users assume a more...
KR
1994
Springer
13 years 9 months ago
1994
Springer
In this paper we describe REVISE, an extended logic programming system for revising knowledge bases. REVISE is based on logic programming with explicit negation, plus a two-valued...
ITS
1992
Springer
13 years 9 months ago
1992
Springer
: The ProgramCritic is a system designed to analyze and critique students' computer programs. After analyzing a program, the ProgramCritic provides the student with a list of ...