RASP and ASP as a fragment of linear logic

DOI10.1080/11663081.2013.798997MaRDI QIDQ4583307zbMATH OpenOpenAlexFDO

Authors Stefania Costantini, Andrea Formisano

Publication date 28 August 2018

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.2013.798997

zbMATH Keywords

answer set programminglinear logicresource management

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Extending and Implementing RASP
• Answer Set Programming with Resources
• Strong equivalence of RASP programs
• Negation as a resource: a novel view on answer set semantics
• Negation as a resource: a novel view on answer set semantics

Cites work

• A linear axiomatization of negation as failure
• A Uniform Proof-theoretic Investigation of Linear Logic Programming
• An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems
• Answer Set Programming with Resources
• Contributions to the stable model semantics of logic programs with negation
• Decision problems for propositional linear logic
• Extending and Implementing RASP
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 741347 (Why is no real title available?)
• scientific article; zbMATH DE number 741348 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 2134912 (Why is no real title available?)
• scientific article; zbMATH DE number 4767 (Why is no real title available?)
• scientific article; zbMATH DE number 785051 (Why is no real title available?)
• scientific article; zbMATH DE number 786485 (Why is no real title available?)
• scientific article; zbMATH DE number 1453071 (Why is no real title available?)
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Linear logic
• Logic programming and negation: A survey
• Logic programming in a fragment of intuitionistic linear logic
• Modeling preferences and conditional preferences on resource consumption and production in ASP
• On the existence of stable models of non-stratified logic programs
• Strong equivalence of RASP programs
• Strongly equivalent logic programs
• The complexity of Horn fragments of linear logic
• Twelve Definitions of a Stable Model

Cited in

(5)

• Negation as a resource: a novel view on answer set semantics
• Strong equivalence of RASP programs
• Negation as a resource: a novel view on answer set semantics
• Modeling preferences and conditional preferences on resource consumption and production in ASP
• Query answering in resource-based answer set semantics

Describes a project that uses

Uses Software

• RASP
• Lolli
• ASP

This page was built for publication: RASP and ASP as a fragment of linear logic

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