1737 search results - page 66 / 348 » On Interpolation in Existence Logics |
140
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we are going to introduce the notion of strong non-standard completeness (SNSC) for fuzzy logics. This notion naturally arises from the well known construction by ul...
167
click to vote
CIBCB
2007
IEEE
16 years 15 days ago
2007
IEEE
—DNA matching is a crucial step in sequence alignment. Since sequence alignment is an approximate matching process there is a need for good approximate algorithms. The process of...
161
click to vote
WEBI
2007
Springer
16 years 7 days ago
2007
Springer
The size of the Web and its increase rate made it cumbersome to locate high precision results to a requested piece of information. The Semantic Web provides a framework and a set ...
171
click to vote
ASP
2005
Springer
15 years 11 months ago
2005
Springer
This paper discusses the background, algorithms and implementation techniques to support programmers in ‘debugging’ logic programs under the answer set semantics. We first inv...
166
click to vote
XSYM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Recently it was shown that existing general-purpose inductive logic programming systems are useful for learning wrappers (known as L-wrappers) to extract data from HTML d...