Writing Declarative Specifications for Clauses (Q2835876): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-48758-8_17
+Normal rank
@@ Property / OpenAlex ID @@
+W2546121331
@@ Property / OpenAlex ID: W2546121331 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Systems for Effectively Propositional Logic
@@ Property / cites work: Proof Systems for Effectively Propositional Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Concise finite-domain representations for PDDL planning tasks
+Normal rank
@@ Property / cites work @@
+Grounding FO and FO(ID) with Bounds
@@ Property / cites work: Grounding FO and FO(ID) with Bounds / rank @@
+Normal rank
@@ Property / cites work @@
+Cardinality networks: a theoretical and empirical study
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+The expressive powers of the logic programming semantics
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+Q5282991
@@ Property / cites work: Q5282991 / rank @@
+Normal rank
@@ Property / cites work @@
+SAT Modulo Graphs: Acyclicity
@@ Property / cites work: SAT Modulo Graphs: Acyclicity / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Haplotype Inference with Pseudo-boolean Optimization
+Normal rank
@@ Property / cites work @@
+Q3429154
@@ Property / cites work: Q3429154 / rank @@
+Normal rank
@@ Property / cites work @@
+Unsatisfiability-based optimization in clasp
@@ Property / cites work: Unsatisfiability-based optimization in clasp / rank @@
+Normal rank
@@ Property / cites work @@
+Q3446861
@@ Property / cites work: Q3446861 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5398039
@@ Property / cites work: Q5398039 / rank @@
+Normal rank
@@ Property / cites work @@
+Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3
+Normal rank
@@ Property / cites work @@
+Compiling problem specifications into SAT
@@ Property / cites work: Compiling problem specifications into SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Writing Declarative Specifications for Clauses
@@ Property / cites work: Writing Declarative Specifications for Clauses / rank @@
+Normal rank
@@ Property / cites work @@
+Stable-unstable semantics: Beyond NP with normal logic programs
+Normal rank
@@ Property / cites work @@
+Some (in)translatability results for normal logic programs and propositional theories
+Normal rank