3066 search results - page 146 / 614 » On Facilitating Automated Evaluation |
DEON
2006
Springer
14 years 26 days ago
2006
Springer
The paper outlines an approach to the formal representation of signalling conventions, emphasising the prominent role played therein by a particular type of normative modality. It ...
ICLP
1995
Springer
14 years 23 days ago
1995
Springer
In this paper, we describe a system, called TheoryBase, whose goal is to facilitate experimental studies of nonmonotonic reasoning systems. TheoryBase generates test default theor...
DLOG
2008
13 years 11 months ago
2008
Absorptions are generally employed in Description Logics (DL) reasoners in a uniform way regardless of the structure of an input knowledge base. In this paper we present an approac...
GIS
2008
ACM
13 years 9 months ago
2008
ACM
Spatially enabled government requires the development of effective SDIs that will support the vast majority of society, who are not spatially aware, in a transparent manner. This ...
CL
2006
Springer
13 years 9 months ago
2006
Springer
Intensional views and relations have been proposed as a way of actively documenting high-level structural regularities in the source code of a software system. By checking conform...