scientific article; zbMATH DE number 6519660

MaRDI QIDQ3455580zbMATH OpenFDO

Authors Weiming Liu, Sanjiang Li

Publication date 11 December 2015

Full work available at URL http://ebooks.iospress.nl/volumearticle/7031

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27) Analysis of algorithms (68W40)

Recommendations

• Qualitative constraint satisfaction problems: an extended framework with landmarks
• Existentially restricted quantified constraint satisfaction
• Beyond Q-resolution and prenex form: a proof system for quantified constraint satisfaction
• A model-theoretic view on qualitative constraint reasoning
• Meditations on quantified constraint satisfaction
• Consistency for Quantified Constraint Satisfaction Problems
• Generalizing consistency and other constraint properties to quantified constraints
• Relatively quantified constraint satisfaction

Cited in

(6)

• Constants and finite unary relations in qualitative constraint reasoning
• Decomposition and tractability in qualitative spatial and temporal reasoning
• Finite unary relations and qualitative constraint satisfaction
• Qualitative constraint satisfaction problems: an extended framework with landmarks
• Learning qualitative constraint networks
• KI 2004: Advances in Artificial Intelligence

This page was built for publication:

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