Alberto Martelli - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 102

2022

Reasoning about Actions with EL Ontologies in a Temporal Action Theory (Extended Abstract)Laura Giordano 0001, Alberto Martelli, Daniele Theseider Dupré. dlog 2022: [doi]

Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTLLaura Giordano 0001, Alberto Martelli, Daniele Theseider Dupré. lpnmr 2022: 231-244 [doi]

2021

Reasoning About Actions with EL(bot) Ontologies and Temporal Answer SetsLaura Giordano 0001, Alberto Martelli, Daniele Theseider Dupré. ICLP 2021: [doi]

2019

Verification with Answer Set Programming, Reasoning about Actions and Change, Constraints and OntologiesLaura Giordano 0001, Alberto Martelli, Daniele Theseider Dupré. aiia 2020: 41-46 [doi]

2016

ASP for Reasoning about Actions with an EL^bot Knowledge BaseLaura Giordano 0001, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré. cilc 2016: 214-229 [doi]

2015

Achieving completeness in the verification of action theories by Bounded Model Checking in ASPLaura Giordano, Alberto Martelli, Daniele Theseider Dupré. logcom, 25(6):1307-1330, 2015. [doi]

2013

Temporal deontic action logic for the verification of compliance to norms in ASPLaura Giordano, Alberto Martelli, Daniele Theseider Dupré. icail 2013: 53-62 [doi]

Reasoning about actions with Temporal Answer SetsLaura Giordano, Alberto Martelli, Daniele Theseider Dupré. tplp, 13(2):201-225, 2013. [doi]

Business process verification with constraint temporal answer set programmingLaura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré. tplp, 13(4-5):641-655, 2013. [doi]

2012

Business Processes Verification with Temporal Answer Set ProgrammingLaura Giordano 0001, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré. kr 2012: 48-59 [doi]

Verification of Action Theories in ASP: A Complete Bounded Model Checking ApproachLaura Giordano, Alberto Martelli, Daniele Theseider Dupré. cilc 2012: 176-190 [doi]

Achieving Completeness in Bounded Model Checking of Action Theories in ASPLaura Giordano, Alberto Martelli, Daniele Theseider Dupré. kr 2012: [doi]

2011

Verifying Compliance of Business Processes with Temporal Answer SetsDavide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré. cilc 2011: 147-161 [doi]

2010

Verifying Business Process Compliance by Reasoning about ActionsDavide D Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré. clima 2010: 99-116 [doi]

Reasoning about Actions with Temporal Answer SetsLaura Giordano, Alberto Martelli, Daniele Theseider Dupré. cilc 2010: [doi]

2008

Verifying the Conformance of Agents with Multiparty ProtocolsLaura Giordano, Alberto Martelli. ecai 2008: 855-856 [doi]

Verifying Agents Conformance with Multiparty ProtocolsLaura Giordano, Alberto Martelli. clima 2009: 17-36 [doi]

The SeventiesAlberto Martelli. birthday 2008: 797-798 [doi]

2007

Service selection by choreography-driven matchingMatteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella. ecows 2008: [doi]

Preserving players goals: a choreography-driven matchmaking approachMatteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella. woa 2007: 132-139 [doi]

Service selection by choreography-driven matchingMatteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella. ecows 2008: 5-22 [doi]

Goal Preservation by Choreography-Driven MatchmakingMatteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella. icsoc 2009: 413-426 [doi]

Reasoning about interaction protocols for customizing web service selection and compositionMatteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti. jlp, 70(1):53-73, 2007. [doi]

Reasoning on choreographies and capability requirementsMatteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella. ijbpim, 2(4):247-261, 2007. [doi]

Verifying Agent Conformance with Protocols Specified in a Temporal Action LogicLaura Giordano, Alberto Martelli. aiia 2007: 145-156 [doi]

Specifying and verifying interaction protocols in a temporal action logicLaura Giordano, Alberto Martelli, Camilla Schwind. japll, 5(2):214-234, 2007. [doi]

2006

Interaction Protocols and Capabilities: A Preliminary ReportMatteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella. ppswr 2006: 63-77 [doi]

A Priori Conformance Verification for Guaranteeing Interoperability in Open EnvironmentsMatteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti. icsoc 2006: 339-351 [doi]

Conformance and Interoperability in Open EnviromentsMatteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti. woa 2006: [doi]

Automated ReasoningMaria Paola Bonacina, Alberto Martelli. ia, 3(1-2):14-20, 2006.

Specialization of Interaction Protocols in a Temporal Action LogicLaura Giordano, Alberto Martelli, Camilla Schwind. ENTCS, 157(4):3-22, 2006. [doi]

