David Billington

2008
36	EE	David Billington: Propositional Clausal Defeasible Logic. JELIA 2008: 34-47
35	EE	Jeff Blee, David Billington, Guido Governatori, Abdul Sattar: Levels of Modalities for BDI Logic. Web Intelligence/IAT Workshops 2008: 647-650
2007
34	EE	David Billington: Entailment Semantics for Rules with Priorities. IJCAI 2007: 256-261
33	EE	Jeff Blee, David Billington, Abdul Sattar: Reasoning with Levels of Modalities in BDI Logic. PRIMA 2007: 410-415
2006
32	EE	David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock: Using Temporal Consistency to Improve Robot Localisation. RoboCup 2006: 232-244
31	EE	Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: Embedding defeasible logic into logic programming. TPLP 6(6): 703-735 (2006)
2005
30	EE	David Billington: The Proof Algorithms of Plausible Logic Form a Hierarchy. Australian Conference on Artificial Intelligence 2005: 796-799
29	EE	David Billington: A Fixed-Point Semantics for Plausible Logic. Australian Conference on Artificial Intelligence 2005: 812-815
28	EE	Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: Embedding Defeasible Logic into Logic Programming CoRR abs/cs/0511055: (2005)
2004
27	EE	David Billington: A plausible logic which detects loops. NMR 2004: 65-71
26	EE	Kewen Wang, David Billington, Jeff Blee, Grigoris Antoniou: Combining Description Logic and Defeasible Logic for the Semantic Web. RuleML 2004: 170-181
25	EE	Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington: Argumentation Semantics for Defeasible Logic. J. Log. Comput. 14(5): 675-702 (2004)
2003
24	EE	David Billington, Andrew Rock: Constructive Plausible Logic Is Relatively Consistent. Australian Conference on Artificial Intelligence 2003: 954-965
2001
23	EE	Grigoris Antoniou, David Billington: Relating Defeasible and Default Logic. Australian Joint Conference on Artificial Intelligence 2001: 13-24
22	EE	Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: Representation results for defeasible logic. ACM Trans. Comput. Log. 2(2): 255-287 (2001)
21		Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller: Efficient Defeasible Reasoning Systems. International Journal on Artificial Intelligence Tools 10(4): 483-501 (2001)
20		David Billington, Andrew Rock: Propositional Plausible Logic: Introduction and Implementation. Studia Logica 67(2): 243-269 (2001)
2000
19		Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: A Flexible Framework for Defeasible Logics. AAAI/IAAI 2000: 405-410
18	EE	Andrew Rock, David Billington: An Implementation of Propositional Plausible Logic. ACSC 2000: 204-210
17		Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock: A Family of Defeasible Reasoning Logics and its Implementation. ECAI 2000: 459-463
16	EE	Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller: Efficient defeasible reasoning systems. ICTAI 2000: 384-392
15		Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington: Argumentation Semantics for Defeasible Logics. PRICAI 2000: 27-37
14	EE	Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: A flexible framework for defeasible logics CoRR cs.AI/0003013: (2000)
13	EE	Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: Representation results for defeasible logic CoRR cs.LO/0003082: (2000)
12		Marilyn Ford, David Billington: Strategies in Human Nonmonotonic Reasoning. Computational Intelligence 16(3): 446-468 (2000)
11		Grigoris Antoniou, Michael J. Maher, David Billington: Defeasible Logic versus Logic Programming without Negation as Failure. J. Log. Program. 42(1): 47-57 (2000)
1999
10	EE	Grigoris Antoniou, David Billington, Michael J. Maher: On the Analysis of Regulations using Defeasible Rules. HICSS 1999
9	EE	David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher: Revising Nonmonotonic Theories: The Case of Defeasible Logic. KI 1999: 101-112
8	EE	Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori: A Comparison of Sceptical NAF-Free Logic Programming Approaches. LPNMR 1999: 347-356
7		David Billington: Proving Quantified Literals in Defeasible Logic. Inf. Sci. 116(1): 55-81 (1999)
1998
6		Michael J. Maher, Grigoris Antoniou, David Billington: A Study of Provability in Defeasible Logic. Australian Joint Conference on Artificial Intelligence 1998: 215-226
5		Grigoris Antoniou, David Billington, Michael J. Maher: Normal Forms for Defeasible Logic. IJCSLP 1998: 160-174
1997
4		David Billington: Proving Quantified Literals in Defeasible Logic. Australian Joint Conference on Artificial Intelligence 1997: 265-273
1996
3		David Billington, R. Geoff Dromey: The Co-invariant Generator: An Aid in Deriving Loop Bodies. Formal Asp. Comput. 8(1): 108-126 (1996)
1993
2		David Billington: Defeasible Logic is Stable. J. Log. Comput. 3(4): 379-400 (1993)
1982
1	EE	David Billington: A simple proof that all 1-designs exist. Discrete Mathematics 42(2-3): 321-322 (1982)

Coauthor Index

1	Grigoris Antoniou	[5] [6] [8] [9] [10] [11] [13] [14] [15] [16] [17] [19] [21] [22] [23] [25] [26] [28] [31]
2	Jeff Blee	[26] [33] [35]
3	R. Geoff Dromey	[3]
4	Vladimir Estivill-Castro	[32]
5	Marilyn Ford	[12]
6	Guido Governatori	[8] [9] [13] [14] [15] [17] [19] [22] [25] [28] [31] [35]
7	René Hexel	[32]
8	Michael J. Maher	[5] [6] [8] [9] [10] [11] [13] [14] [15] [16] [17] [19] [21] [22] [25] [28] [31]
9	Tristan Miller	[16] [21]
10	Andrew Rock	[16] [17] [18] [20] [21] [24] [32]
11	Abdul Sattar	[33] [35]
12	Kewen Wang	[26]

Colors in the list of coauthors