Efficient Modeling of Linear Circuits to Perform Qualitative Reasoning Tasks.

Juan J. Flores J. Cerda

Published in: AI Commun. (2000)

Keyphrases

reasoning tasks
description logics
answer set programming
logic programming
automated reasoning
qualitative and quantitative
artificial intelligence
knowledge representation
temporal reasoning
situation calculus