Nested Weight Constraints in ASP

DOI10.3233/FI-2013-843zbMath1268.68158MaRDI QIDQ2841957

Stefania Costantini, Andrea Formisano

Publication date: 30 July 2013

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

knowledge representationnon-monotonic reasoningweight constraints in ASP

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Related Items (1)

Adding Metalogic Features to Knowledge Representation Languages*

This page was built for publication: Nested Weight Constraints in ASP