131
Voted
LPNMR
15 years 7 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...
123
click to vote
LPNMR
15 years 7 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...
130
Voted
LPNMR
15 years 7 months ago
2001 Springer  156
click to vote
LPNMR
15 years 7 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...
124
click to vote
LPNMR
15 years 7 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