Alberto Martelli

Publication Activity (10 Years)

Years Active: 1971-2022
Publications (10 Years): 6

Top Venues

Theory Pract. Log. Program.

Description Logics

OVERLAY@AI*IA

CoRR

Publications

Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL. LPNMR (2022)
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Reasoning about Actions with EL Ontologies in a Temporal Action Theory (Extended Abstract). Description Logics (2022)
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Reasoning about actions with EL ontologies with temporal answer sets. CoRR (2021)
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Reasoning About Actions with EL(bot) Ontologies and Temporal Answer Sets. ICLP Workshops (2021)
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Verification with Answer Set Programming, Reasoning about Actions and Change, Constraints and Ontologies. OVERLAY@AI*IA (2019)
Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré
ASP for Reasoning about Actions with an EL^bot Knowledge Base. CILC (2016)
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP. J. Log. Comput. 25 (6) (2015)
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Reasoning about actions with Temporal Answer Sets. Theory Pract. Log. Program. 13 (2) (2013)
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Temporal deontic action logic for the verification of compliance to norms in ASP. ICAIL (2013)
Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré
Business process verification with constraint temporal answer set programming. Theory Pract. Log. Program. 13 (4-5) (2013)
Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré
Business Processes Verification with Temporal Answer Set Programming. KiBP@KR (2012)
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Achieving Completeness in Bounded Model Checking of Action Theories in ASP. KR (2012)
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach. CILC (2012)
Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré
Verifying Compliance of Business Processes with Temporal Answer Sets. CILC (2011)
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Reasoning about Actions with Temporal Answer Sets CoRR (2011)
Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré
Verifying Business Process Compliance by Reasoning about Actions. CLIMA (2010)
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Reasoning about Actions with Temporal Answer Sets. CILC (2010)
Laura Giordano, Alberto Martelli
Verifying the Conformance of Agents with Multiparty Protocols. ECAI (2008)
Alberto Martelli
The Seventies. Concurrency, Graphs and Models (2008)
Laura Giordano, Alberto Martelli
Verifying Agents' Conformance with Multiparty Protocols. CLIMA (2008)
Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella
Preserving players goals: a choreography-driven matchmaking approach. WOA (2007)
Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella
Service selection by choreography-driven matching. WEWST (2007)
Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella
Goal Preservation by Choreography-Driven Matchmaking. ICSOC Workshops (2007)
Laura Giordano, Alberto Martelli
Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic. AI*IA (2007)
Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella
Service selection by choreography-driven matching. WEWST@ECOWS (Final Proceedings) (2007)
Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
Reasoning about interaction protocols for customizing web service selection and composition. J. Log. Algebraic Methods Program. 70 (1) (2007)
Laura Giordano, Alberto Martelli, Camilla Schwind
Specifying and verifying interaction protocols in a temporal action logic. J. Appl. Log. 5 (2) (2007)
Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella
Reasoning on choreographies and capability requirements. Int. J. Bus. Process. Integr. Manag. 2 (4) (2007)
Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
Conformance and Interoperability in Open Enviroments. WOA (2006)
Alberto Martelli, Laura Giordano
Reasoning About Web Services in a Temporal Action Logic. Reasoning, Action and Interaction in AI Theories and Systems (2006)
Laura Giordano, Alberto Martelli, Camilla Schwind
Specialization of Interaction Protocols in a Temporal Action Logic. Electron. Notes Theor. Comput. Sci. 157 (4) (2006)
Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments. ICSOC (2006)
Laura Giordano, Alberto Martelli
Tableau-based automata construction for dynamic linear time temporal logic*. Ann. Math. Artif. Intell. 46 (3) (2006)
Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella
Interaction Protocols and Capabilities: A Preliminary Report. PPSWR (2006)
Maria Paola Bonacina, Alberto Martelli
Automated Reasoning. Intelligenza Artificiale 3 (1-2) (2006)
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)
Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
Verification of Protocol Conformance and Agent Interoperability. CLIMA (2005)
Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella
Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step. EPEW/WS-FM (2005)
Laura Giordano, Alberto Martelli, Paolo Terenziani, Alessio Bottrighi, Stefania Montani
A Temporal Approach to the Specification and Verification of Interaction Protocols. WOA (2005)
Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
Reasoning About Interaction Protocols for Web Service Composition. Electron. Notes Theor. Comput. Sci. 105 (2004)
Matteo Baldoni, Cristina Baroglio, Ivana Gungui, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Viviana Patti, Claudio Schifanella
Reasoning About Agents' Interaction Protocols Inside DCaseLP. DALT (2004)
Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella
Verifying Protocol Conformance for Logic-Based Communicating Agents. CLIMA (2004)
Laura Giordano, Alberto Martelli, Camilla Schwind
Verifying Communicating Agents by Model Checking in a Temporal Action Logic. JELIA (2004)
Laura Giordano, Alberto Martelli
On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic. TIME (2004)
Matteo Baldoni, Alberto Martelli, Viviana Patti, Laura Giordano
Programming Rational Agents in a Modal Action Logic. Ann. Math. Artif. Intell. 41 (2-4) (2004)
Matteo Baldoni, Cristina Baroglio, Laura Giordano, Alberto Martelli, Viviana Patti
Reasoning about Communicating Agents in the Semantic Web. PPSWR (2003)
Laura Giordano, Alberto Martelli, Camilla Schwind
Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. AI*IA (2003)
M. Delato, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Alessandro Verri
A Multimedia, Multichannel, and Personalized News Provider. MIPS (2003)
Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
Reasoning about Conversation Protocols in a Logic-Based Agent Language. AI*IA (2003)
Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
Reasoning about Interaction for Personalizing Web Service Fruition. WOA (2003)
Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
Reasoning about Self and Others: Communicating Agents in a Model Action Logic. ICTCS (2003)
Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. ICTCS (2001)
Laura Giordano, Alberto Martelli, Camilla Schwind
Reasoning about Actions in a Multiagent Domain. AI*IA (2001)
Laura Giordano, Alberto Martelli, Camilla Schwind
Reasoning about Actions in Dynamic Linear Time Temporal Logic. Log. J. IGPL 9 (2) (2001)
Laura Giordano, Alberto Martelli, Camilla Schwind
Ramification and causality in a modal action logic. J. Log. Comput. 10 (5) (2000)
Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti, Maria Luisa Sapino
Conditional reasoning in logic programming. J. Log. Program. 44 (1-3) (2000)
Matteo Baldoni, Laura Giordano, Alberto Martelli
A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning. J. Log. Comput. 8 (5) (1998)
Matteo Baldoni, Laura Giordano, Alberto Martelli
A Tableau for Multimodal Logics and Some (Un)Decidability Results. TABLEAUX (1998)
Laura Giordano, Alberto Martelli, Camilla Schwind
Dealing with Concurrent Actions in Modal Action Logics. ECAI (1998)
Laura Giordano, Alberto Martelli, Maria Luisa Sapino
Extending Negation As Failure by Abduction: A Three-Valued Stable Model Semantics. J. Log. Program. 26 (1) (1996)
Matteo Baldoni, Laura Giordano, Alberto Martelli
A Framework for a Modal Logic Programming. JICSLP (1996)
Laura Giordano, Alberto Martelli, Maria Luisa Sapino
An Abductive Proof Procedure for Conditional Logic Programming. FAPR (1996)
Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti
An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming. NMELP (1996)
Matteo Baldoni, Laura Giordano, Alberto Martelli
Translating a Modal Language with Embedded Implication into Horn Clause Logic. ELP (1996)
Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti
A Language for Handling Hypothetical Updates and Inconsistency. Log. J. IGPL 4 (3) (1996)
Laura Giordano, Alberto Martelli
A Logical Characterization for Truth Maintenance Systems with Dependency-Directed Backtracking. Comput. Intell. 11 (1995)
Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti
Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language. LPNMR (1995)
Laura Giordano, Alberto Martelli
On Cumulative Default Logics. Artif. Intell. 66 (1) (1994)
Matteo Baldoni, Laura Giordano, Alberto Martelli
A Modal Extension of Logic Programming. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)
Laura Giordano, Alberto Martelli
Structuring Logic Programs: A Modal Approach. J. Log. Program. 21 (2) (1994)
Matteo Baldoni, Laura Giordano, Alberto Martelli
A Modal Extension of Logic Programming. GULP-PRODE (2) (1994)
Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti
Conditonal Logic Programming. ICLP (1994)
Laura Giordano, Alberto Martelli
Structured Prolog: A Language for Structured Logic Programming. Softw. Concepts Tools 15 (3) (1994)
Matteo Baldoni, Laura Giordano, Alberto Martelli
A Multimodal Logic to Define Modules in Logic Programming. ILPS (1993)
Laura Giordano, Alberto Martelli, Maria Luisa Sapino
A Semantics for Eshghi and Kowalski's Procedure. ICLP (1993)
Laura Giordano, Alberto Martelli
A Modal Framework for Structured Logic Programs. ELP (1992)
Laura Giordano, Alberto Martelli, Gianfranco Rossi
Extending Horn Clause Logic with Implication Goals. Theor. Comput. Sci. 95 (1) (1992)
Laura Giordano, Alberto Martelli, Maria Luisa Sapino
Negation as Failure and Constraints through Abduction and Defaults. AI*IA (1991)
Laura Giordano, Alberto Martelli
A Modal Reconstruction of Blocks and Modules in Logic Programming. ISLP (1991)
Laura Giordano, Alberto Martelli
Truth Maintenance Systems and Belief Revision. Truth Maintenance Systems (ECAI Workshop) (1990)
Laura Giordano, Alberto Martelli
An Abductive Characterization of the TMS. ECAI (1990)
Laura Giordano, Alberto Martelli
Generalized Stable Models, Truth Maintenance and Conflict Resolution. ICLP (1990)
Laura Giordano, Alberto Martelli, Gianfranco Rossi
Local Definitions with Static Scope Rules in Logic Programming. FGCS (1988)
Alberto Martelli, Gianfranco Rossi
Enhancing Prolog to Support Prolog Programming Environments. ESOP (1988)
Alberto Martelli, Corrado Moiso, Gianfranco Rossi
An Algorithm for Unification in Equational Theories. SLP (1986)
Alberto Martelli, Gianfranco Rossi
On the Semantics of Logic Programing Languages. ICLP (1986)
Alberto Martelli, Gianfranco Rossi
Efficient Unificatioin with Infinite Terms in Logic Programming. FGCS (1984)
Roberto Barbuti, Alberto Martelli
A Constructive Approach to Static Verification of Program Properties. IFIP Congress (1983)
Roberto Barbuti, Alberto Martelli
A Structured Approach to Static Semantics Correctness. Sci. Comput. Program. 3 (3) (1983)
Alberto Martelli, Ugo Montanari
An Efficient Unification Algorithm. ACM Trans. Program. Lang. Syst. 4 (2) (1982)
Stefania Gnesi, Ugo Montanari, Alberto Martelli
Dynamic Programming as Graph Searching: An Algebraic Approach. J. ACM 28 (4) (1981)
Rocco De Nicola, Alberto Martelli, Ugo Montanari
Communication Through Message Passing or Shared Memory: A Formal Comparison. ICDCS (1981)
Roberto Barbuti, Alberto Martelli
Static Type Checking for Languages with Parametric Types and Polymorphic Procedures. Symposium on Programming (1980)
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)
Alberto Martelli, Ugo Montanari
Optimizing Decision Trees Through Heuristically Guided Search. Commun. ACM 21 (12) (1978)
Alberto Martelli, Ugo Montanari
Theorem Proving with Structure Sharing and Efficient Unification. IJCAI (1977)
Alberto Martelli
On the Complexity of Admissible Search Algorithms. Artif. Intell. 8 (1) (1977)
Alberto Martelli
A Gaussian Elimination Algorithm for the Enumeration of Cut Sets in a Graph. J. ACM 23 (1) (1976)
Alberto Martelli
An Application of Heuristic Search Methods to Edge and Contour Detection. Commun. ACM 19 (2) (1976)
Alberto Martelli, Ugo Montanari
Form Dynamic Programming To Search Algorithms With Functional Costs. IJCAI (1975)

Alberto Martelli.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alberto Martelli