Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-10 ل  12 نتائج ل ""Knowledge representation""

فلترة النتائج

Collection : Universite Paris 1 Pantheon-Sorbonne
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Dissertation/ Thesis

Knowledge Representation and Evolutionary Data Management in the Context of Logic Programming. PhD ; Représentation de Connaissances et Gestion de Données Evolutives dans le Contexte de la Programmation Logique. Thèse de Doctorat

Subjects: Logic programming; knowledge representation; DBMS

  • Source: https://hal.science/tel-04325250 ; Informatique [cs]. INSA de Lyon, 1991. Français. ⟨NNT : ⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

An Analytic Calculus for the Intuitionistic Logic of Proofs

Subjects: normalisation; logic of proofs; cut-elimination

  • Source: ISSN: 0029-4527 ; Notre Dame Journal of Formal Logic ; https://hal.science/hal-01621420 ; Notre Dame Journal of Formal Logic, 2019, 60, pp.353-393.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Dissertation/ Thesis

Social and semantic dynamics in knowledge communities, morphogenesis and diffusion ; Dynamiques sociales et sémantiques dans les communautés de savoirs, morphogenèse et diffusion

Subjects: network morphogenesis; traces-based sociology; social networks

  • Source: https://pastel.hal.science/tel-00464316 ; Sociologie. AgroParisTech, 2009. Français. ⟨NNT : ⟩ ; https://pastel.archives-ouvertes.fr/tel-00464316.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Monotonic computation rules for nonassociative calculus

Subjects: Nonassociative calculus; symmetric maximum; computation rulesNancy; France

  • Source: 1st international conference on ALgebras, Graphs and Ordered Setshttps://hal.science/hal-029128781st international conference on ALgebras, Graphs and Ordered Sets, Aug 2020, Nancy,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

From Philosophical Ontology to Computer Ontologies: Semantic Implications of a Transition from Singular to Plural ; De l'Ontologie philosophique aux ontologies informatiques : implications sémantiques d'un passage du singulier au pluriel

Subjects: Artificial Intelligence; Ontology; Computer Ontologies

  • Source: ISSN: 2105-0864 ; Implications philosophiques ; https://hal.science/hal-04365988 ; Implications philosophiques, 2021, Dossier "Philosophie et Numérique" ;

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Book

New directions in ordinal evaluation: Sugeno integrals and beyond

Subjects: decision rule; Sugeno integral; lattice polynomial

  • Source: New Perspectives in Multiple Criteria Decision Making: Innovative Applications and Case Studies ; https://inria.hal.science/hal-01941776 ; Michalis Doumpos; José Rui Figueira; Salvatore Greco;

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

On integer-valued means and the symmetric maximum

Subjects: decomposability; symmetric maximum; nonassociative algebra

  • Source: ISSN: 0001-9054.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Security requirements analysis based on security and domain ontologies

Subjects: [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]Essen; Germany

  • Source: REFSQ ; https://paris1.hal.science/hal-00864311 ; REFSQ, Apr 2013, Essen, Germany. pp.1-3

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Reusable knowledge in security requirements engineering: a systematic mapping study

Subjects: Reusability; Security requirements; Knowledge

  • Source: ISSN: 0947-3602.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Dissertation/ Thesis

Naturalized ontology and Knowledge Engineering ; Ontologie naturalisée et ingénierie des connaissances

Subjects: Ontology; Common sense; Realism

  • Source: https://theses.hal.science/tel-02103695 ; Philosophie. Université Panthéon-Sorbonne - Paris I, 2018. Français. ⟨NNT : 2018PA01H232⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
  • 1-10 ل  12 نتائج ل ""Knowledge representation""