-
3
-
-
33745586965
-
Verifiable properties of societies of computees
-
SOCS Consortium, Deliverable D13
-
M. Alberti, F. Athienitou, A. Bracciali, F. Chesani, U. Endriss, M. Gavanelli, A. Kakas, E. Lamma, W. Lu, P. Mancarella, P. Mello, F. Sadri, K. Stathis, F. Toni, and P. Torroni. Verifiable properties of societies of computees. Technical report, SOCS Consortium, 2005. Deliverable D13. Available from the SOCS project web site: http://lia.deis.unibo.it/research/socs/gueste/ publications/.
-
(2005)
Technical Report
-
-
Alberti, M.1
Athienitou, F.2
Bracciali, A.3
Chesani, F.4
Endriss, U.5
Gavanelli, M.6
Kakas, A.7
Lamma, E.8
Lu, W.9
Mancarella, P.10
Mello, P.11
Sadri, F.12
Stathis, K.13
Toni, F.14
Torroni, P.15
-
4
-
-
33745611332
-
Experiments with animated societies of computees
-
SOCS Consortium, Deliverable D14
-
M. Alberti, A. Bracciali, F. Chesani, A. Ciampolini, U. Endriss, M. Gavanelli, A. Guerri, A. Kakas, E. Lamma, W. Lu, P. Mancarella, P. Mello, M. Milano, F. Riguzzi, F. Sadri, K. Stathis, G. Terreni, F. Toni, P. Torroni, and A. Yip. Experiments with animated societies of computees. Technical report, SOCS Consortium, 2005. Deliverable D14. Available from the SOCS project web site: http://lia.deis.unibo.it/research/socs/guests/publications/.
-
(2005)
Technical Report
-
-
Alberti, M.1
Bracciali, A.2
Chesani, F.3
Ciampolini, A.4
Endriss, U.5
Gavanelli, M.6
Guerri, A.7
Kakas, A.8
Lamma, E.9
Lu, W.10
Mancarella, P.11
Mello, P.12
Milano, M.13
Riguzzi, F.14
Sadri, F.15
Stathis, K.16
Terreni, G.17
Toni, F.18
Torroni, P.19
Yip, A.20
more..
-
5
-
-
33645421974
-
SOCS prototype
-
SOCS Consortium, Deliverable D9
-
M. Alberti, A. Bracciali, F. Chesani, U. Endriss, M. Gavanelli, W. Lu, K. Stathis, and P. Torroni. SOCS prototype. Technical report, SOCS Consortium, 2003. Deliverable D9. Available from the SOCS project web site: http://lia.deis.unibo.it/research/socs/guests/publications/.
-
(2003)
Technical Report
-
-
Alberti, M.1
Bracciali, A.2
Chesani, F.3
Endriss, U.4
Gavanelli, M.5
Lu, W.6
Stathis, K.7
Torroni, P.8
-
6
-
-
33645781903
-
Expressing interaction in combinatorial auction through social integrity constraints
-
M. Alberti, F. Chesani, M. Gavanelli, A. Guerri, E. Lamma, P. Mello, and P. Torroni. Expressing interaction in combinatorial auction through social integrity constraints. Intelligenza Artificiale, II(1):22-29, 2005.
-
(2005)
Intelligenza Artificiale
, vol.2
, Issue.1
, pp. 22-29
-
-
Alberti, M.1
Chesani, F.2
Gavanelli, M.3
Guerri, A.4
Lamma, E.5
Mello, P.6
Torroni, P.7
-
7
-
-
77951223426
-
The CHR-based implementation of a system for generation and confirmation of hypotheses
-
A. Wolf, T. Frühwirth, and M. Meister, editors, number 2005-01 in Ulmer Informatik-Berichte
-
M. Alberti, F. Chesani, M. Gavanelli, and E. Lamma. The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses. In A. Wolf, T. Frühwirth, and M. Meister, editors, 19th Workshop on (Constraint) Logic Programming W(C)LP 2005, number 2005-01 in Ulmer Informatik-Berichte, pages 111-122, 2005.
-
(2005)
19th Workshop on (Constraint) Logic Programming W(C)LP 2005
, pp. 111-122
-
-
Alberti, M.1
Chesani, F.2
Gavanelli, M.3
Lamma, E.4
-
8
-
-
10444223233
-
A logic based approach to interaction design in open multi-agent systems
-
Modena, Italy, June 14-16 IEEE Press
-
M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. A logic based approach to interaction design in open multi-agent systems. In Proceedings of the 13th IEEE international Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE-2004), pages 387-392, Modena, Italy, June 14-16 2004. IEEE Press.
-
(2004)
Proceedings of the 13th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE-2004)
, pp. 387-392
-
-
Alberti, M.1
Chesani, F.2
Gavanelli, M.3
Lamma, E.4
Mello, P.5
Torroni, P.6
-
9
-
-
23944433947
-
-
M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. The SOCS computational logic approach for the specification and verification of agent societies. 3267:324-339, 2005.
-
(2005)
The SOCS Computational Logic Approach for the Specification and Verification of Agent Societies
, vol.3267
, pp. 324-339
-
-
Alberti, M.1
Chesani, F.2
Gavanelli, M.3
Lamma, E.4
Mello, P.5
Torroni, P.6
-
10
-
-
33645778983
-
Compliance verification of agent interaction: A logic-based tool
-
M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Compliance verification of agent interaction: a logic-based tool. Applied Artificial Intelligence, 20(4-5), 2006.
-
(2006)
Applied Artificial Intelligence
, vol.20
, Issue.4-5
-
-
Alberti, M.1
Chesani, F.2
Gavanelli, M.3
Lamma, E.4
Mello, P.5
Torroni, P.6
-
11
-
-
33746592815
-
Security protocols verification in Abductive Logic Programming: A case study
-
O. Dikenelli, M.-P. Gleizes, and A. Ricci, editors, Lecture Notes in Artificial Intelligence. Springer-Verlag
-
M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Security protocols verification in Abductive Logic Programming: a case study. In O. Dikenelli, M.-P. Gleizes, and A. Ricci, editors, Proceedings of ESAW'05, Kuşadasi, Aydin, Turkey, October 26-28, 2005, Lecture Notes in Artificial Intelligence. Springer-Verlag, 2006.
-
(2006)
Proceedings of ESAW'05, Kuşadasi, Aydin, Turkey, October 26-28, 2005
-
-
Alberti, M.1
Chesani, F.2
Gavanelli, M.3
Lamma, E.4
Mello, P.5
Torroni, P.6
-
12
-
-
8344240373
-
A social ACL semantics by deontic constraints
-
M. Alberti, A. Ciampolini, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. A social ACL semantics by deontic constraints. Lecture Notes in Artificial Intelligence, 2691:204-213, 2003.
-
(2003)
Lecture Notes in Artificial Intelligence
, vol.2691
, pp. 204-213
-
-
Alberti, M.1
Ciampolini, A.2
Gavanelli, M.3
Lamma, E.4
Mello, P.5
Torroni, P.6
-
13
-
-
2442602519
-
Specification and verification of agent interaction protocols in a logic-based system
-
H. M. Haddad, A. Omicini, and R. L. Wainwright, editors, Nicosia, Cyprus, Mar. 14-17. ACM Press
-
M. Alberti, D. Daolio, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Specification and verification of agent interaction protocols in a logic-based system. In H. M. Haddad, A. Omicini, and R. L. Wainwright, editors, Proceedings of the 19th Annual ACM Symposium on Applied Computing (SAC 2004), pages 72-78, Nicosia, Cyprus, Mar. 14-17 2004. ACM Press.
-
(2004)
Proceedings of the 19th Annual ACM Symposium on Applied Computing (SAC 2004)
, pp. 72-78
-
-
Alberti, M.1
Daolio, D.2
Gavanelli, M.3
Lamma, E.4
Mello, P.5
Torroni, P.6
-
14
-
-
33745597269
-
Mapping deontic operators to abductive expectations
-
M. Alberti, M. Gavanelli, E. Lamma, P. Mello, G. Sartor, and P. Torroni. Mapping deontic operators to abductive expectations. Computational and Mathematical Organization Theory, 2006.
-
(2006)
Computational and Mathematical Organization Theory
-
-
Alberti, M.1
Gavanelli, M.2
Lamma, E.3
Mello, P.4
Sartor, G.5
Torroni, P.6
-
15
-
-
7444226211
-
An Abductive Interpretation for Open Societies
-
M. Alberti, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. An Abductive Interpretation for Open Societies. Lecture Notes in Artificial Intelligence, 2829:287-299, 2003.
-
(2003)
Lecture Notes in Artificial Intelligence
, vol.2829
, pp. 287-299
-
-
Alberti, M.1
Gavanelli, M.2
Lamma, E.3
Mello, P.4
Torroni, P.5
-
16
-
-
18744390835
-
Specification and verification of agent interactions using Social Integrity Constraints
-
M. Alberti, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Specification and verification of agent interactions using Social Integrity Constraints. Electronic Notes in Theoretical Computer Science, 85(2), 2003.
-
(2003)
Electronic Notes in Theoretical Computer Science
, vol.85
, Issue.2
-
-
Alberti, M.1
Gavanelli, M.2
Lamma, E.3
Mello, P.4
Torroni, P.5
-
17
-
-
21144444316
-
Modeling interactions using Social Integrity Constraints: A resource sharing case study
-
M. Alberti, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Modeling interactions using Social Integrity Constraints: A resource sharing case study. Lecture Notes in Artificial Intelligence, 2990:243-262, 2004.
-
(2004)
Lecture Notes in Artificial Intelligence
, vol.2990
, pp. 243-262
-
-
Alberti, M.1
Gavanelli, M.2
Lamma, E.3
Mello, P.4
Torroni, P.5
-
18
-
-
33646154223
-
The SCIFF abductive proof-procedure
-
M. Alberti, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. The SCIFF abductive proof-procedure. Lecture Notes in Artificial Intelligence, 3673:135-147, 2005.
-
(2005)
Lecture Notes in Artificial Intelligence
, vol.3673
, pp. 135-147
-
-
Alberti, M.1
Gavanelli, M.2
Lamma, E.3
Mello, P.4
Torroni, P.5
-
19
-
-
23944483481
-
The KGP model of agency: Computational model and prototype implementation
-
A. Bracciali, N. Demetriou, U. Endriss, A. Kakas, W. Lu, P. Mancarella, F. Sadri, K. Stathis, F. Toni, and G. Terreni. The KGP model of agency: Computational model and prototype implementation. Lecture Notes in Artificial Intelligence, 3267:340-367, 2005.
-
(2005)
Lecture Notes in Artificial Intelligence
, vol.3267
, pp. 340-367
-
-
Bracciali, A.1
Demetriou, N.2
Endriss, U.3
Kakas, A.4
Lu, W.5
Mancarella, P.6
Sadri, F.7
Stathis, K.8
Toni, F.9
Terreni, G.10
-
20
-
-
33745610373
-
-
this volume
-
F. Chesani, M. Gavanelli, M. Alberti, E. Lamma, P. Mello, and P. Torroni. Specification and verification of agent interaction using abductive reasoning. In this volume.
-
Specification and Verification of Agent Interaction Using Abductive Reasoning.
-
-
Chesani, F.1
Gavanelli, M.2
Alberti, M.3
Lamma, E.4
Mello, P.5
Torroni, P.6
-
22
-
-
22944473027
-
The CIFF proof procedure for abductive logic programming with constraints
-
U. Endriss, P. Mancarella, F. Sadri, G. Terreni, and F. Toni. The CIFF proof procedure for abductive logic programming with constraints. Lecture Notes in Artificial Intelligence, 3229:680-684, 2004.
-
(2004)
Lecture Notes in Artificial Intelligence
, vol.3229
, pp. 680-684
-
-
Endriss, U.1
Mancarella, P.2
Sadri, F.3
Terreni, G.4
Toni, F.5
-
23
-
-
84880823658
-
Protocol conformance for logic-based agents
-
G. Gottlob and T. Walsh, editors, Morgan Kaufmann Publishers, Aug.
-
U. Endriss, N. Maudet, F. Sadri, and F. Toni. Protocol conformance for logic-based agents. In G. Gottlob and T. Walsh, editors, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico (IJCAI-03). Morgan Kaufmann Publishers, Aug. 2003.
-
(2003)
Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico (IJCAI-03)
-
-
Endriss, U.1
Maudet, N.2
Sadri, F.3
Toni, F.4
-
24
-
-
0032186691
-
Theory and practice of constraint handling rules
-
Oct.
-
T. Frühwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, 37(1-3):95-138, Oct. 1998.
-
(1998)
Journal of Logic Programming
, vol.37
, Issue.1-3
, pp. 95-138
-
-
Frühwirth, T.1
-
25
-
-
0031281313
-
The IFF proof procedure for abductive logic programming
-
Nov.
-
T. H. Fung and R. A. Kowalski. The IFF proof procedure for abductive logic programming. Journal of Logic Programming, 33(2):151-165, Nov. 1997.
-
(1997)
Journal of Logic Programming
, vol.33
, Issue.2
, pp. 151-165
-
-
Fung, T.H.1
Kowalski, R.A.2
-
26
-
-
33745623588
-
Computational model for computees and societies of computees
-
SOCS Consortium, Deliverable D8
-
M. Gavanelli, E. Lamma, P. Torroni, P. Mello, K. Stathis, P. Moraïtis, A. C. Kakas, N. Demetriou, G. Terreni, P. Mancarella, A. Bracciali, F. Toni, F. Sadri, and U. Endriss. Computational model for computees and societies of computees. Technical report, SOCS Consortium, 2003. Deliverable D8. Available from the SOCS project web site: http://lia.deis.unibo.it/ research/socs/guests/publications/.
-
(2003)
Technical Report
-
-
Gavanelli, M.1
Lamma, E.2
Torroni, P.3
Mello, P.4
Stathis, K.5
Moraïtis, P.6
Kakas, A.C.7
Demetriou, N.8
Terreni, G.9
Mancarella, P.10
Bracciali, A.11
Toni, F.12
Sadri, F.13
Endriss, U.14
-
28
-
-
4043104669
-
A logic-based approach to model computees
-
SOCS Consortium, Deliverable D4
-
A. Kakas, P. Mancarella, F. Sadri, K. Stathis, and F. Toni. A logic-based approach to model computees. Technical report, SOCS Consortium, 2003. Deliverable D4. Available from the SOCS project web site: http://lia.deis.unibo. it/research/socs/guests/publications/.
-
(2003)
Technical Report
-
-
Kakas, A.1
Mancarella, P.2
Sadri, F.3
Stathis, K.4
Toni, F.5
-
29
-
-
26844506631
-
The KGP model of agency
-
R. Lopez de Mantaras and L. Saitta, editors, IOS Press, Aug.
-
A. Kakas, P. Mancarella, F. Sadri, K. Stathis, and F. Toni. The KGP model of agency. In R. Lopez de Mantaras and L. Saitta, editors, Proceedings of the Sixteenth European Conference on Artificial Intelligence, Valencia, Spain (ECAI 2004). IOS Press, Aug. 2004.
-
(2004)
Proceedings of the Sixteenth European Conference on Artificial Intelligence, Valencia, Spain (ECAI 2004)
-
-
Kakas, A.1
Mancarella, P.2
Sadri, F.3
Stathis, K.4
Toni, F.5
-
30
-
-
26844576429
-
Declarative agent control
-
A. C. Kakas, P. Mancarella, F. Sadri, K. Stathis, and F. Toni. Declarative agent control. Lecture Notes in Artificial Intelligence, 3487:96-110, 2005.
-
(2005)
Lecture Notes in Artificial Intelligence
, vol.3487
, pp. 96-110
-
-
Kakas, A.C.1
Mancarella, P.2
Sadri, F.3
Stathis, K.4
Toni, F.5
-
31
-
-
0032642028
-
Computing negation as failure via argumentation
-
A.C. Kakas and F. Toni. Computing negation as failure via argumentation. Journal of Logic and Computation, 9:515-562, 1999.
-
(1999)
Journal of Logic and Computation
, vol.9
, pp. 515-562
-
-
Kakas, A.C.1
Toni, F.2
-
32
-
-
20844457834
-
A logic-based approach to model interaction amongst computees
-
SOCS Consortium, Deliverable D5
-
P. Mello, P. Torroni, M. Gavanelli, M. Alberti, A. Ciampolini, M. Milano, A. Roli, E. Lamma, F. Riguzzi, and N. Maudet. A logic-based approach to model interaction amongst computees. Technical report, SOCS Consortium, 2003. Deliverable D5. Available from the SOCS project web site: http://lia.deis.unibo. it/research/socs/guests/publications/.
-
(2003)
Technical Report
-
-
Mello, P.1
Torroni, P.2
Gavanelli, M.3
Alberti, M.4
Ciampolini, A.5
Milano, M.6
Roli, A.7
Lamma, E.8
Riguzzi, F.9
Maudet, N.10
-
36
-
-
33745600304
-
PROSOCS: A platform for programming software agents in computational logic
-
K. Stathis, A. Kakas, W. Lu, N. Demetriou, U. Endriss, and A. Bracciali. PROSOCS: A platform for programming software agents in computational logic. Applied Artificial Intelligence, 20(4-5), 2006.
-
(2006)
Applied Artificial Intelligence
, vol.20
, Issue.4-5
-
-
Stathis, K.1
Kakas, A.2
Lu, W.3
Demetriou, N.4
Endriss, U.5
Bracciali, A.6
|