Lambek Calculus with Banged Atoms for Parasitic Gaps.

Mehrnoosh Sadrzadeh Lutz Straßburger

Published in: WoLLIC (2024)

Keyphrases

logic programs
linear combination
microstrip
database
genetic algorithm
answer sets
automated deduction
algebraic structure
computer algebra
data sets
case study
artificial neural networks
evolutionary algorithm
mobile robot
proof procedure