sign in · help · news · about ·

BibSonomy :: author :: Asmundo ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(8)

<< < 1 > >>

A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics.
Domenico Cantone, Cristiano Longo, and Marianna Nicolosi Asmundo CSL, volume 12 of LIPIcs, page 129-143. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2011)
to dblp by dblp on Sep 11, 2011, 12:00 AM
URL | BibTeX
Dual tableau-based decision procedures for relational logics with restricted composition operator.
Domenico Cantone, Marianna Nicolosi Asmundo, and Ewa Orlowska Journal of Applied Non-Classical Logics 21(2):177-200 (2011)
to dblp by dblp on Aug 11, 2011, 12:00 AM
URL | BibTeX
Consistent Integration for Sequential Abstract State Machines.
Marianna Nicolosi Asmundo, and Elvinia Riccobene Abstract State Machines, volume 2589 of Lecture Notes in Computer Science, page 324-340. Springer, (2003)
to dblp by dblp on Jul 4, 2011, 12:00 AM
URL | BibTeX
A Further and Effective Liberalization of the delta-Rule in Free Variable Semantic Tableaux.
Domenico Cantone, and Marianna Nicolosi Asmundo FTP LNCS Selection, volume 1761 of Lecture Notes in Computer Science, page 109-125. Springer, (1998)
to dblp by dblp on Jun 20, 2011, 12:00 AM
URL | BibTeX
An efficient relational deductive system for propositional non-classical logics.
Andrea Formisano, and Marianna Nicolosi Asmundo Journal of Applied Non-Classical Logics 16(3-4):367-408 (2006)
to dblp by dblp on Jul 21, 2010, 3:45 PM
URL | BibTeX
A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs
Domenico Cantone, Cristiano Longo, and Marianna Nicolosi Asmundo (2010)
to Cartesian-product Decision-procedures ExpTime-hardness NP-completeness maps multi-level-syllogistics by etnarosso on Jul 11, 2010, 7:49 PM
URL | BibTeX
A Sound Framework for delta-Rule Variants in Free-Variable Semantic Tableaux.
Domenico Cantone, and Marianna Nicolosi Asmundo J. Autom. Reasoning 38(1-3):31-56 (2007)
to dblp by dblp on Sep 18, 2007, 12:00 AM
URL | BibTeX
Global Skolemization with Grouped Quantifiers.
Domenico Cantone, Marianna Nicolosi Asmundo, and Eugenio G. Omodeo APPIA-GULP-PRODE, page 405-414. (1997)
to dblp by dblp on Dec 2, 2004, 12:00 AM
URL | BibTeX

<< < 1 > >>publications per page: 5 10 20 50 100

a gripper