David Billington

48 papers A* 1A 1B 6C 1Misc 2Journal 19Unranked 17

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Principles of logics for plausible reasoning. J. Log. Comput. David Billington
2017	J	`jnl`	Principles and Examples of Plausible Reasoning and Propositional Plausible Logic. CoRR David Billington
2015	—	`conf`	A Propositional Plausible Logic. Australasian Conference on Artificial Intelligence David Billington
2014	—	`ch.`	Felix Candela and Heinz Isler: a comparison of two structural artists. Shell Structures for Architecture Maria E. Moreyra Garlock, David Billington
2011	—	`conf`	A Defeasible Logic for Clauses. Australasian Conference on Artificial Intelligence David Billington
2011	J	`jnl`	Levels of modality for BDI Logic. J. Appl. Log. Jeff Blee, David Billington, Guido Governatori, Abdul Sattar
2010	J	`jnl`	An inclusion theorem for defeasible logics. ACM Trans. Comput. Log. David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher
2010	—	`conf`	Modelling Behaviour Requirements for Automatic Interpretation, Simulation and Deployment. SIMPAR David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock
2010	B	`conf`	Non-monotonic Reasoning for Requirements Engineering - State Diagrams Driven by Plausible Logic. ENASE David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock
2010	—	`conf`	Requirements Engineering via Non-monotonic Logics and State Diagrams. ENASE (Selected Papers) David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock
2009	Misc	`conf`	Architecture for Hybrid Robotic Behavior. HAIS David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock
2008	—	`conf`	Levels of Modalities for BDI Logic. Web Intelligence/IAT Workshops Jeff Blee, David Billington, Guido Governatori, Abdul Sattar
2008	B	`conf`	Propositional Clausal Defeasible Logic. JELIA David Billington
2007	A*	`conf`	Entailment Semantics for Rules with Priorities. IJCAI David Billington
2007	B	`conf`	Reasoning with Levels of Modalities in BDI Logic. PRIMA Jeff Blee, David Billington, Abdul Sattar
2006	J	`jnl`	Embedding defeasible logic into logic programming. Theory Pract. Log. Program. Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
2006	C	`conf`	Using Temporal Consistency to Improve Robot Localisation. RoboCup David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock
2005	—	`conf`	A Fixed-Point Semantics for Plausible Logic. Australian Conference on Artificial Intelligence David Billington
2005	J	`jnl`	Embedding Defeasible Logic into Logic Programming CoRR Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
2005	—	`conf`	The Proof Algorithms of Plausible Logic Form a Hierarchy. Australian Conference on Artificial Intelligence David Billington
2004	—	`conf`	A plausible logic which detects loops. NMR David Billington
2004	J	`jnl`	Argumentation Semantics for Defeasible Logic. J. Log. Comput. Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington
2004	—	`conf`	Combining Description Logic and Defeasible Logic for the Semantic Web. RuleML Kewen Wang, David Billington, Jeff Blee, Grigoris Antoniou
2003	—	`conf`	Constructive Plausible Logic Is Relatively Consistent. Australian Conference on Artificial Intelligence David Billington, Andrew Rock
2001	J	`jnl`	Efficient Defeasible Reasoning Systems. Int. J. Artif. Intell. Tools Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller
2001	J	`jnl`	Propositional Plausible Logic: Introduction and Implementation. Stud Logica David Billington, Andrew Rock
2001	—	`conf`	Relating Defeasible and Default Logic. Australian Joint Conference on Artificial Intelligence Grigoris Antoniou, David Billington
2001	J	`jnl`	Representation results for defeasible logic. ACM Trans. Comput. Log. Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
2000	A	`conf`	A Family of Defeasible Reasoning Logics and its Implementation. ECAI Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock
2000	—	`conf`	A Flexible Framework for Defeasible Logics. AAAI/IAAI Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
2000	J	`jnl`	A flexible framework for defeasible logics CoRR Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
2000	—	`conf`	An Implementation of Propositional Plausible Logic. ACSC Andrew Rock, David Billington
2000	B	`conf`	Argumentation Semantics for Defeasible Logics. PRICAI Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington
2000	J	`jnl`	Defeasible Logic versus Logic Programming without Negation as Failure. J. Log. Program. Grigoris Antoniou, Michael J. Maher, David Billington
2000	B	`conf`	Efficient defeasible reasoning systems. ICTAI Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller
2000	J	`jnl`	Representation results for defeasible logic CoRR Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
2000	J	`jnl`	Strategies in Human Nonmonotonic Reasoning. Comput. Intell. Marilyn Ford, David Billington
1999	B	`conf`	A Comparison of Sceptical NAF-Free Logic Programming Approaches. LPNMR Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori
1999	—	`conf`	On the Analysis of Regulations using Defeasible Rules. HICSS Grigoris Antoniou, David Billington, Michael J. Maher
1999	J	`jnl`	Proving Quantified Literals in Defeasible Logic. Inf. Sci. David Billington
1999	Misc	`conf`	Revising Nonmonotonic Theories: The Case of Defeasible Logic. KI David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher
1998	—	`conf`	A Study of Provability in Defeasible Logic. Australian Joint Conference on Artificial Intelligence Michael J. Maher, Grigoris Antoniou, David Billington
1998	—	`conf`	Normal Forms for Defeasible Logic. IJCSLP Grigoris Antoniou, David Billington, Michael J. Maher
1997	—	`conf`	Proving Quantified Literals in Defeasible Logic. Australian Joint Conference on Artificial Intelligence David Billington
1996	J	`jnl`	The Co-invariant Generator: An Aid in Deriving Loop Bodies. Formal Aspects Comput. David Billington, R. Geoff Dromey
1993	J	`jnl`	Defeasible Logic is Stable. J. Log. Comput. David Billington
1990	J	`jnl`	A modular translation from defeasible nets to defeasible logics. J. Exp. Theor. Artif. Intell. David Billington, Koen de Coster, Donald Nute
1982	J	`jnl`	A simple proof that all 1-designs exist. Discret. Math. David Billington