Sound and complete qualitative simulation is impossible

DOI10.1016/S0004-3702(03)00077-8zbMath1082.68862OpenAlexW2085051254MaRDI QIDQ814512

H. Levent Akın, A. C. Cem Say

Publication date: 7 February 2006

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0004-3702(03)00077-8

zbMATH Keywords

Hilbert's tenth problemQualitative simulationQualitative reasoningSpurious behaviors

Mathematics Subject Classification ID

Related Items (1)

Random generation of monotonic functions for Monte Carlo solution of qualitative differential equations

Cites Work

• Unnamed Item
• Unnamed Item
• Qualitative simulation
• A theory of interactions: Unifying qualitative and quantitative algebraic reasoning
• Qualitative and quantitative simulation: bridging the gap
• Algebraic simplification

This page was built for publication: Sound and complete qualitative simulation is impossible