Towards a Type Discipline for Answer Set Programming

DOI10.1007/978-3-642-02444-3_8MaRDI QIDQ3638249zbMATH OpenOpenAlexFDO

Authors Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi

Publication date 2 July 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02444-3_8

zbMATH Keywords

answer set programminggroundingmany sorted interpretationtype checking

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• The ASP system DLV2
• scientific article; zbMATH DE number 1890626
• A type system for logic programs
• Knowledge Representation, Reasoning and Declarative Problem Solving
• On the relation among answer set solvers

Cites work

• A polymorphic type system for Prolog
• Computable Functions in ASP: Theory and Implementation
• Extending and implementing the stable model semantics
• External sources of knowledge and value invention in logic programming
• Horn clause programs with polymorphic types: Semantics and resolution
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 3639138 (Why is no real title available?)
• Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic Programming
• OntoDLV: An ASP-based System for Enterprise Ontologies
• Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages
• Polymorphic type inference for the relational algebra
• The DLV system for knowledge representation and reasoning

Cited in

(1)

• Towards answer set programming with sorts

Describes a project that uses

Uses Software

• DLV-EX
• DLV-Complex
• Ciao
• Smodels
• CiaoPP
• OntoDLV

This page was built for publication: Towards a Type Discipline for Answer Set Programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3638249)