FIRST-ORDER PREDICATE CALCULUS: Related Papers in ACL Anthology

FIRST-ORDER PREDICATE CALCULUS can be found in the following ACL ARC 1.0 documents (click to explore):

• (ACL ID: C02-1128) text authoring, knowledge acquisition and description logics
• (ACL ID: C04-1203) a natural language processing infrastructure for turkish
• (ACL ID: C69-2901) towards a computational formalization of natural language semantics
• (ACL ID: C80-1058) unit-to-unit interaction as a basis for semantic interpretation of japanese sentences
• (ACL ID: H86-1003) overview of the tacitus project
• (ACL ID: J86-3006) the finite string newsletter
• (ACL ID: J87-3007) the subworld concept lexicon and the lexicon management system
• (ACL ID: M91-1030) sri international
• (ACL ID: P82-1004) what's in a semantic network?
• (ACL ID: P85-1008) ontological promiscuity
• (ACL ID: P98-1053) accumulation of lexical sets
• (ACL ID: P99-1039) alternating quantifier scope in ccg
• (ACL ID: T75-2007) comments on lexical analysis
• (ACL ID: W97-0609) turn off the radio and call again