4737 search results - page 251 / 948 » The LOGIC negotiation model |
195
click to vote
CORR
2002
Springer
15 years 7 months ago
2002
Springer
Abstract. We study algorithms for computing stable models of propositional logic programs and derive estimates on their worst-case performance that are asymptotically better than t...
213
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branchin...
205
click to vote
IJCAI
2007
15 years 8 months ago
2007
The definition of a stable model has provided a declarative semantics for Prolog programs with negation as failure and has led to the development of answer set programming. In th...
193
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The basic aim of our study is to give a possible model for handling uncertain information. This model is worked out in the framework of DATALOG. At first the concept of f...
176
click to vote
ASPDAC
2010
ACM
15 years 5 months ago
2010
ACM
Managing long verification error traces is one of the key challenges of automated debugging engines. Today, debuggers rely on the iterative logic array to model sequential behavior...