Optimal Smoothing in Picture Processing: An Application to Fingerprints. - Alberto Martelli; Ugo Montanari (IFIP Congress (1), 1971)

Edge detection using heuristic search methods. - Alberto Martelli (Comput. Graph. Image Process., 1972)

Additive AND/OR Graphs. - Alberto Martelli; Ugo Montanari (IJCAI, 1973)

Dynamic Programming Schemata. - Alberto Martelli; Ugo Montanari (ICALP, 1974)

An Application of Regular Algebra to the Enumeration of Cut Sets in a Graph. - Alberto Martelli (IFIP Congress, 1974)

Form Dynamic Programming To Search Algorithms With Functional Costs. - Alberto Martelli; Ugo Montanari (IJCAI, 1975)

An Application of Heuristic Search Methods to Edge and Contour Detection. - Alberto Martelli (Commun. ACM, 1976)

A Gaussian Elimination Algorithm for the Enumeration of Cut Sets in a Graph. - Alberto Martelli (J. ACM, 1976)

Theorem Proving with Structure Sharing and Efficient Unification. - Alberto Martelli; Ugo Montanari (IJCAI, 1977)

On the Complexity of Admissible Search Algorithms. - Alberto Martelli (Artif. Intell., 1977)

Optimizing Decision Trees Through Heuristically Guided Search. - Alberto Martelli; Ugo Montanari (Commun. ACM, 1978)

A Flexible Environment for Program Development Based on a Symbolic Interpreter. - Patrizia Asirelli; Pierpaolo Degano; Giorgio Levi; Alberto Martelli; Ugo Montanari; Giuliano Pacini; Franco Sirovich; Franco Turini (ICSE, 1979)

Static Type Checking for Languages with Parametric Types and Polymorphic Procedures. - Roberto Barbuti; Alberto Martelli (Symposium on Programming, 1980)

Communication Through Message Passing or Shared Memory: A Formal Comparison. - Rocco De Nicola; Alberto Martelli; Ugo Montanari (ICDCS, 1981)

Dynamic Programming as Graph Searching: An Algebraic Approach. - Stefania Gnesi; Ugo Montanari; Alberto Martelli (J. ACM, 1981)

An Efficient Unification Algorithm. - Alberto Martelli; Ugo Montanari (ACM Trans. Program. Lang. Syst., 1982)

A Constructive Approach to Static Verification of Program Properties. - Roberto Barbuti; Alberto Martelli (IFIP Congress, 1983)

A Structured Approach to Static Semantics Correctness. - Roberto Barbuti; Alberto Martelli (Sci. Comput. Program., 1983)

Efficient Unificatioin with Infinite Terms in Logic Programming. - Alberto Martelli; Gianfranco Rossi (FGCS, 1984)

On the Semantics of Logic Programing Languages. - Alberto Martelli; Gianfranco Rossi (ICLP, 1986)

An Algorithm for Unification in Equational Theories. - Alberto Martelli; Corrado Moiso; Gianfranco Rossi (SLP, 1986)

Enhancing Prolog to Support Prolog Programming Environments. - Alberto Martelli; Gianfranco Rossi (ESOP, 1988)

Local Definitions with Static Scope Rules in Logic Programming. - Laura Giordano 001; Alberto Martelli; Gianfranco Rossi (FGCS, 1988)

An Abductive Characterization of the TMS. - Laura Giordano 001; Alberto Martelli (ECAI, 1990)

Truth Maintenance Systems and Belief Revision. - Laura Giordano 001; Alberto Martelli (Truth Maintenance Systems (ECAI Workshop), 1990)

Generalized Stable Models, Truth Maintenance and Conflict Resolution. - Laura Giordano 001; Alberto Martelli (ICLP, 1990)

Negation as Failure and Constraints through Abduction and Defaults. - Laura Giordano 001; Alberto Martelli; Maria Luisa Sapino (AI*IA, 1991)

A Modal Reconstruction of Blocks and Modules in Logic Programming. - Laura Giordano 001; Alberto Martelli (ISLP, 1991)

A Modal Framework for Structured Logic Programs. - Laura Giordano 001; Alberto Martelli (ELP, 1992)

