158 search results - page 16 / 32 » Automated Lattice Drawing |
TPHOL
2007
IEEE
14 years 1 months ago
2007
IEEE
Placing our result in a web of related mechanised results, we give a direct proof that the de Bruijn λ-calculus (`a la Huet, Nipkow and Shankar) is isomorphic to an α-quotiented ...
ICCBR
2005
Springer
14 years 1 months ago
2005
Springer
Tutoring systems have been a popular domain for CBR since its very beginning. In this paper we draw a connection between casebased teaching and learning-by-doing approach to tutori...
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
Constraint languages that arise from finite algebras have recently been the object of study, especially in connection with the Dichotomy Conjecture of Feder and Vardi. An importa...
LPNMR
2004
Springer
14 years 1 months ago
2004
Springer
We investigate a generalization of weight-constraint programs with stable semantics, as implemented in the ASP solver smodels. Our programs admit atoms of the form X, F where X is ...
AISC
2010
Springer
14 years 14 days ago
2010
Springer
Abstract. The main goal of our work is to formally prove the correctness of the key commands of the SCHUR software, an interactive program for calculating with characters of Lie gr...