Sciweavers

AIC
2015
1views more  AIC 2015»
9 years 9 months ago
Pattern-Recognition: a Foundational Approach
Abstract. This paper aims at giving a contribution to the ongoing attempt to turn the theory of pattern-recognition into a rigorous science. In this article we address two problems...
Agnese Augello, Salvatore Gaglio, Gianluigi Oliver...
AIC
2015
10views more  AIC 2015»
9 years 9 months ago
Information-Theoretic Segmentation of Natural Language
Abstract. We present computational experiments on language segmentation using a general information-theoretic cognitive model. We present a method which uses the statistical regula...
Sascha S. Griffiths, Mariano Mora McGinity, Jamie ...
AIC
2015
3views more  AIC 2015»
9 years 9 months ago
Extracting Concrete Entities through Spatial Relations
This paper focuses on the automated extraction of concrete entities from a specialized-domain corpus. Then, in a bootstrapping phase, the candidates are used to extract new candida...
Olga Acosta, César Antonio Aguilar
AIC
2015
1views more  AIC 2015»
9 years 9 months ago
A Network-based Communication Platform for a Cognitive Computer
Street is a reconfigurable parallel computer architecture. It executes a production language directly in hardware with the aim of realising advanced cognitive agents in a more ene...
Mostafa W. Numan, Jesse Frost, Braden J. Phillips,...
AI
2015
Springer
9 years 9 months ago
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty
The framework of temporal problems with uncertainty (TPU) is useful to express temporal constraints over a set of activities subject to uncertain (and uncontrollable) duration. In...
Alessandro Cimatti, Andrea Micheli, Marco Roveri
AI
2015
Springer
9 years 9 months ago
Belief revision in Horn theories
This paper investigates belief revision where the underlying logic is that governing Horn clauses. We show that classical (AGM) belief revision doesn’t immediately generalise to...
James P. Delgrande, Pavlos Peppas
AI
2015
Springer
9 years 9 months ago
Backdoors to tractable answer set programming
We present a unifying approach to the efficient evaluation of propositional answer-set programs. Our approach is based on backdoors which are small sets of atoms that represent ...
Johannes Klaus Fichte, Stefan Szeider
AI
2015
Springer
9 years 9 months ago
Bi-goal evolution for many-objective optimization problems
This paper presents a meta-objective optimization approach, called Bi-Goal Evolution (BiGE), to deal with multi-objective optimization problems with many objectives. In multi-obje...
Miqing Li, Shengxiang Yang, Xiaohui Liu