Marta Cialdea Mayer
- First order abduction via tableau and sequent calculi
1993/01/01 by Marta Cialdea Mayer, Fiora Pirri · 1 citation
Computer Science · #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #Logic, programming, and type systems
- Propositional Abduction in Modal Logic
1995/01/01 by Marta Cialdea Mayer, Fiora Pirri · 1 citation
Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic