37 citations · 133 across the 50 of their papers we have counts for
3 papers · 1 filter
PyReason: Software for Open World Temporal Logic
Dyuman Aditya, Kaustuv Mukherji, Srikar Balasubramanian +2
The growing popularity of neuro symbolic reasoning has led to the adoption of various forms of differentiable (i.e., fuzzy) first order logic. We introduce PyReason, a software fra…
Proceedings 36th International Conference on Logic Programming (Technical Communications)
Francesco Ricca, Alessandra Russo, Sergio Greco +9
Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are solicited in all…
Belief Revision in Structured Probabilistic Argumentation
Paulo Shakarian, Gerardo I. Simari, Marcelo A. Falappa
In real-world applications, knowledge bases consisting of all the information at hand for a specific domain, along with the current state of affairs, are bound to contain contradic…