An improper treatment of quantification in ordinary English
ACL '83 Proceedings of the 21st annual meeting on Association for Computational Linguistics
Commonsense metaphysics and lexical semantics
Computational Linguistics - Special issue of the lexicon
The subworld concept lexicon and the lexicon management system
Computational Linguistics - Special issue of the lexicon
The relation-based knowledge representation of King Kong
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Logic-based artificial intelligence
Inferential Information Extraction
Information Extraction: Towards Scalable, Adaptable Systems
Language and Commonsense Knowledge
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Answer Extraction in Technical Domains
CICLing '02 Proceedings of the Third International Conference on Computational Linguistics and Intelligent Text Processing
ExtrAns: Extracting Answers from Technical Texts
IEEE Intelligent Systems
A collaborative planning model of intentional structure
Computational Linguistics
Luke: an experiment in the early integration of natural language processing
ANLC '88 Proceedings of the second conference on Applied natural language processing
Localizing expression of ambiguity
ANLC '88 Proceedings of the second conference on Applied natural language processing
Canonical representation in NLP system design: a critical evaluation
ANLC '88 Proceedings of the second conference on Applied natural language processing
Sentence planning as description using tree adjoining grammar
ACL '98 Proceedings of the 35th Annual Meeting of the Association for Computational Linguistics and Eighth Conference of the European Chapter of the Association for Computational Linguistics
Commonsense metaphysics and lexical semantics
ACL '86 Proceedings of the 24th annual meeting on Association for Computational Linguistics
Logical form of complex sentences in task-oriented dialogues
ACL '91 Proceedings of the 29th annual meeting on Association for Computational Linguistics
ACL '96 Proceedings of the 34th annual meeting on Association for Computational Linguistics
ACL '88 Proceedings of the 26th annual meeting on Association for Computational Linguistics
A formal representation of the thematic-rhematic structure of sentences based on a typed Λ-calculus
COLING '94 Proceedings of the 15th conference on Computational linguistics - Volume 2
A logical formalism for the representation of determiners
COLING '86 Proceedings of the 11th coference on Computational linguistics
Anaphoric reference to events and actions: a representation and its advantages
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 2
Action relations in rationale clauses and means clauses
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 1
Enjoy the paper: lexical semantics via lexicology
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 2
A bottom-up generation for principle-based grammars using constraint propagation
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 2
Mitre-Bedford: description of the Alembic system as used for MUC-5
MUC5 '93 Proceedings of the 5th conference on Message understanding
MITRE: description of the Alembic system used for MUC-6
MUC6 '95 Proceedings of the 6th conference on Message understanding
New possibilities in machine translation
HLT '89 Proceedings of the workshop on Speech and Natural Language
Interpreting temporal adverbials
HLT '93 Proceedings of the workshop on Human Language Technology
Validation of terminological inference in an information extraction task
HLT '93 Proceedings of the workshop on Human Language Technology
Commonsense metaphysics and lexical semantics
HLT '86 Proceedings of the workshop on Strategic computing natural language
Anaphora and Discourse Structure
Computational Linguistics
Entailment, intensionality and text understanding
HLT-NAACL-TEXTMEANING '03 Proceedings of the HLT-NAACL 2003 workshop on Text meaning - Volume 9
Exploiting referential context in spoken language interfaces for data-poor domains
Proceedings of the 13th international conference on Intelligent user interfaces
KI '08 Proceedings of the 31st annual German conference on Advances in Artificial Intelligence
On What Goes On: The Ontology of Processes and Events
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
Natural Language Processing as a Foundation of the Semantic Web
Foundations and Trends in Web Science
The Ontological Level: Revisiting 30 Years of Knowledge Representation
Conceptual Modeling: Foundations and Applications
Method for extracting commonsense knowledge
Proceedings of the fifth international conference on Knowledge capture
EACL '09 Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics
A framework for fast incremental interpretation during speech decoding
Computational Linguistics
Reified temporal theories and how to unreify them
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Intrinsic versus extrinsic evaluations of parsing systems
Evalinitiatives '03 Proceedings of the EACL 2003 Workshop on Evaluation Initiatives in Natural Language Processing: are evaluation methods, metrics and resources reusable?
The use of knowledge preconditions in language processing
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Semantic inference in natural language: validating a tractable approach
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
A first order semantic approach to adjectival inference
RTE '07 Proceedings of the ACL-PASCAL Workshop on Textual Entailment and Paraphrasing
Natural logic for textual inference
RTE '07 Proceedings of the ACL-PASCAL Workshop on Textual Entailment and Paraphrasing
Grading knowledge: extracting degree information from texts
Grading knowledge: extracting degree information from texts
Towards reconciling use cases via controlled language and graphical models
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Default inferences in metaphor interpretation
CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
Layer structures and conceptual hierarchies in semantic representations for NLP
CICLing'08 Proceedings of the 9th international conference on Computational linguistics and intelligent text processing
Goals in a Formal Theory of Commonsense Psychology
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Actions, beliefs and intentions in rationale clauses and means clauses
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
EL: a formal, yet natural, comprehensive knowledge representation
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
The synthetic teammate project
Computational & Mathematical Organization Theory
Recognizing textual entailment using a machine learning approach
MICAI'10 Proceedings of the 9th Mexican international conference on Artificial intelligence conference on Advances in soft computing: Part II
Recognizing textual entailment with statistical methods
MCPR'10 Proceedings of the 2nd Mexican conference on Pattern recognition: Advances in pattern recognition
Elaborating a knowledge base for deep lexical semantics
IWCS '11 Proceedings of the Ninth International Conference on Computational Semantics
Abductive reasoning with a large knowledge base for discourse processing
IWCS '11 Proceedings of the Ninth International Conference on Computational Semantics
Incremental dialogue act understanding
IWCS '11 Proceedings of the Ninth International Conference on Computational Semantics
Recognizing textual entailment via atomic propositions
MLCW'05 Proceedings of the First international conference on Machine Learning Challenges: evaluating Predictive Uncertainty Visual Object Classification, and Recognizing Textual Entailment
CONTEXT'05 Proceedings of the 5th international conference on Modeling and Using Context
Attempto controlled english: a knowledge representation language readable by humans and machines
Proceedings of the First international conference on Reasoning Web
On the automatic generation of intermediate logic forms for wordnet glosses
CICLing'10 Proceedings of the 11th international conference on Computational Linguistics and Intelligent Text Processing
Recognizing Inference in Texts with Markov Logic Networks
ACM Transactions on Asian Language Information Processing (TALIP) - Special Issue on RITE
Modeling social causality and responsibility judgment in multi-agent interactions
Journal of Artificial Intelligence Research
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Hi-index | 0.00 |
To facilitate work in discourse interpretation, the logical form of English sentences should be both close to English and syntactically simple. In this paper I propose a logical notation which is first-order and nonintensional, and for which semantic translation can be naively compositional. The key move is to expand what kinds of entities one allows in one's ontology, rather than complicating the logical notation, the logical form of sentences, or the semantic translation process. Three classical problems - opaque adverbials, the distinction between de re and de dicto belief reports, and the problem of identity in intensional contexts - are examined for the difficulties they pose for this logical notation, and it is shown that the difficulties can be overcome. The paper closes with a statement about the view of semantics that is presupposed by this approach.