30 search results - page 4 / 6 » Editors' note |
TPHOL
1997
IEEE
13 years 11 months ago
1997
IEEE
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
VL
2005
IEEE
14 years 1 months ago
2005
IEEE
As noted almost a decade ago, HCI (Human-Computer Interaction) aspects of visual language environments are under-developed. This remains a fact, in spite of the central role playe...
SEMWIKI
2008
13 years 9 months ago
2008
This paper presents a tool for semantic personal knowledge management called Hypertext Knowledge Workbench (HKW), an editor and browser for semantic personal knowledge models. The ...
TABLEAUX
1999
Springer
13 years 11 months ago
1999
Springer
Appeared in: N.V. Murray, editor, Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX’99), Lecture Notes in Artificial Intelligence 1617, Springer, pages 2...
AFP
2004
Springer
14 years 28 days ago
2004
Springer
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...