@proceedings{ws-2006-international-inference,
    title = "Proceedings of the Fifth International Workshop on Inference in Computational Semantics ({IC}o{S}-5)",
    editor = "Bos, Johan  and
      Koller, Alexander",
    year = "2006",
    url = "https://preview.aclanthology.org/fix-old-resolve/W06-3900/"
}
@inproceedings{cohen-2006-anaphora,
    title = "Anaphora resolution and minimal models",
    author = "Cohen, Ariel",
    editor = "Bos, Johan  and
      Koller, Alexander",
    booktitle = "Proceedings of the Fifth International Workshop on Inference in Computational Semantics ({IC}o{S}-5)",
    year = "2006",
    url = "https://preview.aclanthology.org/fix-old-resolve/W06-3901/"
}
@inproceedings{dinesh-etal-2006-extracting,
    title = "Extracting formal specifications from natural language regulatory documents",
    author = "Dinesh, Nikhil  and
      Joshi, Aravind  and
      Lee, Insup  and
      Webber, Bonnie",
    editor = "Bos, Johan  and
      Koller, Alexander",
    booktitle = "Proceedings of the Fifth International Workshop on Inference in Computational Semantics ({IC}o{S}-5)",
    year = "2006",
    url = "https://preview.aclanthology.org/fix-old-resolve/W06-3902/"
}
@inproceedings{field-ramsay-2006-change,
    title = "How to change a person{'}s mind: Understanding the difference between the effects and consequences of speech acts",
    author = "Field, Debora  and
      Ramsay, Allan",
    editor = "Bos, Johan  and
      Koller, Alexander",
    booktitle = "Proceedings of the Fifth International Workshop on Inference in Computational Semantics ({IC}o{S}-5)",
    year = "2006",
    url = "https://preview.aclanthology.org/fix-old-resolve/W06-3903/"
}
@inproceedings{koller-thater-2006-towards,
    title = "Towards a redundancy elimination algorithm for underspecified descriptions",
    author = "Koller, Alexander  and
      Thater, Stefan",
    editor = "Bos, Johan  and
      Koller, Alexander",
    booktitle = "Proceedings of the Fifth International Workshop on Inference in Computational Semantics ({IC}o{S}-5)",
    year = "2006",
    url = "https://preview.aclanthology.org/fix-old-resolve/W06-3904/"
}
@inproceedings{lesmo-etal-2006-towards,
    title = "Towards a redundancy elimination algorithm for underspecified descriptions",
    author = "Lesmo, Leonardo  and
      Robaldo, Livio  and
      Gerbrandy, Jelle",
    editor = "Bos, Johan  and
      Koller, Alexander",
    booktitle = "Proceedings of the Fifth International Workshop on Inference in Computational Semantics ({IC}o{S}-5)",
    year = "2006",
    url = "https://preview.aclanthology.org/fix-old-resolve/W06-3905/"
}
@inproceedings{mador-haim-etal-2006-controlled,
    title = "Controlled Language for Geographical Information System Queries",
    author = "Mador-Haim, Sela  and
      Winter, Yoad  and
      Braun, Anthony",
    editor = "Bos, Johan  and
      Koller, Alexander",
    booktitle = "Proceedings of the Fifth International Workshop on Inference in Computational Semantics ({IC}o{S}-5)",
    year = "2006",
    url = "https://preview.aclanthology.org/fix-old-resolve/W06-3906/"
}
@inproceedings{nairn-etal-2006-computing,
    title = "Computing relative polarity for textual inference",
    author = "Nairn, Rowan  and
      Condoravdi, Cleo  and
      Karttunen, Lauri",
    editor = "Bos, Johan  and
      Koller, Alexander",
    booktitle = "Proceedings of the Fifth International Workshop on Inference in Computational Semantics ({IC}o{S}-5)",
    year = "2006",
    url = "https://preview.aclanthology.org/fix-old-resolve/W06-3907/"
}
@inproceedings{nouioua-nicolas-2006-using,
    title = "Using Answer Set Programming in an inference-based approach to Natural Language Semantics",
    author = "Nouioua, Farid  and
      Nicolas, Pascal",
    editor = "Bos, Johan  and
      Koller, Alexander",
    booktitle = "Proceedings of the Fifth International Workshop on Inference in Computational Semantics ({IC}o{S}-5)",
    year = "2006",
    url = "https://preview.aclanthology.org/fix-old-resolve/W06-3908/"
}
@inproceedings{pennacchiotti-pantel-2006-bootstrapping,
    title = "A Bootstrapping Algorithm for Automatically Harvesting Semantic Relations",
    author = "Pennacchiotti, Marco  and
      Pantel, Patrick",
    editor = "Bos, Johan  and
      Koller, Alexander",
    booktitle = "Proceedings of the Fifth International Workshop on Inference in Computational Semantics ({IC}o{S}-5)",
    year = "2006",
    url = "https://preview.aclanthology.org/fix-old-resolve/W06-3909/"
}
@inproceedings{reckman-cremers-2006-concepts,
    title = "Concepts across categories",
    author = "Reckman, Hilke  and
      Cremers, Crit",
    editor = "Bos, Johan  and
      Koller, Alexander",
    booktitle = "Proceedings of the Fifth International Workshop on Inference in Computational Semantics ({IC}o{S}-5)",
    year = "2006",
    url = "https://preview.aclanthology.org/fix-old-resolve/W06-3910/"
}
@inproceedings{tojo-2006-multi,
    title = "Multi-dimensional Temporal Logic for Events and States",
    author = "Tojo, Satoshi",
    editor = "Bos, Johan  and
      Koller, Alexander",
    booktitle = "Proceedings of the Fifth International Workshop on Inference in Computational Semantics ({IC}o{S}-5)",
    year = "2006",
    url = "https://preview.aclanthology.org/fix-old-resolve/W06-3911/"
}
@inproceedings{wallington-etal-2006-considerations,
    title = "Considerations on the nature of metaphorical meaning arising from a computational treatment of metaphor interpretation",
    author = "Wallington, A.M.  and
      Agerri, R.  and
      Barnden, J.A.  and
      Glasbey, S.R.  and
      Lee, M.G.",
    editor = "Bos, Johan  and
      Koller, Alexander",
    booktitle = "Proceedings of the Fifth International Workshop on Inference in Computational Semantics ({IC}o{S}-5)",
    year = "2006",
    url = "https://preview.aclanthology.org/fix-old-resolve/W06-3912/"
}
@inproceedings{ahn-etal-2006-supporting,
    title = "Supporting temporal question answering: strategies for offline data collection",
    author = "Ahn, David  and
      Schockaert, Steven  and
      De Cock, Martine  and
      Kerre, Etienne",
    editor = "Bos, Johan  and
      Koller, Alexander",
    booktitle = "Proceedings of the Fifth International Workshop on Inference in Computational Semantics ({IC}o{S}-5)",
    year = "2006",
    url = "https://preview.aclanthology.org/fix-old-resolve/W06-3913/"
}
@inproceedings{boyko-2006-formal,
    title = "Formal semantics of verbs for knowledge inference",
    author = "Boyko, Igor",
    editor = "Bos, Johan  and
      Koller, Alexander",
    booktitle = "Proceedings of the Fifth International Workshop on Inference in Computational Semantics ({IC}o{S}-5)",
    year = "2006",
    url = "https://preview.aclanthology.org/fix-old-resolve/W06-3914/"
}
@inproceedings{cimiano-2006-ingredients,
    title = "Ingredients of a first-order account of bridging",
    author = "Cimiano, Philipp",
    editor = "Bos, Johan  and
      Koller, Alexander",
    booktitle = "Proceedings of the Fifth International Workshop on Inference in Computational Semantics ({IC}o{S}-5)",
    year = "2006",
    url = "https://preview.aclanthology.org/fix-old-resolve/W06-3915/"
}
@inproceedings{goldfain-2006-computational,
    title = "A Computational Theory of Inference for Arithmetic Explanation",
    author = "Goldfain, Albert",
    editor = "Bos, Johan  and
      Koller, Alexander",
    booktitle = "Proceedings of the Fifth International Workshop on Inference in Computational Semantics ({IC}o{S}-5)",
    year = "2006",
    url = "https://preview.aclanthology.org/fix-old-resolve/W06-3916/"
}
@inproceedings{helbig-glockner-2006-towards,
    title = "Towards a Logical Foundation of Semantic Networks - A Typology of Descriptive Means for Semantic Inference",
    author = {Helbig, Hermann  and
      Gl{\"o}ckner, Ingo},
    editor = "Bos, Johan  and
      Koller, Alexander",
    booktitle = "Proceedings of the Fifth International Workshop on Inference in Computational Semantics ({IC}o{S}-5)",
    year = "2006",
    url = "https://preview.aclanthology.org/fix-old-resolve/W06-3917/"
}
@inproceedings{piwek-2006-alligator,
    title = "The Alligator theorem prover for dependent type systems: Description and proof samples",
    author = "Piwek, Paul",
    editor = "Bos, Johan  and
      Koller, Alexander",
    booktitle = "Proceedings of the Fifth International Workshop on Inference in Computational Semantics ({IC}o{S}-5)",
    year = "2006",
    url = "https://preview.aclanthology.org/fix-old-resolve/W06-3918/"
}