— In this paper we describe ASPARC, a system for independent formation of an agent’s specific set of grounded primitive spatial concepts. ASPARC is intended to demonstrate the...
We propose a new kind of sequential pattern which we call Generalized Sequential Pattern, and we introduce the problem of mining generalized sequential patterns over temporal datab...
Boolean satisfiability (SAT) is the canonical NP-complete problem that plays an important role in AI and has many practical applications in Computer Science in general. Boolean n...