Constraint Answer Set Programming without Grounding

DOI10.1017/S1471068418000285zbMath1451.68063arXiv1804.11162MaRDI QIDQ4559798

Manuel Carro, Kyle Marple, Elmer Salazar, Joaquin Arias, Gopal Gupta

Publication date: 4 December 2018

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1804.11162

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17)

Related Items (18)

FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data ⋮ Building Information Modeling Using Constraint Logic Programming ⋮ FOLD-R++: a scalable toolset for automated inductive learning of default theories from mixed data ⋮ Synthesizing Imperative Code from Answer Set Programming Specifications ⋮ Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming ⋮ Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming ⋮ An ASP-based Approach to Answering Natural Language Questions for Texts ⋮ Fifty Years of Prolog and Beyond ⋮ Proof-theoretic foundations of normal logic programs ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks* ⋮ A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders ⋮ Abstraction for non-ground answer set programs ⋮ GK: implementing full first order default logic for commonsense reasoning (system description)

Uses Software

• DLV-EX
• GASP
• Clingcon
• Clingo
• ezcsp
• sCASP

Cites Work

• Unnamed Item
• A closed-form evaluation for Datalog queries with integer (gap)-order constraints
• Magic sets for disjunctive Datalog programs
• External sources of knowledge and value invention in logic programming
• An overview of Ciao and its design philosophy
• GASP: Answer Set Programming with Lazy Grounding
• A decidable subclass of finitary programs
• On finitely recursive programs
• Clingo goes linear constraints over reals and integers
• Clingcon: The next generation
• Constraint answer set solver EZCSP and why integration schemas matter
• Abduction in well-founded semantics and generalized stable models via tabled dual programs
• Logic Programming

This page was built for publication: Constraint Answer Set Programming without Grounding