3776 search results - page 111 / 756 » Partition-Based Logical Reasoning |
120
Voted
FLAIRS
2004
15 years 4 months ago
2004
We develop the default logic for pragmatic analysis of natural language queries. Ambiguous sentences are considered so that each set of meanings is assigned an extension of defaul...
103
Voted
IJCAI
2001
15 years 4 months ago
2001
We present an empirical analysis of optimization techniques devised to speed up the so-called TBox classification supported by description logic systems which have to deal with ve...
120
Voted
AI
2002
Springer
15 years 2 months ago
2002
Springer
ko et al. have recently proposed an abstract framework for default reasoning. Besides capturing most existing formalisms and proving that their standard semantics all coincide, th...
141
Voted
TABLEAUX
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization...
114
Voted
IJCAI
2007
15 years 4 months ago
2007
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simp...