Gradient-based supported model computation in vector spaces

DOI10.1007/978-3-031-15707-3_26OpenAlexW3211081793MaRDI QIDQ2694583

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)

Uses Software

• Adam
• NeurASP

Cites Work

• The relationship between stable, supported, default and autoepistemic semantics for general logic programs
• An efficient reasoning method on logic programming using partial evaluation in vector spaces
• Logic Programming
• Unnamed Item
• Unnamed Item

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