Dynamic and Static Symmetry Breaking in Answer Set Programming

DOI10.1007/978-3-642-45221-5_8zbMath1406.68014OpenAlexW176564465MaRDI QIDQ2870119

Belaïd Benhamou

Publication date: 17 January 2014

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-45221-5_8

zbMATH Keywords

symmetrynon-monotonic reasoninglogic programminganswer set programmingstable model semantics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Uses Software

• ASSAT
• clasp

This page was built for publication: Dynamic and Static Symmetry Breaking in Answer Set Programming