49 search results - page 6 / 10 » The Validity of Providing Automated Hints in an ITS Using a ... |
KR
1998
Springer
13 years 11 months ago
1998
Springer
This work is motivated by the existence of two useful but quite different knowledge representation formalisms, the situation calculus due to McCarthy, and the logic OL of only kno...
DAC
2009
ACM
14 years 8 months ago
2009
ACM
Post-silicon validation has recently drawn designers' attention due to its increasing impacts on the VLSI design cycle and cost. One key feature of the post-silicon validatio...
KR
2010
Springer
14 years 4 days ago
2010
Springer
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...
SEMWEB
2007
Springer
14 years 1 months ago
2007
Springer
Numerous ontology alignment algorithms have appeared in the literature in recent years, but only a few make use of the semantics enclosed within the ontologies in order to improve ...
MICCAI
2008
Springer
14 years 8 months ago
2008
Springer
Recent developments in MR data acquisition technology are starting to yield images that show anatomical features of the hippocampal formation at an unprecedented level of detail, p...