Describing symmetrical structures in logic.

DOI10.1007/BF01530795zbMath1047.68551OpenAlexW2028907897MaRDI QIDQ1353928

Paul A. Strooper, Maarten H. Van Emden

Publication date: 12 May 1997

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01530795

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• A logic for default reasoning
• CLP(ℛ) as a general finite element model definition language
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Describing symmetrical structures in logic.