networks modeled by NGs may be huge. In formal verification, abstraction has proven to be an extremely effective technique for … reasoning about systems with big and even infinite state spaces. We describe an abstraction-refinement methodology for reasoning … about NGs. Our methodology is based on an abstraction function that maps the state space of an NG to a much smaller state …

paper discusses how abstraction is used in science and economics, and uses the criteria proposed by Lawson (1989) for what … constitutes an appropriate abstraction. Based on this discussion, it concludes that the criticisms are weak, although the issues …

paper discusses how abstraction is used in science and economics, and uses the criteria proposed by Lawson (1989) for what … constitutes an appropriate abstraction. Based on this discussion, it concludes that the criticisms are weak, although the issues …

networks modeled by NGs may be huge. In formal verification, abstraction has proven to be an extremely effective technique for … reasoning about systems with big and even infinite state spaces. We describe an abstraction-refinement methodology for reasoning … about NGs. Our methodology is based on an abstraction function that maps the state space of an NG to a much smaller state …

economics. We develop a concept of approximate explanation based on the "method of decreasing abstraction", that is, the …

economics. We develop a concept of approximate explanation based on the "method of decreasing abstraction", that is, the …