1.
Fundamenta Informaticae, Volume 28, Abstracts
In this paper, we capitalize on the use of a generalization of Ackermann's Lemma in order to deal with a subclass of universal formulas called semi-Horn ...
2.
Abstracts of Fundamenta Informaticae Volume 32. Number 1
We study the semantics of disjunctive logic programs that simultaneously contain ... A Convex Powerdomain over Lattices: its Logic and $\lambda$-Calculus ...
3.
Cellular Automata: Theory and Application in Artificial Intelligence
File Format: PDF/Adobe Acrobat - View as HTML last three contributions, the applications of cellular automata in diverse fields are presented. A general framework is proposed to automatically generate ...
4.
Volume 39 Abstracts
Oct 11, 1999 ... It is based on formal specifications for the algorithms, and links the computer algebra library Sumit to the prover Isabelle. ...
5.
Cellular Automata: Theory and Application in Artificial Intelligence
File Format: PDF/Adobe Acrobat - View as HTML last three contributions, the applications of cellular automata in diverse fields are presented. A general framework is proposed to automatically generate ...
6.
Board members' adresses
Richard M. Karp. Department of Electrical Engineering & Computer Sciences, Mathematics, Bioengineering and Operations Research 621 Soda Hall #1776 ... Show map of Machine Intelligence Unit, Indian Statistical Institute, 203, BT Road, Calcutta, 700 03
7.
Cellular Automata: Theory and Application in Artificial Intelligence
File Format: PDF/Adobe Acrobat - View as HTML Cellular Automata and their Applications in AI was held in India in December 2007, within the 3rd. Indian International Conference on Artificial ...
8.
FI Abstracts vol. 80
Since its foundation in the early 1980's, Formal Concept Analysis (FCA) has been used in many applications in data analysis, information retrieval, ...
9.
Fundamenta Informaticae
Fundamenta Informaticae is an international journal reporting on the mathematical foundations of computer science. Its primary objective is the publication ...
10.
Fundamenta Informaticae, Volume 48
Contents of Fundamenta Informaticae Volume 48. Number 1, October-November 2001; Number 2-3, November 2001; Number 4, December 2001. Contents of Volume 48, ...
