𝔖 Bobbio Scriptorium
✦   LIBER   ✦

ARTUS — an open framework for logic synthesis

✍ Scribed by Otmar von Steuber; Hans Martin Lipp

Publisher
Elsevier Science
Year
1994
Tongue
English
Weight
338 KB
Volume
18
Category
Article
ISSN
0141-9331

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An encompassing framework for Paraconsis
An encompassing framework for Paraconsistent Logic Programs
✍ João Alcântara; Carlos Viegas Damásio; Luís Moniz Pereira 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 280 KB

We propose a framework which extends Antitonic Logic Programs [Damásio and Pereira, in: Proc. 6th Int. Conf. on Logic Programming and Nonmonotonic Reasoning, Springer, 2001, p. 748] to an arbitrary complete bilattice of truth-values, where belief and doubt are explicitly represented. Inspired by Gin

An Open Visualization Framework for Meta
An Open Visualization Framework for Metamodel-Based Modeling Languages
✍ Péter Domokos; Daniel Varró 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 641 KB

In the paper, we propose an automated, SVG-based visualization framework for modeling languages defined by metamodeling techniques. Our framework combines XML standards with existing graph transformation and graph drawing technologies in order to provide an open, tool-independent architecture.