4126 search results - page 112 / 826 » Relationships with other Formalisms |
144
click to vote
LREC
2008
15 years 7 months ago
2008
This paper summarizes the annotation of fine-grained entailment relationships in the context of student answers to science assessment questions. We annotated a corpus of 15,357 an...
168
click to vote
ECSQARU
2007
Springer
16 years 15 days ago
2007
Springer
Problems of conceptual uncertainty have been dealt with in theories of formal logic. Such theories try to accommodate vagueness in two main ways. One is fuzzy logic that introduces...
156
click to vote
IAT
2006
IEEE
16 years 11 days ago
2006
IEEE
In this paper we present a formalism for symbolic negotiation. We regard symbolic negotiation as cooperative problem solving (CPS), which is based on symbolic reasoning and is ext...
182
click to vote
DEON
2010
Springer
15 years 11 months ago
2010
Springer
In 1926, Mally proposed the first formal deontic system. As Mally and others soon realized, this system had some rather strange consequences. We show that the strangeness of Mally...
135
click to vote
LREC
2008
15 years 7 months ago
2008
This paper introduces Saxon, a rule based document annotator that is capable of processing and annotating several document formats and media, both within and across documents. Fur...