2302 search results - page 148 / 461 » Basic Description Logics |
159
click to vote
APLAS
2003
ACM
15 years 9 months ago
2003
ACM
We describe origami programming methodology based on constraint functional logic programming. The basic operations of origami are reduced to solving systems of equations which desc...
138
click to vote
FSS
2006
15 years 4 months ago
2006
In this paper we investigate the addition of arbitrary independent involutive negations to t-norm based logics. We deal with several extensions of MTL and establish general comple...
144
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
135
click to vote
CLEF
2006
Springer
15 years 8 months ago
2006
Springer
This paper describes in detail the combination of NLP methods applied to the treatment of logic forms in the topic processing and statistical methods applied to the search engine ...
160
click to vote
SEMWEB
2001
Springer
15 years 8 months ago
2001
Springer
Metadata are widely used in order to fully exploit information resources available on corporate intranets or the Internet. The Resource Description Framework (RDF) aims at facilit...