1814 search results - page 193 / 363 » Extended First-Order Logic |
118
Voted
FCT
2005
Springer
15 years 9 months ago
2005
Springer
We show that a slightly extended version of asynchronous cellular automata, relative to any class of pomsets and dags without autoconcurrency, has the same expressive power as the ...
99
Voted
TABLEAUX
2005
Springer
15 years 9 months ago
2005
Springer
We extend classical first-order logic with subtyping by type predicates and type coercion. Type predicates assert that the value of a term belongs to a more special type than the ...
99
Voted
SEMWEB
2004
Springer
15 years 9 months ago
2004
Springer
Semantic Web resources — that is, knowledge representation formalisms existing in a distributed hypermedia system — require different addressing and processing models and capac...
136
Voted
SEMWEB
2004
Springer
15 years 9 months ago
2004
Springer
OWL DL corresponds to a Description Logic (DL) that is a fragment of classical first-order predicate logic (FOL). Therefore, the standard methods of automated reasoning for full F...
116
Voted
FORMATS
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with re...