International Workshop on Inference in Computational Semantics (2006)


up

pdf (full)
bib (full)
Proceedings of the Fifth International Workshop on Inference in Computational Semantics (ICoS-5)

pdf bib
Proceedings of the Fifth International Workshop on Inference in Computational Semantics (ICoS-5)
Johan Bos | Alexander Koller

pdf bib
Anaphora resolution and minimal models
Ariel Cohen

pdf bib
Extracting formal specifications from natural language regulatory documents
Nikhil Dinesh | Aravind Joshi | Insup Lee | Bonnie Webber

pdf bib
How to change a person’s mind: Understanding the difference between the effects and consequences of speech acts
Debora Field | Allan Ramsay

pdf bib
Towards a redundancy elimination algorithm for underspecified descriptions
Alexander Koller | Stefan Thater

pdf bib
Towards a redundancy elimination algorithm for underspecified descriptions
Leonardo Lesmo | Livio Robaldo | Jelle Gerbrandy

pdf bib
Controlled Language for Geographical Information System Queries
Sela Mador-Haim | Yoad Winter | Anthony Braun

pdf bib
Computing relative polarity for textual inference
Rowan Nairn | Cleo Condoravdi | Lauri Karttunen

pdf bib
Using Answer Set Programming in an inference-based approach to Natural Language Semantics
Farid Nouioua | Pascal Nicolas

pdf bib
A Bootstrapping Algorithm for Automatically Harvesting Semantic Relations
Marco Pennacchiotti | Patrick Pantel

pdf bib
Concepts across categories
Hilke Reckman | Crit Cremers

pdf bib
Multi-dimensional Temporal Logic for Events and States
Satoshi Tojo

pdf bib
Considerations on the nature of metaphorical meaning arising from a computational treatment of metaphor interpretation
A.M. Wallington | R. Agerri | J.A. Barnden | S.R. Glasbey | M.G. Lee

pdf bib
Supporting temporal question answering: strategies for offline data collection
David Ahn | Steven Schockaert | Martine De Cock | Etienne Kerre

pdf bib
Formal semantics of verbs for knowledge inference
Igor Boyko

pdf bib
Ingredients of a first-order account of bridging
Philipp Cimiano

pdf bib
A Computational Theory of Inference for Arithmetic Explanation
Albert Goldfain

pdf bib
Towards a Logical Foundation of Semantic Networks - A Typology of Descriptive Means for Semantic Inference
Hermann Helbig | Ingo Glöckner

pdf bib
The Alligator theorem prover for dependent type systems: Description and proof samples
Paul Piwek