AI Chat AI Image Generator AI Video Text to Speech

Integrated Algorithms for HEX-Programs and Applications in Machine Learning

05/07/2019

∙

by Tobias Kaminski, et al.

∙

∙

This paper summarizes my doctoral research on evaluation algorithms for HEX-programs, which extend Answer Set Programming with means for interfacing external computations. The focus is on integrating different subprocesses of HEX-evaluation, such as solving and external calls as well as grounding, and on applications of HEX-programs in the area of Machine Learning.

page 1

page 2

page 3

page 4

research

∙ 08/29/2011

Nested HEX-Programs

Answer-Set Programming (ASP) is an established declarative programming p...

0 Thomas Eiter, et al. ∙

research

∙ 08/02/2018

Inlining External Sources in Answer Set Programs

HEX-programs are an extension of answer set programs (ASP) with external...

0 Christoph Redl, et al. ∙

research

∙ 03/29/2023

System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics

Answer set programming is a declarative logic programming paradigm geare...

0 Daniel Bresnahan, et al. ∙

research

∙ 09/24/2020

Neurocoder: Learning General-Purpose Computation Using Stored Neural Programs

Artificial Neural Networks are uniquely adroit at machine learning by pr...

12 Hung Le, et al. ∙

research

∙ 02/22/2018

Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples

Over these years the Artificial Intelligence (AI) community has produced...

0 Arindam Mitra, et al. ∙

research

∙ 07/22/2019

Incremental Answer Set Programming with Overgrounding

Repeated executions of reasoning tasks for varying inputs are necessary ...

0 Francesco Calimeri, et al. ∙

research

∙ 01/08/2013

Eliminating Unfounded Set Checking for HEX-Programs

HEX-programs are an extension of the Answer Set Programming (ASP) paradi...

0 Thomas Eiter, et al. ∙