×

zbMATH — the first resource for mathematics

Alberti, Marco

Compute Distance To:
Author ID: alberti.marco Recent zbMATH articles by "Alberti, Marco"
Published as: Alberti, Marco; Alberti, M.
External Links: ORCID · dblp
Documents Indexed: 20 Publications since 2000

Publications by Year

Citations contained in zbMATH Open

12 Publications have been cited 28 times in 20 Documents Cited by Year
Verifiable agent interaction in abductive logic programming: the SCIFF framework. Zbl 1367.68273
Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo
8
2008
Verification from declarative specifications using logic programming. Zbl 1185.68419
Montali, Marco; Torroni, Paolo; Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola
4
2008
Specification and verification of agent interaction using social integrity constraints. Zbl 1270.68160
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo
4
2004
The \(S\)CIFF abductive proof-procedure. Zbl 1155.68517
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo
2
2005
Mapping deontic operators to abductive expectations. Zbl 1103.68665
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo; Sartor, Giovanni
2
2006
Normative systems represented as hybrid knowledge bases. Zbl 1348.68252
Alberti, Marco; Gomes, Ana Sofia; Gonçalves, Ricardo; Leite, João; Slota, Martin
2
2011
Evaluation of the costs and benefits of an environmental management system. Zbl 1081.90564
Alberti, M.; Caini, L.; Calabrese, A.; Rossi, D.
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
Specification and verification of agent interaction using abductive reasoning. Zbl 1236.68252
Chesani, Federico; Gavanelli, Marco; Alberti, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo
1
2006
The SOCS computational logic approach to the specification and verification of agent societies. Zbl 1111.68494
Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo
1
2005
Integration of abductive reasoning and constraint optimization in SCIFF. Zbl 1251.68058
Gavanelli, Marco; Alberti, Marco; Lamma, Evelina
1
2009
An abductive interpretation for open agent societies. Zbl 1274.68575
Alberti, M.; Gavanelli, M.; Lamma, E.; Mello, P.; Torroni, P.
1
2003
Normative systems represented as hybrid knowledge bases. Zbl 1348.68252
Alberti, Marco; Gomes, Ana Sofia; Gonçalves, Ricardo; Leite, João; Slota, Martin
2
2011
Integration of abductive reasoning and constraint optimization in SCIFF. Zbl 1251.68058
Gavanelli, Marco; Alberti, Marco; Lamma, Evelina
1
2009
Verifiable agent interaction in abductive logic programming: the SCIFF framework. Zbl 1367.68273
Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo
8
2008
Verification from declarative specifications using logic programming. Zbl 1185.68419
Montali, Marco; Torroni, Paolo; Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola
4
2008
Mapping deontic operators to abductive expectations. Zbl 1103.68665
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo; Sartor, Giovanni
2
2006
Specification and verification of agent interaction using abductive reasoning. Zbl 1236.68252
Chesani, Federico; Gavanelli, Marco; Alberti, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo
1
2006
The \(S\)CIFF abductive proof-procedure. Zbl 1155.68517
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo
2
2005
The SOCS computational logic approach to the specification and verification of agent societies. Zbl 1111.68494
Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo
1
2005
Specification and verification of agent interaction using social integrity constraints. Zbl 1270.68160
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo
4
2004
A social ACL semantics by deontic constraints. Zbl 1047.68651
Alberti, Marco; Ciampolini, Anna; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo
1
2003
An abductive interpretation for open agent societies. Zbl 1274.68575
Alberti, M.; Gavanelli, M.; Lamma, E.; Mello, P.; Torroni, P.
1
2003
Evaluation of the costs and benefits of an environmental management system. Zbl 1081.90564
Alberti, M.; Caini, L.; Calabrese, A.; Rossi, D.
1
2000

Citations by Year