2 citations · 2 across the 3 of their papers we have counts for
3 papers
Implementing Metric Temporal Answer Set Programming
Arvid Becker, Pedro Cabalar, Martin Diéguez +3
We develop a computational approach to Metric Answer Set Programming (ASP) to allow for expressing quantitative temporal constraints, like durations and deadlines. A central challe…
Compiling Metric Temporal Answer Set Programming
Arvid Becker, Pedro Cabalar, Martin Diéguez +3
We develop a computational approach to Metric Answer Set Programming (ASP) to allow for expressing quantitative temporal constrains, like durations and deadlines. A central challen…
plingo: A system for probabilistic reasoning in clingo based on lpmln
Susana Hahn, Tomi Janhunen, Roland Kaminski +3
We present plingo, an extension of the ASP system clingo with various probabilistic reasoning modes. Plingo is centered upon LP^MLN, a probabilistic extension of ASP based on a wei…