Methodical Construction of Symbolic Diagrams

Authors:
Paulo A. Veloso;Sheila R. Veloso
Affiliations:
Progr. Engenharia de Sistemas e Computação, COPPE, Universidade Federal do Rio de Janeiro, Rio de Janeiro, Brasil Caixa Postal 68511, 21945-970;Depto. Engenharia de Sistemas e Computação, Fac. Eng., Universidade Estadual do Rio de Janeiro, Rio de Janeiro, Brasil
Venue:
SBIA '08 Proceedings of the 19th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Year:
2008

Citing 6
Cited 0

Logics of programs

Handbook of theoretical computer science (vol. B)
Logic and representation

Logic and representation
Reasoning about knowledge

Reasoning about knowledge
Epistemic Logic for AI and Computer Science

Epistemic Logic for AI and Computer Science
On Special Functions and Theorem Proving in Logics for 'Generally'

SBIA '02 Proceedings of the 16th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce a stepwise approach for computing symbolic diagrams. Such logical diagrams display formulas and connections between them and they are useful tools for visualizing connections between formulas as well as for reasoning about them. This incremental approach is modular: it starts from small diagrams and expands them. We explain the method and justify it. We also comment on the application of these ideas and illustrate them with some examples.