Marianna Nicolosi Asmundo

Author

Also Known As

Asmundo, Marianna Nicolosi, Domenico Cantone, Marianna Nicolosi Asmundo, Marianna Nicolosi-Asmundo, Nicolosi Asmundo, Marianna, Nicolosi-Asmundo, Marianna

Publications

255

Citations

H-Index

Concepts

All Affiliations

University of Catania

About

Marianna Nicolosi Asmundo is an author at University of Catania specializing in formal methods, automated reasoning, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	44
2	Computer Science	3	3	44
3	Automated Reasoning	3	3	44
4	Semantics	2	2	29
5	Description Logics	2	2	29

Marianna Nicolosi Asmundo

Publications

Citations

H-Index

Page 1

	Year	Citations
Dual tableau-based decision procedures for relational logics with restricted composition operator Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orłowska Journal of Applied Non-Classical Logics Applied LogicEngineeringClassical LogicSemanticsModal Logic	2011	16
An efficient relational deductive system for propositional non-classical logics Andrea Formisano, Marianna Nicolosi Asmundo Journal of Applied Non-Classical Logics Non-classical LogicEngineeringRelational FrameworkProlog ImplementationAutomated Reasoning	2006	15
Dual Tableau-based Decision Procedures for Some Relational Logics. Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orłowska CILC Algebraic LogicEngineeringSubstructural LogicDeductive DatabaseAutomated Reasoning	2010	13
On the Satisfiability Problem for a 4-level Quantified Syllogistic and Some Applications to Modal Logic Domenico Cantone, Marianna Nicolosi Asmundo Fundamenta Informaticae	2013	10

Page 1