9145 search results - page 257 / 1829 » Description Logic Systems |
144
click to vote
PKDD
2009
Springer
16 years 1 months ago
2009
Springer
Subgroup discovery is a local pattern discovery task, in which descriptions of subpopulations of a database are evaluated against some quality function. As standard quality functio...
172
click to vote
CLIMA
2004
15 years 8 months ago
2004
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...
190
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— CDNs have been widely used to provide low latency, scalability, fault tolerance, and load balancing for the delivery of web content and more recently streaming media. W...
154
click to vote
TYPES
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...
ALPUK
1990
15 years 7 months ago
1990
