Languages with self-reference I: foundations (or: we can have everything in first-order logic])
Artificial Intelligence
Artificial intelligence: the very idea
Artificial intelligence: the very idea
A theory of diagnosis from first principles
Artificial Intelligence
Introduction to artificial intelligence
Introduction to artificial intelligence
Semantic interpretation and the resolution of ambiguity
Semantic interpretation and the resolution of ambiguity
Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
Disambiguating prepositional phrase attachments by using on-line dictionary definitions
Computational Linguistics - Special issue of the lexicon
A logical framework for default reasoning
Artificial Intelligence
Scientific Symposium on Syntax and Semantics on Natural Language at the Computer
Temporal ontology in natural language
ACL '87 Proceedings of the 25th annual meeting on Association for Computational Linguistics
The interpretation of tense in discourse
ACL '87 Proceedings of the 25th annual meeting on Association for Computational Linguistics
ACL '88 Proceedings of the 26th annual meeting on Association for Computational Linguistics
Communications of the ACM
Language and Commonsense Knowledge
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Text Segmentation into Paragraphs Based on Local Text Cohesion
TSD '01 Proceedings of the 4th International Conference on Text, Speech and Dialogue
Automatic detection of discourse structure by checking surface information in sentences
COLING '94 Proceedings of the 15th conference on Computational linguistics - Volume 2
NL understanding with a grammar of constructions
COLING '94 Proceedings of the 15th conference on Computational linguistics - Volume 2
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 1
Parsing and case analysis in TANKA
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 3
Parsing and case analysis in TANKA
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 3
Language, logic and ontology: Uncovering the structure of commonsense knowledge
International Journal of Human-Computer Studies
Semantic interpretation based on the multi-world model
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Machine reading as a process of partial question-answering
FAM-LbR '10 Proceedings of the NAACL HLT 2010 First International Workshop on Formalisms and Methodology for Learning by Reading
Discourse structure analysis for news video
Proceedings of the COLING-2000 Workshop on Semantic Annotation and Intelligent Content
Hi-index | 0.03 |
We present a computational theory of the paragraph. Within it we formally define coherence, give semantics to the adversative conjunction "but" and to the Gricean maxim of quantity, and present some new methods for anaphora resolution.The theory precisely characterizes the relationship between the content of the paragraph and background knowledge needed for its understanding. This is achieved by introducing a new type of logical theory consisting of an object level, corresponding to the content of the paragraph, a referential level, which is a new logical level encoding background knowledge, and a metalevel containing constraints on models of discourse (e.g. a formal version of Gricean maxims). We propose also specific mechanisms of interaction between these levels, resembling both classical provability and abduction. Paragraphs are then represented by a class of structures called p-models.