5378 search results - page 218 / 1076 » Base Logics in Argumentation |
157
click to vote
ACL
2008
15 years 8 months ago
2008
The standard set of rules defined in Combinatory Categorial Grammar (CCG) fails to provide satisfactory analyses for a number of syntactic structures found in natural languages. T...
165
click to vote
COLING
2002
15 years 6 months ago
2002
We present a principled approach to the problem of connecting a controlled document authoring system with a knowledge base. We start by describingclosed-world authoring situations...
158
click to vote
AAAI
1998
15 years 8 months ago
1998
We consider computational issues in combining logical knowledge bases represented by their characteristic models; in particular, we study taking their logical intersection. We pre...
190
click to vote
LOPSTR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
185
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
— Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. It is well known that the choice of the fuzzy operat...