scientific article; zbMATH DE number 1794700

MaRDI QIDQ4552505zbMATH OpenFDO

Authors Lenhart K. Schubert

Publication date 25 November 2002

zbMATH Keywords

anaphora resolutiondynamic semantic theoriesdynamic Skolemizationepsilon-calculusreferential connections

Mathematics Subject Classification ID

Logic of natural languages (03B65) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Natural language processing (68T50) Linguistics (91F20)

Recommendations

• Direct deductive computation on discourse representation structures
• Dynamic predicate logic
• Skolem Theory and Generalized Quantifiers
• scientific article; zbMATH DE number 936299
• Dynamic generalized quantifiers

Cited in

(1)

• Direct deductive computation on discourse representation structures

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4552505)