4573 search results - page 195 / 915 » Automated Reasoning |
129
Voted
CSL
2008
Springer
15 years 5 months ago
2008
Springer
We study the logical definablity of the winning regions of parity games. For games with a bounded number of priorities, it is wellknown that the winning regions are definable in th...
112
Voted
CSL
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Since Parigot's seminal article on an algorithmic interpretation of classical natural deduction [13],
117
Voted
DLOG
1996
15 years 5 months ago
1996
: The main thesis of this paper is that in order to use Description Logics in practical applications, a seamless integration with object-oriented system development methodologies m...
100
Voted
DLOG
1996
15 years 5 months ago
1996
d Abstract) Riccardo Rosati Dipartimento di Informatica e Sistemistica Universita di Roma \La Sapienza" Via Salaria 113, 00198 Roma, Italy
127
Voted
DLOG
2009
15 years 4 months ago
2009
Abstract. We present a family of expressive extensions of Datalog, called Datalog