2303 search results - page 274 / 461 » On the logic of argumentation theory |
190
click to vote
CADE
2003
Springer
16 years 6 months ago
2003
Springer
Abstract. We present an abstract view of existential variables in a dependently typed lambda-calculus based on modal type theory. This allows us to justify optimizations to pattern...
199
click to vote
IFSA
2007
Springer
16 years 21 days ago
2007
Springer
The algebra of truth values for fuzzy sets of type-2, due to Zadeh, contains as subalgebras those of type-1 and of interval-valued fuzzy sets. It also contains many other interest...
152
click to vote
DLOG
2006
15 years 8 months ago
2006
We recently proposed action formalisms based on description logics (DLs) as decidable fragments of well-established action theories such as the Situation Calculus and the Fluent C...
167
click to vote
IJCAI
2003
15 years 8 months ago
2003
A promising technique used in some planning systems to improve their performance is the use of domain dependent search control knowledge. We present a procedure for compiling sear...
143
click to vote
COLING
1992
15 years 7 months ago
1992
This paper focuses on a theory of tense and aspect (the representation of time in natural language) that attempts a formM representation of the relevant liltguistic devices as imp...