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
How to change a person’s mind: Understanding the difference between the effects and consequences of speech acts
Debora Field | Allan Ramsay

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

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

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

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

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

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

pdf
Concepts across categories
Hilke Reckman | Crit Cremers

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

pdf
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
Supporting temporal question answering: strategies for offline data collection
David Ahn | Steven Schockaert | Martine De Cock | Etienne Kerre

pdf
Formal semantics of verbs for knowledge inference
Igor Boyko

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

pdf
A Computational Theory of Inference for Arithmetic Explanation
Albert Goldfain

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

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