| Name |
Last Update |
Last Commit
History
|
|
..
|
|
|
|
.trashed-1716106913-0000 - kifer-vss-galp -- fc.pdf
|
Loading commit data...
|
|
|
.trashed-1716106913-0000 - kifer-vss-galp -- fc.xopp
|
Loading commit data...
|
|
|
.trashed-1716106923-0000 - ProbView-261124.261131.xopp
|
Loading commit data...
|
|
|
.trashed-1716106923-0000 - ProbView-261124.261131_fc.pdf
|
Loading commit data...
|
|
|
1992 - Annotated Logic Programs - kifer-subrahmanian.pdf
|
Loading commit data...
|
|
|
1992%20-%20Annotated%20Logic%20Programs%20-%20kife_240419_110654.pdf
|
Loading commit data...
|
|
|
1992%2520-%2520Annotated%2520Logic%2520Programs%25_240419_170324.pdf
|
Loading commit data...
|
|
|
1992%2520-%2520Annotated%2520Logic%2520Programs%25_240419_231616.sdocx
|
Loading commit data...
|
|
|
1997 - Probabilistic Database System - lakshmanan-subrahmanian.pdf
|
Loading commit data...
|
|
|
2002 - Answer set programming and plan generation.pdf
|
Loading commit data...
|
|
|
2007 - ProbLog - a probabilistic prolog and its application in link discovery.pdf
|
Loading commit data...
|
|
|
2008 - Probabilistic reasoning with answer sets.pdf
|
Loading commit data...
|
|
|
2008 - Twelve Definitions of a Stable Model - Lifschitz.pdf
|
Loading commit data...
|
|
|
2013 - Answer Set Solving in Practice - Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub.pdf
|
Loading commit data...
|
|
|
2014 - A new method of proving the existence of answer sets for disjunctive logic programs.pdf
|
Loading commit data...
|
|
|
2016 - Weighted Rules under the Stable Model Semantics.pdf
|
Loading commit data...
|
|
|
2017 - Computing Stable Models of Normal Logic Programs Without Grounding.pdf
|
Loading commit data...
|
|
|
2017 - LPMLN, Weak Constraints and P-log.pdf
|
Loading commit data...
|
|
|
2018 - Deep Learning, A critical appraisal - Gary Marcus.pdf
|
Loading commit data...
|
|
|
2018 - Foundations of Probabilistic Logic Programming. Languages, Semantics, Inference and Learning - Fabrizio Riguzzi.pdf
|
Loading commit data...
|
|
|
2019 - A Meta-Transfer Objective for Learning to Disentangle Causal Mechanisms - Bengio et al.pdf
|
Loading commit data...
|
|
|
2019 - On the Measure of Intelligence - Francois Chollet.pdf
|
Loading commit data...
|
|
|
2019 - Potassco User Guide.pdf
|
Loading commit data...
|
|
|
2020 - ASP-Core-2 Input Language Format - Calimeri et al..pdf
|
Loading commit data...
|
|
|
2020 - Justifications for Goal-Directed Constraint Answer Set Programming.pdf
|
Loading commit data...
|
|
|
2020 - Prolog and Answer Set Programming - Languages in Logic Programming.pdf
|
Loading commit data...
|
|
|
2020 - The joy of Probabilistic Answer Set Programming - Fabio Gagliardi Cozman, Denis Deratani Maua.pdf
|
Loading commit data...
|
|
|
2021 - CASP and SCASP best practices.pdf
|
Loading commit data...
|
|
|
2021 - Solution Enumeration by Optimality in Answer Set Programming.pdf
|
Loading commit data...
|
|
|
2022 - Inference and learning with model uncertainty in probabilistic logic programs.pdf
|
Loading commit data...
|
|
|
ASP-DLV_tutorial.html
|
Loading commit data...
|
|
|
ASP-DLV_tutorial.md
|
Loading commit data...
|
|
|
Special Issue on Answer Set Programming-Abstract.pdf
|
Loading commit data...
|
|
|
annotated -- 2018 - Foundations of Probabilistic Logic Programming. Languages, Semantics, Inference and Learning - Fabrizio Riguzzi.pdf
|
Loading commit data...
|
|