Sciweavers

2501 search results - page 99 / 501
» Logics with Rank Operators
Sort
View
116
Voted
AAAI
2008
15 years 3 months ago
Argument Theory Change Applied to Defeasible Logic Programming
In this article we work on certain aspects of the belief change theory in order to make them suitable for argumentation systems. This approach is based on Defeasible Logic Program...
Martín O. Moguillansky, Nicolás D. R...
98
Voted
CLIMA
2007
15 years 2 months ago
Actions with Failures in Interval Temporal Logic
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
Arjen Hommersom, Peter J. F. Lucas
IWFM
2000
112views Formal Methods» more  IWFM 2000»
15 years 2 months ago
A Note on the Relationships Between Logic Programs and Neural Networks
Several recent publications have exhibited relationships between the theories of logic programming and of neural networks. We consider a general approach to representing normal lo...
Pascal Hitzler, Anthony Karel Seda
ICLA
2011
Springer
14 years 4 months ago
A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity
We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This...
Ernst-Erich Doberkat
82
Voted
CORR
2010
Springer
255views Education» more  CORR 2010»
14 years 11 months ago
Multiplierless Modules for Forward and Backward Integer Wavelet Transform
: This article is about the architecture of a wavelet filter bank with reprogrammable logic. It is based on second generation of wavelets with a reduced of number of operations. A ...
Vasil Kolev