Extending Horn Clause Logic with Implication Goals. - Laura Giordano 001; Alberto Martelli; Gianfranco Rossi (Theor. Comput. Sci., 1992)

A Semantics for Eshghi and Kowalski's Procedure. - Laura Giordano 001; Alberto Martelli; Maria Luisa Sapino (ICLP, 1993)

A Multimodal Logic to Define Modules in Logic Programming. - Matteo Baldoni; Laura Giordano 001; Alberto Martelli (ILPS, 1993)

A Modal Extension of Logic Programming. - Matteo Baldoni; Laura Giordano 001; Alberto Martelli (ICLP Workshop: Proof-Theoretical Extensions on Logic Programming, 1994)

Conditonal Logic Programming. - Dov M. Gabbay; Laura Giordano 001; Alberto Martelli; Nicola Olivetti (ICLP, 1994)

On Cumulative Default Logics. - Laura Giordano 001; Alberto Martelli (Artif. Intell., 1994)

Structuring Logic Programs: A Modal Approach. - Laura Giordano 001; Alberto Martelli (J. Log. Program., 1994)

Structured Prolog: A Language for Structured Logic Programming. - Laura Giordano 001; Alberto Martelli (Softw. Concepts Tools, 1994)

Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language. - Dov M. Gabbay; Laura Giordano 001; Alberto Martelli; Nicola Olivetti (LPNMR, 1995)

A Logical Characterization for Truth Maintenance Systems with Dependency-Directed Backtracking. - Laura Giordano 001; Alberto Martelli (Comput. Intell., 1995)

Translating a Modal Language with Embedded Implication into Horn Clause Logic. - Matteo Baldoni; Laura Giordano 001; Alberto Martelli (ELP, 1996)

An Abductive Proof Procedure for Conditional Logic Programming. - Laura Giordano 001; Alberto Martelli; Maria Luisa Sapino (FAPR, 1996)

A Framework for a Modal Logic Programming. - Matteo Baldoni; Laura Giordano 001; Alberto Martelli (JICSLP, 1996)

An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming. - Matteo Baldoni; Laura Giordano 001; Alberto Martelli; Viviana Patti (NMELP, 1996)

A Language for Handling Hypothetical Updates and Inconsistency. - Dov M. Gabbay; Laura Giordano 001; Alberto Martelli; Nicola Olivetti (Log. J. IGPL, 1996)

Extending Negation As Failure by Abduction: A Three-Valued Stable Model Semantics. - Laura Giordano 001; Alberto Martelli; Maria Luisa Sapino (J. Log. Program., 1996)

Dealing with Concurrent Actions in Modal Action Logics. - Laura Giordano 001; Alberto Martelli; Camilla Schwind (ECAI, 1998)

A Tableau for Multimodal Logics and Some (Un)Decidability Results. - Matteo Baldoni; Laura Giordano 001; Alberto Martelli (TABLEAUX, 1998)

A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning. - Matteo Baldoni; Laura Giordano 001; Alberto Martelli (J. Log. Comput., 1998)

Conditional reasoning in logic programming. - Dov M. Gabbay; Laura Giordano 001; Alberto Martelli; Nicola Olivetti; Maria Luisa Sapino (J. Log. Program., 2000)

Ramification and causality in a modal action logic. - Laura Giordano 001; Alberto Martelli; Camilla Schwind (J. Log. Comput., 2000)

Reasoning about Actions in a Multiagent Domain. - Laura Giordano 001; Alberto Martelli; Camilla Schwind (AI*IA, 2001)

Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. - Matteo Baldoni; Laura Giordano 001; Alberto Martelli; Viviana Patti (ICTCS, 2001)

Reasoning about Actions in Dynamic Linear Time Temporal Logic. - Laura Giordano 001; Alberto Martelli; Camilla Schwind (Log. J. IGPL, 2001)

Reasoning about Conversation Protocols in a Logic-Based Agent Language. - Matteo Baldoni; Cristina Baroglio; Alberto Martelli; Viviana Patti (AI*IA, 2003)

Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. - Laura Giordano 001; Alberto Martelli; Camilla Schwind (AI*IA, 2003)

