8228 search results - page 366 / 1646 » Structural Logical Relations |
198
click to vote
CIDR
2009
15 years 8 months ago
2009
The challenge of managing unstructured data represents perhaps the largest data management opportunity for our community since managing relational data. And yet we are risking let...
162
click to vote
DIAGRAMS
2004
Springer
16 years 5 days ago
2004
Springer
Query graphs with cuts are inspired by Sowa’s conceptual graphs, which are in turn based on Peirce’s existential graphs. In my thesis ‘The Logic System of Concept Graphs with...
161
click to vote
COLING
2008
15 years 8 months ago
2008
We propose an approach to natural language inference based on a model of natural logic, which identifies valid inferences by their lexical and syntactic features, without full sem...
171
click to vote
ISMVL
2000
IEEE
15 years 11 months ago
2000
IEEE
A sequential realization of multiple-output logic functions is presented. A conventional sequential realization is based on SBDDs (Shared reduced ordered Binary Decision Diagrams)...
162
click to vote
DIAGRAMS
2000
Springer
15 years 11 months ago
2000
Springer
The goal of the paper is to explicate some common formal logic underlying various notational systems used in visual modeling. The idea is to treat the notational diversity as the d...