scientific article; zbMATH DE number 7455714
From MaRDI portal
Publication:5020972
Ari Saptawijaya, Ridhwan Dewoprabowo
Publication date: 11 January 2022
Full work available at URL: https://arxiv.org/abs/2009.10243
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Abductive logic programming agents with destructive databases
- Tabling for non-monotonic programming
- XSB: Extending Prolog with Tabled Logic Programming
- The well-founded semantics for general logic programs
- Abduction in well-founded semantics and generalized stable models via tabled dual programs
- Tabling with Answer Subsumption: Implementation, Applications and Performance
- A Core Method for the Weak Completion Semantics with Skeptical Abduction
- Global Computing
This page was built for publication: