( en | de | ru )

 

Disambiguation of "Billington, David"

Author of the publication

copydeleteadd this publication to your clipboard
Representation results for defeasible logic.

, , , and . ACM Trans. Comput. Log., 2 (2): 255-287 (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Volker David

Bodo David

Erich David

Ernst David

Baruch Davidoff

 

Other publications of authors with the same name

A plausible logic which detects loops.. NMR, page 65-71. (2004)Using Temporal Consistency to Improve Robot Localisation., , , and . RoboCup, volume 4434 of Lecture Notes in Computer Science, page 232-244. Springer, (2006)The Proof Algorithms of Plausible Logic Form a Hierarchy.. Australian Conference on Artificial Intelligence, volume 3809 of Lecture Notes in Computer Science, page 796-799. Springer, (2005)Architecture for Hybrid Robotic Behavior., , , and . HAIS, volume 5572 of Lecture Notes in Computer Science, page 145-156. Springer, (2009)An Implementation of Propositional Plausible Logic., and . ACSC, page 204-210. IEEE Computer Society, (2000)Argumentation Semantics for Defeasible Logics., , , and . PRICAI, volume 1886 of Lecture Notes in Computer Science, page 27-37. Springer, (2000)Proving Quantified Literals in Defeasible Logic.. Inf. Sci., 116 (1): 55-81 (1999)Reasoning with Levels of Modalities in BDI Logic., , and . PRIMA, volume 5044 of Lecture Notes in Computer Science, page 410-415. Springer, (2007)Proving Quantified Literals in Defeasible Logic.. Australian Joint Conference on Artificial Intelligence, volume 1342 of Lecture Notes in Computer Science, page 265-273. Springer, (1997)A Propositional Plausible Logic.. Australasian Conference on Artificial Intelligence, volume 9457 of Lecture Notes in Computer Science, page 76-82. Springer, (2015)