3244 search results - page 207 / 649 » Extensions to Description Logics |
142
click to vote
JAPLL
2007
15 years 6 months ago
2007
Employing a logic program approach, this paper focuses on applying preferential reasoning to theory revision, both by means of preferences among existing theory rules, and by means...
173
click to vote
AI
2000
Springer
15 years 6 months ago
2000
Springer
We introduce an alternative conceptual basis for default reasoning in Reiter's default logic. In fact, most formal or computational treatments of default logic suffer from th...
144
click to vote
BIRTHDAY
2005
Springer
16 years 4 hour ago
2005
Springer
We present an extension of first-order predicate logic with a novel predicate ‘at t’ meaning intuitively “this term is a variable symbol”. We give simple sequent proof-ru...
189
click to vote
CONCUR
2005
Springer
15 years 12 months ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...
142
click to vote
CSFW
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...