Sciweavers

1413 search results - page 86 / 283
» A new condensation principle
Sort
View
ECAI
2008
Springer
14 years 1 days ago
Belief Revision through Forgetting Conditionals in Conditional Probabilistic Logic Programs
Abstract. In this paper, we present a revision strategy of revising a conditional probabilistic logic program (PLP) when new information is received (which is in the form of probab...
Anbu Yue, Weiru Liu
AWPN
2008
232views Algorithms» more  AWPN 2008»
13 years 11 months ago
Synthesis of Petri Nets from Infinite Partial Languages with VipTool
Abstract. In this paper we show an implementation of an algorithm to synthesize a place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by ...
Robin Bergenthum, Sebastian Mauser
CSREASAM
2006
13 years 11 months ago
Software Vaccine Technique and Its Application in Early Virus
: The paper introduces a new anti-virus idea of Software Vaccine technique. It can apply the security technique inside the software itself. By inserting the software vaccine into t...
Xiaodong Yuan, Dajiong Yue
AAAI
1997
13 years 11 months ago
Evidence for Invariants in Local Search
It is well known that the performance of a stochastic local search procedure depends upon the setting of its noise parameter, and that the optimal setting varies with the problem ...
David A. McAllester, Bart Selman, Henry A. Kautz
ICMAS
2000
13 years 11 months ago
Intention Reconciliation by Collaborative Agents
Research on resource-bounded agents has established that rational agents need to be able to revise their commitments in the light of new opportunities. In the context of collabora...
David G. Sullivan, Barbara J. Grosz, Sarit Kraus