David Billington

	2011
43		David Billington: A Defeasible Logic for Clauses. Australasian Conference on Artificial Intelligence 2011: 472-480
42		Jeff Blee, David Billington, Guido Governatori, Abdul Sattar: Levels of modality for BDI Logic. J. Applied Logic 9(4): 250-273 (2011)
	2010
41		David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock: Non-monotonic Reasoning for Requirements Engineering - State Diagrams Driven by Plausible Logic. ENASE 2010: 68-77
40		David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock: Modelling Behaviour Requirements for Automatic Interpretation, Simulation and Deployment. SIMPAR 2010: 204-216
39		David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher: An inclusion theorem for defeasible logics. ACM Trans. Comput. Log. 12(1): 6 (2010)
	2009
38		David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock: Architecture for Hybrid Robotic Behavior. HAIS 2009: 145-156
	2008
37		David Billington: Propositional Clausal Defeasible Logic. JELIA 2008: 34-47
36		Jeff Blee, David Billington, Guido Governatori, Abdul Sattar: Levels of Modalities for BDI Logic. Web Intelligence/IAT Workshops 2008: 647-650
	2007
35		David Billington: Entailment Semantics for Rules with Priorities. IJCAI 2007: 256-261
34		Jeff Blee, David Billington, Abdul Sattar: Reasoning with Levels of Modalities in BDI Logic. PRIMA 2007: 410-415
	2006
33		David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock: Using Temporal Consistency to Improve Robot Localisation. RoboCup 2006: 232-244
32		Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: Embedding defeasible logic into logic programming. TPLP 6(6): 703-735 (2006)
	2005
31		David Billington: The Proof Algorithms of Plausible Logic Form a Hierarchy. Australian Conference on Artificial Intelligence 2005: 796-799
30		David Billington: A Fixed-Point Semantics for Plausible Logic. Australian Conference on Artificial Intelligence 2005: 812-815
29		Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: Embedding Defeasible Logic into Logic Programming CoRR abs/cs/0511055: (2005)
	2004
28		David Billington: A plausible logic which detects loops. NMR 2004: 65-71
27		Kewen Wang, David Billington, Jeff Blee, Grigoris Antoniou: Combining Description Logic and Defeasible Logic for the Semantic Web. RuleML 2004: 170-181
26		Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington: Argumentation Semantics for Defeasible Logic. J. Log. Comput. 14(5): 675-702 (2004)
	2003
25		David Billington, Andrew Rock: Constructive Plausible Logic Is Relatively Consistent. Australian Conference on Artificial Intelligence 2003: 954-965
	2001
24		Grigoris Antoniou, David Billington: Relating Defeasible and Default Logic. Australian Joint Conference on Artificial Intelligence 2001: 13-24
23		Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: Representation results for defeasible logic. ACM Trans. Comput. Log. 2(2): 255-287 (2001)
22		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)
21		David Billington, Andrew Rock: Propositional Plausible Logic: Introduction and Implementation. Studia Logica 67(2): 243-269 (2001)
	2000
20		Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: A Flexible Framework for Defeasible Logics. AAAI/IAAI 2000: 405-410
19		Andrew Rock, David Billington: An Implementation of Propositional Plausible Logic. ACSC 2000: 204-210
18		Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock: A Family of Defeasible Reasoning Logics and its Implementation. ECAI 2000: 459-463
17		Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller: Efficient defeasible reasoning systems. ICTAI 2000: 384-392
16		Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington: Argumentation Semantics for Defeasible Logics. PRICAI 2000: 27-37
15		Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: A flexible framework for defeasible logics CoRR cs.AI/0003013: (2000)
14		Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: Representation results for defeasible logic CoRR cs.LO/0003082: (2000)
13		Marilyn Ford, David Billington: Strategies in Human Nonmonotonic Reasoning. Computational Intelligence 16(3): 446-468 (2000)
12		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
11		Grigoris Antoniou, David Billington, Michael J. Maher: On the Analysis of Regulations using Defeasible Rules. HICSS 1999
10		David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher: Revising Nonmonotonic Theories: The Case of Defeasible Logic. KI 1999: 101-112
9		Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori: A Comparison of Sceptical NAF-Free Logic Programming Approaches. LPNMR 1999: 347-356
8		David Billington: Proving Quantified Literals in Defeasible Logic. Inf. Sci. 116(1): 55-81 (1999)
	1998
7		Michael J. Maher, Grigoris Antoniou, David Billington: A Study of Provability in Defeasible Logic. Australian Joint Conference on Artificial Intelligence 1998: 215-226
6		Grigoris Antoniou, David Billington, Michael J. Maher: Normal Forms for Defeasible Logic. IJCSLP 1998: 160-174
	1997
5		David Billington: Proving Quantified Literals in Defeasible Logic. Australian Joint Conference on Artificial Intelligence 1997: 265-273
	1996
4		David Billington, R. Geoff Dromey: The Co-invariant Generator: An Aid in Deriving Loop Bodies. Formal Asp. Comput. 8(1): 108-126 (1996)
	1993
3		David Billington: Defeasible Logic is Stable. J. Log. Comput. 3(4): 379-400 (1993)
	1990
2		David Billington, Koen de Coster, Donald Nute: A modular translation from defeasible nets to defeasible logics. J. Exp. Theor. Artif. Intell. 2(2): 151-177 (1990)
	1982
1		David Billington: A simple proof that all 1-designs exist. Discrete Mathematics 42(2-3): 321-322 (1982)

Coauthor Index

1	Grigoris Antoniou	[6] [7] [9] [10] [11] [12] [14] [15] [16] [17] [18] [20] [22] [23] [24] [26] [27] [29] [32] [39]
2	Jeff Blee	[27] [34] [36] [42]
3	Koen de Coster	[2]
4	R. Geoff Dromey	[4]
5	Vladimir Estivill-Castro	[33] [38] [40] [41]
6	Marilyn Ford	[13]
7	Guido Governatori	[9] [10] [14] [15] [16] [18] [20] [23] [26] [29] [32] [36] [39] [42]
8	René Hexel	[33] [38] [40] [41]
9	Michael J. Maher	[6] [7] [9] [10] [11] [12] [14] [15] [16] [17] [18] [20] [22] [23] [26] [29] [32] [39]
10	Tristan Miller	[17] [22]
11	Donald Nute	[2]
12	Andrew Rock	[17] [18] [19] [21] [22] [25] [33] [38] [40] [41]
13	Abdul Sattar	[34] [36] [42]
14	Kewen Wang	[27]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page