Sciweavers

2500 search results - page 209 / 500
» Logical Semantics of Modularisation
Sort
View
FLAIRS
2004
15 years 8 months ago
Use of Default Reasoning for Disambiguation Under Question Answering
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...
Boris Galitsky
COLING
1994
15 years 7 months ago
Consequence Relations In DRT
We discuss some consequence relations in DRT useful to discourse semantics. We incorporate some consequence relations into DRT using sequent calculi. We also show some connections...
Seiki Akama, Yotaro Nakayama
LOGCOM
2008
138views more  LOGCOM 2008»
15 years 6 months ago
Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
Following recent developments in the topic of generalized quantifiers, and also having in mind applications in the areas of security and artificial intelligence, a conservative en...
Luís Cruz-Filipe, João Rasga, Am&iac...
COLING
2002
15 years 6 months ago
Computation of Modifier Scope in NP by a Language-neutral Method
The relative logical scope of multiple modifiers within NP is often semantically significant. This paper proposes a structurally based method for computing the relative scope of s...
Richard Campbell
FQAS
2004
Springer
104views Database» more  FQAS 2004»
15 years 12 months ago
Logic-Based Integration of Query Answering and Knowledge Discovery
Abstract. There is currently great interest in integrating knowledge discovery research into mainstream database systems. Such an enterprise is nontrivial because knowledge discove...
Marcelo A. T. Aragão, Alvaro A. A. Fernande...