4266 search results - page 630 / 854 » A Framework for Defining Logics |
203
click to vote
VRCAI
2004
ACM
16 years 18 days ago
2004
ACM
Actual graphic hardware becomes more and more powerful. Consequently, virtual scenes can be rendered in a very good quality integrating dynamic behavior, real-time shadows, bump m...
194
click to vote
AI
2004
Springer
16 years 18 days ago
2004
Springer
Constraints formalize the dependencies in a physical world in terms of a logical relation among several unknowns. Constraint satisfaction methods allow efficient navigation of larg...
193
click to vote
CAISE
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
188
click to vote
ESWS
2004
Springer
16 years 18 days ago
2004
Springer
Existing efforts on ontology mapping, alignment and merging vary from methodological and theoretical frameworks, to methods and tools that support the semi-automatic coordination o...
172
click to vote
FASE
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...