Serious computing with tense

DOI10.1007/978-1-4020-5958-2_12MaRDI QIDQ6547639

Michiel van Lambalgen, Fabrice Nauze

Publication date: 30 May 2024

zbMATH Keywords

logic programmingminimal modelderivation treeintegrity constraintreference time

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Natural language processing (68T50) Linguistics (91F20)

Cites Work

• Negation and constraint logic programming
• Title not available (Why is that?)

This page was built for publication: Serious computing with tense

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