Publications of Marianna Nicolosi Asmundo



2012
  • D. Cantone, A. Formisano, M. Nicolosi Asmundo, E. G. Omodeo. A graphical representation of relational formulae with complementation. RAIRO - Theoretical Informatics and Applications, vol 46(2), pp. 261-289 (2012).

  • D. Cantone, M. Nicolosi Asmundo, E. G. Omodeo. On the Elimination of Quantifiers through Descriptors in Predicate Logic. In Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012. CEUR Workshop Proceedings 857, pp. 17-31.

  • D. Cantone, M. Nicolosi Asmundo. On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic. Fundamenta Informaticae (in course of publication).

  • D. Cantone, M. Nicolosi Asmundo. On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic (extended version). CoRR abs/1209.1943 (2012).


2011
  • D. Cantone, C. Longo, M. Nicolosi Asmundo. A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics. In Computer Science Logic 2011, pp. 129-143.

  • D. Cantone, M. Nicolosi Asmundo, and E. Orłowska. Dual tableau-based decision procedures for relational logics with restricted composition operator. JOURNAL OF APPLIED NON-CLASSICAL LOGICS, vol. 21(2), pp. 177-200 (2011).

  • D. Cantone and M. Nicolosi Asmundo. On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic. In Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011. CEUR Workshop Proceedings 810, pp. 73-97.


2010
  • D. Cantone, M. Felici, and M. Nicolosi Asmundo. Solvable set/hyperset contexts: III. A tableau system for a fragment of hyperset theory. RENDICONTI DELL'ISTITUTO DI MATEMATICA DELL'UNIVERSITA' DI TRIESTE, vol. 42, pp. 165-190 (2010).

  • D. Cantone, M. Nicolosi Asmundo, and Ewa Orłowska. Dual Tableau-based Decision Procedures for Some Relational Logics. In CILC10, 25-esimo Convegno Italiano di Logica Computazionale. CEUR-WS vol. 598, 7-9 July 2010, Università della Calabria, Rende, Italy.

  • D. Cantone, C. Longo, and M. Nicolosi Asmundo. A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs. In Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010. CEUR Workshop Proceedings 598,

  • D. Cantone, A. Formisano, M. Nicolosi Asmundo, and E. Omodeo. A graphical representation of relational formulae with complementation. In ICTCS'10 - the twelfth Italian Conference on Theoretical Computer Science, 15-17 September, 2010, Camerino, Italy.


2009
  • D. Cantone, S. Cristofaro, and M. Nicolosi Asmundo. A certification of Lagrange's theorem with the proof assistant AEtnanova/Referee. In CILC09, 24-esimo Convegno Italiano di Logica Computazionale, 24-26 June 2009, Università di Ferrara, Italy. .pdf available online.

  • D. Cantone, M. Felici, and M. Nicolosi Asmundo.A Tableau-Based Decision Procedure for a Fragment of the Hyperset Theory. In First Workshop on Theory and Application of Bisimulations, July 3rd, 2009, Università degli Studi di Trieste Polo Universitario di Gorizia, Italy.


2008
  • D. Cantone, C. Chiaruttini, M. Nicolosi Asmundo, E.G. Omodeo. Cumulative hierarchies and computability over universes of sets. LE MATEMATICHE, vol. 63 fasc. I; pp. 31-84, 2008, ISSN: 0373-3505.

  • D. Cantone, M. Nicolosi Asmundo. On the satisfiability problem for a 3-level quantified syllogistic. In Complexity, Expressibility, and Decidability in Automated Reasoning - CEDAR2008, 10-15 August 2008, Sydney - Australia, pp. 31-46.

  • D. Cantone, A. Formisano, M. Nicolosi Asmundo, E.G. Omodeo. A graphical representation of relational formulae with complementation. In CILC08, 23-esimo Convegno Italiano di Logica Computazionale, 10-12 July 2008, Università degli Studi di Perugia, Italy. .pdf available online.

