Modular algebraic specification of some basic geometrical constructions

Artificial Intelligence 37 (1-3):123-153 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(88)90052-5

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Carnap, Goguen, and the hyperontologies: Logical pluralism and heterogeneous structuring in ontology design. [REVIEW]Dominik Lücke - 2010 - Logica Universalis 4 (2):255-333.
Learning of modular structured networks.Masumi Ishikawa - 1995 - Artificial Intelligence 75 (1):51-62.
Modular materialisation of Datalog programs.Pan Hu, Boris Motik & Ian Horrocks - 2022 - Artificial Intelligence 308 (C):103726.
On abstract modular inference systems and solvers.Yuliya Lierler & Miroslaw Truszczynski - 2016 - Artificial Intelligence 236 (C):65-89.
Constructions of the Mind: Artificial Intelligence and the Humanities.Stefano Franchi & Guven Guzeldere - 1995 - Stanford Humanities Review.
An executable specification of a formal argumentation protocol.Alexander Artikis, Marek Sergot & Jeremy Pitt - 2007 - Artificial Intelligence 171 (10-15):776-804.
Joseph A. Goguen: Editor JCS 1994-2006.Anthony Freeman - 2006 - Journal of Consciousness Studies 13 (6):5-6.
Modular robotic systems: Methods and algorithms for abstraction, planning, control, and synchronization.Hossein Ahmadzadeh & Ellips Masehian - 2015 - Artificial Intelligence 223 (C):27-64.
Optimal modular feedforward neural networks based on functional networks.A. S. Cofino & J. M. Gutiérrez - 2001 - In P. Bouquet (ed.), Lecture Notes in Artificial Intelligence. Kluwer Academic Publishers. pp. 2083--308.
An algebraic approach to shape-from-image problems.Kokichi Sugihara - 1984 - Artificial Intelligence 23 (1):59-95.

Analytics

Added to PP
2020-12-22

Downloads
4 (#1,644,260)

6 months
2 (#1,259,876)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Refutational theorem proving using term-rewriting systems.Jieh Hsiang - 1985 - Artificial Intelligence 25 (3):255-300.

Add more references