LPNMR
13 years 9 months ago
2001 Springer 
Lixto is a system and method for the visual and interactive generation of wrappers for Web pages under the supervision of a human developer, for automatically extracting informatio...
LPNMR
13 years 9 months ago
2001 Springer 
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...
LPNMR
13 years 9 months ago
2001 Springer  LPNMR
13 years 9 months ago
2001 Springer
In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for suc...
LPNMR
13 years 9 months ago
2001 Springer
Much work has been done on extending the well-founded semantics to general disjunctive logic programs and various approaches have been proposed. However, no consensus has been reac...
|
Automated Reasoning