Using Sums-of-Products for Non-standard Reasoning

DOI10.1007/978-3-642-13089-2_41zbMath1284.68534OpenAlexW1847731390MaRDI QIDQ3564888

Rafael Peñaloza

Publication date: 26 May 2010

Published in: Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-13089-2_41

Mathematics Subject Classification ID

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

Related Items (2)

The complexity of computing the behaviour of lattice automata on infinite trees ⋮ An Automata View to Goal-Directed Methods

This page was built for publication: Using Sums-of-Products for Non-standard Reasoning