2152 search results - page 300 / 431 » On Automating the Calculus of Relations |
108
Voted
NMR
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents statistical default logic, an expansion of classical (i.e., Reiter) default logic that allows us to model common inference patterns found in standard inferenti...
119
Voted
SSPR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. It is difficult to track, parse and model human-computer interactions during editing and revising of documents, but it is necessary if we are to develop automated technol...
99
Voted
LICS
2003
IEEE
15 years 6 months ago
2003
IEEE
We consider several questions related to the use of digitization techniques for timed automata. These very successful techniques reduce dense-time language inclusion problems to d...
107
click to vote
QSIC
2003
IEEE
15 years 6 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
102
click to vote
CSL
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. We study the succinctness of monadic second-order logic and a variety of monadic fixed point logics on trees. All these languages are known to have the same expressive p...