-
5
-
-
80053395756
-
Business Process Model and Notation (BPMN): Version 2.0 specification
-
Technical report formal/2011-01-03, January
-
OMG: Business Process Model and Notation (BPMN): Version 2.0 specification. In: Object Management Group, Technical report formal/2011-01-03, January 2011
-
(2011)
Object Management Group
-
-
OMG1
-
7
-
-
0346856527
-
A tool-supported approach to inter-tabular verification
-
Vanthienen, J., Mues, C., Wets, G., Delaere, K.: A tool-supported approach to inter-tabular verification. Expert Syst. Appl. 15(3), 277-285 (1998)
-
(1998)
Expert Syst. Appl
, vol.15
, Issue.3
, pp. 277-285
-
-
Vanthienen, J.1
Mues, C.2
Wets, G.3
Delaere, K.4
-
8
-
-
56549100763
-
VARDA rule design and visualization tool-chain
-
Dengel, A.R., Berns, K., Breuel, T.M., Bomarius, F., Roth-Berghofer, T.R. (eds.), Springer, Heidelberg
-
Nalepa, G.J., Wojnicki, I.: VARDA rule design and visualization tool-chain. In: Dengel, A.R., Berns, K., Breuel, T.M., Bomarius, F., Roth-Berghofer, T.R. (eds.) KI 2008. LNCS (LNAI), vol. 5243, pp. 395-396. Springer, Heidelberg (2008)
-
(2008)
KI 2008. LNCS (LNAI)
, vol.5243
, pp. 395-396
-
-
Nalepa, G.J.1
Wojnicki, I.2
-
9
-
-
84887233578
-
HaDEs-presentation of the HeKatE design environment
-
Baumeister, J., Nalepa, G.J. (eds.), 2009, Paderborn, Germany
-
Kaczor, K., Nalepa, G.J.: HaDEs-presentation of the HeKatE design environment. In: Baumeister, J., Nalepa, G.J. (eds.) 5th Workshop on Knowledge Engineering and Software Engineering (KESE2009) at the 32nd German Conference on Artificial Intelligence: September 15, 2009, Paderborn, Germany, pp. 57-62 (2009)
-
(2009)
5th Workshop on Knowledge Engineering and Software Engineering (KESE2009) at the 32nd German Conference on Artificial Intelligence: September 15
, pp. 57-62
-
-
Kaczor, K.1
Nalepa, G.J.2
-
10
-
-
84904541784
-
Automatic generation of business process models based on attribute relationship diagrams
-
Lohmann, N., Song, M., Wohed, P. (eds.), Springer, Heidelberg
-
Kluza, K., Nalepa, G.J.: Automatic generation of business process models based on attribute relationship diagrams. In: Lohmann, N., Song, M., Wohed, P. (eds.) BPM 2013 Workshops. LNBIP, vol. 171, pp. 185-197. Springer, Heidelberg (2014)
-
(2014)
BPM 2013 Workshops. LNBIP
, vol.171
, pp. 185-197
-
-
Kluza, K.1
Nalepa, G.J.2
-
11
-
-
84855782957
-
Formalization and modeling of rules using the XTT2 method
-
Nalepa, G.J., Ligęeza, A., Kaczor, K.: Formalization and modeling of rules using the XTT2 method. Int. J. Artif. Intell. Tools 20(6), 1107-1125 (2011)
-
(2011)
Int. J. Artif. Intell. Tools
, vol.20
, Issue.6
, pp. 1107-1125
-
-
Nalepa, G.J.1
Ligęeza, A.2
Kaczor, K.3
-
12
-
-
77950287287
-
Design and implementation of HQEd, the visual editor for the XTT+ rule design method
-
Technical report CSLTR 02/2008, December 2008
-
Kaczor, K., Nalepa, G.J.: Design and implementation of HQEd, the visual editor for the XTT+ rule design method. In: AGH University of Science and Technology, Technical report CSLTR 02/2008, December 2008
-
AGH University of Science and Technology
-
-
Kaczor, K.1
Nalepa, G.J.2
-
13
-
-
84894452480
-
Algorithms for rule inference in modularized rule bases
-
Bassiliades, N., Governatori, G., Paschke, A. (eds.), Springer, Heidelberg
-
Nalepa, G.J., Bobek, S., Ligęeza, A., Kaczor, K.: Algorithms for rule inference in modularized rule bases. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2011-Europe. LNCS, vol. 6826, pp. 305-312. Springer, Heidelberg (2011)
-
(2011)
RuleML 2011-Europe. LNCS
, vol.6826
, pp. 305-312
-
-
Nalepa, G.J.1
Bobek, S.2
Ligęeza, A.3
Kaczor, K.4
-
14
-
-
84855774153
-
How to reason by HeaRT in a semantic knowledge-based wiki
-
ICTAI , Boca Raton, Florida, USA, November 2011
-
Adrian, W.T., Bobek, S., Nalepa, G.J., Kaczor, K., Kluza, K.: How to reason by HeaRT in a semantic knowledge-based wiki. In: Proceedings of the 23rd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2011, Boca Raton, Florida, USA, November 2011, pp. 438-441. http://ieeexplore.ieee.org/xpls/abs& tag=1
-
(2011)
Proceedings of the 23rd IEEE International Conference on Tools with Artificial Intelligence
, pp. 438-441
-
-
Adrian, W.T.1
Bobek, S.2
Nalepa, G.J.3
Kaczor, K.4
Kluza, K.5
-
15
-
-
80052327862
-
Embedding the HeaRT rule engine into a semantic wiki
-
Katarzyniak, R., Chiu, T.-F., Hong, C.-F., Nguyen, N.T. (eds.), Springer, Heidelberg
-
Nalepa, G.J., Bobek, S.: Embedding the HeaRT rule engine into a semantic wiki. In: Katarzyniak, R., Chiu, T.-F., Hong, C.-F., Nguyen, N.T. (eds.) Semantic Methods for Knowledge Management and Communication. SCI, vol. 381, pp. 265-275. Springer, Heidelberg (2011). http://www.springerlink.com/content/ f39827272u6732h0/
-
(2011)
Semantic Methods for Knowledge Management and Communication. SCI
, vol.381
, pp. 265-275
-
-
Nalepa, G.J.1
Bobek, S.2
-
16
-
-
84884409952
-
Proposal of an inference engine architecture for business rules and processes
-
Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.), , Springer, Heidelberg
-
Nalepa, G.J., Kluza, K., Kaczor, K.: Proposal of an inference engine architecture for business rules and processes. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2013, Part II. LNCS, vol. 7895, pp. 453-464. Springer, Heidelberg (2013). http://www.springer.com/computer/ai/book/978-3-642-38609-1
-
(2013)
ICAISC 2013, Part II. LNCS
, vol.7895
, pp. 453-464
-
-
Nalepa, G.J.1
Kluza, K.2
Kaczor, K.3
-
17
-
-
84861015535
-
Enriching business processes with rules using the oryx BPMN editor
-
Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.), , Springer, Heidelberg
-
Kluza, K., Kaczor, K., Nalepa, G.J.: Enriching business processes with rules using the oryx BPMN editor. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2012, Part II. LNCS, vol. 7268, pp. 573-581. Springer, Heidelberg (2012). http://www.springerlink.com/content/u654r0m56882np77/
-
(2012)
ICAISC 2012, Part II. LNCS
, vol.7268
, pp. 573-581
-
-
Kluza, K.1
Kaczor, K.2
Nalepa, G.J.3
-
18
-
-
84857513631
-
-
5th ed., The jBPM team of JBoss Community, Dec
-
jBPM User Guide, 5th ed., The jBPM team of JBoss Community, Dec 2011. http:// docs.jboss.org/jbpm/v5.2/userguide/
-
(2011)
jBPM User Guide
-
-
-
19
-
-
84883030069
-
-
Manning Pubs Co Series. Manning Publications Company
-
Rademakers, T., Baeyens, T., Barrez, J.: Activiti in Action: Executable Business Processes in BPMN 2.0, ser. Manning Pubs Co Series. Manning Publications Company (2012)
-
(2012)
Activiti in Action: Executable Business Processes in BPMN 2.0, ser
-
-
Rademakers, T.1
Baeyens, T.2
Barrez, J.3
-
20
-
-
84892557733
-
Towards rule interoperability: Design of drools rule bases using the XTT2 method
-
Nguyen, N.T. (ed.), Springer, Heidelberg
-
Kaczor, K., Kluza, K., Nalepa, G.J.: Towards rule interoperability: design of drools rule bases using the XTT2 method. In: Nguyen, N.T. (ed.) Transactions on Computational Collective Intelligence XI. LNCS, vol. 8065, pp. 155-175. Springer, Heidelberg (2013)
-
(2013)
Transactions on Computational Collective Intelligence XI. LNCS
, vol.8065
, pp. 155-175
-
-
Kaczor, K.1
Kluza, K.2
Nalepa, G.J.3
-
21
-
-
84933496695
-
-
Object Management Group, Technical report dtc/2014-02-01, Feb
-
OMG: Decision model and notation beta1. Object Management Group, Technical report dtc/2014-02-01, Feb 2014
-
(2014)
Decision model and notation beta1
-
-
OMG1
|