Bridges from Language to Logic: Concepts, Contexts and Ontologies

Authors:
Valeria de Paiva
Affiliations:
Cuil, Inc., Menlo Park, CA, USA
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2011

Citing 10
Cited 0

Making ontologies work for resolving redundancies across documents

Communications of the ACM - Ontology: different ways of representing the same concept
Preventing existence

Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Entailment, intensionality and text understanding

HLT-NAACL-TEXTMEANING '03 Proceedings of the HLT-NAACL 2003 workshop on Text meaning - Volume 9
Deverbal Nouns in Knowledge Representation

Journal of Logic and Computation
Slacker semantics: why superficiality, dependency and avoidance of commitment can be the right way to go

EACL '09 Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics
Studying the history of ideas using topic models

EMNLP '08 Proceedings of the Conference on Empirical Methods in Natural Language Processing
Context inducing nouns

KRAQ '08 Coling 2008: Proceedings of the workshop on Knowledge and Reasoning for Answering Questions
Precision-focused textual inference

RTE '07 Proceedings of the ACL-PASCAL Workshop on Textual Entailment and Paraphrasing
An extended model of natural logic

IWCS-8 '09 Proceedings of the Eighth International Conference on Computational Semantics
Metamathematics Of Contexts

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper gives a brief overview of the work on translating natural language sentences into logic done at PARC and distills a few simple-minded lessons. Then we turn our attention to formal logics applicable to systems of contexts and describe some open questions on these systems.