Sciweavers

3907 search results - page 153 / 782
» Time, Knowledge, and Choice
Sort
View
TPLP
2010
115views more  TPLP 2010»
15 years 4 months ago
Towards closed world reasoning in dynamic open worlds
The need for integration of ontologies with nonmonotonic rules has been gaining importance in a number of areas, such as the Semantic Web. A number of researchers addressed this p...
Martin Slota, João Leite
SIGSOFT
2005
ACM
16 years 7 months ago
Reasoning about confidentiality at requirements engineering time
Growing attention is being paid to application security at requirements engineering time. Confidentiality is a particular subclass of security concerns that requires sensitive inf...
Renaud De Landtsheer, Axel van Lamsweerde
AH
2008
Springer
16 years 26 days ago
Automatic Generation of User Adapted Learning Designs: An AI-Planning Proposal
Abstract. A Learning Design(LD) definition under the IMS-LD standard is a complex task for the instructor because it requires a lot of time, effort and previous knowledge of the ...
Lluvia Morales, Luis A. Castillo, Juan Ferná...
GI
2009
Springer
15 years 11 months ago
Passive User Integration in Social Networking Services
Abstract: Employee knowledge is a key asset of every corporate organization. Therefore organizations strive to preserve this knowledge in its different forms in a variety of ways. ...
Stephan Leutenmayr, Gernot Stenz
DLOG
2007
15 years 8 months ago
Partitioning ABoxes Based on Converting DL to Plain Datalog
Abstract. To make ABox reasoning scalable for large ABoxes in description logic (DL) knowledge bases, we develop a method for partitioning the ABox so that specific kinds of reaso...
Jianfeng Du, Yi-Dong Shen