Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Alberto
    Last name: Martelli
    DBLP: m/AlbertoMartelli
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 93 of 93  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Laura Giordano, Alberto Martelli, Daniele Theseider Dupré.
    Reasoning about actions with Temporal Answer Sets.
    TPLP 2013, Volume 13 (0) 2013
    Conference paper
    Laura Giordano, Alberto Martelli, Daniele Theseider Dupré.
    Temporal deontic action logic for the verification of compliance to norms in ASP.
    International Conference on Artificial Intelligence and Law, ICAIL '13, Rome, Italy, June 10-14, 2013 2013 (0) 2013
    Conference paper
    Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré.
    Business process verification with constraint temporal answer set programming.
    TPLP 2013, Volume 13 (0) 2013
    Conference paper
    Laura Giordano, Alberto Martelli, Daniele Theseider Dupré.
    Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach.
    Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012 2012 (0) 2012
    Conference paper
    Laura Giordano, Alberto Martelli, Daniele Theseider Dupré.
    Achieving Completeness in Bounded Model Checking of Action Theories in ASP.
    Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012 2012 (0) 2012
    Journal article
    Laura Giordano, Alberto Martelli, Daniele Theseider Dupré.
    Reasoning about Actions with Temporal Answer Sets
    CoRR 2011, Volume 0 (0) 2011
    Conference paper
    Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré.
    Verifying Compliance of Business Processes with Temporal Answer Sets.
    Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011 2011 (0) 2011
    Conference paper
    Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré.
    Verifying Business Process Compliance by Reasoning about Actions.
    Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings 2010 (0) 2010
    Conference paper
    Laura Giordano, Alberto Martelli, Daniele Theseider Dupré.
    Reasoning about Actions with Temporal Answer Sets.
    Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010 2010 (0) 2010
    Conference paper
    Alberto Martelli.
    The Seventies.
    Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday 2008 (0) 2008
    Conference paper
    Laura Giordano, Alberto Martelli.
    Verifying Agents' Conformance with Multiparty Protocols.
    Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers 2009 (0) 2008
    Conference paper
    Laura Giordano, Alberto Martelli.
    Verifying the Conformance of Agents with Multiparty Protocols.
    ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings 2008 (0) 2008
    Conference paper
    Laura Giordano, Alberto Martelli.
    Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic.
    AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella.
    Service selection by choreography-driven matching.
    Proceedings of the 2nd ECOWS07 Workshop on Emerging Web Services Technology, WEWST 2007, Halle (Saale), Germany, November 26, 2007 2008 (0) 2007
    Conference paper
    Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella.
    Goal Preservation by Choreography-Driven Matchmaking.
    Service-Oriented Computing - ICSOC 2007 Workshops, International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers 2009 (0) 2007
    Conference paper
    Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella.
    Preserving players goals: a choreography-driven matchmaking approach.
    WOA 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop "From Objects to Agents": Agents and Industry: Technological Applications of Software Agents, 24-25 September 2007, Genova, Italy 2007 (0) 2007
    Conference paper
    Laura Giordano, Alberto Martelli, Camilla Schwind.
    Specifying and verifying interaction protocols in a temporal action logic.
    J. Applied Logic 2007, Volume 5 (0) 2007
    Conference paper
    Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti.
    Reasoning about interaction protocols for customizing web service selection and composition.
    J. Log. Algebr. Program. 2007, Volume 70 (0) 2007
    Conference paper
    Alberto Martelli, Laura Giordano.
    Reasoning About Web Services in a Temporal Action Logic.
    Reasoning, Action and Interaction in AI Theories and Systems, Essays Dedicated to Luigia Carlucci Aiello 2006 (0) 2006
    Conference paper
    Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti.
    A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments.
    Service-Oriented Computing - ICSOC 2006, 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Proceedings 2006 (0) 2006
    Conference paper
    Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella.
    Interaction Protocols and Capabilities: A Preliminary Report.
    Principles and Practice of Semantic Web Reasoning, 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers 2006 (0) 2006
    Conference paper
    Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti.
    Conformance and Interoperability in Open Enviroments.
    Proceedings of the 7th WOA 2006 Workshop, From Objects to Agents (Dagli Oggetti Agli Agenti), Catania, Italy, September 26-27, 2006. 2006 (0) 2006
    Conference paper
    Laura Giordano, Alberto Martelli.
    Tableau-based automata construction for dynamic linear time temporal logic*.
    Ann. Math. Artif. Intell. 2006, Volume 46 (0) 2006
    Conference paper
    Laura Giordano, Alberto Martelli, Camilla Schwind.
    Specialization of Interaction Protocols in a Temporal Action Logic.
    Electr. Notes Theor. Comput. Sci. 2006, Volume 157 (0) 2006
    Conference paper
    Maria Paola Bonacina, Alberto Martelli.
    Automated Reasoning.
    Intelligenza Artificiale 2006, Volume 3 (0) 2006
    Conference paper
    Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti.
    Verification of Protocol Conformance and Agent Interoperability.
    Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers 2006 (0) 2005
    Conference paper
    Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella.
    Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step.
    Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Laura Giordano, Alberto Martelli, Paolo Terenziani, Alessio Bottrighi, Stefania Montani.
    A Temporal Approach to the Specification and Verification of Interaction Protocols.
    WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 14-16 November 2005, Camerino, MC, Italy 2005 (0) 2005
    Conference paper
    Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella, Laura Torasso, Viviana Mascardi.
    Personalization, Verification and Conformance for Logic-based Communicating Agents.
    WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 14-16 November 2005, Camerino, MC, Italy 2005 (0) 2005
    Conference paper
    Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella.
    Verifying Protocol Conformance for Logic-Based Communicating Agents.
    Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers 2005 (0) 2004
    Conference paper
    Matteo Baldoni, Cristina Baroglio, Ivana Gungui, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Viviana Patti, Claudio Schifanella.
    Reasoning About Agents' Interaction Protocols Inside DCaseLP.
    Declarative Agent Languages and Technologies II, Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers 2005 (0) 2004
    Conference paper
    Laura Giordano, Alberto Martelli, Camilla Schwind.
    Verifying Communicating Agents by Model Checking in a Temporal Action Logic.
    Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings 2004 (0) 2004
    Conference paper
    Laura Giordano, Alberto Martelli.
    On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic.
    11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 1-3 July 2004, Tatihou Island, Normandie, France 2004 (0) 2004
    Conference paper
    Matteo Baldoni, Alberto Martelli, Viviana Patti, Laura Giordano.
    Programming Rational Agents in a Modal Action Logic.
    Ann. Math. Artif. Intell. 2004, Volume 41 (0) 2004
    Conference paper
    Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti.
    Reasoning About Interaction Protocols for Web Service Composition.
    Electr. Notes Theor. Comput. Sci. 2004, Volume 105 (0) 2004
    Conference paper
    Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti.
    Reasoning about Conversation Protocols in a Logic-Based Agent Language.
    AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, Proceedings 2003 (0) 2003
    Conference paper
    Laura Giordano, Alberto Martelli, Camilla Schwind.
    Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic.
    AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, Proceedings 2003 (0) 2003
    Conference paper
    Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti.
    Reasoning about Self and Others: Communicating Agents in a Model Action Logic.
    Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings 2003 (0) 2003
    Conference paper
    M. Delato, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Alessandro Verri.
    A Multimedia, Multichannel, and Personalized News Provider.
    Interactive Multimedia on Next Generation Networks, First International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2003, Napoli, Italy, November 18-21, 2003, Proceedings 2003 (0) 2003
    Conference paper
    Matteo Baldoni, Cristina Baroglio, Laura Giordano, Alberto Martelli, Viviana Patti.
    Reasoning about Communicating Agents in the Semantic Web.
    Principles and Practice of Semantic Web Reasoning, International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings 2003 (0) 2003
    Conference paper
    Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti.
    Reasoning about Interaction for Personalizing Web Service Fruition.
    WOA 2003: Dagli Oggetti agli Agenti. 4th AI*IA/TABOO Joint Workshop "From Objects to Agents": Intelligent Systems and Pervasive Computing, 10-11 September 2003, Villasimius, CA, Italy 2003 (0) 2003
    Conference paper
    Laura Giordano, Alberto Martelli, Camilla Schwind.
    Reasoning about Actions in a Multiagent Domain.
    AI*IA 2001: Advances in Artificial Intelligence, 7th Congress of the Italian Association for Artificial Intelligence, Bari, Italy, September 25-28, 2001, Proceedings 2001 (0) 2001
    Conference paper
    Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti.
    Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach.
    Theoretical Computer Science, 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001, Proceedings 2001 (0) 2001
    Conference paper
    Laura Giordano, Alberto Martelli, Camilla Schwind.
    Reasoning about Actions in Dynamic Linear Time Temporal Logic.
    Logic Journal of the IGPL 2001, Volume 9 (0) 2001
    Conference paper
    Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti, Maria Luisa Sapino.
    Conditional reasoning in logic programming.
    J. Log. Program. 2000, Volume 44 (0) 2000
    Conference paper
    Laura Giordano, Alberto Martelli, Camilla Schwind.
    Ramification and causality in a modal action logic.
    J. Log. Comput. 2000, Volume 10 (0) 2000
    Conference paper
    Laura Giordano, Alberto Martelli, Camilla Schwind.
    Dealing with Concurrent Actions in Modal Action Logics.
    ECAI 1998 (0) 1998
    Conference paper
    Matteo Baldoni, Laura Giordano, Alberto Martelli.
    A Tableau for Multimodal Logics and Some (Un)Decidability Results.
    Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings 1998 (0) 1998
    Conference paper
    Matteo Baldoni, Laura Giordano, Alberto Martelli.
    A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning.
    J. Log. Comput. 1998, Volume 8 (0) 1998
    Conference paper
    Matteo Baldoni, Laura Giordano, Alberto Martelli.
    Translating a Modal Language with Embedded Implication into Horn Clause Logic.
    Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings 1996 (0) 1996
    Conference paper
    Laura Giordano, Alberto Martelli, Maria Luisa Sapino.
    An Abductive Proof Procedure for Conditional Logic Programming.
    Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings 1996 (0) 1996
    Conference paper
    Matteo Baldoni, Laura Giordano, Alberto Martelli.
    A Framework for a Modal Logic Programming.
    JICSLP 1996 (0) 1996
    Conference paper
    Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti.
    An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming.
    Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers 1997 (0) 1996
    Conference paper
    Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti.
    A Language for Handling Hypothetical Updates and Inconsistency.
    Logic Journal of the IGPL 1996, Volume 4 (0) 1996
    Conference paper
    Laura Giordano, Alberto Martelli, Maria Luisa Sapino.
    Extending Negation As Failure by Abduction: A Three-Valued Stable Model Semantics.
    J. Log. Program. 1996, Volume 26 (0) 1996
    Conference paper
    Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti.
    Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language.
    Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings 1995 (0) 1995
    Conference paper
    Laura Giordano, Alberto Martelli.
    A Logical Characterization for Truth Maintenance Systems with Dependency-Directed Backtracking.
    Computational Intelligence 1995, Volume 11 (0) 1995
    Conference paper
    Matteo Baldoni, Laura Giordano, Alberto Martelli.
    A Modal Extension of Logic Programming.
    ICLP 1994, Workshop W10: Proof-Theoretical Extensions on Logic Programming, Santa Margherita Ligure, Italy, June 1994 1994 (0) 1994
    Conference paper
    Matteo Baldoni, Laura Giordano, Alberto Martelli.
    A Modal Extension of Logic Programming.
    1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 2 1994 (0) 1994
    Conference paper
    Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti.
    Conditonal Logic Programming.
    ICLP 1994 (0) 1994
    Conference paper
    Laura Giordano, Alberto Martelli.
    On Cumulative Default Logics.
    Artif. Intell. 1994, Volume 66 (0) 1994
    Conference paper
    Laura Giordano, Alberto Martelli.
    Structuring Logic Programs: A Modal Approach.
    J. Log. Program. 1994, Volume 21 (0) 1994
    Conference paper
    Laura Giordano, Alberto Martelli.
    Structured Prolog: A Language for Structured Logic Programming.
    Software - Concepts and Tools 1994, Volume 15 (0) 1994
    Conference paper
    Laura Giordano, Alberto Martelli, Maria Luisa Sapino.
    A Semantics for Eshghi and Kowalski's Procedure.
    ICLP 1993 (0) 1993
    Conference paper
    Matteo Baldoni, Laura Giordano, Alberto Martelli.
    A Multimodal Logic to Define Modules in Logic Programming.
    ILPS 1993 (0) 1993
    Conference paper
    Laura Giordano, Alberto Martelli.
    A Modal Framework for Structured Logic Programs.
    Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings 1993 (0) 1992
    Conference paper
    Laura Giordano, Alberto Martelli, Gianfranco Rossi.
    Extending Horn Clause Logic with Implication Goals.
    Theor. Comput. Sci. 1992, Volume 95 (0) 1992
    Conference paper
    Laura Giordano, Alberto Martelli, Maria Luisa Sapino.
    Negation as Failure and Constraints through Abduction and Defaults.
    Trends in Artificial Intelligence, 2nd Congress of the Italian Association for Artificial Intelligence, AI*IA, Palermo, Italy, October, 29-31, 1991, Proceedings 1991 (0) 1991
    Conference paper
    Laura Giordano, Alberto Martelli.
    A Modal Reconstruction of Blocks and Modules in Logic Programming.
    ISLP 1991 (0) 1991
    Conference paper
    Laura Giordano, Alberto Martelli.
    An Abductive Characterization of the TMS.
    ECAI 1990 (0) 1990
    Conference paper
    Laura Giordano, Alberto Martelli.
    Truth Maintenance Systems and Belief Revision.
    Truth Maintenance Systems, ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990, Proceedings 1991 (0) 1990
    Conference paper
    Laura Giordano, Alberto Martelli.
    Generalized Stable Models, Truth Maintenance and Conflict Resolution.
    ICLP 1990 (0) 1990
    Conference paper
    Alberto Martelli, Gianfranco Rossi.
    Enhancing Prolog to Support Prolog Programming Environments.
    ESOP '88, 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings 1988 (0) 1988
    Conference paper
    Laura Giordano, Alberto Martelli, Gianfranco Rossi.
    Local Definitions with Static Scope Rules in Logic Programming.
    FGCS 1988 (0) 1988
    Conference paper
    Alberto Martelli, Gianfranco Rossi.
    On the Semantics of Logic Programing Languages.
    Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986, Proceedings 1986 (0) 1986
    Conference paper
    Alberto Martelli, Corrado Moiso, Gianfranco Rossi.
    An Algorithm for Unification in Equational Theories.
    SLP 1986 (0) 1986
    Conference paper
    Alberto Martelli, Gianfranco Rossi.
    Efficient Unificatioin with Infinite Terms in Logic Programming.
    FGCS 1984 (0) 1984
    Conference paper
    Roberto Barbuti, Alberto Martelli.
    A Constructive Approach to Static Verification of Program Properties.
    IFIP Congress 1983 (0) 1983
    Conference paper
    Roberto Barbuti, Alberto Martelli.
    A Structured Approach to Static Semantics Correctness.
    Sci. Comput. Program. 1983, Volume 3 (0) 1983
    Conference paper
    Alberto Martelli, Ugo Montanari.
    An Efficient Unification Algorithm.
    ACM Trans. Program. Lang. Syst. 1982, Volume 4 (0) 1982
    Conference paper
    Stefania Gnesi, Ugo Montanari, Alberto Martelli.
    Dynamic Programming as Graph Searching: An Algebraic Approach.
    J. ACM 1981, Volume 28 (0) 1981
    Conference paper
    Roberto Barbuti, Alberto Martelli.
    Static Type Checking for Languages with Parametric Types and Polymorphic Procedures.
    International Symposium on Programming, Proceedings of the Fourth 'Colloque International sur la Programmation', Paris, France, 22-24 April 1980 1980 (0) 1980
    Conference paper
    Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini.
    A Flexible Environment for Program Development Based on a Symbolic Interpreter.
    ICSE 1979 (0) 1979
    Conference paper
    Alberto Martelli, Ugo Montanari.
    Optimizing Decision Trees Through Heuristically Guided Search.
    Commun. ACM 1978, Volume 21 (0) 1978
    Conference paper
    Alberto Martelli, Ugo Montanari.
    Theorem Proving with Structure Sharing and Efficient Unification.
    IJCAI 1977 (0) 1977
    Conference paper
    Alberto Martelli.
    On the Complexity of Admissible Search Algorithms.
    Artif. Intell. 1977, Volume 8 (0) 1977
    Conference paper
    Alberto Martelli.
    An Application of Heuristic Search Methods to Edge and Contour Detection.
    Commun. ACM 1976, Volume 19 (0) 1976
    Conference paper
    Alberto Martelli.
    A Gaussian Elimination Algorithm for the Enumeration of Cut Sets in a Graph.
    J. ACM 1976, Volume 23 (0) 1976
    Conference paper
    Alberto Martelli, Ugo Montanari.
    Form Dynamic Programming To Search Algorithms With Functional Costs.
    IJCAI 1975 (0) 1975
    Conference paper
    Alberto Martelli, Ugo Montanari.
    Dynamic Programming Schemata.
    Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, July 29 - August 2, 1974, Proceedings 1974 (0) 1974
    Conference paper
    Alberto Martelli.
    An Application of Regular Algebra to the Enumeration of Cut Sets in a Graph.
    IFIP Congress 1974 (0) 1974
    Conference paper
    Alberto Martelli, Ugo Montanari.
    Additive AND/OR Graphs.
    IJCAI 1973 (0) 1973
    Conference paper
    Alberto Martelli, Ugo Montanari.
    Optimal Smoothing in Picture Processing: An Application to Fingerprints.
    IFIP Congress (1) 1971 (0) 1971
    Show item 1 to 93 of 93  

    Your query returned 93 matches in the database.