A SAT-Based Algorithm for Context Matching

DOI10.1007/3-540-44958-2_6zbMATH Open1279.68307OpenAlexW1533233245MaRDI QIDQ3550854

Stefano Zanobini, Luciano Serafini, Bernardo Magnini, Paolo Bouquet

Publication date: 6 April 2010

Published in: Modeling and Using Context (Search for Journal in Brave)

Full work available at URL: http://eprints.biblio.unitn.it/350/1/005.pdf

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

This page was built for publication: A SAT-Based Algorithm for Context Matching

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3550854)