Alberto Martelli

According to our database1, Alberto Martelli authored at least 97 papers between 1971 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
Verification with Answer Set Programming, Reasoning about Actions and Change, Constraints and Ontologies.
Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019

2016
ASP for Reasoning about Actions with an EL^bot Knowledge Base.
Proceedings of the 31st Italian Conference on Computational Logic, 2016

2015
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP.
J. Log. Comput., 2015

2013
Business process verification with constraint temporal answer set programming.
Theory Pract. Log. Program., 2013

Reasoning about actions with Temporal Answer Sets.
Theory Pract. Log. Program., 2013

Temporal deontic action logic for the verification of compliance to norms in ASP.
Proceedings of the International Conference on Artificial Intelligence and Law, 2013

2012
Achieving Completeness in Bounded Model Checking of Action Theories in ASP.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Business Processes Verification with Temporal Answer Set Programming.
Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes, 2012

Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach.
Proceedings of the 9th Italian Convention on Computational Logic, 2012

2011
Verifying Compliance of Business Processes with Temporal Answer Sets.
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

2010
Verifying Business Process Compliance by Reasoning about Actions.
Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

2008
Verifying the Conformance of Agents with Multiparty Protocols.
Proceedings of the ECAI 2008, 2008

Verifying Agents' Conformance with Multiparty Protocols.
Proceedings of the Computational Logic in Multi-Agent Systems, 9th International Workshop, 2008

The Seventies.
Proceedings of the Concurrency, 2008

2007
Reasoning about interaction protocols for customizing web service selection and composition.
J. Log. Algebraic Methods Program., 2007

Specifying and verifying interaction protocols in a temporal action logic.
J. Appl. Log., 2007

Reasoning on choreographies and capability requirements.
Int. J. Bus. Process. Integr. Manag., 2007

Preserving players goals: a choreography-driven matchmaking approach.
Proceedings of the WOA 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop "From Objects to Agents": Agents and Industry: Technological Applications of Software Agents, 2007

Goal Preservation by Choreography-Driven Matchmaking.
Proceedings of the Service-Oriented Computing, 2007

Service selection by choreography-driven matching.
Proceedings of the 2nd ECOWS07 Workshop on Emerging Web Services Technology, 2007

Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic.
Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007

2006
Automated Reasoning.
Intelligenza Artificiale, 2006

Specialization of Interaction Protocols in a Temporal Action Logic.
Electron. Notes Theor. Comput. Sci., 2006

Tableau-based automata construction for dynamic linear time temporal logic*.
Ann. Math. Artif. Intell., 2006

Conformance and Interoperability in Open Enviroments.
Proceedings of the 7th WOA 2006 Workshop, 2006

Interaction Protocols and Capabilities: A Preliminary Report.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2006

A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments.
Proceedings of the Service-Oriented Computing, 2006

Reasoning About Web Services in a Temporal Action Logic.
Proceedings of the Reasoning, 2006

2005
A Temporal Approach to the Specification and Verification of Interaction Protocols.
Proceedings of the WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 2005

Personalization, Verification and Conformance for Logic-based Communicating Agents.
Proceedings of the WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 2005

Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step.
Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

Verification of Protocol Conformance and Agent Interoperability.
Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

2004
Reasoning About Interaction Protocols for Web Service Composition.
Electron. Notes Theor. Comput. Sci., 2004

Programming Rational Agents in a Modal Action Logic.
Ann. Math. Artif. Intell., 2004

On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic.
Proceedings of the 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 2004

Verifying Communicating Agents by Model Checking in a Temporal Action Logic.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Reasoning About Agents' Interaction Protocols Inside DCaseLP.
Proceedings of the Declarative Agent Languages and Technologies II, 2004

Verifying Protocol Conformance for Logic-Based Communicating Agents.
Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

2003
Reasoning about Interaction for Personalizing Web Service Fruition.
Proceedings of the WOA 2003: Dagli Oggetti agli Agenti. 4th AI*IA/TABOO Joint Workshop "From Objects to Agents": Intelligent Systems and Pervasive Computing, 2003

Reasoning about Communicating Agents in the Semantic Web.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2003

A Multimedia, Multichannel, and Personalized News Provider.
Proceedings of the Interactive Multimedia on Next Generation Networks, 2003

Reasoning about Self and Others: Communicating Agents in a Model Action Logic.
Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic.
Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003

Reasoning about Conversation Protocols in a Logic-Based Agent Language.
Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003

2001
Reasoning about Actions in Dynamic Linear Time Temporal Logic.
Log. J. IGPL, 2001

Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach.
Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001

Reasoning about Actions in a Multiagent Domain.
Proceedings of the AI*IA 2001: Advances in Artificial Intelligence, 2001

