Alberto Martelli

Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019

2016

ASP for Reasoning about Actions with an EL^bot Knowledge Base.

[BibT_eX]

[DOI]

Matteo Spiotta

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.

[BibT_eX]

[DOI]

J. Log. Comput., 2015

2013

Business process verification with constraint temporal answer set programming.

[BibT_eX]

[DOI]

Matteo Spiotta

Theory Pract. Log. Program., 2013

Reasoning about actions with Temporal Answer Sets.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Temporal deontic action logic for the verification of compliance to norms in ASP.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Artificial Intelligence and Law, 2013

2012

Achieving Completeness in Bounded Model Checking of Action Theories in ASP.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Business Processes Verification with Temporal Answer Set Programming.

[BibT_eX]

[DOI]

Matteo Spiotta

Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes, 2012

Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach.

[BibT_eX]

[DOI]

Proceedings of the 9th Italian Convention on Computational Logic, 2012

2011

Verifying Compliance of Business Processes with Temporal Answer Sets.

[BibT_eX]

[DOI]

Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

2010

Verifying Business Process Compliance by Reasoning about Actions.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

2008

Verifying the Conformance of Agents with Multiparty Protocols.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

Verifying Agents' Conformance with Multiparty Protocols.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 9th International Workshop, 2008

The Seventies.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, 2008

2007

Reasoning about interaction protocols for customizing web service selection and composition.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2007

Specifying and verifying interaction protocols in a temporal action logic.

[BibT_eX]

[DOI]

J. Appl. Log., 2007

Reasoning on choreographies and capability requirements.

[BibT_eX]

[DOI]

Int. J. Bus. Process. Integr. Manag., 2007

Preserving players goals: a choreography-driven matchmaking approach.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2007

Service selection by choreography-driven matching.

[BibT_eX]

[DOI]

Proceedings of the Emerging Web Services Technology, 2007

Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007

2006

Automated Reasoning.

[BibT_eX]

Maria Paola Bonacina

Intelligenza Artificiale, 2006

Tableau-based automata construction for dynamic linear time temporal logic*.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2006

Conformance and Interoperability in Open Enviroments.

[BibT_eX]

[DOI]

Proceedings of the 7th WOA 2006 Workshop, 2006

Interaction Protocols and Capabilities: A Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2006

A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2006

Reasoning About Web Services in a Temporal Action Logic.

[BibT_eX]

[DOI]

Proceedings of the Reasoning, 2006

2005

Specialization of Interaction Protocols in a Temporal Action Logic.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Logic and Communication in Multi-Agent Systems, 2005

A Temporal Approach to the Specification and Verification of Interaction Protocols.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

Verification of Protocol Conformance and Agent Interoperability.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

2004

Reasoning About Interaction Protocols for Web Service Composition.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Web Services and Formal Methods, 2004

Programming Rational Agents in a Modal Action Logic.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2004

On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Reasoning About Agents' Interaction Protocols Inside DCaseLP.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies II, 2004

Verifying Protocol Conformance for Logic-Based Communicating Agents.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

2003

Reasoning about Interaction for Personalizing Web Service Fruition.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2003

A Multimedia, Multichannel, and Personalized News Provider.

[BibT_eX]

[DOI]

Proceedings of the Interactive Multimedia on Next Generation Networks, 2003

Reasoning about Self and Others: Communicating Agents in a Model Action Logic.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003

Reasoning about Conversation Protocols in a Logic-Based Agent Language.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003

2001

Reasoning about Actions in Dynamic Linear Time Temporal Logic.

[BibT_eX]

[DOI]

Log. J. IGPL, 2001

Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001

Reasoning about Actions in a Multiagent Domain.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2001: Advances in Artificial Intelligence, 2001

2000

Ramification and causality in a modal action logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2000

Conditional reasoning in logic programming.

[BibT_eX]

[DOI]

J. Log. Program., 2000

1998

A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning.

[BibT_eX]

[DOI]

J. Log. Comput., 1998

A Tableau for Multimodal Logics and Some (Un)Decidability Results.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

Dealing with Concurrent Actions in Modal Action Logics.

[BibT_eX]

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

1996

Extending Negation As Failure by Abduction: A Three-Valued Stable Model Semantics.

[BibT_eX]

[DOI]

J. Log. Program., 1996

A Language for Handling Hypothetical Updates and Inconsistency.

[BibT_eX]

[DOI]

