Login / Signup

A System for Computing Constrained Default Logic Extensions.

Grigoris AntoniouAllen P. CourtneyJörg ErnstMary-Anne Williams
Published in: JELIA (1996)
Keyphrases