Specification and verification of a linear-time temporal logic for graph transformation
We present a first-order linear-time temporal logic for reasoning about the evolution of
directed graphs. Its semantics is based on the counterpart paradigm, thus allowing our logic …
directed graphs. Its semantics is based on the counterpart paradigm, thus allowing our logic …
Ontologically correct taxonomies by construction
Taxonomies play a central role in conceptual domain modeling, having a direct impact in
areas such as knowledge representation, ontology engineering, and software engineering …
areas such as knowledge representation, ontology engineering, and software engineering …
Specification and verification of a linear-time logic for graph transformation
We present a first-order linear-time temporal logic for reasoning about the evolution of
directed graphs. Its semantics is based on the counterpart paradigm, thus allowing our logic …
directed graphs. Its semantics is based on the counterpart paradigm, thus allowing our logic …
[PDF][PDF] A Control Flow Graph Generation Method for Java Projects
Many software quality assurance methods depend on the control flow graph (CFG) for the
analyzing process. However, existing methods for Java projects have not described details …
analyzing process. However, existing methods for Java projects have not described details …
Introducing Dynamic Object Creation to PDDL Planning
For automated planning robot behaviour in a rather unex-plored world, often there are
exogenous events introducing new objects, triggered by the actions, that were unforeseen in …
exogenous events introducing new objects, triggered by the actions, that were unforeseen in …