802 citations
- Heidelberg UniversityDE8 papers
- Centre National de la Recherche ScientifiqueFR6 papers
- Clausthal University of TechnologyDE4 papers
- University of Science and Technology of ChinaCN4 papers
- University of ViennaAT4 papers
- Hebrew University of JerusalemIL3 papers
- Yale UniversityUS3 papers
- Astronomical Institute of the Slovak Academy of SciencesSK2 papers
- Ben-Gurion University of the NegevIL2 papers
- College of Staten IslandUS2 papers
- ETH ZurichCH2 papers
- European Organization for Nuclear ResearchCH2 papers
10 papers · 1 filter
Clones from Creatures
Martin Goldstern, Saharon Shelah
A clone on a set X is a set of finitary operations on X which contains all the projections and is closed under composition. The set of all clones forms a complete lattice Cl(X) wit…
Reasoning about Evolving Nonmonotonic Knowledge Bases
T. Eiter, M. Fink, G. Sabbatini +1
Recently, several approaches to updating knowledge bases modeled as extended logic programs have been introduced, ranging from basic methods to incorporate (sequences of) sets of r…
Logical equivalence between generalized urn models and finite automata
Karl Svozil
To every generalized urn model there exists a finite (Mealy) automaton with identical propositional calculus. The converse is true as well.
Peer review in context
Karl Svozil
Scientific publishing is in a transition between the old paper-bound, static forms and the new electronic media with its interactive, dynamic possibilities. This takes place in the…
Large intervals in the clone lattice
Martin Goldstern, Saharon Shelah
We give three examples of large intervals in the lattice of (local) clones on an infinite set X, by exhibiting clones C_1, C_2, C_3 such that: (1) the interval [C_1, O] in the latt…
Quintessential Cosmological Scenarios in the Relativistic Theory of Gravitation
V. L. Kalashnikov
It is shown that the accelerated expansion of the universe in the framework of the relativistic theory of gravitation can be achieved by the introduction of the quintessential term…