The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

David Billington: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  33. Levels of Modalities for BDI Logic. [Citation Graph (, )][DBLP]


  34. Propositional Clausal Defeasible Logic. [Citation Graph (, )][DBLP]


  35. Reasoning with Levels of Modalities in BDI Logic. [Citation Graph (, )][DBLP]


  36. Architecture for Hybrid Robotic Behavior. [Citation Graph (, )][DBLP]


  37. Embedding Defeasible Logic into Logic Programming [Citation Graph (, )][DBLP]


Search in 0.020secs, Finished in 0.021secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002