Sciweavers

4224 search results - page 510 / 845
» Reasoning about Choice
Sort
View
183
Voted
CLIMA
2004
15 years 8 months ago
Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs
Abstract. Multidimensional dynamic logic programs (MDLPs) are suitable to represent knowledge dynamic in time, or more generally, information coming from various sources, partially...
Martin Homola
CMS
2006
150views Communications» more  CMS 2006»
15 years 8 months ago
Attribute Delegation Based on Ontologies and Context Information
This paper presents a model for delegation based on partial orders, proposing the subclass relation in OWL as a way to represent the partial orders. Delegation and authorization de...
Isaac Agudo, Javier Lopez, José A. Monteneg...
EHCI
2004
15 years 8 months ago
Formalising an Understanding of User-System Misfits
Many of the difficulties users experience when working with interactive systems arise from misfits between the user's conceptualisation of the domain and device with which the...
Ann Blandford, Thomas R. G. Green, Iain Connell
FECS
2006
127views Education» more  FECS 2006»
15 years 8 months ago
The Boy Crisis and the Technology Gender Gap: Laying a Framework for Success
- "They're kinetic, maddening, and failing at school." These words were used in a recent issue of Newsweek to describe the state of boys in school and the debated to...
Cynthia Lester
KRMED
2004
15 years 8 months ago
Using C-OWL for the alignment and merging of medical ontologies
A number of sophisticated medical ontologies have been created over the past years. With their development the need for supporting the alignment of different ontologies is gaining...
Heiner Stuckenschmidt, Frank van Harmelen, Paolo B...