Tableau-based automata construction for dynamic linear time temporal logic*Laura Giordano, Alberto Martelli. AMAI, 46(3):289-315, 2006. [doi]

Reasoning About Web Services in a Temporal Action LogicAlberto Martelli, Laura Giordano. BIRTHDAY 2006: 229-246 [doi]

2005

2004

Reasoning About Agents Interaction Protocols Inside DCaseLPMatteo Baldoni, Cristina Baroglio, Ivana Gungui, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Viviana Patti, Claudio Schifanella. dalt 2005: 112-131 [doi]

Verifying Protocol Conformance for Logic-Based Communicating AgentsMatteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella. clima 2005: 196-212 [doi]

Programming Rational Agents in a Modal Action LogicMatteo Baldoni, Alberto Martelli, Viviana Patti, Laura Giordano. AMAI, 41(2-4):207-257, 2004. [doi]

Reasoning About Interaction Protocols for Web Service CompositionMatteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti. ENTCS, 105:21-36, 2004. [doi]

On-the-Fly Automata Construction for Dynamic Linear Time Temporal LogicLaura Giordano, Alberto Martelli. time 2004: 133-139 [doi]

Verifying Communicating Agents by Model Checking in a Temporal Action LogicLaura Giordano, Alberto Martelli, Camilla Schwind. jelia 2004: 57-69 [doi]

2003

Reasoning about Self and Others: Communicating Agents in a Model Action LogicMatteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti. ictcs 2003: 228-241 [doi]

Reasoning about Conversation Protocols in a Logic-Based Agent LanguageMatteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti. aiia 2003: 300-311 [doi]

Reasoning about Interaction for Personalizing Web Service FruitionMatteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti. woa 2003: 29-35

Reasoning about Communicating Agents in the Semantic WebMatteo Baldoni, Cristina Baroglio, Laura Giordano, Alberto Martelli, Viviana Patti. ppswr 2003: 84-98 [doi]

A Multimedia, Multichannel, and Personalized News ProviderM. Delato, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Alessandro Verri. mips 2003: 388-399 [doi]

Specifying and Verifying Systems of Communicating Agents in a Temporal Action LogicLaura Giordano, Alberto Martelli, Camilla Schwind. aiia 2003: 262-274 [doi]

2001

Reasoning about Complex Actions with Incomplete Knowledge: A Modal ApproachMatteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti. ictcs 2001: 405-425 [doi]

Reasoning about Actions in a Multiagent DomainLaura Giordano, Alberto Martelli, Camilla Schwind. aiia 2001: 237-248 [doi]

Reasoning about Actions in Dynamic Linear Time Temporal LogicLaura Giordano, Alberto Martelli, Camilla Schwind. igpl, 9(2):273-288, 2001. [doi]

2000

Conditional reasoning in logic programmingDov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti, Maria Luisa Sapino. jlp, 44(1-3):37-74, 2000.

Ramification and causality in a modal action logicLaura Giordano, Alberto Martelli, Camilla Schwind. logcom, 10(5):625-662, 2000.

1998

A Tableau for Multimodal Logics and Some (Un)Decidability ResultsMatteo Baldoni, Laura Giordano, Alberto Martelli. tableaux 1998: 44-59 [doi]

A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical ReasoningMatteo Baldoni, Laura Giordano, Alberto Martelli. logcom, 8(5):597-635, 1998.

Dealing with Concurrent Actions in Modal Action LogicsLaura Giordano, Alberto Martelli, Camilla Schwind. ecai 1998: 537-541

1996

A Framework for a Modal Logic ProgrammingMatteo Baldoni, Laura Giordano, Alberto Martelli. ICLP 1996: 52-66

Translating a Modal Language with Embedded Implication into Horn Clause LogicMatteo Baldoni, Laura Giordano, Alberto Martelli. elp 1996: 19-33

An Abductive Proof Procedure for Reasoning About Actions in Modal Logic ProgrammingMatteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti. nmelp 1997: 132-150

A Language for Handling Hypothetical Updates and InconsistencyDov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti. igpl, 4(3):385-416, 1996. [doi]

An Abductive Proof Procedure for Conditional Logic ProgrammingLaura Giordano, Alberto Martelli, Maria Luisa Sapino. fapr 1996: 231-245

Extending Negation As Failure by Abduction: A Three-Valued Stable Model SemanticsLaura Giordano, Alberto Martelli, Maria Luisa Sapino. jlp, 26(1):31-67, 1996.

1995

