Domain Theory Meets Default Logic

DOI10.1093/logcom/5.1.1zbMath0810.03020OpenAlexW2031928405MaRDI QIDQ4323001

No author found.

Publication date: 20 April 1995

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/798e3b1f25136a37dc0e269f79931d5aa80c1772

zbMATH Keywords

nonmonotonic logicdilationdefault logicdomain theorydefault information structures

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items (1)

Defaults in domain theory

This page was built for publication: Domain Theory Meets Default Logic