Logics in Artificial Intelligence

DOI10.1007/b100483zbMath1111.68658OpenAlexW335252711MaRDI QIDQ5394159

Toni Mancini, Marco Cadoli

Publication date: 25 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100483

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

Automated reformulation of specifications by safe delay of constraints

This page was built for publication: Logics in Artificial Intelligence