Strong Equivalence of Qualitative Optimization Problems

DOI10.1613/JAIR.3991zbMath1275.68131arXiv1112.0791OpenAlexW2724919050WikidataQ129489570 ScholiaQ129489570MaRDI QIDQ2838231

Miroslaw Truszczynski, Wolfgang Faber, Stefan Woltran

Publication date: 9 July 2013

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1112.0791

zbMATH Keywords

preferencesequivalencesnonmonotonic reasoning

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)

This page was built for publication: Strong Equivalence of Qualitative Optimization Problems