research
∙
07/15/2023
Elementary Sets for Logic Programs
By introducing the concepts of a loop and a loop formula, Lin and Zhao s...
share
research
∙
05/27/2023
External Behavior of a Logic Program and Verification of Refactoring
Refactoring is modifying a program without changing its external behavio...
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...
research
∙
08/04/2022
Proceedings 38th International Conference on Logic Programming
ICLP is the premier international event for presenting research in logic...
research
∙
06/16/2022
Unifying Framework for Optimizations in non-boolean Formalisms
Search-optimization problems are plentiful in scientific and engineering...
research
∙
06/13/2022
An Abstract View on Optimizations in Propositional Frameworks
Search-optimization problems are plentiful in scientific and engineering...
research
∙
07/17/2021
Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches
Constraint answer set programming or CASP, for short, is a hybrid approa...
research
∙
08/05/2020
Modular Answer Set Programming as a Formal Specification Language
In this paper, we study the problem of formal verification for Answer Se...
research
∙
09/18/2019
Information Extraction Tool Text2ALM: From Narratives to Action Language System Descriptions
In this work we design a narrative understanding tool Text2ALM. This too...
research
∙
05/08/2019
SMT-based Constraint Answer Set Solver EZSMT+
Constraint answer set programming integrates answer set programming with...
research
∙
01/26/2019
Strong Equivalence and Program's Structure in Arguing Essential Equivalence between Logic Programs
Answer set programming is a prominent declarative programming paradigm u...
research
∙
01/26/2019
The informal semantics of Answer Set Programming: A Tarskian perspective
In Knowledge Representation, it is crucial that knowledge engineers have...
research
∙
02/14/2017
Constraint Answer Set Solver EZCSP and Why Integration Schemas Matter
Researchers in answer set programming and constraint programming have sp...
research
∙
10/06/2015
Disjunctive Answer Set Solvers via Templates
Answer set programming is a declarative programming paradigm oriented to...
research
∙
12/28/2013
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey
This volume contains the papers presented at the sixth workshop on Answe...
research
∙
12/20/2013
Abstract Modular Systems and Solvers
Integrating diverse formalisms into modular knowledge representation sys...
research
∙
01/10/2013
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary
This volume contains the papers presented at the fifth workshop on Answe...
research
∙
08/29/2011
Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report
Combinatory categorial grammar (CCG) is a grammar formalism used for nat...
research
∙
05/03/2011
Transition Systems for Model Generators - A Unifying Approach
A fundamental task for propositional logic is to compute models of propo...
research
∙
03/23/2011
Representing First-Order Causal Theories by Logic Programs
Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner...
research
∙
12/28/2010
On Elementary Loops of Logic Programs
Using the notion of an elementary loop, Gebser and Schaub refined the th...
research
∙
01/06/2010