A semantic framework for preference handling in answer set programming

DOI10.1017/S1471068403001844zbMath1079.68016MaRDI QIDQ4815034

Kewen Wang, Torsten Schaub

Publication date: 19 August 2004

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

preferencesanswer set programmingpriorities.

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55) Mechanization of proofs and logical operations (03B35) Logic programming (68N17)

Related Items

Strong order equivalence, Preferred First-Order Answer Set Programs