1814 search results - page 83 / 363 » Extended First-Order Logic |
132
Voted
DLOG
2001
15 years 4 months ago
2001
In this extended abstract an optimization technique, the so-called signature calculus, for reasoning with number restrictions in description logics is investigated. The calculus i...
162
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The classical propositional logic is known to be sound and complete with respect to the set semantics that interprets connectives as set operations. The paper extends pro...
131
click to vote
AML
2002
15 years 3 months ago
2002
Abstract We extend Barbanera and Berardi's symmetric lambda calculus [2] to second order classical propositional logic and prove its strong normalization.
125
click to vote
IJCAI
2007
15 years 4 months ago
2007
Abstract. We propose an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using information provided by the knowledge...
122
click to vote
STACS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of ω-regular languages. The class has two equivalent desc...