2585 search results - page 378 / 517 » Automating Coherent Logic |
172
click to vote
TIME
2006
IEEE
16 years 15 days ago
2006
IEEE
In this paper, we present our work on creating a complete set of rules for temporal arithmetic mixing months and days based on the “history-dependent intuition”. Many examples...
177
click to vote
TIME
2005
IEEE
16 years 2 days ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
155
click to vote
ASP
2005
Springer
16 years 1 days ago
2005
Springer
In this paper we consider an extension of the answer set semantics allowing arbitrary use of strong negation. We prove that the strong negation extension of any intermediate logic ...
174
click to vote
LPAR
2005
Springer
15 years 12 months ago
2005
Springer
We investigate some syntactic properties of Wadler’s dual calculus, a term calculus which corresponds to classical sequent logic in the same way that Parigot’s λµ calculus co...
172
click to vote
LPNMR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The rapid expansion of the Internet and World Wide Web led to growing interest in data and information integration, which should be capable to deal with inconsistent and ...