Treffer 81 - 100 von 2.496

82

Learning and reasoning with graph data
Jaeger, Manfred
Front Artif Intell
Frontiers in Artificial Intelligence, Vol 6 (2023)
Jaeger, M 2023, 'Learning and Reasoning with Graph Data', Frontiers in Artificial Intelligence, vol. 6, 1124718. https://doi.org/10.3389/frai.2023.1124718

representation learning graph data neuro-symbolic integrati... Artificial Intelligence statistical relational l... Electronic computers. Co...
Fachzeitschrift
Zu den Favoriten
83

An Instance Based Model for Scalable θ-Subsumption.
Léger, Hippolyte ; Bouthinon, Dominique ; Lebbah, Mustapha ; et al.
International Journal on Artificial Intelligence Tools. Nov2018, Vol. 27 Issue 7, pN.PAG-N.PAG. 13p.

INDUCTIVE logic programm... ASSIMILATION theory (Cog... THY-1 antigen ACTOR-network theory INSTRUCTIONAL systems
Fachzeitschrift
Zu den Favoriten
84

Extraction de règles d'ordonnancement : Aide au paramétrage d'un progiciel d'ordonnancement.
Chebel-Morello, Brigitte ; Baptiste, Pierre ; Lereno, Emmanuel ; et al.
Journal Européen des Systèmes Automatisés. 40(1):11-32

software package filtering computer simulation heuristic method scheduling extraction process
Zeitschrift
Zu den Favoriten
85

Learning Prime Implicant Conditions From Interpretation Transition
Ribeiro, Tony ; Inoue, Katsumi ; National Institute of Informatics (NII) ; et al.
The 24th International Conference on Inductive Logic Programming (ILP 2014), Sep 2015, Nancy, France

Nancy, France dynamical systems Boolean networks attractors supported models learning from interpreta...
Konferenz
Zu den Favoriten
86

Dieses Ergebnis kann Gästen nicht angezeigt werden.

87

Lifting symmetry breaking constraints with inductive logic programming
Tarzariol, Alice ; Gebser, Martin ; Schekotihin, Konstantin
Machine Learning. :1-24

Fachzeitschrift
Zu den Favoriten
88

Meta-interpretive learning as metarule specialisation
Patsantzis, S. ; Muggleton, S. H.
Machine Learning. :1-29

Fachzeitschrift
Zu den Favoriten
89

Symbolic AI for XAI : Evaluating LFIT Inductive Programming for Explaining Biases in Machine Learning
Ortega, Alfonso ; Fierrez, Julian ; Morales, Aythami ; et al.
Computers. 10(11):154-154

inductive logic programm... fair recruitment fair income level propositional logic explainable artificial i... [INFO.INFO-AI]Computer S...
Zeitschrift
Zu den Favoriten
90

Statistical Relational Learning: A State-of-the-Art Review
Muhamet KASTRATİ ; Marenglen BİBA
Volume: 4, Issue: 3 141-156
Journal of Engineering Technology and Applied Sciences

Matematik Statistical relational l... probabilistic graphical... inductive logic programm... probabilistic inductive... 0202 electrical engineer...
Fachzeitschrift
Zu den Favoriten
91

Toward a Neural-Symbolic Framework for Automated Workflow Analysis in Surgery
Nakawala, H. ; de Momi, E. ; Bianchi, R. ; et al.
15th Mediterranean Conference on Medical and Biological Engineering and Computing. :1551-1558

Coimbra, Portugal Deep learning Inductive logic programm... Production rules Robot-Assisted Partial N... Surgical workflow
Konferenz
Zu den Favoriten
92

Mutual Explanations for Cooperative Decision Making in Medicine
Ute Schmid ; Bettina Finzel
KI - Künstliche Intelligenz. 34:227-233

Human-AI partnership 0202 electrical engineer... 02 engineering and techn... Inductive Logic Programm... Explanations as constrai... 3. Good health
Fachzeitschrift
Zu den Favoriten
93

Towards inductive learning of surgical task knowledge: a preliminary case study of the peg transfer task
Daniele Meli ; Paolo Fiorini ; Mohan Sridharan
Procedia Computer Science

0209 industrial biotechn... EC H2020 0202 electrical engineer... Advanced Grant General Medicine
Fachzeitschrift
Zu den Favoriten
94

Resource-bounded relational reasoning: induction and deduction through stochastic matching
Sebag, Michèle ; Rouveirol, Céline ; Laboratoire de Mécanique des Solides (LMS) ; et al.
Machine Learning. 38(1-2):41-62

bounded reasoning first order logic inductive logic programm... [SPI.MECA]Engineering Sc... Mechanics [physics.med-p...
Zeitschrift
Zu den Favoriten
95

When deep learning meets inductive logic programming
Cao, Yushi ; Lin Shang-Wei ; College of Computing and Data Science ; et al.

Computer and Information... Neural-symbolic AI Deep learning Inductive logic programm...
Dissertation
Zu den Favoriten
96

Využití strojového učení pro extrakci doménové znalosti plánovacích problémů
Kotal, Jiří ; Vomlelová, Marta ; Ondrčková, Simona

induktivní logické progr... Inductive logic programm...
Dissertation
Zu den Favoriten
97

Learning-Assisted Reasoning within Proof Assistants via Symbolic, Statistical, and Neural Guidance
Zhang, Liao ; Cezary, Kaliszyk ; Universitätsbibliothek

Interactive theorem prov... Machine learning Inductive logic programm... Term Rewriting
Dissertation
Zu den Favoriten
98

Inclusion of domain-knowledge into GNNs using mode-directed inverse entailment
Dash, Tirtharaj ; Srinivasan, Ashwin ; Baskar, A.
Machine Learning. 111(2):575-623

Fachzeitschrift
Zu den Favoriten
99

Learning from interpretation transition using differentiable logic programming semantics
Gao, Kun ; Wang, Hanpin ; Cao, Yongzhi ; et al.
Machine Learning. 111(1):123-145

Fachzeitschrift
Zu den Favoriten
100

Anti-unification of Unordered Goals
Yernaux, Gonzague ; Vanhoof, Wim ; Gonzague Yernaux and Wim Vanhoof ; et al.
Yernaux, G & Vanhoof, W 2022, Anti-unification of Unordered Goals. in F Manea & A Simpson (eds), Proceedings of the 30th EACSL Annual Conference on Computer Science Logic (CSL 2022)., 37, Leibniz International Proceedings in Informatics (LIPIcs), vol. 216, Computer Science Logic 2022, Göttingen, Germany, 14/02/22. https://doi.org/10.4230/LIPIcs.CSL.2022.37

FOS: Computer and inform... Computer Science - Logic... Logic Programming Anti-unification Inductive logic programm... 0102 computer and inform...
Fachzeitschrift
Zu den Favoriten

Filter