Sciweavers

Share
FUIN
2007
70views more  FUIN 2007»
9 years 1 days ago
Active Symbols in Pure Systems
Suna Bensch, Henning Bordihn
FUIN
2007
90views more  FUIN 2007»
9 years 1 days ago
A Resolution Calculus with Shared Literals
We present a resolution calculus for first-order logic using a more concise formalism for representing sets of clauses. The idea is to represent the clause set at hand as a Direct...
Nicolas Peltier
FUIN
2007
86views more  FUIN 2007»
9 years 1 days ago
Advances in Symmetric Sandpiles
A symmetric version of the well-known SPM model for sandpiles is introduced. We prove that the new model has fixed point dynamics. Although there might be several fixed points, ...
Enrico Formenti, Benoît Masson, Theophilos P...
FUIN
2007
133views more  FUIN 2007»
9 years 1 days ago
Intercode Regular Languages
Intercodes are a generalization of comma-free codes. Using the structural properties of finite-state automata recognizing an intercode we develop a polynomial-time algorithm for d...
Yo-Sub Han, Kai Salomaa, Derick Wood
FUIN
2007
60views more  FUIN 2007»
9 years 1 days ago
On String Languages Generated by Spiking Neural P Systems
Haiming Chen, Rudolf Freund, Mihai Ionescu, Gheorg...
FUIN
2007
86views more  FUIN 2007»
9 years 1 days ago
Relative Nondeterministic Information Logic is EXPTIME-complete
We define a relative version of the logic NIL introduced by Orłowska, Pawlak and Vakarelov and we show that satisfiability is not only decidable but also EXPTIME-complete. Such ...
Stéphane Demri, Ewa Orlowska
FUIN
2007
122views more  FUIN 2007»
9 years 1 days ago
Behaviour Algebras
The paper is concerned with algebras whose elements can be used to represent runs of a system, called processes. These algebras, called behaviour algebras, are categories with resp...
Józef Winkowski
FUIN
2007
121views more  FUIN 2007»
9 years 1 days ago
A Possibility-Theoretic View of Formal Concept Analysis
Abstract. The paper starts from the standard relational view linking objects and properties in formal concept analysis, here augmented with four modal-style operators (known as suf...
Didier Dubois, Florence Dupin de Saint-Cyr, Henri ...
FUIN
2007
85views more  FUIN 2007»
9 years 1 days ago
Entropies and Co-Entropies of Coverings with Application to Incomplete Information Systems
Different generalizations to the case of coverings of the standard approach to entropy applied to partitions of a finite universe X are explored. In the first approach any cover...
Daniela Bianucci, Gianpiero Cattaneo, Davide Ciucc...
books