Sciweavers

4066 search results - page 186 / 814
» Almost Complete Sets
Sort
View
ARGMAS
2005
Springer
16 years 1 days ago
How Agents Alter Their Beliefs After an Argumentation-Based Dialogue
In our previous work on dialogue games for agent interaction, an agent’s set of beliefs (Σ) and an agent’s “commitment store” (CS) — the set of locutions uttered by the ...
Simon Parsons, Elizabeth Sklar
CLIMA
2010
15 years 8 months ago
Hypergraphs of Multiparty Secrets
The paper considers interdependencies between secrets in a multiparty system. Each secret is assumed to be known only to a certain fixed set of parties. These sets can be viewed as...
Sara Miner More, Pavel Naumov
MCU
1998
117views Hardware» more  MCU 1998»
15 years 7 months ago
The Turing Closure of an Archimedean Field
A BSS machine is -uniform if it does not use exact tests; such machines are equivalent (modulo parameters) to Type 2 Turing machines. We define a notion of closure related to Turi...
Paolo Boldi, Sebastiano Vigna
CSDA
2007
100views more  CSDA 2007»
15 years 6 months ago
Convergence of random k-nearest-neighbour imputation
Random k-nearest-neighbour (RKNN) imputation is an established algorithm for filling in missing values in data sets. Assume that data are missing in a random way, so that missing...
Fredrik A. Dahl
AI
2011
Springer
15 years 1 months ago
Stable models and circumscription
The concept of a stable model provided a declarative semantics for Prolog programs with negation as failure and became a starting point for the development of answer set programmi...
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz