2585 search results - page 283 / 517 » Automating Coherent Logic |
163
Voted
JAR
2008
15 years 6 months ago
2008
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
169
click to vote
ECSA
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. The conceptual modelling of software architectures is of central importance for the quality of a software system. A rich modelling language is required to integrate the d...
165
click to vote
ESWS
2005
Springer
16 years 5 days ago
2005
Springer
There is an ongoing discussion whether reasoning in the Semantic Web should be monotonic or not. It seems however that the problem concerns not only the reasoning over knowledge bu...
168
click to vote
CAV
2003
Springer
15 years 12 months ago
2003
Springer
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...
138
click to vote
HT
2000
ACM
15 years 11 months ago
2000
ACM
The qualities of non-sequentiality that make hypertext so appealing to writers and readers of informative and literary texts are also those that problematize arguments in the same...