Reasoning about Self and Others: Communicating Agents in a Model Action Logic. - Matteo Baldoni; Cristina Baroglio; Alberto Martelli; Viviana Patti (ICTCS, 2003)

A Multimedia, Multichannel, and Personalized News Provider. - M. Delato; Alberto Martelli; Maurizio Martelli; Viviana Mascardi; Alessandro Verri (MIPS, 2003)

Reasoning about Communicating Agents in the Semantic Web. - Matteo Baldoni; Cristina Baroglio; Laura Giordano 001; Alberto Martelli; Viviana Patti (PPSWR, 2003)

Reasoning about Interaction for Personalizing Web Service Fruition. - Matteo Baldoni; Cristina Baroglio; Alberto Martelli; Viviana Patti (WOA, 2003)

Verifying Protocol Conformance for Logic-Based Communicating Agents. - Matteo Baldoni; Cristina Baroglio; Alberto Martelli; Viviana Patti; Claudio Schifanella (CLIMA, 2004)

Reasoning About Agents' Interaction Protocols Inside DCaseLP. - Matteo Baldoni; Cristina Baroglio; Ivana Gungui; Alberto Martelli; Maurizio Martelli; Viviana Mascardi; Viviana Patti; Claudio Schifanella (DALT, 2004)

Verifying Communicating Agents by Model Checking in a Temporal Action Logic. - Laura Giordano 001; Alberto Martelli; Camilla Schwind (JELIA, 2004)

On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic. - Laura Giordano 001; Alberto Martelli (TIME, 2004)

Programming Rational Agents in a Modal Action Logic. - Matteo Baldoni; Alberto Martelli; Viviana Patti; Laura Giordano 001 (Ann. Math. Artif. Intell., 2004)

Reasoning About Interaction Protocols for Web Service Composition. - Matteo Baldoni; Cristina Baroglio; Alberto Martelli; Viviana Patti (WSFM, 2004)

Verification of Protocol Conformance and Agent Interoperability. - Matteo Baldoni; Cristina Baroglio; Alberto Martelli; Viviana Patti (CLIMA, 2005)

Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step. - Matteo Baldoni; Cristina Baroglio; Alberto Martelli; Viviana Patti; Claudio Schifanella (EPEW/WS-FM, 2005)

Personalization, Verification and Conformance for Logic-based Communicating Agents. - Matteo Baldoni; Cristina Baroglio; Alberto Martelli; Viviana Patti; Claudio Schifanella; Laura Torasso; Viviana Mascardi (WOA, 2005)

A Temporal Approach to the Specification and Verification of Interaction Protocols. - Laura Giordano 001; Alberto Martelli; Paolo Terenziani; Alessio Bottrighi; Stefania Montani (WOA, 2005)

Specialization of Interaction Protocols in a Temporal Action Logic. - Laura Giordano 001; Alberto Martelli; Camilla Schwind (LCMAS, 2005)

Reasoning About Web Services in a Temporal Action Logic. - Alberto Martelli; Laura Giordano 001 (Reasoning, Action and Interaction in AI Theories and Systems, 2006)

A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments. - Matteo Baldoni; Cristina Baroglio; Alberto Martelli; Viviana Patti (ICSOC, 2006)

Interaction Protocols and Capabilities: A Preliminary Report. - Matteo Baldoni; Cristina Baroglio; Alberto Martelli; Viviana Patti; Claudio Schifanella (PPSWR, 2006)

Conformance and Interoperability in Open Enviroments. - Matteo Baldoni; Cristina Baroglio; Alberto Martelli; Viviana Patti (WOA, 2006)

Tableau-based automata construction for dynamic linear time temporal logic*. - Laura Giordano 001; Alberto Martelli (Ann. Math. Artif. Intell., 2006)

Automated Reasoning. - Maria Paola Bonacina; Alberto Martelli (Intelligenza Artificiale, 2006)

Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic. - Laura Giordano 001; Alberto Martelli (AI*IA, 2007)

Service selection by choreography-driven matching. - Matteo Baldoni; Cristina Baroglio; Alberto Martelli; Viviana Patti; Claudio Schifanella (WEWST@ECOWS (Final Proceedings), 2007)

