David A. Cyrluk

According to our database¹, David A. Cyrluk authored at least 3 papers between 1989 and 2013.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2013

Uncertainty and Incompleteness

[BibT_eX]

[DOI]

CoRR, 2013

2003

Proof methodologies for processor verification.

[BibT_eX]

[DOI]

PhD thesis, 2003

1989

Uncertainty and Incompleteness: Breaking the Symmetry of Defeasible Reasoning.

[BibT_eX]

[DOI]

Proceedings of the UAI '89: Proceedings of the Fifth Annual Conference on Uncertainty in Artificial Intelligence, 1989