A Free Logic for Stable Models with Partial Intensional Functions

DOI10.1007/978-3-319-11558-0_24MaRDI QIDQ2938505zbMATH OpenOpenAlexFDO

Authors

Publication date 14 January 2015

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-11558-0_24

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• On the stable model semantics for intensional functions
• A functional partial semantics for intensional logic
• A model of intuitionistic affine logic from stable domain theory
• Stable formulas in intuitionistic logic
• Free-quantifier functional logics of partial quasi-ary predicates
• scientific article; zbMATH DE number 6742170
• A note on the stable model semantics for logic programs
• First-order stable model semantics with intensional functions
• On partianl pseudo-stable models for logic programs
• Assumption-free Semantics for Ordered Logic Programs: On the Relationship Between Well-founded and Stable Partial Models

Cited in

(7)

• First-order stable model semantics with intensional functions
• On the expressiveness of temporal equilibrium logic
• A short biography of Luis Fariñas del Cerro
• A model of intuitionistic affine logic from stable domain theory
• Revisiting explicit negation in answer set programming
• On the stable model semantics for intensional functions
• Partial Functions and Equality in Answer Set Programming

This page was built for publication: A Free Logic for Stable Models with Partial Intensional Functions

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