Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
214
Verification of Description Logic Knowledge and Action Bases
, 2012
"... doi:10.3233/978-1-61499-098-7-103 ..."
Chapter 12 Rough Sets and Rough Logic: A KDD Perspective
"... Abstract Basic ideas of rough set theory were proposed by Zdzis law Pawlak [85, 86] in the early 1980’s. In the ensuing years, we have witnessed a systematic, world–wide growth of interest in rough sets and their applications. The main goal of rough set analysis is induction of approximations of con ..."
Abstract
- Add to MetaCart
of con-cepts. This main goal is motivated by the basic fact, constituting also the main problem of KDD, that languages we may choose for knowledge description are incomplete. A fortiori, we have to describe concepts of interest (features, proper-ties, relations etc.) not completely but by means
The Complexity of Circumscription in Description Logic
"... As fragments of first-order logic, Description logics (DLs) do not provide nonmonotonic features such as defeasible inheritance and default rules. Since many applications would benefit from the availability of such features, several families of nonmonotonic DLs have been developed that are mostly ba ..."
Abstract
-
Cited by 18 (1 self)
- Add to MetaCart
As fragments of first-order logic, Description logics (DLs) do not provide nonmonotonic features such as defeasible inheritance and default rules. Since many applications would benefit from the availability of such features, several families of nonmonotonic DLs have been developed that are mostly
Abstract Cosmological Black Holes as Models of Cosmological Inhomogeneities
, 2006
"... Since cosmological black holes modify the density and pressure of the surrounding universe, and introduce heat conduction, they produce simple models of cosmologi-cal inhomogeneities that can be used to study the eect of inhomogeneities on the universe's expansion. In this thesis, new cosmologi ..."
Abstract
- Add to MetaCart
cosmological black hole solutions are ob-tained by generalizing the expanding Kerr-Schild cosmological black holes to obtain the charged case, by performing a Kerr-Schild transformation of the Einstein-de Sitter universe (instead of a closed universe) to obtain non-expanding Kerr-Schild cosmo-logical black
Query Evaluation with Constant Delay
"... I am grateful to Luc Segoufin who kindly accepted me to be his PhD student. He introduced me to the problem of query enumeration and encouraged me to look for the answers to all the questions that emerged during our collaboration. He was a truly great advisor, always supportive and available for dis ..."
Abstract
- Add to MetaCart
I am grateful to Luc Segoufin who kindly accepted me to be his PhD student. He introduced me to the problem of query enumeration and encouraged me to look for the answers to all the questions that emerged during our collaboration. He was a truly great advisor, always supportive and available
Combining Partial Order Planning with Defeasible Argumentation
"... This research line involves the study of combining defeasible argumentation and different planning techniques. In this work we focus on the use of argumentation in combination with Partial Order Planning. 1 Defeasible Reasoning and Actions In previous work [SGC04, SG02, SG01], we have introduced a f ..."
Abstract
- Add to MetaCart
formalism where agents represent their knowledge about their environment using the language of Defeasible Logic Programming (DeLP) [GS04], and have a set of actions that they can execute in order to change the envi-ronment where they are performing their tasks. In this section we include a brief description
PDF hosted at the Radboud Repository of the Radboud University
"... Please be advised that this information was generated on 2016-05-12 and may be subject to change. ..."
Abstract
- Add to MetaCart
Please be advised that this information was generated on 2016-05-12 and may be subject to change.
COSMOLOGICAL MODELS OF MODIFIED GRAVITY
, 2013
"... The recent discovery of dark energy has prompted an investigation of ways in which the accelerated expansion of the universe can be realized. In this dissertation, we present two separate projects related to dark energy. The first project analyzes a class of braneworld models in which multiple brane ..."
Abstract
- Add to MetaCart
branes float in a five-dimensional anti-de Sitter bulk, while the second investigates a class of dark energy models from an effective field theory perspective. Investigations of models including extra dimensions have led to modifications of gravity involving a number of interesting features
Results 1 - 10
of
214
