2623 search results - page 123 / 525 » tools 2010 |
CADE
2010
Springer
13 years 11 months ago
2010
Springer
It has recently been shown that proofs in which some symbols are colored (e.g. local or split proofs and symbol-eliminating proofs) can be used for a number of applications, such a...
IS
2010
13 years 8 months ago
2010
Business process models are an important tool in understanding and improving the efficiency of a business and in the design of information systems. Recent work has evaluated busin...
JELIA
2010
Springer
13 years 8 months ago
2010
Springer
The Multi-Context System Inconsistency Explainer allows for evaluation of semantics and explanation of inconsistencies in systems where heterogeneous knowledge bases are linked via...
JELIA
2010
Springer
13 years 8 months ago
2010
Springer
Action languages allow for compactly describing dynamic domains. They are usually implemented by compilation, e.g., to Answer Set Programming. To this end, we developed a tool, cal...
MP
2010
13 years 8 months ago
2010
In this paper, we develop a convexification tool that enables the construction of convex hulls for orthogonal disjunctive sets using convex extensions and disjunctive programming...