نتائج البحث

Analytical learning and term-rewriting systems

• Authors : Laird, Philip

Subjects: Machine learning.; Calculus.; Algorithms.

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

SEPEC conference proceedings : hypermedia & information reconstruction : aerospace applications & research directions : addendum, final proceedings, December 3-5, 1990, Houston, Texas.

Subjects: Hypertext systems -- Congresses.; Space sciences -- Congresses. -- Data processing; Computer assisted instruction.

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

Introduction of non-topological costs in syntactic analyses: the case of Gulbenkian estate

• Authors : Fernandes, Pedro Afonso

Subjects: Space syntax; Non-topological costs; Liveability

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

Formal verification of AI software

• Authors : Rushby, John, 1949-

Subjects: Artificial intelligence.; Computer systems performance.; Expert systems.

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

Formal verification of AI software

• Authors : Rushby, John, 1949-

Subjects: Artificial intelligence.; Computer systems performance.; Expert systems.

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

Simply Logical -- Intelligent Reasoning by Example (Fully Interactive Online Edition)

• Authors : Peter Flach; Kacper Sokol

Subjects: Textbook; Interactive; Online Edition

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

Analyzing Long-Term Dynamics of Biological Networks with Answer Set Programming

• Authors : Ben Abdallah, Emna; Folschette, Maxime; Magnin, Morgan ...

Subjects: Answer Set Programming (ASP); logic programming; attractors

• Source: Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools ; https://hal.science/hal-03735849 ; Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools,

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

A Psychometrics Approach to Entropy

• Authors : Machado, Joana; Araújo, Isabel; Dias, Almeida ...

Subjects: Women’s Household Work; Artificial Intelligence; Psychometrics

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

Space Syntax with Prolog

• Authors : Fernandes, Pedro Afonso

Subjects: Space syntax; Gamma-analysis; Concentric structures

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

Two Applications of Logic Programming to Coq

• Authors : Matteo Manighetti; Dale Miller; Alberto Momigliano ...

Subjects: Proof assistant; logic programming; Coq

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