AIIA
2015
Springer
8 years 6 days ago
2015
Springer
We present a preliminary high-level formal theory, grounded on knowledge representation techniques and foundational ontologies, for the uniform and integrated representation of the...
AIIA
2015
Springer
8 years 6 days 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...
AIIA
2015
Springer
8 years 6 days 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...
AIIA
2015
Springer
8 years 6 days 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...
AIIA
2015
Springer
8 years 6 days 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...
AIIA
2015
Springer
8 years 6 days 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 ...
AIIA
2015
Springer
8 years 6 days ago
2015
Springer
Historical documents are a relevant part of cultural heritage. It is well-established that this domain is very complex: data are often heterogeneous, semantically rich, and highly ...
AIIA
2015
Springer
8 years 6 days ago
2015
Springer
