A Free Logic for Stable Models with Partial Intensional Functions

DOI10.1007/978-3-319-11558-0_24zbMath1432.68430OpenAlexW224929203MaRDI QIDQ2938505

No author found.

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)

Related Items (3)

A short biography of Luis Fariñas del Cerro ⋮ Revisiting Explicit Negation in Answer Set Programming ⋮ On the Expressiveness of Temporal Equilibrium Logic

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