3793 search results - page 178 / 759 » Expressive Description Logics |
177
click to vote
JAPLL
2008
15 years 6 months ago
2008
Simple type theory, also known as higher-order logic, is a natural extension of first-order logic which is simple, elegant, highly expressive, and practical. This paper surveys th...
163
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
Dynamic epistemic logic deals with the representation of situations in a multi-agent and dynamic setting. It allows to express in a uniform way statements about:
246
click to vote
FTP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. First-order modal logic, in the usual formulations, is not sufficiently expressive, and as a consequence problems like Frege's morning
159
click to vote
FLAIRS
2001
15 years 8 months ago
2001
This paper presents a methodand implementation resuits for the transformation of WordNetglosses into logic forms. Theglosses, currently expressed in English are a rich source of w...
166
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
We provide a translation from CTL to Datalog¬ Succ. The translation has the following advantages: a) It is natural. b) It provides intuition to the expressive power of CTL and it...