Towards a Type Discipline for Answer Set Programming (Q3638249): Difference between revisions

@@ Property / describes a project that uses @@
+CiaoPP
@@ Property / describes a project that uses: CiaoPP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OntoDLV
@@ Property / describes a project that uses: OntoDLV / 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.1007/978-3-642-02444-3_8
+Normal rank
@@ Property / OpenAlex ID @@
+W1866350436
@@ Property / OpenAlex ID: W1866350436 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198051
@@ Property / cites work: Q4198051 / 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 @@
+Polymorphic type inference for the relational algebra
+Normal rank
@@ Property / cites work @@
+OntoDLV: An ASP-based System for Enterprise Ontologies
+Normal rank
@@ Property / cites work @@
+Horn clause programs with polymorphic types: Semantics and resolution
+Normal rank
@@ Property / cites work @@
+Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+A polymorphic type system for Prolog
@@ Property / cites work: A polymorphic type system for Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank