Non-monotonic Temporal Goals

DOI10.1007/978-3-642-40564-8_37zbMath1405.68377DBLPconf/lpnmr/GoncalvesKLS13OpenAlexW275723715WikidataQ62046436 ScholiaQ62046436MaRDI QIDQ2851267

Matthias Knorr, Martin Slota, João Leite, Ricardo Gonçalves

Publication date: 10 October 2013

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40564-8_37

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

This page was built for publication: Non-monotonic Temporal Goals