BibSonomy :: author :: Billington ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(155)

<< < 1 | 2 | 3 > >>

A flexible framework for defeasible logics
Grigoris Antoniou, David Billington, Guido Governatori, and Michael J. Maher CoRR (2000)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Embedding Defeasible Logic into Logic Programming
Grigoris Antoniou, David Billington, Guido Governatori, and Michael J. Maher CoRR (2005)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Representation results for defeasible logic
Grigoris Antoniou, David Billington, Guido Governatori, and Michael J. Maher CoRR (2000)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
A Defeasible Logic for Clauses.
David Billington Australasian Conference on Artificial Intelligence, volume 7106 of Lecture Notes in Computer Science, page 472-480. Springer, (2011)
to dblp by dblp on Dec 2, 2011, 12:00 AM
URL | BibTeX
Defeasible Logic versus Logic Programming without Negation as Failure.
Grigoris Antoniou, Michael J. Maher, and David Billington J. Log. Program. 42(1):47-57 (2000)
to dblp by dblp on Dec 1, 2011, 12:00 AM
URL | BibTeX
Electronic commerce issues in the australian manufacturing industry.
Joze Kuzic, and Nicholas Billington ECIS, page 995-1002. (2003)
to dblp by dblp on Nov 23, 2011, 12:00 AM
URL | BibTeX
Levels of modality for BDI Logic.
Jeff Blee, David Billington, Guido Governatori, and Abdul Sattar J. Applied Logic 9(4):250-273 (2011)
to dblp by dblp on Nov 14, 2011, 12:00 AM
URL | BibTeX
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols.
Jonathan Billington, Geoffrey R. Wheeler, and Michael C. Wilbur-Ham IEEE Trans. Software Eng. 14(3):301-316 (1988)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Lambda-fold 2-perfect 6-cycle systems in equipartite graphs.
Elizabeth J. Billington, and Dean G. Hoffman Discrete Mathematics 311(21):2423-2427 (2011)
to dblp by dblp on Sep 19, 2011, 12:00 AM
URL | BibTeX
Proving Quantified Literals in Defeasible Logic.
David Billington Inf. Sci. 116(1):55-81 (1999)
to dblp by dblp on Aug 29, 2011, 12:00 AM
URL | BibTeX
Formal Analysis of the Internet Open Trading Protocol.
Chun Ouyang, and Jonathan Billington FORTE Workshops, volume 3236 of Lecture Notes in Computer Science, page 1-15. Springer, (2004)
to dblp by dblp on Aug 10, 2011, 12:00 AM
URL | BibTeX
Combining Description Logic and Defeasible Logic for the Semantic Web.
Kewen Wang, David Billington, Jeff Blee, and Grigoris Antoniou RuleML, volume 3323 of Lecture Notes in Computer Science, page 170-181. Springer, (2004)
to dblp by dblp on Aug 8, 2011, 12:00 AM
URL | BibTeX
Reducing Parametric Automata: A Multimedia Protocol Service Case Study.
Lin Liu, and Jonathan Billington ATVA, volume 3299 of Lecture Notes in Computer Science, page 483-486. Springer, (2004)
to dblp by dblp on Aug 4, 2011, 12:00 AM
URL | BibTeX
A Coloured Petri Net Approach to Protocol Verification.
Jonathan Billington, Guy Edward Gallasch, and Bing Han Lectures on Concurrency and Petri Nets, volume 3098 of Lecture Notes in Computer Science, page 210-290. Springer, (2003)
to dblp by dblp on Jul 7, 2011, 12:00 AM
URL | BibTeX
Using TimeNET to Evaluate Operational Planning Processes.
Jörn Freiheit, and Jonathan Billington Business Process Management, volume 3080 of Lecture Notes in Computer Science, page 17-32. Springer, (2004)
to dblp by dblp on Jul 7, 2011, 12:00 AM
URL | BibTeX
New Developments in Closed-Form Computation for GSPN Aggregation.
Jörn Freiheit, and Jonathan Billington ICFEM, volume 2885 of Lecture Notes in Computer Science, page 471-490. Springer, (2003)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
Constructive Plausible Logic Is Relatively Consistent.
David Billington, and Andrew Rock Australian Conference on Artificial Intelligence, volume 2903 of Lecture Notes in Computer Science, page 954-965. Springer, (2003)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
On Parametric Steady State Analysis of a Generalized Stochastic Petri Net with a Fork-Join Subnet.
Jonathan Billington, and Guy Edward Gallasch Petri Nets, volume 6709 of Lecture Notes in Computer Science, page 268-287. Springer, (2011)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
On Verifying the Internet Open Trading Protocol.
Chun Ouyang, and Jonathan Billington EC-Web, volume 2738 of Lecture Notes in Computer Science, page 292-302. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
The Petri Net Markup Language: Concepts, Technology, and Tools.
Jonathan Billington, Søren Christensen, Kees M. van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, and Michael Weber ICATPN, volume 2679 of Lecture Notes in Computer Science, page 483-505. Springer, (2003)
to dblp by dblp and 1 other user on Jul 5, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100