Pruning external minimality checking for answer set programs using semantic dependencies (Q2046045): Difference between revisions

@@ Property / describes a project that uses @@
+Hexlite
@@ Property / describes a project that uses: Hexlite / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DLV-EX
@@ Property / describes a project that uses: DLV-EX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Clingcon
@@ Property / describes a project that uses: Clingcon / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+aspcud
@@ Property / describes a project that uses: aspcud / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Clingo
@@ Property / describes a project that uses: Clingo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Datalog
@@ Property / describes a project that uses: Datalog / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2020.103402
+Normal rank
@@ Property / OpenAlex ID @@
+W3093047347
@@ Property / OpenAlex ID: W3093047347 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Henkin quantifiers and Boolean formulae: a certification perspective of DQBF
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3184605
@@ Property / cites work: Q3184605 / rank @@
+Normal rank
@@ Property / cites work @@
+Guest editorial: Special issue on answer set programming and other computing paradigms
+Normal rank
@@ Property / cites work @@
+Q5715666
@@ Property / cites work: Q5715666 / rank @@
+Normal rank
@@ Property / cites work @@
+External sources of knowledge and value invention in logic programming
+Normal rank
@@ Property / cites work @@
+Computable Functions in ASP: Theory and Implementation
+Normal rank
@@ Property / cites work @@
+Conjunctive query containment revisited
@@ Property / cites work: Conjunctive query containment revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536620
@@ Property / cites work: Q4536620 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity results for answer set programming with bounded predicate arities and implications
+Normal rank
@@ Property / cites work @@
+Domain expansion for ASP-programs with external sources
+Normal rank
@@ Property / cites work @@
+Efficient HEX-Program Evaluation Based on Unfounded Sets
+Normal rank
@@ Property / cites work @@
+Answer Set Programming with External Source Access
+Normal rank
@@ Property / cites work @@
+Q4580278
@@ Property / cites work: Q4580278 / rank @@
+Normal rank
@@ Property / cites work @@
+Generating explanations for biomedical queries
@@ Property / cites work: Generating explanations for biomedical queries / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics and complexity of recursive aggregates in answer set programming
+Normal rank
@@ Property / cites work @@
+Q3011296
@@ Property / cites work: Q3011296 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624167
@@ Property / cites work: Q3624167 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4732440
@@ Property / cites work: Q4732440 / rank @@
+Normal rank
@@ Property / cites work @@
+Number of quantifiers is better than number of tape cells
+Normal rank
@@ Property / cites work @@
+Modularity Aspects of Disjunctive Stable Models
@@ Property / cites work: Modularity Aspects of Disjunctive Stable Models / rank @@
+Normal rank
@@ Property / cites work @@
+Q3655273
@@ Property / cites work: Q3655273 / rank @@
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Relating constraint answer set programming languages and algorithms
+Normal rank
@@ Property / cites work @@
+One More Decidable Class of Finitely Ground Programs
+Normal rank
@@ Property / cites work @@
+Constrained dependencies
@@ Property / cites work: Constrained dependencies / rank @@
+Normal rank
@@ Property / cites work @@
+Q3668890
@@ Property / cites work: Q3668890 / rank @@
+Normal rank
@@ Property / cites work @@
+ASP modulo CSP: The clingcon system
@@ Property / cites work: ASP modulo CSP: The clingcon system / rank @@
+Normal rank
@@ Property / cites work @@
+A note on succinct representations of graphs
@@ Property / cites work: A note on succinct representations of graphs / rank @@
+Normal rank
@@ Property / cites work @@
+The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description)
+Normal rank
@@ Property / cites work @@
+OntoDLV: An ASP-based System for Enterprise Ontologies
+Normal rank
@@ Property / cites work @@
+Variable Dependencies of Quantified CSPs
@@ Property / cites work: Variable Dependencies of Quantified CSPs / rank @@
+Normal rank
@@ Property / cites work @@
+Backdoor sets of quantified Boolean formulas
@@ Property / cites work: Backdoor sets of quantified Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+The Hexlite solver. Lightweight and efficient evaluation of HEX programs
+Normal rank
@@ Property / cites work @@
+Q4626431
@@ Property / cites work: Q4626431 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint CNF: SAT and CSP Language Under One Roof.
+Normal rank
@@ Property / cites work @@
+Q2767109
@@ Property / cites work: Q2767109 / rank @@
+Normal rank
@@ Property / cites work @@
+Experimenting with recursive queries in database and logic programming systems
+Normal rank