Gradient-based supported model computation in vector spaces

DOI10.1007/978-3-031-15707-3_26MaRDI QIDQ2694583zbMATH OpenOpenAlexFDO

Authors Akihiro Takemura, Katsumi Inoue

Publication date 4 April 2023

Full work available at URL https://doi.org/10.1007/978-3-031-15707-3_26

zbMATH Keywords

logic programmingdifferentiable logic programmingsupported model computation

Mathematics Subject Classification ID

Cellular automata (computational aspects) (68Q80)

Cites work

• scientific article; zbMATH DE number 2090539 (Why is no real title available?)
• An efficient reasoning method on logic programming using partial evaluation in vector spaces
• Logic Programming
• Natural language processing (almost) from scratch
• The relationship between stable, supported, default and autoepistemic semantics for general logic programs

Cited in

(2)

• A differentiable first-order rule learner for inductive logic programming
• scientific article; zbMATH DE number 5926070 (Why is no real title available?)

Describes a project that uses

Uses Software

• NeurASP
• Adam

This page was built for publication: Gradient-based supported model computation in vector spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2694583)