MARCHIORI, MASSIMO

MARCHIORI, MASSIMO  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 20 di 27 (tempo di esecuzione: 0.028 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
A Dataflow Semantics for Constraint Logic Programs 1995 COLUSSI, LIVIOMARCHIORI, MASSIMO + - - Programming Languages: Implementations, Logics and Programs
Data on the Web: A W3C Perspective 2001 MARCHIORI, MASSIMO - - Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati (SEBD 2001)
Enhancing navigation in the World Wide Web 1998 MARCHIORI, MASSIMO - - Proceedings of the 1998 ACM symposium on Applied Computing
Evolutionary Training of CLP-Constrained Neural Networks 1996 MARCHIORI, MASSIMO + - - ESANN'1996 proceedings - European Symposium on Artificial Neural Networks
Forward-Tracking: A Technique for Searching Beyond Failure 1996 MARCHIORI, MASSIMO + - - Tools with Artificial Intelligence, 1996., Proceedings Eighth IEEE International Conference on
How to Talk to a Human: The Semantic Web and the Clash of the Titans 2007 MARCHIORI, MASSIMO - - Logic-Based Program Synthesis and Transformation
Light analysis of complex systems 1998 MARCHIORI, MASSIMO - - Proceedings of the 1998 ACM symposium on Applied Computing
Localizations of Unification Freedom through Matching Directions 1994 MARCHIORI, MASSIMO - - Proceedings of the 1994 International Symposium on Logic programming
Logic Programs as Term Rewriting Systems 1994 MARCHIORI, MASSIMO - - Proceedings of the 4th International Conference on Algebraic and Logic Programming
Mary Poppins and the Web of the Future: Search, Share, Social, Semantics, and Sugar 2006 MARCHIORI, MASSIMO - - Automated Specification and Verification of Web Systems, International Workshop on
Modularity of Completeness Revisited 1995 MARCHIORI, MASSIMO - - Rewriting Techniques and Applications
Negapedia, the negative version of Wikipedia: a trip into conflicts and passions 2021 Massimo MarchioriRiccardo BuccoMarco Chilese + - - Wikipedia in Academia
On Termination of Constraint Logic Programs 1995 COLUSSI, LIVIOMARCHIORI, MASSIMO + - - Principles and Practice of Constraint Programming — CP '95
On the Expressive Power of Rewriting 1997 MARCHIORI, MASSIMO - - Foundations of Software Technology and Theoretical Computer Science
On the Specification of Visual Languages: Multisets as First-Class Citizens 1996 MARCHIORI, MASSIMO - - SOFSEM'96: Theory and Practice of Informatics
Optimal Encodings 1997 MARCHIORI, MASSIMO - - SOFSEM'97: Theory and Practice of Informatics
Preface to the 4th International Reasoning Web Summer School 2008 Marchiori M. + - LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Proving Existential Termination of Normal Logic Programs 1996 MARCHIORI, MASSIMO - - Algebraic Methodology and Software Technology
Reasoning on the semantic web: beyond ontology languages and reasoners 2006 M. Marchiori + - - The 2nd European Workshop on the Integration of Knowledge, Semantics and Digital Media Technology, 2005. EWIMT 2005.
Ten Theses on Logic Languages for the Semantic Web 2005 MARCHIORI, MASSIMO + - - Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning