scientific article; zbMATH DE number 7455735

MaRDI QIDQ5020995zbMATH OpenFDO

Authors Zhun Yang

Publication date 11 January 2022

Full work available at URL https://arxiv.org/abs/2009.10256, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICLP2020.41

Mathematics Subject Classification ID

Logic programming (68N17)

Cites work

• A logic for default reasoning
• ASP-Core-2 input language format
• Finite termination of a Newton-type algorithm for a class of affine variational inequality problems
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 1493045 (Why is no real title available?)
• Logic Programming and Nonmonotonic Reasoning
• Neural probabilistic logic programming in DeepProbLog

Cited in

(3)

• Deep learning for the generation of heuristics in answer set programming: a case study of graph coloring
• Boosting Answer Set Optimization with Weighted Comparator Networks
• An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases

Describes a project that uses

Uses Software

• NeurASP
• DeepProbLog
• KagNet
• RelNN
• CLEVR
• Cmodels
• NeuroSAT
• TensorLog
• CLEVR dataset

This page was built for publication:

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