Sciweavers

5284 search results - page 643 / 1057
» Ontologizing Semantic Relations
Sort
View
ICML
2010
IEEE
15 years 8 months ago
Label Ranking under Ambiguous Supervision for Learning Semantic Correspondences
This paper studies the problem of learning from ambiguous supervision, focusing on the task of learning semantic correspondences. A learning problem is said to be ambiguously supe...
Antoine Bordes, Nicolas Usunier, Jason Weston
AMAI
2007
Springer
15 years 7 months ago
Distance semantics for database repair
Abstract In many scenarios, a database instance violates a given set of integrity constraints. In such cases, it is often required to repair the database, that is, to restore its c...
Ofer Arieli, Marc Denecker, Maurice Bruynooghe
CORR
2008
Springer
128views Education» more  CORR 2008»
15 years 7 months ago
Reasoning in Abella about Structural Operational Semantics Specifications
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
Andrew Gacek, Dale Miller, Gopalan Nadathur
EXPERT
2008
119views more  EXPERT 2008»
15 years 6 months ago
Building a Pragmatic Semantic Web
One of the great benefits that Semantic Web (SW) technology offers is facilitating large scale integration and sharing of distributed data sources. Transferring this technology fro...
Harith Alani, Peter Chandler, Wendy Hall, Kieron O...
ENTCS
2006
105views more  ENTCS 2006»
15 years 6 months ago
A Game Semantics for Proof Search: Preliminary Results
We describe an ongoing project in which we attempt to describe a neutral approach to proof and refutation. In particular, we present a language of neutral expressions which contai...
Dale Miller, Alexis Saurin