 | 
| |
Online DBLP entries are available for Piero A. Bonatti and the following references. (The DiSC DBLP references below have been taken from the Novemember 1998 DBLP.)
- Piero A. Bonatti,
Sarit Kraus,
Jose Salinas,
V. S. Subrahmanian:
Data-Security in Heterogeneous Agent Systems.
CIA 1998: 290-305
- Sibel Adali,
Piero A. Bonatti,
Maria Luisa Sapino,
V. S. Subrahmanian:
A Multi-Similarity Algebra.
SIGMOD Conference 1998: 402-413
- Piero A. Bonatti,
Nicola Olivetti:
A Sequent Calculus for Circumscription.
CSL 1997: 98-114
- Piero A. Bonatti:
Resolution for Skeptical Stable Semantics.
LPNMR 1997: 185-197
- Piero A. Bonatti,
Nicola Olivetti:
A Sequent Calculus for Skeptical Default Logic.
TABLEAUX 1997: 107-121
- Piero A. Bonatti:
Sequent Calculi for Default and Autoepistemic Logics.
TABLEAUX 1996: 127-142
- Piero A. Bonatti,
Thomas Eiter:
Querying Disjunctive Databases Through Nonmonotonic Logics.
TCS 160(1&2): 321-363 (1996)
- Piero A. Bonatti,
Thomas Eiter:
Querying Disjunctive Database Through Nonmonotonic Logics.
ICDT 1995: 68-81
- Piero A. Bonatti:
Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs.
JLP 22(2): 91-149 (1995)
- Piero A. Bonatti:
A Three-Valued Formalization of Provability.
Journal of Logic and Computation 5(2): 173-201 (1995)
- Piero A. Bonatti,
Sarit Kraus,
V. S. Subrahmanian:
Foundations of Secure Deductive Databases.
TKDE 7(3): 406-422 (1995)
- Piero A. Bonatti:
Autoepistemic Logic Programming.
Journal of Automated Reasoning 13(1): 35-67 (1994)
- Piero A. Bonatti:
Autoepistemic Logic Programming.
LPNMR 1993: 151-167
- Piero A. Bonatti,
Sarit Kraus,
V. S. Subrahmanian:
Declarative Foundations of Secure Deductive Databases.
ICDT 1992: 391-406
- Piero A. Bonatti:
Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs.
JICSLP 1992: 417-430
- Piero A. Bonatti:
Model Theoretic Semantics for Demo.
META 1992: 220-234
- Piero A. Bonatti:
Beliefs as Stable Conjectures.
LPNMR 1991: 53-68
DBLP: Copyright ©1999 by Michael Ley (ley@uni-trier.de).
|
|
