-
1
-
-
84976816925
-
Algorithm = logic + control
-
Kowalski, R.A.: Algorithm = logic + control. Communications of the ACM 22(7), 424-436 (1979)
-
(1979)
Communications of the ACM
, vol.22
, Issue.7
, pp. 424-436
-
-
Kowalski, R.A.1
-
2
-
-
0032294174
-
Agent communication language: Rethinking the principles
-
December
-
Singh, M.P.: Agent communication language: rethinking the principles. IEEE Computer, 40-47 (December 1998)
-
(1998)
IEEE Computer
, pp. 40-47
-
-
Singh, M.P.1
-
3
-
-
51149086600
-
Verifiable agent interaction in abductive logic programming: The SCIFF framework
-
Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM Transactions on Computational Logic 9(4), 1-43 (2008)
-
(2008)
ACM Transactions on Computational Logic
, vol.9
, Issue.4
, pp. 1-43
-
-
Alberti, M.1
Chesani, F.2
Gavanelli, M.3
Lamma, E.4
Mello, P.5
Torroni, P.6
-
5
-
-
33749635457
-
A declarative approach for flexible business processes management
-
Eder, J, Dustdar, S, eds, BPM Workshops 2006, Springer, Heidelberg
-
Pesic, M., van der Aalst, W.M.P.: A declarative approach for flexible business processes management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 169-180. Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.4103
, pp. 169-180
-
-
Pesic, M.1
van der Aalst, W.M.P.2
-
6
-
-
58749103227
-
-
Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science, B: Formal Models and Sematics (B), pp. 995-1072. MIT Press, Cambridge (1990)
-
Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), pp. 995-1072. MIT Press, Cambridge (1990)
-
-
-
-
7
-
-
38149015332
-
LTL satisfiability checking
-
In: Model Checking Software, Bošnački, D, Edelkamp, S, eds, SPIN, Springer, Heidelberg
-
Rozier, K.Y., Vardi, M.Y.: LTL satisfiability checking. In: Model Checking Software. In: Bošnački, D., Edelkamp, S. (eds.) SPIN 2007. LNCS, vol. 4595, pp. 149-167. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4595
, pp. 149-167
-
-
Rozier, K.Y.1
Vardi, M.Y.2
-
8
-
-
43949167687
-
Real-time logics: Complexity and expressiveness
-
Alur, R., Henzinger, T.A.: Real-time logics: complexity and expressiveness. Information and Computation 104, 35-77 (1993)
-
(1993)
Information and Computation
, vol.104
, pp. 35-77
-
-
Alur, R.1
Henzinger, T.A.2
-
9
-
-
77957187070
-
Abductive logic programming
-
Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive logic programming. J. Log. Cornput. 2(6), 719-770 (1992)
-
(1992)
J. Log. Cornput
, vol.2
, Issue.6
, pp. 719-770
-
-
Kakas, A.C.1
Kowalski, R.A.2
Toni, F.3
-
10
-
-
0028409548
-
A resolution principle for constrained logics
-
Bürckert, H.: A resolution principle for constrained logics. Artificial Intelligence 66, 235-271 (1994)
-
(1994)
Artificial Intelligence
, vol.66
, pp. 235-271
-
-
Bürckert, H.1
-
11
-
-
76249104125
-
Declarative specification and verification of service choreographies
-
submitted
-
Montali, M., Pesic, M., van der Aalst, W.M., Chesani, F., Mello, P., Storari, S.: Declarative specification and verification of service choreographies. ACM Transaction on the Web (submitted, 2008)
-
(2008)
ACM Transaction on the Web
-
-
Montali, M.1
Pesic, M.2
van der Aalst, W.M.3
Chesani, F.4
Mello, P.5
Storari, S.6
-
12
-
-
47949131563
-
Declare: Full support for looselystructured processes
-
Annapolis, Maryland, USA, October 15-19, IEEE Computer Society, Los Alamitos () 2007
-
Pesic, M., Schonenberg, H., van der Aalst, W.: Declare: Full support for looselystructured processes. In: 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), Annapolis, Maryland, USA, October 15-19, 2007, pp. 287-300. IEEE Computer Society, Los Alamitos (2007)
-
(2007)
11th IEEE International Enterprise Distributed Object Computing Conference (EDOC
, pp. 287-300
-
-
Pesic, M.1
Schonenberg, H.2
van der Aalst, W.3
-
13
-
-
56749175704
-
B-Tropos: Agentoriented requirements engineering meets computational logic for declarative business process modeling and verification
-
Sadri, F, Satoh, K, eds, CLIMA VIII, Springer, Heidelberg
-
Bryl, V., Mello, P., Montali, M., Torroni, P., Zannone, N.: B-Tropos: Agentoriented requirements engineering meets computational logic for declarative business process modeling and verification. In: Sadri, F., Satoh, K. (eds.) CLIMA VIII. LNCS (LNAI), vol. 5056, pp. 157-176. Springer, Heidelberg (2008)
-
(2008)
LNCS (LNAI
, vol.5056
, pp. 157-176
-
-
Bryl, V.1
Mello, P.2
Montali, M.3
Torroni, P.4
Zannone, N.5
-
14
-
-
4243532938
-
Constraint logic programming: A survey
-
Jaffar, J., Maher, M.: Constraint logic programming: a survey. Journal of Logic Programming 19(20), 503-582 (1994)
-
(1994)
Journal of Logic Programming
, vol.19
, Issue.20
, pp. 503-582
-
-
Jaffar, J.1
Maher, M.2
-
15
-
-
0032186691
-
Theory and practice of constraint handling rules
-
Frühwirth, T.: Theory and practice of constraint handling rules. Journal of Logic Programming 37(1-3), 95-138 (1998)
-
(1998)
Journal of Logic Programming
, vol.37
, Issue.1-3
, pp. 95-138
-
-
Frühwirth, T.1
-
16
-
-
27144485193
-
-
Christiansen, H., Dahl, V.: HYPROLOG: A new logic programming language with assumptions and abduction. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, 3668, pp. 159-173. Springer, Heidelberg (2005)
-
Christiansen, H., Dahl, V.: HYPROLOG: A new logic programming language with assumptions and abduction. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol. 3668, pp. 159-173. Springer, Heidelberg (2005)
-
-
-
-
18
-
-
84888249003
-
-
Russo, A., Miller, R., Nuseibeh, B., Kramer, J.: An abductive approach for analysing event-based requirements specifications. In: Stuckey, P. (ed.) ICLP 2002. LNCS, 2401, pp. 22-37. Springer, Heidelberg (2002)
-
Russo, A., Miller, R., Nuseibeh, B., Kramer, J.: An abductive approach for analysing event-based requirements specifications. In: Stuckey, P. (ed.) ICLP 2002. LNCS, vol. 2401, pp. 22-37. Springer, Heidelberg (2002)
-
-
-
-
19
-
-
84896869660
-
NuSMV: A new symbolic model checker
-
Cimatti, A., Clarke, E.M., Giunchiglia, F., Roveri, M.: NuSMV: a new symbolic model checker. International Journal on Software Tools for Technology Transfer 2(4), 410-425 (2000)
-
(2000)
International Journal on Software Tools for Technology Transfer
, vol.2
, Issue.4
, pp. 410-425
-
-
Cimatti, A.1
Clarke, E.M.2
Giunchiglia, F.3
Roveri, M.4
-
20
-
-
77955740653
-
-
Casella, G., Mascardi, V.: West2east: exploiting web service technologies to engineer agent-based software. IJAOSE 1(3/4), 396-434 (2007)
-
Casella, G., Mascardi, V.: West2east: exploiting web service technologies to engineer agent-based software. IJAOSE 1(3/4), 396-434 (2007)
-
-
-
-
21
-
-
38049085697
-
Architecture on a hybrid business process design and verification system
-
WiCom, pp
-
Li, B., Iijima, J.: Architecture on a hybrid business process design and verification system. In: International Conference on Wireless Communications, Networking and Mobile Computing (WiCom), pp. 6199-6204 (2007)
-
(2007)
International Conference on Wireless Communications, Networking and Mobile Computing
, pp. 6199-6204
-
-
Li, B.1
Iijima, J.2
-
22
-
-
85016913363
-
Clausal temporal resolution
-
Fisher, M., Dixon, C., Peim, M.: Clausal temporal resolution. ACM Transactions on Computational Logic 2(1), 12-56 (2001)
-
(2001)
ACM Transactions on Computational Logic
, vol.2
, Issue.1
, pp. 12-56
-
-
Fisher, M.1
Dixon, C.2
Peim, M.3
-
23
-
-
84948951487
-
Model checking in clp
-
Cleaveland, W.R, ed, TACAS 1999, Springer, Heidelberg
-
Delzanno, G., Podelski, A.: Model checking in clp. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol. 1579, pp. 223-239. Springer, Heidelberg (1999)
-
(1999)
LNCS
, vol.1579
, pp. 223-239
-
-
Delzanno, G.1
Podelski, A.2
-
24
-
-
0031337405
-
A constraint-based approach for specification and verification of real-time systems
-
IEEE Computer Society, Los Alamitos
-
Gupta, G., Pontelli, E.: A constraint-based approach for specification and verification of real-time systems. In: Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS 1997), pp. 230-239. IEEE Computer Society, Los Alamitos (1997)
-
(1997)
Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS
, pp. 230-239
-
-
Gupta, G.1
Pontelli, E.2
-
25
-
-
38149060201
-
-
Gupta, G., Bansal, A., Min, R., Simon, L., Mallya, A.: Coinductive logic programming and its applications. In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, 4670, pp. 27-44. Springer, Heidelberg (2007)
-
Gupta, G., Bansal, A., Min, R., Simon, L., Mallya, A.: Coinductive logic programming and its applications. In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 27-44. Springer, Heidelberg (2007)
-
-
-
-
26
-
-
21644467057
-
A clp proof method for timed automata
-
IEEE Computer Society, Los Alamitos
-
Jaffar, J., Santosa, A.E., Voicu, R.: A clp proof method for timed automata. In: Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), pp. 175-186. IEEE Computer Society, Los Alamitos (2004)
-
(2004)
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS
, pp. 175-186
-
-
Jaffar, J.1
Santosa, A.E.2
Voicu, R.3
|