899 search results - page 80 / 180 » Implementing declarative overlays |
ICTAI
2003
IEEE
14 years 1 months ago
2003
IEEE
We are investigating computational models for humancomputer interaction based on a uniform, declarative, knowledge representation. We describe a new implementation of our work cal...
ADC
2003
Springer
14 years 1 months ago
2003
Springer
Mathematics is forcing towards a consistent framework of theory development. Computer Science is an engineering discipline and sometimes suffers from ad-hoc definitions. Transac...
DATE
1998
IEEE
14 years 5 days ago
1998
IEEE
Attribute grammars have been used extensively in every phase of traditional compiler construction. Recently, it has been shown that they can also be effectively adopted to handle ...
KR
1994
Springer
13 years 12 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...
GC
2004
Springer
13 years 11 months ago
2004
Springer
This article summarises part of the work done during the first two years of the SOCS project, with respect to the task of modelling interaction amongst CL-based agents. It describe...