241 search results - page 19 / 49 » Ternary relations and relevant semantics |
NGC
1998
Springer
13 years 8 months ago
1998
Springer
Reducing redundancy in search has been a major concern for automated deduction. Subgoal-reduction strategies, such as those based on model elimination and implemented in Prolog te...
EDOC
2005
IEEE
14 years 2 months ago
2005
IEEE
— The paper proposes a more formalized definition of UML 2.0 Activity Diagram semantics. A subset of activity diagram constructs relevant for business process modeling is conside...
WCRE
2005
IEEE
14 years 2 months ago
2005
IEEE
Understanding a software system by just analyzing the structure of the system reveals only half of the picture, since the structure tells us only how the code is working but not w...
ICAIL
2007
ACM
13 years 10 months ago
2007
ACM
It is the concern of the author to arrange cogitations and experiences she gained by collaborating in relevant international project works, by conducting scientific studies regard...
SOFSEM
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. This article introduces KWQL, spoken “quickel”, a rulebased query language for a semantic wiki based on the label-keyword query paradigm. KWQL allows for rich combine...