1814 search results - page 255 / 363 » Extended First-Order Logic |
136
Voted
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Axiom pinpointing has been introduced in description logics (DL) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base th...
135
click to vote
LATA
2010
Springer
16 years 20 days ago
2010
Springer
Abstract. Iterated schemata allow to define infinite languages of propositional formulae through formulae patterns. Formally, schemata extend propositional logic with new (generali...
179
Voted
FROCOS
2009
Springer
15 years 9 months ago
2009
Springer
The developments in information technology during the last decade have been rapidly changing the possibilities for data and knowledge access. To respect this, several declarative k...
119
click to vote
LICS
2007
IEEE
15 years 9 months ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...
110
Voted
ICTAC
2007
Springer
15 years 9 months ago
2007
Springer
LTL cannot express the whole class of ω-regular languages and several extensions have been proposed. Among them, Quantified propositional Linear Temporal Logic (QLTL), proposed b...