Sciweavers

2138 search results - page 150 / 428
» Logics for the Relational Syllogistic
Sort
View
COLING
1990
13 years 9 months ago
A Logic-Based Government-Binding Parser for Mandarin Chinese
Mandarin Chinese is a highly flexible and context-sensitive language. It is difficult to do the case marking and index assignment during the parsing of Chinese sentences. This pap...
Hsin-Hsi Chen
CORR
2008
Springer
121views Education» more  CORR 2008»
13 years 8 months ago
Graph Algorithms for Improving Type-Logical Proof Search
Proof nets are a graph theoretical representation of proofs in various fragments of type-logical grammar. In spite of this basis in graph theory, there has been relatively little ...
Richard Moot
CAI
2006
Springer
13 years 8 months ago
A Logical Framework for Identifying and Explaining Unexpected News
The number of news reports published online is now so great that it is impossible for any person to read all of them. Not all of these reports are equally interesting. Automating ...
Emma Byrne
IANDC
2006
82views more  IANDC 2006»
13 years 8 months ago
Recognizability, hypergraph operations, and logical types
We study several algebras of graphs and hypergraphs and the corresponding notions of equational sets and recognizable sets. We generalize and unify several existing results which ...
Achim Blumensath, Bruno Courcelle
DKE
1999
87views more  DKE 1999»
13 years 7 months ago
Logical Foundations of Multilevel Databases
In this paper, we propose a formal model for multilevel databases. This model aims at being a generic model, that is it can be interpreted for any kind of database (relational, ob...
Frédéric Cuppens, Alban Gabillon