Propositional and predicate logic At the end of this lecture you should be able to: distinguish between propositions and predicates; utilize and construct.
REGNET: An Infrastructure for Regulatory Information Management and Compliance Assistance
Computational Semantics
A Selected Tour of NLP in the British Isles Diane Litman Leverhulme Visiting Professor University of Edinburgh August 2007 - July 2008.
The temporal representation and reasoning of complex events
Scenarios: Identifying Missing Objects and Actions by Means of Computational Linguistics
Leonid Kof Requirements Engineering Conference, 2007. RE '07.