Hypothetical Updates, Priority and Inconsistency in a Logic Programming LanguageDov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti. lpnmr 1995: 203-216

A Logical Characterization for Truth Maintenance Systems with Dependency-Directed BacktrackingLaura Giordano, Alberto Martelli. ci, 11:11-46, 1995.

1994

1993

A Multimodal Logic to Define Modules in Logic ProgrammingMatteo Baldoni, Laura Giordano, Alberto Martelli. SLP 1993: 473-487

A Semantics for Eshghi and Kowalski s ProcedureLaura Giordano, Alberto Martelli, Maria Luisa Sapino. ICLP 1993: 586-600

1992

A Modal Framework for Structured Logic ProgramsLaura Giordano, Alberto Martelli. elp 1993: 168-186

Extending Horn Clause Logic with Implication GoalsLaura Giordano, Alberto Martelli, Gianfranco Rossi. TCS, 95(1):43-74, 1992.

1991

A Modal Reconstruction of Blocks and Modules in Logic ProgrammingLaura Giordano, Alberto Martelli. SLP 1991: 239-253

Negation as Failure and Constraints through Abduction and DefaultsLaura Giordano, Alberto Martelli, Maria Luisa Sapino. aiia 1991: 78-87

1990

Truth Maintenance Systems and Belief RevisionLaura Giordano, Alberto Martelli. ecai 1991: 71-86

An Abductive Characterization of the TMSLaura Giordano, Alberto Martelli. ecai 1990: 308-313

Generalized Stable Models, Truth Maintenance and Conflict ResolutionLaura Giordano, Alberto Martelli. ICLP 1990: 427-441

1988

Local Definitions with Static Scope Rules in Logic ProgrammingLaura Giordano, Alberto Martelli, Gianfranco Rossi. fgcs 1988: 389-396

Enhancing Prolog to Support Prolog Programming EnvironmentsAlberto Martelli, Gianfranco Rossi. ESOP 1988: 317-327

1986

An Algorithm for Unification in Equational TheoriesAlberto Martelli, Corrado Moiso, Gianfranco Rossi. SLP 1986: 180-186

On the Semantics of Logic Programing LanguagesAlberto Martelli, Gianfranco Rossi. ICLP 1986: 327-334

1984

Efficient Unificatioin with Infinite Terms in Logic ProgrammingAlberto Martelli, Gianfranco Rossi. fgcs 1984: 202-209

1983

A Constructive Approach to Static Verification of Program PropertiesRoberto Barbuti, Alberto Martelli. ifip 1983: 457-462

A Structured Approach to Static Semantics CorrectnessRoberto Barbuti, Alberto Martelli. SCP, 3(3):279-311, 1983.

1982

An Efficient Unification AlgorithmAlberto Martelli, Ugo Montanari. TOPLAS, 4(2):258-282, 1982. [doi]

1981

Dynamic Programming as Graph Searching: An Algebraic ApproachStefania Gnesi, Ugo Montanari, Alberto Martelli. JACM, 28(4):737-751, 1981. [doi]

1980

Static Type Checking for Languages with Parametric Types and Polymorphic ProceduresRoberto Barbuti, Alberto Martelli. programm 1980: 1-16

1979

A Flexible Environment for Program Development Based on a Symbolic InterpreterPatrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini. ICSE 1979: 251-264

1978

Optimizing Decision Trees Through Heuristically Guided SearchAlberto Martelli, Ugo Montanari. CACM, 21(12):1025-1039, 1978.

1977

On the Complexity of Admissible Search AlgorithmsAlberto Martelli. ai, 8(1):1-13, 1977.

Theorem Proving with Structure Sharing and Efficient UnificationAlberto Martelli, Ugo Montanari. IJCAI 1977: 543

1976

A Gaussian Elimination Algorithm for the Enumeration of Cut Sets in a GraphAlberto Martelli. JACM, 23(1):58-73, 1976. [doi]

An Application of Heuristic Search Methods to Edge and Contour DetectionAlberto Martelli. CACM, 19(2):73-83, 1976.

1975

Form Dynamic Programming To Search Algorithms With Functional CostsAlberto Martelli, Ugo Montanari. IJCAI 1975: 345-350

1974

An Application of Regular Algebra to the Enumeration of Cut Sets in a GraphAlberto Martelli. ifip 1974: 511-515

Dynamic Programming SchemataAlberto Martelli, Ugo Montanari. icalp 1974: 66-80

1973

Additive AND/OR GraphsAlberto Martelli, Ugo Montanari. IJCAI 1973: 1-11

Sign in or sign up to see more results.

runs on WebDSL