167
click to vote
LPNMR
15 years 10 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...
159
click to vote
LPNMR
15 years 10 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...
202
click to vote
LPNMR
15 years 10 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...
163
click to vote
LPNMR
15 years 10 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