Sciweavers

FUIN
2010
121views more  FUIN 2010»
13 years 4 months ago
Big-step Operational Semantics Revisited
Abstract. In this paper we present a novel approach to big-step operational semantics. This approach stems from the observation that the typical type soundness property formulated ...
Jaroslaw D. M. Kusmierek, Viviana Bono
FUIN
2010
114views more  FUIN 2010»
13 years 4 months ago
Feature Selection via Maximizing Fuzzy Dependency
Feature selection is an important preprocessing step in pattern analysis and machine learning. The key issue in feature selection is to evaluate quality of candidate features. In t...
Qinghua Hu, Pengfei Zhu, Jinfu Liu, Yongbin Yang, ...
FUIN
2010
268views more  FUIN 2010»
13 years 4 months ago
Boruta - A System for Feature Selection
Machine learning methods are often used to classify objects described by hundreds of attributes; in many applications of this kind a great fraction of attributes may be totally irr...
Miron B. Kursa, Aleksander Jankowski, Witold R. Ru...
FUIN
2010
141views more  FUIN 2010»
13 years 7 months ago
Decidability Problems in Petri Nets with Names and Replication
In this paper we study decidability of several extensions of P/T nets with name creation and/or replication. In particular, we study how to restrict the models of RN systems (P/T n...
Fernando Rosa Velardo, David de Frutos-Escrig
FUIN
2010
116views more  FUIN 2010»
13 years 7 months ago
An Investigation of Multi-Agent Planning in CLP
This paper explores the use of Constraint Logic Programming (CLP) as a platform for experimenting with planning problems in the presence of multiple interacting agents. The paper ...
Agostino Dovier, Andrea Formisano, Enrico Pontelli
FUIN
2010
114views more  FUIN 2010»
13 years 7 months ago
A Logic-Based System for e-Tourism
In this paper we present the IDUM system, a successful application of logic programming to e-tourism. IDUM exploits two technologies that are based on the state-of-the-art ASP syst...
Francesco Ricca, Antonella Dimasi, Giovanni Grasso...
FUIN
2010
137views more  FUIN 2010»
13 years 7 months ago
Extending and Implementing RASP
In previous work we have proposed an extension to ASP (Answer Set Programming), called RASP, standing for ASP with Resources. RASP supports declarative reasoning on production and...
Stefania Costantini, Andrea Formisano, Davide Pett...
FUIN
2010
163views more  FUIN 2010»
13 years 7 months ago
Equational Reasoning on Mobile Ad Hoc Networks
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar
FUIN
2010
101views more  FUIN 2010»
13 years 7 months ago
A Logic-Based, Reactive Calculus of Events
Federico Chesani, Paola Mello, Marco Montali, Paol...
FUIN
2010
106views more  FUIN 2010»
13 years 7 months ago
Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity
Abstract. Developing a good formalism and an efficient decision procedure for the instance checking problem is desirable for practical application of description logics. The data c...
Linh Anh Nguyen