2000
Ramification and causality in a modal action logic.
J. Log. Comput., 2000

Conditional reasoning in logic programming.
J. Log. Program., 2000

1998
A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning.
J. Log. Comput., 1998

A Tableau for Multimodal Logics and Some (Un)Decidability Results.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

Dealing with Concurrent Actions in Modal Action Logics.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998

1996
Extending Negation As Failure by Abduction: A Three-Valued Stable Model Semantics.
J. Log. Program., 1996

A Language for Handling Hypothetical Updates and Inconsistency.
Log. J. IGPL, 1996

An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming.
Proceedings of the Non-Monotonic Extensions of Logic Programming, 1996

A Framework for a Modal Logic Programming.
Proceedings of the Logic Programming, 1996

An Abductive Proof Procedure for Conditional Logic Programming.
Proceedings of the Practical Reasoning, 1996

Translating a Modal Language with Embedded Implication into Horn Clause Logic.
Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996

1995
A Logical Characterization for Truth Maintenance Systems with Dependency-Directed Backtracking.
Comput. Intell., 1995

Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

1994
Structured Prolog: A Language for Structured Logic Programming.
Softw. Concepts Tools, 1994

Structuring Logic Programs: A Modal Approach.
J. Log. Program., 1994

On Cumulative Default Logics.
Artif. Intell., 1994

Conditonal Logic Programming.
Proceedings of the Logic Programming, 1994

A Modal Extension of Logic Programming.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993
A Multimodal Logic to Define Modules in Logic Programming.
Proceedings of the Logic Programming, 1993

A Semantics for Eshghi and Kowalski's Procedure.
Proceedings of the Logic Programming, 1993

1992
Extending Horn Clause Logic with Implication Goals.
Theor. Comput. Sci., 1992

A Modal Framework for Structured Logic Programs.
Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992

1991
A Modal Reconstruction of Blocks and Modules in Logic Programming.
Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

Negation as Failure and Constraints through Abduction and Defaults.
Proceedings of the Trends in Artificial Intelligence, 1991

1990
Generalized Stable Models, Truth Maintenance and Conflict Resolution.
Proceedings of the Logic Programming, 1990

Truth Maintenance Systems and Belief Revision.
Proceedings of the Truth Maintenance Systems, 1990

An Abductive Characterization of the TMS.
Proceedings of the 9th European Conference on Artificial Intelligence, 1990

1988
Local Definitions with Static Scope Rules in Logic Programming.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

Enhancing Prolog to Support Prolog Programming Environments.
Proceedings of the ESOP '88, 1988

1986
An Algorithm for Unification in Equational Theories.
Proceedings of the 1986 Symposium on Logic Programming, 1986

On the Semantics of Logic Programing Languages.
Proceedings of the Third International Conference on Logic Programming, 1986

1984
Efficient Unificatioin with Infinite Terms in Logic Programming.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

1983
A Structured Approach to Static Semantics Correctness.
Sci. Comput. Program., 1983

A Constructive Approach to Static Verification of Program Properties.
Proceedings of the Information Processing 83, 1983

1982
An Efficient Unification Algorithm.
ACM Trans. Program. Lang. Syst., 1982

1981
Dynamic Programming as Graph Searching: An Algebraic Approach.
J. ACM, 1981

Communication Through Message Passing or Shared Memory: A Formal Comparison.
Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981

1980
Static Type Checking for Languages with Parametric Types and Polymorphic Procedures.
Proceedings of the International Symposium on Programming, 1980

1979
A Flexible Environment for Program Development Based on a Symbolic Interpreter.
Proceedings of the 4th International Conference on Software Engineering, 1979

1978
Optimizing Decision Trees Through Heuristically Guided Search.
Commun. ACM, 1978

1977
On the Complexity of Admissible Search Algorithms.
Artif. Intell., 1977

Theorem Proving with Structure Sharing and Efficient Unification.
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976
A Gaussian Elimination Algorithm for the Enumeration of Cut Sets in a Graph.
J. ACM, 1976

An Application of Heuristic Search Methods to Edge and Contour Detection.
Commun. ACM, 1976

1975
Form Dynamic Programming To Search Algorithms With Functional Costs.
Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975

1974
An Application of Regular Algebra to the Enumeration of Cut Sets in a Graph.
Proceedings of the Information Processing, 1974

Dynamic Programming Schemata.
Proceedings of the Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29, 1974

1973
Additive AND/OR Graphs.
Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, 1973

1972
Edge detection using heuristic search methods.
Comput. Graph. Image Process., 1972

1971
Optimal Smoothing in Picture Processing: An Application to Fingerprints.
Proceedings of the Information Processing, Proceedings of IFIP Congress 1971, Volume 1, 1971


  Loading...