1814 search results - page 141 / 363 » Extended First-Order Logic |
139
Voted
DAGSTUHL
2010
15 years 4 months ago
2010
While tensors occur in many areas of science and engineering, little has been done to visualize tensors with order higher than two. Tensors of higher orders can be used for exampl...
136
Voted
EJC
2008
15 years 3 months ago
2008
Abstract. Classes of graphs with bounded expansion are a generalization of both proper minor closed classes and degree bounded classes. Such classes are based on a new invariant, t...
136
Voted
SLOGICA
2008
15 years 3 months ago
2008
A generic format for adaptive vague logics is presented. The concrete adaptive vague logics based on this format are able to (1) identify sentences as vague or non-vague in the con...
119
Voted
ASM
2010
ASM
15 years 10 months ago
2010
ASM
We extend the Alloy language with the standard imperative constructs; we show the mix of declarative and imperative constructs to be useful in modeling dynamic systems. We present ...
139
Voted
ADC
2006
Springer
15 years 9 months ago
2006
Springer
We extend Fagin’s result on the equivalence between functional dependencies in relational databases and propositional Horn clauses. It is shown that this equivalence still holds...