Sciweavers

2253 search results - page 129 / 451
» The ComFoRT Reasoning Framework
Sort
View
AGI
2008
13 years 11 months ago
Distance-Based Non-Deterministic Semantics
Representing uncertainty and reasoning with dynamically evolving systems are two related issues that are in the heart of many information systems. In this paper we show that these ...
Ofer Arieli, Anna Zamansky
LANMR
2004
13 years 11 months ago
Computing Preferred Safe Beliefs
We recently proposed a definition of a language for nonmonotonic reasoning based on intuitionistic logic. Our main idea is a generalization of the notion of answer sets for arbitr...
Luis A. Montiel, Juan A. Navarro
NIPS
2004
13 years 11 months ago
Support Vector Classification with Input Data Uncertainty
This paper investigates a new learning model in which the input data is corrupted with noise. We present a general statistical framework to tackle this problem. Based on the stati...
Jinbo Bi, Tong Zhang
IJCAI
2003
13 years 11 months ago
Quantifying information and contradiction in propositional logic through test actions
Degrees of information and of contradiction are investigated within a uniform propositional framework, based on test actions. We consider that the degree of information of a propo...
Sébastien Konieczny, Jérôme La...
COLING
1992
13 years 11 months ago
Data Types In Computational Phonology
This paper exanfines certain aspects of phonological structure from the viewpoint of ahstract data types, Our imnlediate goal is to find a format for l)honological representation ...
Ewan Klein