Analyzing coverage of a student's utterance or essay (completeness) and diagnosing errors (correctness) can be treated as a diagnosis problem and solved using a well-known technique for model-based diagnosis: an assumption-based truth maintenance system (ATMS). The function-free first-order predicate logic (FOPL) representation of the essay is matched with nodes of the ATMS that are then analyzed for being within the sound part of the closure or relying on a particular misconception
An End-Of-Turn Detection Module (EOTD-M) is an essential component of automatic Spoken Dialogue Syst...
Processing presupposition: Verifying sentences with ‘only’ With respect to how comprehenders process...
This paper discusses the relations between extended incidence calculus and assumption-based truth ma...
This paper presents an extension of the assumption-based truth maintenance system (ATMS), called “cr...
Assumption-based truth maintenance systems have become a powerful and widely used tool in Artificial...
This paper describes how to use an assumption-based truth maintenance system (ATMS) to significantly...
The Assumption-based Truth Maintenance System (ATMS) is a general and powerful problem-solving tool ...
De Kleer’s Assumption-based Truth Maintenance System (ATMS) is a propositional inference engine de-s...
In this paper we (1) define the concept of a Clause Man-agetnent System (CMS) — a generaizatiou of ...
An algorithm is described which computes stable mod-els of propositional logic programs with negatio...
AbstractThis paper discusses the relations between extended incidence calculus and assumption-based ...
This talk will present a real-world case study in the insurance domain that exploits speech and lang...
Students ’ natural language (NL) explanations in the domain of qualitative mechanics lie in-between ...
. This paper discusses the relationship between incidence calculus and the ATMS. It shows that manag...
In Model-Based Diagnosis, a set of inference rules is typically used to compute diagnoses using a sc...
An End-Of-Turn Detection Module (EOTD-M) is an essential component of automatic Spoken Dialogue Syst...
Processing presupposition: Verifying sentences with ‘only’ With respect to how comprehenders process...
This paper discusses the relations between extended incidence calculus and assumption-based truth ma...
This paper presents an extension of the assumption-based truth maintenance system (ATMS), called “cr...
Assumption-based truth maintenance systems have become a powerful and widely used tool in Artificial...
This paper describes how to use an assumption-based truth maintenance system (ATMS) to significantly...
The Assumption-based Truth Maintenance System (ATMS) is a general and powerful problem-solving tool ...
De Kleer’s Assumption-based Truth Maintenance System (ATMS) is a propositional inference engine de-s...
In this paper we (1) define the concept of a Clause Man-agetnent System (CMS) — a generaizatiou of ...
An algorithm is described which computes stable mod-els of propositional logic programs with negatio...
AbstractThis paper discusses the relations between extended incidence calculus and assumption-based ...
This talk will present a real-world case study in the insurance domain that exploits speech and lang...
Students ’ natural language (NL) explanations in the domain of qualitative mechanics lie in-between ...
. This paper discusses the relationship between incidence calculus and the ATMS. It shows that manag...
In Model-Based Diagnosis, a set of inference rules is typically used to compute diagnoses using a sc...
An End-Of-Turn Detection Module (EOTD-M) is an essential component of automatic Spoken Dialogue Syst...
Processing presupposition: Verifying sentences with ‘only’ With respect to how comprehenders process...
This paper discusses the relations between extended incidence calculus and assumption-based truth ma...
Add to ORKG