293 search results - page 4 / 59 » Computing Stable Models by Using the ATMS |
ICLP
2001
Springer
13 years 10 months ago
2001
Springer
We formally characterize alternating fixed points of boolean equation systems as models of (propositional) normal logic programs. To this end, we introduce the notion of a preferr...
BIRTHDAY
2010
Springer
13 years 6 months ago
2010
Springer
Stable models of logic programs have been studied by many researchers, mainly because of their role in the foundations of answer set programming. This is a review of some of the de...
TCSV
2010
13 years 14 days ago
2010
Background subtraction (BS) is an efficient technique for detecting moving objects in video sequences. A simple BS process involves building a model of the background and extractin...
SIGGRAPH
1999
ACM
13 years 10 months ago
1999
ACM
Building animation tools for fluid-like motions is an important and challenging problem with many applications in computer graphics. The use of physics-based models for fluid ...
IRI
2003
IEEE
13 years 11 months ago
2003
IEEE
— The AnyLog pattern models the core knowledge of any Log, as a written record. The Log finds extensive use in the computing industry. The pattern makes it easy to model differen...