Travelled to:1 × Germany
1 × Hungary
1 × Israel
6 × USA
Collaborated with:∅ M.Kifer L.T.McCarty G.Mecca S.Abiteboul K.V.Vadaparty M.R.Min L.v.d.Maaten Z.Yuan Z.Zhang
Talks about:logic (4) transact (3) datalog (3) intuitionist (2) program (2) negat (2) distribut (1) workflow (1) transduc (1) supervis (1)
Person: Anthony J. Bonner
DBLP: Bonner:Anthony_J=
Contributed to:
2010
1999
1996199519931992
1991199019891989Wrote 10 papers:
- ICML-2010-MinMYBZ
- Deep Supervised t-Distributed Embedding (MRM, LvdM, ZY, AJB, ZZ), pp. 791–798.
- PODS-1999-Bonner #datalog #transaction #workflow
- Workflow, Transactions, and Datalog (AJB), pp. 294–305.
- JICSLP-1996-BonnerK #communication #concurrent #logic #transaction
- Concurrency and Communication in Transaction Logic (AJB, MK), pp. 142–156.
- PODS-1995-MeccaB #datalog #sequence #transducer
- Sequences, Datalog and Transducers (GM, AJB), pp. 23–35.
- ICLP-1993-BonnerK #logic programming #transaction
- Transaction Logic Programming (AJB, MK), pp. 257–279.
- PODS-1992-Bonner #complexity #reuse
- The Complexity of Reusing and Modifying Rulebases (AJB), pp. 316–330.
- SIGMOD-1991-AbiteboulB
- Objects and Views (SA, AJB), pp. 238–247.
- NACLP-1990-BonnerM #logic programming
- Adding Negation-as-Failure to Intuitionistic Logic Programming (AJB, LTM), pp. 681–703.
- NACLP-1989-BonnerMV #database #logic #query
- Expressing Database Queries with Intuitionistic Logic (AJB, LTM, KVV), pp. 831–850.
- PODS-1989-Bonner #datalog #linear #recursion
- Hypothetical Datalog: Negation and Linear Recursion (AJB), pp. 286–300.