A theory of interactions: Unifying qualitative and quantitative algebraic reasoning

DOI10.1016/0004-3702(91)90108-VzbMath0753.68084OpenAlexW2005003668MaRDI QIDQ1190523

Brian C. Williams

Publication date: 26 September 1992

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

Full work available at URL: https://doi.org/10.1016/0004-3702(91)90108-v

zbMATH Keywords

engineeringproblem solvinghybrid algebraic reasoningtheory of interactions

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (6)

On the usage of qualitative reasoning as an approach towards enterprise modelling ⋮ Automatic construction of accurate models of physical systems ⋮ Qualitative and quantitative simulation: bridging the gap ⋮ Task-dependent qualitative domain abstraction ⋮ A theory of interactions: Unifying qualitative and quantitative algebraic reasoning ⋮ Sound and complete qualitative simulation is impossible

Uses Software

• MACSYMA

Cites Work

• Qualitative simulation
• A theory of interactions: Unifying qualitative and quantitative algebraic reasoning
• Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
• Task-dependent qualitative domain abstraction
• Algebraic simplification
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A theory of interactions: Unifying qualitative and quantitative algebraic reasoning