Sciweavers

24 search results - page 2 / 5
» Technomethodology: Paradoxes and Possibilities
Sort
View
GECCO
2005
Springer
136views Optimization» more  GECCO 2005»
13 years 10 months ago
Evolutionary computation and the c-value paradox
The C-value Paradox is the name given in biology to the wide variance in and often very large amount of DNA in eukaryotic genomes and the poor correlation between DNA length and p...
Sean Luke
PODS
2010
ACM
197views Database» more  PODS 2010»
13 years 5 months ago
When data dependencies over SQL tables meet the logics of paradox and S-3
We study functional and multivalued dependencies over SQL tables with NOT NULL constraints. Under a no-information interpretation of null values we develop tools for reasoning. We...
Sven Hartmann, Sebastian Link
LANMR
2007
13 years 6 months ago
Dialetheic truth theory: inconsistency, non-triviality, soundness, incompleteness
The best-known application of dialetheism is to semantic paradoxes such as the Liar. In particular, Graham Priest has advocated the adoption of an axiomatic truth theory in which c...
Federico Marulanda Rey
JAPLL
2011
108views more  JAPLL 2011»
13 years 6 days ago
A deontic logic framework allowing for factual detachment
Due to the fact that a large number of our ethical and behavioural norms have a conditional form, it is of great importance that deontic logics give an account of deontic commitme...
Christian Straßer
AIML
2004
13 years 6 months ago
Utilitarian Deontic Logic
This paper aims to examine Horty's proposal of utilitarian deontic logic [7]. It will focus on his dominance operators by way of simplified semantics. An axiomatization of the...
Yuko Murakami