Travelled to:1 × Austria
Collaborated with:C.Dixon D.Pattinson J.Marcos U.Hustadt
Talks about:resolut (3) logic (2) base (2) preferenti (1) confluenc (1) multimod (1) calculus (1) clausal (1) prover (1) modal (1)
Person: Cláudia Nalon
DBLP: Nalon:Cl=aacute=udia
Contributed to:
201420162018Wrote 3 papers:
- IJCAR-2014-NalonMD #confluence #logic
- Clausal Resolution for Modal Logics of Confluence (CN, JM, CD), pp. 322–336.
- IJCAR-2016-NalonHD #multimodal #proving
- : A Resolution-Based Prover for Multimodal K (CN, UH, CD), pp. 406–415.
- IJCAR-2018-NalonP #calculus #logic
- A Resolution-Based Calculus for Preferential Logics (CN, DP), pp. 498–515.