Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire français - anglais

Simplification of database integrity constraints revisited: a transformational approach... The framework is formulated with first-order clause logic but with the perspective of being applied with present-day database technology....

général - core.ac.uk - PDF: citeseerx.ist.psu.edu

A hybrid reasoning system for terminologies and first-order clauses in knowledge bases 1 1 a hybrid reasoning system for terminologies and first-order clauses in knowledge bases 1... To combine rule-based reasoning with terminological knowledge, this paper presents a hybrid reasoning system for DL knowledge bases (TBox and ABox) and first-order clause sets....

PDF: citeseerx.ist.psu.edu

Higher-order positive set constraints... This uses a first-order clause format on so-called shallow higher-order patterns, and automated deduction techniques based on ordered resolution with splitting....

PDF: citeseerx.ist.psu.edu

Bdi: a new decidable first-order clause classBDI (Bounded Depth Increase) is a new decidable first-order clause class....

PDF: citeseerx.ist.psu.edu