1134 search results - page 190 / 227 » Using Constraints with Action Language for Model Evolution |
122
click to vote
JAIR
2000
15 years 2 months ago
2000
Recently model checking representation and search techniques were shown to be efciently applicable to planning, in particular to non-deterministic planning. Such planning approach...
106
click to vote
IEAAIE
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. This paper presents AROM, a new object-based knowledge representation system. AROM is original in two ways. Firstly, in addition to classes, knowledge representation in A...
124
click to vote
CICLING
2010
Springer
15 years 5 months ago
2010
Springer
The translation quality and parsing efficiency are often disappointed when Rule based Machine Translation systems deal with long sentences. Due to the complicated syntactic structu...
135
click to vote
SOSYM
2010
15 years 1 months ago
2010
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...
143
click to vote
CINQ
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we present the application of the inductive database approach to two practical analytical case studies: Web usage mining in Web logs and financial data. As far as co...