BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Bonner:Anthony_J=

Contributed to:

ICML 20102010
PODS 19991999
JICSLP 19961996
PODS 19951995
ICLP 19931993
PODS 19921992
SIGMOD 19911991
NACLP 19901990
NACLP 19891989
PODS 19891989

Wrote 10 papers:

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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.