7988 search results - page 440 / 1598 » A Useful Undecidable Theory |
207
click to vote
COMMA
2006
15 years 8 months ago
2006
In this paper we discuss the integration of two systems that are based on a specific theory of argumentation: the first, an existing web-based discussion forum; the second, a metho...
235
click to vote
WOODPECKER
2001
15 years 8 months ago
2001
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking o...
212
click to vote
ACL
1997
15 years 8 months ago
1997
In this paper we describe an approach to constraint based syntactic theories in terms of finite tree automata. The solutions to constraints expressed in weak monadic second order ...
192
click to vote
AIM
2006
15 years 7 months ago
2006
: This paper explores the use of the web to build trust among value web chains. Businesses tend to concentrate on the traditional tangible elements of the supply chain and ignore t...
179
click to vote
JODS
2007
15 years 6 months ago
2007
This paper describes a theoretical framework for inducing knowledge from incomplete data sets. The general framework can be used with any formalism based on a lattice structure. It...