David P. Billington

Representation results for defeasible logic

Grigoris Antoniou, David P. Billington, Guido Governatori et al. · ACM Transactions on Computational Logic · 2001 · 367 citations · Full text

Applied Logic, Normal Forms, Computational Logic +10

The Tower and the Bridge: The New Art of Structural Engineering

Jeffrey L. Meikle, David P. Billington · Technology and Culture · 1984 · 201 citations

Engineering, Architectural Engineering, New Art +18

Defeasible Logic is Stable

David P. Billington · Journal of Logic and Computation · 1993 · 121 citations

Applied Logic, Paraconsistent Logic, Engineering +17

EFFICIENT DEFEASIBLE REASONING SYSTEMS

Michael J. Maher, Andrew Rock, Grigoris Antoniou et al. · International Journal of Artificial Intelligence Tools · 2001 · 120 citations

Computational Logic, Non-classical Logic, Non-monotonic Logic +13

Defeasible logic versus Logic Programming without Negation as Failure

Grigoris Antoniou, Michael J. Maher, David P. Billington · The Journal of Logic Programming · 2000 · 97 citations

Non-classical Logic, Engineering, Automated Reasoning +5