2007
  • D. Cantone, M. Nicolosi Asmundo. A Sound Framework for delta-Rule Variants in Free-Variable Semantic Tableaux. JOURNAL OF AUTOMATED REASONING, vol. 38(1-3); pp. 31-56, 2007, ISSN: 0168-7433.

  • D. Cantone, M. Nicolosi Asmundo. On the satisfiability problem for a 3-level quantified syllogistic and applications. In CILC07, 22-esimo Convegno italiano di Logica Computazionale, 21-22 June 2007, Università di Messina, Italy.

  • D. Cantone, M. Nicolosi Asmundo, E.G. Omodeo. Global skolemization with grouped quantifiers. In: Workshop of the INTAS project n. 04 77 7080: Automata, relations, and non-classical logics, 15-16 February 2007, Università degli studi di Perugia, Italy.

  • D. Cantone, C. Chiaruttini, M. Nicolosi Asmundo, E.G. Omodeo. Gerarchie Cumulative e Computabilità sopra Universi di Insiemi. vol. 584, Quaderni Matematici II serie, Dipartimento di Scienze Matematiche Università di Trieste, Dicembre 2007.


2006
  • A. Formisano, M. Nicolosi Asmundo. An efficient relational deductive system for propositional non-classical logics. JOURNAL OF APPLIED NON-CLASSICAL LOGICS, vol. 16(3-4); pp. 367-408, 2006, ISSN: 1166-3081.

  • D. Cantone, M. Nicolosi Asmundo. Skolem functions and Hilbert's epsilon-terms in Free Variable Tableau Systems. In CILC06, 21-esimo Convegno italiano di Logica Computazionale, 26-27 June 2006, Università di Bari. Italy. .pdf available online.

  • A. Formisano, M. Nicolosi Asmundo. Towards an efficient relational deductive system for propositional non-classical logics. In CILC06, 21-esimo Convegno italiano di Logica Computazionale, 26-27 June 2006, Università di Bari. Italy. .pdf available online.

2005
  • D. Cantone, M. Nicolosi Asmundo. A General Proviso for Existential Quantifiers Elimination in Free Variable Semantic Tableaux. In UNILOG05, the First World Congress and School on Universal Logic, 31 March- 3 April 2005, Montreux, Switzerland.

  • D. Cantone, M. Nicolosi Asmundo. A Sound Framework for delta-rule Variants in Free Variable Semantic Tableaux. In FTP 2005, the Fifth International Workshop on First-Order Theorem Proving, Technical Report ISSN 1860-4471, University of Koblenz, pp. 51-69, 15-17 September 2005, Koblenz, Germany.

  • D. Cantone, M. Nicolosi Asmundo. A Sound Framework for delta-rule Variants in Free Variable Semantic Tableaux (abstract). In Workshop of EU COST Action 274 (TARSKI), 16-17 June 2005, Belfast UK.


2003
  • M. Nicolosi Asmundo, E. Riccobene. Consistent integration for sequential Abstract State Machines. In Proceedings of ASM 2003, E. BOERGER ET AL.. LNCS 2589, pp. 324-340, Springer.


2002
  • M. Nicolosi Asmundo, E. Riccobene. A consistent operation to compose Abstract State Machines and rigorous techniques to define, recognize and prove properties of distributed ASMs. In Dagstuhl Seminar n. 02101, Theory and Application Of Abstract State Machines, Report n. 336. Dagstuhl, Germany, March 2002.


2001
  • M. Nicolosi Asmundo. A Formal Approach for Specification Composition and Inconsis- tency Handling Using ASMs. In Proceedings of RE2001 Doctoral Workshop, 5th - IEEE International Symposium on Requirement Engineering, 2001.

  • M. Nicolosi Asmundo, E. Riccobene. Using ASMs for Inconsistency Handling through ViewPoint Framework. In Proceedings of Eurocast 2001 - ASM track. Las Palmas - Canary Islands, pp. 228-231


2000
  • D. Cantone, M. Nicolosi Asmundo. A Further and Effective Liberalization of the delta-Rule in Free Variable Semantic Tableaux (extended version). In R. CAFERRA, G. SALZER. LNCS - Automated Deduction in Classical and Non Classical Logic - Selected papers. vol. 1761, pp. 109-125, BERLIN HEIDELBERG: Springer-Verlag.


1998
  • D. Cantone, M. Nicolosi Asmundo. A Further and Effective Liberalization of the delta-Rule in Free Variable Semantic Tableaux. In Proceedings of the International Workshop on First-order Theorem Proving, Wien, Austria, 1998.


1997
  • D. Cantone, M. Nicolosi Asmundo, E.G Omodeo. Global Skolemization with Grouped Quantifiers. In Proceedings of APPIA-GULP PRODE'97, pp. 405-414.


 

Home | Publications | Curriculum Vitae