scientific article; zbMATH DE number 194155

MaRDI QIDQ4040947zbMATH OpenFDO

Authors

Publication date 5 June 1993

zbMATH Keywords

dialogue tableauxdiscourse representation theoryGames in Logic

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic of natural languages (03B65) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic programming (68N17) Natural language processing (68T50)

Recommendations

• Natural language and logic. International scientific symposium, Hamburg, FRG, 9-11 May 1989. Proceedings
• scientific article; zbMATH DE number 49643
• A natural deduction system for discourse representation theory
• scientific article; zbMATH DE number 43591
• Logic programming and knowledge representation

Cited in

(2)

• A natural deduction system for discourse representation theory
• Statistical methods in experimentation recommendation models for discovering gene regulation pathways

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 Q4040947)