Zum Inhalt springen Cantone, Domenico [VerfasserIn]; Omodeo, Eugenio [VerfasserIn]; Policriti, Alberto [VerfasserIn] Set theory for computing : from decision procedures to declarative programming with sets Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. New York, NY; Berlin; Heidelberg [u.a.]: Springer, 2001 Erschienen in: Monographs in computer science Cantone, Domenico [HerausgeberIn]; Pulvirenti, Alfredo [HerausgeberIn] From Computational Logic to Computational Biology : Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career - [1st ed. 2024.] Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer Nature Switzerland, 2024. ; Cham: Imprint: Springer, 2024. Erschienen in: Lecture Notes in Computer Science ; 14070 Faro, Simone [Sonstige Person, Familie und Körperschaft]; Cantone, Domenico [Sonstige Person, Familie und Körperschaft] ; SEA 18. 2020 Online 18th International Symposium on Experimental Algorithms : SEA 2020, June 16-18, 2020, Catania, Italy Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) https://www.dagstuhl.de/dagpub/978-3-95977-148-1 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Saarbrücken/Wadern, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, June, 2020 Erschienen in: Leibniz international proceedings in informatics ; 160 Faro, Simone [VerfasserIn]; Cantone, Domenico [VerfasserIn] ; Simone Faro and Domenico Cantone [MitwirkendeR] Front Matter, Table of Contents, Preface, Conference Organization Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020 Faro, Simone [VerfasserIn]; Cantone, Domenico [VerfasserIn] ; Simone Faro and Domenico Cantone [MitwirkendeR] LIPIcs, Volume 160, SEA 2020, Complete Volume Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020 Cantone, Domenico [HerausgeberIn]; Nicolosi Asmundo, Marianna [HerausgeberIn] ; CILC 28. 2013 Catania CILC 2013 : 28th Italian Conference on Computational Logic : Catania, Italy, September 25-27, 2013 : proceedings Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Aachen: RWTH Aachen, [2013] Erschienen in: CEUR workshop proceedings ; 106800 Cantone, Domenico [VerfasserIn]; Giarlotta, Alfio [VerfasserIn]; Watson, Stephen [VerfasserIn] Choice resolutions Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zugang zur Ressource (via Springer) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2021 Erschienen in: Social choice and welfare ; 56(2021), 4 vom: Mai, Seite 713-753 Cantone, Domenico [VerfasserIn]; Maugeri, Pietro [VerfasserIn]; Omodeo, Eugenio [VerfasserIn] Two Crucial Cubic-Time Components of Polynomial-Maximal Decidable Boolean Languages Aufsätze Online ansehen Schließen > Zugang http://ceur-ws.org/Vol-3072/#paper14 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2021 Erschienen in: ICTCS (22. : 2021 : Online): ICTCS 2021: 22nd Italian Conference on Theoretical Computer Science 2021 ; (2021), Seite 164-178 Cantone, Domenico [VerfasserIn]; Omodeo, Eugenio [VerfasserIn]; Panettiere, Mattia [VerfasserIn] Very Weak, Essentially Undecidabile Set Theories Aufsätze Online ansehen Schließen > Zugang http://ceur-ws.org/Vol-3002/#paper21 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2021 Erschienen in: Italian Conference on Computational Logic (36. : 2021 : Parma; Online): CILC 2021: Italian Conference on Computational Logic ; (2021), Seite 31-46 Cantone, Domenico [VerfasserIn]; Omodeo, Eugenio [VerfasserIn]; Panettiere, Mattia [VerfasserIn] From Hilbert's 10th Problem to slim, Undecidable Fragments of Set Theory Aufsätze Online ansehen Schließen > Zugang http://ceur-ws.org/Vol-2756/#paper5 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2020 Erschienen in: Italian Conference on Theoretical Computer Science (21. : 2020 : Online): ICTCS 2020, 21st Italian Conference on Theoretical Computer Science ; (2020), Seite 47-60 Cantone, Domenico [VerfasserIn]; Faro, Simone [VerfasserIn]; Pavone, Arianna [VerfasserIn] ; Domenico Cantone and Simone Faro and Arianna Pavone [MitwirkendeR] Sequence Searching Allowing for Non-Overlapping Adjacent Unbalanced Translocations Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020 Cantone, Domenico [VerfasserIn]; Faro, Simone [VerfasserIn]; Kulekci, M. Oguzhan [VerfasserIn] Shape-Preserving Pattern Matching Aufsätze Online ansehen Schließen > Zugang http://ceur-ws.org/Vol-2756/#paper13 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2020 Erschienen in: Italian Conference on Theoretical Computer Science (21. : 2020 : Online): ICTCS 2020, 21st Italian Conference on Theoretical Computer Science ; (2020), Seite 137-148 Cantone, Domenico [VerfasserIn]; Longo, Cristiano [VerfasserIn]; Nicolosi Asmundo, Marianna [VerfasserIn] ; Domenico Cantone and Cristiano Longo and Marianna Nicolosi Asmundo [MitwirkendeR] A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011 Domenico, Andrea De [VerfasserIn]; Cantone, Domenico [VerfasserIn]; Nicolosi-Asmundo, Marianna [VerfasserIn] An Ontology for the Iconographic Sources of La Divina Commedia Aufsätze Online ansehen Schließen > Zugang http://ceur-ws.org/Vol-2710/#paper10 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2020 Erschienen in: Italian Conference on Computational Logic (35. : 2020 : Online): CILC 2020: proceedings of CILC 2020 ; (2020), Seite 157-168 Cantone, Domenico [VerfasserIn]; Domenico, Andrea De [VerfasserIn]; Maugeri, Pietro [VerfasserIn]; Omodeo, Eugenio G. [VerfasserIn] A Quadratic Reduction of Constraints over Nested Sets to Purely Boolean Formulae in CNF Aufsätze Online ansehen Schließen > Zugang http://ceur-ws.org/Vol-2710/#paper14 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2020 Erschienen in: Italian Conference on Computational Logic (35. : 2020 : Online): CILC 2020: proceedings of CILC 2020 ; (2020), Seite 214-230 Buriola, Gabriele [VerfasserIn]; Cantone, Domenico [VerfasserIn]; Cincotti, Gianluca [VerfasserIn]; Omodeo, Eugenio [VerfasserIn]; Spartà, Gaetano [VerfasserIn] A Decidable Theory Treating Addition of Differentiable Real Functions Aufsätze Online ansehen Schließen > Zugang http://ceur-ws.org/Vol-3072/#paper13 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2021 Erschienen in: ICTCS (22. : 2021 : Online): ICTCS 2021: 22nd Italian Conference on Theoretical Computer Science 2021 ; (2021), Seite 150-163 Alcantud, José Carlos R. [VerfasserIn]; Cantone, Domenico Aldo [VerfasserIn]; Giarlotta, Alfio [VerfasserIn]; Watson, Stephen [VerfasserIn] Rationalization of Indecisive Choice Behavior By Pluralist Ballots Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) https://ssrn.com/abstract=4499212 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [S.l.]: SSRN, [2023] Alcantud, José Carlos R. [VerfasserIn]; Cantone, Domenico Aldo [VerfasserIn]; Giarlotta, Alfio [VerfasserIn]; Watson, Stephen [VerfasserIn] Rationalization of Indecisive Choice Behavior by Majoritarian Ballots Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) https://ssrn.com/abstract=4287513 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [S.l.]: SSRN, 2022 Longo, Carmelo Fabio [VerfasserIn]; Santoro, Corrado [VerfasserIn]; Nicolosi-Asmundo, Marianna [VerfasserIn]; Santamaria, Daniele Francesco [VerfasserIn]; Cantone, Domenico [VerfasserIn] SW-CASPAR: Reactive-Cognitive Architecture based on Natural Language Processing for the task of Decision-Making in the Open-World Assumption Aufsätze Online ansehen Schließen > Zugang http://ceur-ws.org/Vol-2963/#paper10 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2021 Erschienen in: Workshop "From Objects to Agents" (22. : 2021 : Bologna; Online): WOA 2021: 22nd Workshop "From Objects to Agents" ; (2021), Seite 178-193 Buriola, Gabriele [VerfasserIn]; Cantone, Domenico [VerfasserIn]; Cincotti, Gianluca [VerfasserIn]; Omodeo, Eugenio G. [VerfasserIn]; Spartà, Gaetano T. [VerfasserIn] A Decidable Theory of Differentiable Functions with Convexities and Concavities on Real Intervals Aufsätze Online ansehen Schließen > Zugang http://ceur-ws.org/Vol-2710/#paper15 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2020 Erschienen in: Italian Conference on Computational Logic (35. : 2020 : Online): CILC 2020: proceedings of CILC 2020 ; (2020), Seite 231-247
Cantone, Domenico [VerfasserIn]; Omodeo, Eugenio [VerfasserIn]; Policriti, Alberto [VerfasserIn] Set theory for computing : from decision procedures to declarative programming with sets Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. New York, NY; Berlin; Heidelberg [u.a.]: Springer, 2001 Erschienen in: Monographs in computer science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Cantone, Domenico [HerausgeberIn]; Pulvirenti, Alfredo [HerausgeberIn] From Computational Logic to Computational Biology : Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career - [1st ed. 2024.] Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer Nature Switzerland, 2024. ; Cham: Imprint: Springer, 2024. Erschienen in: Lecture Notes in Computer Science ; 14070
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Faro, Simone [Sonstige Person, Familie und Körperschaft]; Cantone, Domenico [Sonstige Person, Familie und Körperschaft] ; SEA 18. 2020 Online 18th International Symposium on Experimental Algorithms : SEA 2020, June 16-18, 2020, Catania, Italy Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) https://www.dagstuhl.de/dagpub/978-3-95977-148-1 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Saarbrücken/Wadern, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, June, 2020 Erschienen in: Leibniz international proceedings in informatics ; 160
> Zugang Zugang zur Ressource (via DOI) https://www.dagstuhl.de/dagpub/978-3-95977-148-1 Zeige weitere weniger zeigen
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Faro, Simone [VerfasserIn]; Cantone, Domenico [VerfasserIn] ; Simone Faro and Domenico Cantone [MitwirkendeR] Front Matter, Table of Contents, Preface, Conference Organization Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Faro, Simone [VerfasserIn]; Cantone, Domenico [VerfasserIn] ; Simone Faro and Domenico Cantone [MitwirkendeR] LIPIcs, Volume 160, SEA 2020, Complete Volume Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Cantone, Domenico [HerausgeberIn]; Nicolosi Asmundo, Marianna [HerausgeberIn] ; CILC 28. 2013 Catania CILC 2013 : 28th Italian Conference on Computational Logic : Catania, Italy, September 25-27, 2013 : proceedings Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Aachen: RWTH Aachen, [2013] Erschienen in: CEUR workshop proceedings ; 106800
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Cantone, Domenico [VerfasserIn]; Giarlotta, Alfio [VerfasserIn]; Watson, Stephen [VerfasserIn] Choice resolutions Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zugang zur Ressource (via Springer) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2021 Erschienen in: Social choice and welfare ; 56(2021), 4 vom: Mai, Seite 713-753
> Zugang Zugang zur Ressource (via DOI) Zugang zur Ressource (via Springer) Zeige weitere weniger zeigen
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Cantone, Domenico [VerfasserIn]; Maugeri, Pietro [VerfasserIn]; Omodeo, Eugenio [VerfasserIn] Two Crucial Cubic-Time Components of Polynomial-Maximal Decidable Boolean Languages Aufsätze Online ansehen Schließen > Zugang http://ceur-ws.org/Vol-3072/#paper14 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2021 Erschienen in: ICTCS (22. : 2021 : Online): ICTCS 2021: 22nd Italian Conference on Theoretical Computer Science 2021 ; (2021), Seite 164-178
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Cantone, Domenico [VerfasserIn]; Omodeo, Eugenio [VerfasserIn]; Panettiere, Mattia [VerfasserIn] Very Weak, Essentially Undecidabile Set Theories Aufsätze Online ansehen Schließen > Zugang http://ceur-ws.org/Vol-3002/#paper21 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2021 Erschienen in: Italian Conference on Computational Logic (36. : 2021 : Parma; Online): CILC 2021: Italian Conference on Computational Logic ; (2021), Seite 31-46
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Cantone, Domenico [VerfasserIn]; Omodeo, Eugenio [VerfasserIn]; Panettiere, Mattia [VerfasserIn] From Hilbert's 10th Problem to slim, Undecidable Fragments of Set Theory Aufsätze Online ansehen Schließen > Zugang http://ceur-ws.org/Vol-2756/#paper5 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2020 Erschienen in: Italian Conference on Theoretical Computer Science (21. : 2020 : Online): ICTCS 2020, 21st Italian Conference on Theoretical Computer Science ; (2020), Seite 47-60
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Cantone, Domenico [VerfasserIn]; Faro, Simone [VerfasserIn]; Pavone, Arianna [VerfasserIn] ; Domenico Cantone and Simone Faro and Arianna Pavone [MitwirkendeR] Sequence Searching Allowing for Non-Overlapping Adjacent Unbalanced Translocations Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Cantone, Domenico [VerfasserIn]; Faro, Simone [VerfasserIn]; Kulekci, M. Oguzhan [VerfasserIn] Shape-Preserving Pattern Matching Aufsätze Online ansehen Schließen > Zugang http://ceur-ws.org/Vol-2756/#paper13 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2020 Erschienen in: Italian Conference on Theoretical Computer Science (21. : 2020 : Online): ICTCS 2020, 21st Italian Conference on Theoretical Computer Science ; (2020), Seite 137-148
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Cantone, Domenico [VerfasserIn]; Longo, Cristiano [VerfasserIn]; Nicolosi Asmundo, Marianna [VerfasserIn] ; Domenico Cantone and Cristiano Longo and Marianna Nicolosi Asmundo [MitwirkendeR] A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Domenico, Andrea De [VerfasserIn]; Cantone, Domenico [VerfasserIn]; Nicolosi-Asmundo, Marianna [VerfasserIn] An Ontology for the Iconographic Sources of La Divina Commedia Aufsätze Online ansehen Schließen > Zugang http://ceur-ws.org/Vol-2710/#paper10 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2020 Erschienen in: Italian Conference on Computational Logic (35. : 2020 : Online): CILC 2020: proceedings of CILC 2020 ; (2020), Seite 157-168
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Cantone, Domenico [VerfasserIn]; Domenico, Andrea De [VerfasserIn]; Maugeri, Pietro [VerfasserIn]; Omodeo, Eugenio G. [VerfasserIn] A Quadratic Reduction of Constraints over Nested Sets to Purely Boolean Formulae in CNF Aufsätze Online ansehen Schließen > Zugang http://ceur-ws.org/Vol-2710/#paper14 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2020 Erschienen in: Italian Conference on Computational Logic (35. : 2020 : Online): CILC 2020: proceedings of CILC 2020 ; (2020), Seite 214-230
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Buriola, Gabriele [VerfasserIn]; Cantone, Domenico [VerfasserIn]; Cincotti, Gianluca [VerfasserIn]; Omodeo, Eugenio [VerfasserIn]; Spartà, Gaetano [VerfasserIn] A Decidable Theory Treating Addition of Differentiable Real Functions Aufsätze Online ansehen Schließen > Zugang http://ceur-ws.org/Vol-3072/#paper13 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2021 Erschienen in: ICTCS (22. : 2021 : Online): ICTCS 2021: 22nd Italian Conference on Theoretical Computer Science 2021 ; (2021), Seite 150-163
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Alcantud, José Carlos R. [VerfasserIn]; Cantone, Domenico Aldo [VerfasserIn]; Giarlotta, Alfio [VerfasserIn]; Watson, Stephen [VerfasserIn] Rationalization of Indecisive Choice Behavior By Pluralist Ballots Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) https://ssrn.com/abstract=4499212 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [S.l.]: SSRN, [2023]
> Zugang Zugang zur Ressource (via DOI) https://ssrn.com/abstract=4499212 Zeige weitere weniger zeigen
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Alcantud, José Carlos R. [VerfasserIn]; Cantone, Domenico Aldo [VerfasserIn]; Giarlotta, Alfio [VerfasserIn]; Watson, Stephen [VerfasserIn] Rationalization of Indecisive Choice Behavior by Majoritarian Ballots Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) https://ssrn.com/abstract=4287513 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [S.l.]: SSRN, 2022
> Zugang Zugang zur Ressource (via DOI) https://ssrn.com/abstract=4287513 Zeige weitere weniger zeigen
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Longo, Carmelo Fabio [VerfasserIn]; Santoro, Corrado [VerfasserIn]; Nicolosi-Asmundo, Marianna [VerfasserIn]; Santamaria, Daniele Francesco [VerfasserIn]; Cantone, Domenico [VerfasserIn] SW-CASPAR: Reactive-Cognitive Architecture based on Natural Language Processing for the task of Decision-Making in the Open-World Assumption Aufsätze Online ansehen Schließen > Zugang http://ceur-ws.org/Vol-2963/#paper10 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2021 Erschienen in: Workshop "From Objects to Agents" (22. : 2021 : Bologna; Online): WOA 2021: 22nd Workshop "From Objects to Agents" ; (2021), Seite 178-193
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Buriola, Gabriele [VerfasserIn]; Cantone, Domenico [VerfasserIn]; Cincotti, Gianluca [VerfasserIn]; Omodeo, Eugenio G. [VerfasserIn]; Spartà, Gaetano T. [VerfasserIn] A Decidable Theory of Differentiable Functions with Convexities and Concavities on Real Intervals Aufsätze Online ansehen Schließen > Zugang http://ceur-ws.org/Vol-2710/#paper15 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2020 Erschienen in: Italian Conference on Computational Logic (35. : 2020 : Online): CILC 2020: proceedings of CILC 2020 ; (2020), Seite 231-247
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Medientyp Skip to next facet Aufsätze (97) Wert ausschließen Bücher (6) Wert ausschließen Noten (1) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Freihand verfügbar (1) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Zentralbibliothek (1) Wert ausschließen Bereichsbibliothek DrePunct (1) Wert ausschließen zeige weitere weniger zeigen
> Rechte-/Nutzungshinweis Skip to next facet Namensnennung (CC BY) (1) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (56) Wert ausschließen Ohne Angabe (47) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (69) Wert ausschließen Nicht zu entscheiden (34) Wert ausschließen Italienisch (8) Wert ausschließen Französisch (6) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (31) Wert ausschließen Mathematik (26) Wert ausschließen Chemie und Pharmazie (3) Wert ausschließen Medizin (2) Wert ausschließen Technik (2) Wert ausschließen Kunst und Kunstgeschichte (1) Wert ausschließen Musikwissenschaft (1) Wert ausschließen Philosophie (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Cantone, Domenico (86) Wert ausschließen Faro, Simone (21) Wert ausschließen Nicolosi-Asmundo, Marianna (11) Wert ausschließen Domenico Cantone (8) Wert ausschließen Giarlotta, Alfio (8) Wert ausschließen Omodeo, Eugenio G. (8) Wert ausschließen Santamaria, Daniele Francesco (8) Wert ausschließen Watson, Stephen (8) Wert ausschließen Zarba, Calogero G. (8) Wert ausschließen Longo, Cristiano (6) Wert ausschließen Omodeo, Eugenio (6) Wert ausschließen Cincotti, Gianluca (5) Wert ausschließen Giaquinta, Emanuele (5) Wert ausschließen Maugeri, Pietro (5) Wert ausschließen Asmundo, Marianna Nicolosi (4) Wert ausschließen Nicolosi Asmundo, Marianna (4) Wert ausschließen Schwartz, Jacob T. (4) Wert ausschließen Ursino, Pietro (4) Wert ausschließen Alcantud, José Carlos R. (3) Wert ausschließen Cantone, Domenico Aldo (3) Wert ausschließen Cristofaro, Salvatore (3) Wert ausschließen Ferro, Alfredo (3) Wert ausschließen Panettiere, Mattia (3) Wert ausschließen Pavone, Arianna (3) Wert ausschließen Bella, Giampaolo (2) Wert ausschließen Buriola, Gabriele (2) Wert ausschließen Cantone, Elena (2) Wert ausschließen Claudia Cantale (2) Wert ausschließen De Domenico, Andrea (2) Wert ausschließen Delzanno, Giorgio (2) Wert ausschließen Domenico, Andrea De (2) Wert ausschließen Hofri, Micha (2) Wert ausschließen Marianna Nicolosi-Asmundo (2) Wert ausschließen Policriti, Alberto (2) Wert ausschließen Pulvirenti, Alfredo (2) Wert ausschließen Simone Faro and Domenico Cantone (2) Wert ausschließen Alberto Policriti (1) Wert ausschließen Alinovi, Rossella (1) Wert ausschließen Aricò, Debora (1) Wert ausschließen Baglioni, Girolamo (1) Wert ausschließen Battiato, Sebastiano (1) Wert ausschließen Battisti, Arianna (1) Wert ausschließen Bella, Rita (1) Wert ausschließen Bergamaschi, Enrico (1) Wert ausschließen Biggeri, Annibale (1) Wert ausschließen Bollati, Valentina (1) Wert ausschließen Borghi, Francesca (1) Wert ausschließen Brancaccio, Giuseppina (1) Wert ausschließen Bussu, Francesco (1) Wert ausschließen CILC 28. 2013 Catania (1) Wert ausschließen Calogero G. Zarba (1) Wert ausschließen Campanelli, Matteo (1) Wert ausschließen Canevari, Frank Rikki Mauritz (1) Wert ausschließen Cannata, Rosa Ruggeri (1) Wert ausschließen Cantone, Domenico Aldo (1) Wert ausschließen Cantone, Laura (1) Wert ausschließen Cantone, Marco (1) Wert ausschließen Cantone, Mariagiovanna (1) Wert ausschließen Cantone, Serafino (1) Wert ausschließen Castiglione, Gianpietro (1) Wert ausschließen Catalano, Dario (1) Wert ausschließen Catelan, Dolores (1) Wert ausschließen Cattaneo, Andrea (1) Wert ausschließen Cavaliere, Carlo (1) Wert ausschließen Cavallo, Domenico (1) Wert ausschließen Ceccherini-Silberstein, Francesca (1) Wert ausschließen Cima, Gian Paolo (1) Wert ausschließen Claudio Chiaruttini (1) Wert ausschließen Colagrossi, Luna (1) Wert ausschließen Cosentino, Filomena Irene Ilaria (1) Wert ausschließen Cuda, Domenico (1) Wert ausschließen Cutello, Vincenzo (1) Wert ausschließen Daniele Francesco Santamaria (1) Wert ausschließen Daniele Santamaria (1) Wert ausschließen De Corso, Eugenio (1) Wert ausschließen Di Carlo, Domenico (1) Wert ausschließen Dioni, Laura (1) Wert ausschließen Doignon, Jean-Paul (1) Wert ausschließen Dolo, Vincenza (1) Wert ausschließen Domenico Cantone and Cristiano Longo and Marianna Nicolosi Asmundo (1) Wert ausschließen Domenico Cantone and Simone Faro and Arianna Pavone (1) Wert ausschließen Eredi di Simone Tini & Francesco Besozzi (1) Wert ausschließen Eugenio G. Omedeo (1) Wert ausschließen Ferrari, Luca (1) Wert ausschließen Ferri, Raffaele (1) Wert ausschließen Fini, Vanessa (1) Wert ausschließen Formisano, Andrea (1) Wert ausschließen Gaeta, Giovanni Battista (1) Wert ausschließen Galli, Jacopo (1) Wert ausschließen Gallo, Giovanni (1) Wert ausschließen Gallo, Stefania (1) Wert ausschließen Garzaro, Massimiliano (1) Wert ausschließen Gastoldi, Giovanni Giacomo (1) Wert ausschließen Ghelfo, Susanna (1) Wert ausschließen Ghidini, Angelo (1) Wert ausschließen Giugno, Rosalba (1) Wert ausschließen Giusti, Ilaria (1) Wert ausschließen Golińska-Pilarek, Joanna (1) Wert ausschließen Grisotto, Laura (1) Wert ausschließen Hoxha, Mirjam (1) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Springer Berlin Heidelberg (CrossRef) (19) Wert ausschließen Elsevier BV (CrossRef) (18) Wert ausschließen Verbunddaten SWB (16) Wert ausschließen Lizenzfreie Online-Ressourcen (14) Wert ausschließen DOAJ Directory of Open Access Journals (8) Wert ausschließen IOS Press (CrossRef) (6) Wert ausschließen Springer International Publishing (CrossRef) (5) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (5) Wert ausschließen BASE - Bielefeld Academic Search Engine (4) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (4) Wert ausschließen MDPI AG (CrossRef) (4) Wert ausschließen Open Publishing Association (CrossRef) (4) Wert ausschließen Informa UK Limited (CrossRef) (3) Wert ausschließen Wiley (CrossRef) (3) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (2) Wert ausschließen Springer Nature Switzerland (CrossRef) (2) Wert ausschließen EDP Sciences (CrossRef) (1) Wert ausschließen Oxford University Press (OUP) (CrossRef) (1) Wert ausschließen Répertoire International des Sources Musicales (1) Wert ausschließen SAGE Publications (CrossRef) (1) Wert ausschließen The Electronic Journal of Combinatorics (CrossRef) (1) Wert ausschließen zeige weitere weniger zeigen