4401 search results - page 75 / 881 » Computing with Default Logic |
COMMA
2010
13 years 3 months ago
2010
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting arg...
BIRTHDAY
2010
Springer
13 years 6 months ago
2010
Springer
Pioneers of logic, among them J.R. B
AINA
2009
IEEE
14 years 3 months ago
2009
IEEE
The two most important aspects of any imagebased steganographic system are the imperceptibility and the capacity of the stego image. This paper evaluates the performance and effic...
PPDP
2007
Springer
14 years 2 months ago
2007
Springer
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...
ICTAC
2005
Springer
14 years 2 months ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...