Sciweavers

4192 search results - page 528 / 839
» Probabilistic Logic Programming
Sort
View
COMMA
2006
15 years 5 months ago
Semi-Stable Semantics
In this paper, we examine an argument-based semantics called semi-stable semantics. Semi-stable semantics is quite close to traditional stable semantics in the sense that every st...
Martin Caminada
IJCAI
1993
15 years 5 months ago
Notes on Formalizing Context
These notes discuss formalizing contexts as first class objects. The basic relation is ist(c, p). It asserts that the proposition p is true in the context c. The most important f...
John McCarthy
FSKD
2007
Springer
126views Fuzzy Logic» more  FSKD 2007»
15 years 10 months ago
Rough Set Model Selection for Practical Decision Making
One of the challenges a decision maker faces is choosing a suitable rough set model to use for data analysis. The traditional algebraic rough set model classifies objects into th...
Joseph P. Herbert, Jingtao Yao
DNA
2005
Springer
118views Bioinformatics» more  DNA 2005»
15 years 10 months ago
Molecular Learning of wDNF Formulae
We introduce a class of generalized DNF formulae called wDNF or weighted disjunctive normal form, and present a molecular algorithm that learns a wDNF formula from training example...
Byoung-Tak Zhang, Ha-Young Jang
CSFW
2003
IEEE
15 years 9 months ago
Anonymity and Information Hiding in Multiagent Systems
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
Joseph Y. Halpern, Kevin R. O'Neill