×

zbMATH — the first resource for mathematics

Ciampolini, Anna

Compute Distance To:
Author ID: ciampolini.anna Recent zbMATH articles by "Ciampolini, Anna"
Published as: Ciampolini, Anna; Ciampolini, A.
Documents Indexed: 9 Publications since 1992

Publications by Year

Citations contained in zbMATH Open

6 Publications have been cited 11 times in 10 Documents Cited by Year
Cooperation and competition in ALIAS: A logic framework for agents that negotiate. Zbl 1023.68095
Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Toni, Francesca; Torroni, Paolo
4
2003
Distributed logic objects: A fragment of rewriting logic and its implementation. Zbl 0912.68090
Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Stefanelli, Cesare
2
1996
LAILA: A language for coordinating abductive reasoning among logic agents. Zbl 0997.68015
Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Torroni, Paolo
2
2002
The implementation of a distributed model for logic programming based on multiple-headed clauses. Zbl 0772.68016
Brogi, Antonio; Ciampolini, Anna; Lamma, Evelina; Mello, Paolo
1
1992
An implementation for abductive logic agents. Zbl 0970.68615
Ciampolini, A.; Lamma, E.; Mello, P.; Stefanelli, C.; Torroni, P.
1
2000
A social ACL semantics by deontic constraints. Zbl 1047.68651
Alberti, Marco; Ciampolini, Anna; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo
1
2003
Cooperation and competition in ALIAS: A logic framework for agents that negotiate. Zbl 1023.68095
Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Toni, Francesca; Torroni, Paolo
4
2003
A social ACL semantics by deontic constraints. Zbl 1047.68651
Alberti, Marco; Ciampolini, Anna; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo
1
2003
LAILA: A language for coordinating abductive reasoning among logic agents. Zbl 0997.68015
Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Torroni, Paolo
2
2002
An implementation for abductive logic agents. Zbl 0970.68615
Ciampolini, A.; Lamma, E.; Mello, P.; Stefanelli, C.; Torroni, P.
1
2000
Distributed logic objects: A fragment of rewriting logic and its implementation. Zbl 0912.68090
Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Stefanelli, Cesare
2
1996
The implementation of a distributed model for logic programming based on multiple-headed clauses. Zbl 0772.68016
Brogi, Antonio; Ciampolini, Anna; Lamma, Evelina; Mello, Paolo
1
1992

Citations by Year