Travelled to:1 × Austria
1 × Canada
1 × Germany
1 × USA
Collaborated with:U.Hustadt C.Nalon ∅ J.Marcos L.Zhang A.Ozaki M.S.Khan F.Coenen S.El-Salhi
Talks about:resolut (4) logic (3) tempor (2) increment (1) confluenc (1) strategi (1) multimod (1) calculus (1) asymmetr (1) theorem (1)
Person: Clare Dixon
DBLP: Dixon:Clare
Contributed to:
2014
2012
2009199620162017Wrote 6 papers:
- IJCAR-2014-NalonMD #confluence #logic
- Clausal Resolution for Modal Logics of Confluence (CN, JM, CD), pp. 322–336.
- MLDM-2012-KhanCDE #3d #case study #correlation #incremental #symmetry
- Finding Correlations between 3-D Surfaces: A Study in Asymmetric Incremental Sheet Forming (MSK, FC, CD, SES), pp. 366–379.
- CADE-2009-ZhangHD #calculus
- A Refined Resolution Calculus for CTL (LZ, UH, CD), pp. 245–260.
- CADE-1996-Dixon #logic
- Search Strategies for Resolution in Temporal Logics (CD), pp. 673–687.
- IJCAR-2016-NalonHD #multimodal #proving
- : A Resolution-Based Prover for Multimodal K (CN, UH, CD), pp. 406–415.
- CADE-2017-HustadtOD #logic #metric #proving #theorem proving
- Theorem Proving for Metric Temporal Logic over the Naturals (UH, AO, CD), pp. 326–343.