3032 search results - page 210 / 607 » Description Logic Rules |
111
Voted
AIML
2008
15 years 2 months ago
2008
In 1983, Valentini presented a syntactic proof of cut-elimination for a sequent calculus GLSV for the provability logic GL where we have added the subscript V for "Valentini&q...
CICLING
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents the design and development of a system for the detection and correction of syntactic errors in free texts. The system is composed of three main modules: a) a ro...
147
click to vote
AAAI
2007
15 years 3 months ago
2007
In probabilistic reasoning, the problems of existence and identity are important to many different queries; for example, the probability that something that fits some description...
102
Voted
EWSA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
88
Voted
RR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...