International Workshop on Inference in Computational Semantics (2006)
Proceedings of the Fifth International Workshop on Inference in Computational Semantics (ICoS-5)
Proceedings of the Fifth International Workshop on Inference in Computational Semantics (ICoS-5)
Johan Bos
|
Alexander Koller
Anaphora resolution and minimal models
Ariel Cohen
Extracting formal specifications from natural language regulatory documents
Nikhil Dinesh
|
Aravind Joshi
|
Insup Lee
|
Bonnie Webber
How to change a person’s mind: Understanding the difference between the effects and consequences of speech acts
Debora Field
|
Allan Ramsay
Towards a redundancy elimination algorithm for underspecified descriptions
Alexander Koller
|
Stefan Thater
Towards a redundancy elimination algorithm for underspecified descriptions
Leonardo Lesmo
|
Livio Robaldo
|
Jelle Gerbrandy
Controlled Language for Geographical Information System Queries
Sela Mador-Haim
|
Yoad Winter
|
Anthony Braun
Computing relative polarity for textual inference
Rowan Nairn
|
Cleo Condoravdi
|
Lauri Karttunen
Using Answer Set Programming in an inference-based approach to Natural Language Semantics
Farid Nouioua
|
Pascal Nicolas
A Bootstrapping Algorithm for Automatically Harvesting Semantic Relations
Marco Pennacchiotti
|
Patrick Pantel
Concepts across categories
Hilke Reckman
|
Crit Cremers
Multi-dimensional Temporal Logic for Events and States
Satoshi Tojo
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
Supporting temporal question answering: strategies for offline data collection
David Ahn
|
Steven Schockaert
|
Martine De Cock
|
Etienne Kerre
Formal semantics of verbs for knowledge inference
Igor Boyko
Ingredients of a first-order account of bridging
Philipp Cimiano
A Computational Theory of Inference for Arithmetic Explanation
Albert Goldfain
Towards a Logical Foundation of Semantic Networks - A Typology of Descriptive Means for Semantic Inference
Hermann Helbig
|
Ingo Glöckner
The Alligator theorem prover for dependent type systems: Description and proof samples
Paul Piwek