Stratified Datalog and Program Analysis
by Anders Schlichtkrull, René Rydhof Hansen and Flemming Nielson
by Anders Schlichtkrull, René Rydhof Hansen and Flemming Nielson
Computer science/Artificial intelligence
Subject Classification
ACM: Computing methodologies~Artificial intelligence
AMS: Computer science / Artificial intelligence
2025
by Anders Schlichtkrull, René Rydhof Hansen and Flemming Nielson
The Sigmoid Function and the Universal Approximation Theorem
by Dustin Bryant, Jim Woodcock and Simon Foster
2022
Automation of Boolos' Curious Inference in Isabelle/HOL
by Christoph Benzmüller, David Fuenmayor, Alexander Steen and Geoff Sutcliffe