Classical computing has well-established formalisms for specifying, refining, composing, proving, and otherwise reasoning about computations. These formalisms have matured over the past 70 years or so. Unconventional Computing includes the use of novel kinds of substrates–from black holes and quantum effects, through to chemicals, biomolecules, even slime moulds–to perform computations that do ...

Self-reference has been recognized as a useful feature in description logics but is known to cause substantial problems with decidability. We have shown in previous work that the basic description logic ALC remains decidable, and in fact retains its low complexity, when extended with a bounded form of self-reference where only one variable (denoted me following previous work by Marx) is allowed...

An apparently negative result of Montague has diverted research in formal modalities away from syntactic (“first-order”) approaches, encouraging rather weak and semantically complex modal formalisms, especially in representing epistemic notions. We show that, Montague notwithstanding, consistent and straightforward firstorder syntactic treatments of modality are possible, especially for belief ...

Social networks and social interactions affect individual and social norms. We develop a direct test of this using Dutch survey data on how respondents evaluate work disability of hypothetical people with some work related health problem (vignettes). We analyze how the thresholds respondents use to decide what constitutes a (mild or more serious) work disability depend on the number of people r...

Nowadays many data mining/analysis applications use the graph analysis techniques for decision making. Many of these techniques are based on the importance of relationships among the interacting units. A number of models and measures that analyze the relationship importance (link structure) have been proposed (e.g., centrality, importance and page rank) and they are generally based on intuition...

Especially in dynamic environments a key feature concerning the robustness of mobile robot navigation is the capability of global self-localization. This term denotes a robot’s ability to generate and evaluate position hypotheses independently from initial estimates, by these means providing the capacity to correct position errors of arbitrary scale. In the self-localization frame described in ...