Sciweavers

10 search results - page 1 / 2
» lpnmr 2001
Sort
View
LPNMR
2001
Springer
13 years 7 months ago
NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics
Christian Anger, Kathrin Konczak, Thomas Linke
LPNMR
2001
Springer
13 years 7 months ago
An Update Front-End for Extended Logic Programs
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...
LPNMR
2001
Springer
13 years 7 months ago
Multi-adjoint Logic Programming with Continuous Semantics
Abstract. Considering different implication operators, such as Lukasiewicz, G¨odel or product implication in the same logic program, naturally leads to the allowance of several a...
Jesús Medina, Manuel Ojeda-Aciego, Peter Vo...
LPNMR
2001
Springer
13 years 7 months ago
Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto
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...
Robert Baumgartner, Sergio Flesca, Georg Gottlob
LPNMR
2001
Springer
13 years 7 months ago
Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
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...
Thomas Lukasiewicz