9145 search results - page 191 / 1829 » Description Logic Systems |
128
click to vote
LICS
2008
IEEE
16 years 59 min ago
2008
IEEE
The question of whether there is a logic that captures polynomial time is the central open problem in descriptive complexity theory. In my talk, I will review the question and the...
145
click to vote
DEXAW
2007
IEEE
15 years 12 months ago
2007
IEEE
In this paper we explore embeddings of the various kinds of RDF entailment in F-Logic. We show that the embeddings of simple, RDF, and RDFS entailment, as well as a large fragment...
168
Voted
CORR
1999
Springer
15 years 5 months ago
1999
Springer
A variational approach to finite connectivity spin-glass-like models is developed and applied to describe the structure of optimal solutions in random satisfiability problems. Our ...
146
click to vote
ROBOCUP
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper resumes the main features of the RoGi Team. It explains whole system, including global vision and decision systems and robots.
144
click to vote
SEC
2001
15 years 7 months ago
2001
There is a strong demand for techniques to aid development and modelling of security critical systems. Based on general security evaluation criteria, we show how to extend the syst...