Log. J. IGPL, 1996

An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Non-Monotonic Extensions of Logic Programming, 1996

A Framework for a Modal Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 1996

An Abductive Proof Procedure for Conditional Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Practical Reasoning, 1996

Translating a Modal Language with Embedded Implication into Horn Clause Logic.

[BibT_eX]

[DOI]

Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996

1995

A Logical Characterization for Truth Maintenance Systems with Dependency-Directed Backtracking.

[BibT_eX]

[DOI]

Comput. Intell., 1995

Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

1994

Structured Prolog: A Language for Structured Logic Programming.

[BibT_eX]

Softw. Concepts Tools, 1994

Structuring Logic Programs: A Modal Approach.

[BibT_eX]

[DOI]

J. Log. Program., 1994

On Cumulative Default Logics.

[BibT_eX]

[DOI]

Artif. Intell., 1994

Conditonal Logic Programming.

[BibT_eX]

Proceedings of the Logic Programming, 1994

A Modal Extension of Logic Programming.

[BibT_eX]

Proceedings of the ICLP 1994, 1994

1993

A Multimodal Logic to Define Modules in Logic Programming.

[BibT_eX]

Proceedings of the Logic Programming, 1993

A Semantics for Eshghi and Kowalski's Procedure.

[BibT_eX]

Proceedings of the Logic Programming, 1993

1992

Extending Horn Clause Logic with Implication Goals.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1992

A Modal Framework for Structured Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992

1991

A Modal Reconstruction of Blocks and Modules in Logic Programming.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Proceedings of the Trends in Artificial Intelligence, 1991

1990

Generalized Stable Models, Truth Maintenance and Conflict Resolution.

[BibT_eX]

Proceedings of the Logic Programming, 1990

Truth Maintenance Systems and Belief Revision.

[BibT_eX]

[DOI]

Proceedings of the Truth Maintenance Systems, 1990

An Abductive Characterization of the TMS.

[BibT_eX]

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

1988

Local Definitions with Static Scope Rules in Logic Programming.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

Enhancing Prolog to Support Prolog Programming Environments.

[BibT_eX]

[DOI]

Proceedings of the ESOP '88, 1988

1986

An Algorithm for Unification in Equational Theories.

[BibT_eX]

Corrado Moiso

Proceedings of the 1986 Symposium on Logic Programming, 1986

On the Semantics of Logic Programing Languages.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Logic Programming, 1986

1984

Efficient Unificatioin with Infinite Terms in Logic Programming.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

1983

A Structured Approach to Static Semantics Correctness.

[BibT_eX]

[DOI]

Roberto Barbuti

Sci. Comput. Program., 1983

A Constructive Approach to Static Verification of Program Properties.

[BibT_eX]

Roberto Barbuti

Proceedings of the Information Processing 83, 1983

1982

An Efficient Unification Algorithm.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1982

1981

Dynamic Programming as Graph Searching: An Algebraic Approach.

[BibT_eX]

[DOI]

Stefania Gnesi

J. ACM, 1981

Communication Through Message Passing or Shared Memory: A Formal Comparison.

[BibT_eX]

Rocco De Nicola

Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981

1980

Static Type Checking for Languages with Parametric Types and Polymorphic Procedures.

[BibT_eX]

[DOI]

Roberto Barbuti

Proceedings of the International Symposium on Programming, 1980

1979

A Flexible Environment for Program Development Based on a Symbolic Interpreter.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Software Engineering, 1979

1978

Optimizing Decision Trees Through Heuristically Guided Search.

[BibT_eX]

[DOI]

Commun. ACM, 1978

1977

On the Complexity of Admissible Search Algorithms.

[BibT_eX]

[DOI]

Artif. Intell., 1977

Theorem Proving with Structure Sharing and Efficient Unification.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. ACM, 1976

An Application of Heuristic Search Methods to Edge and Contour Detection.

[BibT_eX]

[DOI]

Commun. ACM, 1976

1975

Form Dynamic Programming To Search Algorithms With Functional Costs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Proceedings of the Information Processing, 1974

Dynamic Programming Schemata.

[BibT_eX]

[DOI]

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

1973

Additive AND/OR Graphs.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, 1973

1972

Edge detection using heuristic search methods.

[BibT_eX]

[DOI]

Comput. Graph. Image Process., 1972

1971

Optimal Smoothing in Picture Processing: An Application to Fingerprints.

[BibT_eX]