|
FCube 4.1, a Prolog prover for Intuitionistic Propositional Logic, now online - Reply 1
|
3
|
356
|
December 21, 2021
|
|
Blog Post on Harrop Clauses and Scoped Dynamic Databases
|
13
|
650
|
April 22, 2023
|
|
Experimental library for type-class-like polymorphic predicates
|
0
|
602
|
March 26, 2020
|
|
Non Monotonicity/Defeasibility Strategies and Other Stuff
|
47
|
1551
|
January 13, 2023
|
|
New Book: Second Edition of Foundations of Probabilistic Logic Programming
|
0
|
340
|
February 14, 2023
|