797 search results - page 15 / 160 » Logics with an existential modality |
CADE
2006
Springer
14 years 2 months ago
2006
Springer
We introduce a Presburger modal logic PML with regularity constraints and full Presburger constraints on the number of children that generalize graded modalities, also known as num...
CADE
2001
Springer
14 years 11 months ago
2001
Springer
RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized s...
JOLLI
2002
13 years 10 months ago
2002
A concept language with role intersection and number restriction is defined and its modal equivalent is provided. The main reasoning tasks of satisfiability and subsumption checkin...
ICTL
1994
14 years 3 months ago
1994
This paper presents a temporal belief logic called
AAAI
2007
14 years 1 months ago
2007
