scientific article; zbMATH DE number 7440194

zbMath1482.68158arXiv1607.04461MaRDI QIDQ5015371

Gabriele Paganelli

Publication date: 7 December 2021

Full work available at URL: https://arxiv.org/abs/1607.04461

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Knowledge representation (68T30) Logic in computer science (03B70) Online algorithms; streaming algorithms (68W27) Theory of computing (68Q99)

Uses Software

• CLIPS
• Erlang
• Python
• GitHub
• Jess

Cites Work

• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Unnamed Item
• Unnamed Item

This page was built for publication: