Model-Intersection Problems with Existentially Quantified Function Variables: Formalization and a Solution Schema

Built-in constraint atoms play a very important role in knowledge representation and are indispensable for practical applications. It is very natural to use built-in constraint atoms together with user-defined atoms when formalizing logical problems using first-order formulas. In the presence of bui... View More