108
Voted
AIIA
2015
Springer
9 years 12 months ago
2015
Springer
Abstract. We describe encodings in Answer Set Programming for abductive reasoning in First Order Logic in acyclic Horn theories in the presence of value invention and in the absenc...
91
Voted
AIIA
2015
Springer
9 years 12 months ago
2015
Springer
The advent of humanoid robots has posed new challenges and opportunities to control complex movements; their bodies have an high number of degrees of freedom, and methods used up t...
97
Voted
AIIA
2015
Springer
9 years 12 months ago
2015
Springer
Aggregation functions are widely used in answer set programming (ASP) for representing and reasoning on knowledge involving sets of objects collectively. These sets may also depend...
102
Voted
AIIA
2015
Springer
9 years 12 months ago
2015
Springer
Abstract. Answer Set Programming (ASP) is a well-known declarative programming language for knowledge representation and non-monotonic reasoning. ASP solvers are usually written in...
102
Voted
AIIA
2015
Springer
9 years 12 months ago
2015
Springer
We consider the problem of learning both the structure and the parameters of Probabilistic Description Logics under DISPONTE. DISPONTE (“DIstribution Semantics for Probabilistic ...