Alberto Martelli

106 papers A* 6A 6B 8C 2Journal 30Unranked 53

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