Goal Preservation by Choreography-Driven Matchmaking. - Matteo Baldoni; Cristina Baroglio; Alberto Martelli; Viviana Patti; Claudio Schifanella (ICSOC Workshops, 2007)

Preserving players goals: a choreography-driven matchmaking approach. - Matteo Baldoni; Cristina Baroglio; Alberto Martelli; Viviana Patti; Claudio Schifanella (WOA, 2007)

Reasoning on choreographies and capability requirements. - Matteo Baldoni; Cristina Baroglio; Alberto Martelli; Viviana Patti; Claudio Schifanella (Int. J. Bus. Process. Integr. Manag., 2007)

Specifying and verifying interaction protocols in a temporal action logic. - Laura Giordano 001; Alberto Martelli; Camilla Schwind (J. Appl. Log., 2007)

Reasoning about interaction protocols for customizing web service selection and composition. - Matteo Baldoni; Cristina Baroglio; Alberto Martelli; Viviana Patti (J. Log. Algebraic Methods Program., 2007)

The Seventies. - Alberto Martelli (Concurrency, Graphs and Models, 2008)

Verifying Agents' Conformance with Multiparty Protocols. - Laura Giordano 001; Alberto Martelli (CLIMA, 2008)

Verifying the Conformance of Agents with Multiparty Protocols. - Laura Giordano 001; Alberto Martelli (ECAI, 2008)

Verifying Business Process Compliance by Reasoning about Actions. - Davide D'Aprile; Laura Giordano 001; Valentina Gliozzi; Alberto Martelli; Gian Luca Pozzato; Daniele Theseider Dupré (CLIMA, 2010)

Verifying Compliance of Business Processes with Temporal Answer Sets. - Davide D'Aprile; Laura Giordano 001; Valentina Gliozzi; Alberto Martelli; Gian Luca Pozzato; Daniele Theseider Dupré (CILC, 2011)

Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach. - Laura Giordano 001; Alberto Martelli; Daniele Theseider Dupré (CILC, 2012)

Business Processes Verification with Temporal Answer Set Programming. - Laura Giordano 001; Alberto Martelli; Matteo Spiotta; Daniele Theseider Dupré (KiBP@KR, 2012)

Achieving Completeness in Bounded Model Checking of Action Theories in ASP. - Laura Giordano 001; Alberto Martelli; Daniele Theseider Dupré (KR, 2012)

Temporal deontic action logic for the verification of compliance to norms in ASP. - Laura Giordano 001; Alberto Martelli; Daniele Theseider Dupré (ICAIL, 2013)

Reasoning about actions with Temporal Answer Sets. - Laura Giordano 001; Alberto Martelli; Daniele Theseider Dupré (Theory Pract. Log. Program., 2013)

Business process verification with constraint temporal answer set programming. - Laura Giordano 001; Alberto Martelli; Matteo Spiotta; Daniele Theseider Dupré (Theory Pract. Log. Program., 2013)

Achieving completeness in the verification of action theories by Bounded Model Checking in ASP. - Laura Giordano 001; Alberto Martelli; Daniele Theseider Dupré (J. Log. Comput., 2015)

ASP for Reasoning about Actions with an EL^bot Knowledge Base. - Laura Giordano 001; Alberto Martelli; Matteo Spiotta; Daniele Theseider Dupré (CILC, 2016)

Verification with Answer Set Programming, Reasoning about Actions and Change, Constraints and Ontologies. - Laura Giordano 001; Alberto Martelli; Daniele Theseider Dupré (OVERLAY@AI*IA, 2019)

Reasoning About Actions with EL(bot) Ontologies and Temporal Answer Sets. - Laura Giordano 001; Alberto Martelli; Daniele Theseider Dupré (ICLP Workshops, 2021)

Reasoning about actions with EL ontologies with temporal answer sets. - Laura Giordano 001; Alberto Martelli; Daniele Theseider Dupré (CoRR, 2021)

Reasoning about Actions with EL Ontologies in a Temporal Action Theory (Extended Abstract). - Laura Giordano 001; Alberto Martelli; Daniele Theseider Dupré (Description Logics, 2022)

Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL. - Laura Giordano 001; Alberto Martelli; Daniele Theseider Dupré (LPNMR, 2022)