Matteo Baldoni

Ken Satoh

Proceedings of the Legal Knowledge and Information Systems, 2019

Accountability and Responsibility in Multiagent Organizations for Engineering Business Processes.

[BibT_eX]

[DOI]

Proceedings of the Engineering Multi-Agent Systems - 7th International Workshop, 2019

Accountability, Responsibility and Robustness in Agent Organizations.

[BibT_eX]

Proceedings of the 34th Italian Conference on Computational Logic, 2019

Implementing Business Processes in JaCaMo+ by Exploiting Accountability and Responsibility.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Engineering Business Processes through Accountability and Agents.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Engineering Multiagent Organizations by Accountability and Responsibility.

[BibT_eX]

[DOI]

Proceedings of the Discussion and Doctoral Consortium papers of AI*IA 2019, 2019

2018

Commitment-based Agent Interaction in JaCaMo+.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2018

Type checking for protocol role enactments via commitments.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2018

Accountability and Responsibility in Business Processes via Agent Technology.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with the Federated Logic Conference, 2018

Accountability and Responsibility in Agent Organizations.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29, 2018

An Information Model for Computing Accountabilities.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018

Goal Distribution in Business Process Models.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018

Ethics by Design: Necessity or Curse?

[BibT_eX]

[DOI]

Matthijs H. J. Smakman

Marlies van Steenbergen

Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, 2018

2017

Endowing Business Artifacts with a Normative Coordination Layer.

[BibT_eX]

[DOI]

Proceedings of the 18th Workshop "From Objects to Agents", 2017

ADOPT JaCaMo: Accountability-Driven Organization Programming Technique for JaCaMo.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30, 2017

The AThOS Project: First Steps towards Computational Accountability.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Computational Accountability and Responsibility in Multiagent Systems co-located with 20th International Conference on Principles and Practice of Multi-Agent Systems, 2017

Enriching Business Artifacts with Coordination.

[BibT_eX]

[DOI]

Proceedings of the Forum and Doctoral Consortium Papers Presented at the 29th International Conference on Advanced Information Systems Engineering, 2017

Objective Coordination with Business Artifacts and Social Engagements.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2017

Supporting Organizational Accountability Inside Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

2016

Engineering Commitment-based Business Protocols with the 2CL Methodology: JAAMAS Extended Abstract.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Towards Data- and Norm-Aware Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the Engineering Multi-Agent Systems - 4th International Workshop, 2016

Computational Accountability.

[BibT_eX]

[DOI]

Proceedings of the AI*IA Workshop on Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents 2016 co-located with 15th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2016), 2016

2015

Social Continual Planning in Open Multiagent Systems: A First Study.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

Exploiting Social Commitments in Programming Agent Interaction.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

Business Process Management for Legal Domains: Supporting Execution and Management of Preliminary Injunctions.

[BibT_eX]

[DOI]

Proceedings of the Legal Knowledge and Information Systems, 2015

Constitutive and Regulative Specifications of Commitment Protocols: A Decoupled Approach (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Composing and Verifying Commitment-Based Multiagent Protocols.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Leveraging commitments and goals in agent interaction.

[BibT_eX]

[DOI]

Proceedings of the 30th Italian Conference on Computational Logic, 2015

Social Contexts and Social Pragmatics.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Programming with Commitments and Goals in JaCaMo+.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Programming JADE and Jason Agents Based on Social Relationships Using a Uniform Approach.

[BibT_eX]

[DOI]

Proceedings of the Advances in Social Computing and Multiagent Systems, 2015

Social Continual Planning in Open Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the 6th Italian Workshop on Planning and Scheduling A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015

Empowering Agent Coordination with Social Engagement.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015

2014

A Commitment-Based Infrastructure for Programming Socio-Technical Systems.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2014

Engineering commitment-based business protocols with the 2CL methodology.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2014

Social Relationships for Designing Agent Interaction in JADE.

[BibT_eX]

[DOI]

Proceedings of the XV Workshop "Dagli Oggetti agli Agenti", 2014

Social Computing in JaCaMo.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Typing Multi-Agent Systems via Commitments.

[BibT_eX]

[DOI]

Proceedings of the Engineering Multi-Agent Systems - Second International Workshop, 2014

2013

Constitutive and regulative specifications of commitment protocols: A decoupled approach.

[BibT_eX]

[DOI]

ACM Trans. Intell. Syst. Technol., 2013

Guest-editorial: 25 years of AI*IA.

[BibT_eX]

[DOI]

Paola Mello

Fabrizio Riguzzi

Intelligenza Artificiale, 2013

2COMM: A Commitment-based MAS Architecture.

[BibT_eX]

[DOI]

Proceedings of the 14th Workshop "From Objects to Agents" co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013

2012

From tags to emotions: Ontology-driven sentiment analysis in the social semantic web.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2012

Flexible choreography-driven service selection.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2012

Some Thoughts about Commitment Protocols.

[BibT_eX]

[DOI]

Proceedings of the 13th Workshop on Objects and Agents, 2012

A Generalized Commitment Machine for 2CL Protocols and Its Implementation.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies X, 2012

Some Thoughts about Commitment Protocols - (Position Paper).

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies X, 2012

A Generalized Commitment Machine for 2CL Protocols and its Prolog Implementation.

[BibT_eX]

[DOI]

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

2011

Constraint modeling for curriculum planning and validation.

[BibT_eX]

[DOI]

Interact. Learn. Environ., 2011

Models of agent interaction based on modal logics.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2011

A journey in Computational Logic in Italy.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2011

Learn the rules so you know how to break them properly.

[BibT_eX]

[DOI]

Proceedings of the 12th Workshop on Objects and Agents, Rende (CS), Italy, Jul 4-6, 2011, 2011

Extend Commitment Protocols with Temporal Regulations: Why and How.

[BibT_eX]

[DOI]

Proceedings of the 5th International RuleML2011@BRF Challenge, 2011

Back to the future: An interaction-oriented framework for social computing.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Requirements Engineering for Social Computing, 2011

Grafting regulations into business protocols: Supporting the analysis of risks of violation.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Requirements Engineering and Law, 2011

On Temporal Regulations and Commitment Protocols.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

ArsEmotica: emotions in the social semantic web.

[BibT_eX]

[DOI]

Proceedings of the Proceedings the 7th International Conference on Semantic Systems, 2011

Commitments with regulations: reasoning about safety and control in REGULA.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Sentiment Analysis in the Planet Art: A Case Study in the Social Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the New Challenges in Distributed Information Filtering and Retrieval, 2011

From Tags to Emotions: Ontology-driven Sentimental Analysis in the Social Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on New Challenges in Distributed Information Filtering and Retrieval, 2011

An Interaction-Oriented Agent Framework for Open Environments.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011

2010

Leveraging search and content exploration by exploiting context in folksonomy systems.

[BibT_eX]

[DOI]

New Rev. Hypermedia Multim., 2010

Special Issue: Agents, Web Services and Ontologies: Integrated Methodologies.

[BibT_eX]

[DOI]

Viviana Mascardi

Multiagent Grid Syst., 2010

MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010

Behavior-Oriented Commitment-based Protocols.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies VIII, 2010

Constraints among Commitments: Regulative Specification of Interaction Protocols.

[BibT_eX]

[DOI]

Proceedings of the 25th Italian Conference on Computational Logic, 2010

Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?

[BibT_eX]

[DOI]

Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010

2009

Modeling Organizations and Roles Using a Middleware Jade-Based.

[BibT_eX]

Roberto Grenna

Proceedings of the 10th Workshop "From Objects to Agents", Parma, Italy, July 9-10, 2009, 2009

A Middleware for Modeling Organizations and Roles in Jade.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems - 7th International Workshop, 2009

Joint Achievement of Services' Personal Goals.

[BibT_eX]

[DOI]

Proceedings of the Second Multi-Agent Logics, 2009

Introductory Essay of MALLOW-AWESOME'009.

[BibT_eX]

[DOI]

Proceedings of the Second Multi-Agent Logics, 2009

ArsMeteo: artworks and tags floating over the planet art.

[BibT_eX]

[DOI]

Proceedings of the HYPERTEXT 2009, Proceedings of the 20th ACM Conference on Hypertext and Hypermedia, Torino, Italy, June 29, 2009

Context-based ranking in folksonomies.

[BibT_eX]

[DOI]

Proceedings of the HYPERTEXT 2009, Proceedings of the 20th ACM Conference on Hypertext and Hypermedia, Torino, Italy, June 29, 2009

The Interplay between Relationships, Roles and Objects.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering, 2009

Choice, interoperability, and conformance in interaction protocols and service choreographies.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008

Conservative Re-use Ensuring Matches for Service Selection.

[BibT_eX]

Proceedings of the 9th Workshop "From Objects to Agents", Palermo, Italy, July 17-18, 2008, 2008

powerJADE: Organizations and Roles as Primitives in the JADE Framework.

[BibT_eX]

Proceedings of the 9th Workshop "From Objects to Agents", Palermo, Italy, July 17-18, 2008, 2008

Adding Organizations and Roles as Primitives to JADE Framework.

[BibT_eX]

Valerio Genovese

Roberto Grenna

Proceedings of the Third International Workshop on Normative Multiagent Systems, 2008

How to Program Organizations and Roles in the JADE Framework.

[BibT_eX]

[DOI]

Proceedings of the Multiagent System Technologies, 6th German Conference, 2008

Folksonomies meet ontologies in ARSMETEO: from social descriptions of artifacts to emotional concepts.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontologies Meet Industry, 2008

Adding Organizations and Roles as Primitives to the JADE Framework.

[BibT_eX]

[DOI]

Roberto Grenna

Mauro Dorni

Andrea Mugnaini

Valerio Genovese

Proceedings of the Programming Multi-Agent Systems, 31.08. - 05.09.2008, 2008

Multimodal Logics for Reasoning about Interaction.

[BibT_eX]

[DOI]

Proceedings of the Il Milione (i.e. 2^6), 2008

2007

Rule-based Policy Specification.

[BibT_eX]

[DOI]

Proceedings of the Secure Data Management in Decentralized Systems, 2007

Interaction between Objects in powerJava.

[BibT_eX]

[DOI]

J. Object Technol., 2007

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

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2007

Reasoning on choreographies and capability requirements.

[BibT_eX]

[DOI]

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

Adding Roles to Relationship Patterns.

[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

Preface to the Proceedings of WOA 2007.

[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

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

Declarative representation of curricula models: an LTL- and UML-based 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

An implementation of roles as affordances: powerJava.

[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

Relationships Meet Their Roles in Object Oriented Programming.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

Curriculum Model Checking: Declarative Representation and Verification of Properties.

[BibT_eX]

[DOI]

Proceedings of the Creating New Learning Experiences on a Global Scale, 2007

Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture.

[BibT_eX]

[DOI]

Proceedings of the Creating New Learning Experiences on a Global Scale, 2007

Service selection by choreography-driven matching.

[BibT_eX]

[DOI]

Proceedings of the Emerging Web Services Technology, 2007

Curricula Modeling and Checking.

[BibT_eX]

[DOI]

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

2006

Importing Agent-like Interaction in Object Orientation.

[BibT_eX]

[DOI]

Proceedings of the 7th WOA 2006 Workshop, 2006

Conformance and Interoperability in Open Enviroments.

[BibT_eX]

[DOI]

Proceedings of the 7th WOA 2006 Workshop, 2006

powerJava: ontologically founded roles in object oriented programming languages.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Bridging Agent Theory and Object Orientation: Agent-Like Communication Among Objects.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems, 4th International Workshop, 2006

Interaction Protocols and Capabilities: A Preliminary Report.

[BibT_eX]

[DOI]

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

Interaction among objects via roles: sessions and affordances in Java.

[BibT_eX]

[DOI]

Proceedings of the 4th International Symposium on Principles and Practice of Programming in Java, 2006

A Personalization Service for Curriculum Planning.

[BibT_eX]

[DOI]

Proceedings of the LWA 2006: Lernen - Wissensentdeckung - Adaptivität, Hildesheim, Deutschland, October 9th-11th 2006, joint workshop event of several interest groups of the German Society for Informatics (GI) - 14th Workshop on Adaptivity and User Modeling in Interactive Systems (ABIS 2006) - Workshop Information Retrieval 2006 of the Special Interest Group Information Retrieval (FGIR 2006) - Workshop on Knowledge and Experience Management (FGWM 2006), 2006

Modelling the Interaction Between Objects: Roles as Affordances.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, 2006

A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2006

2005

Roles as a Coordination Construct: Introducing powerJava.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, 2005

Social roles, from agents back to objects.

[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

Personalization for the Semantic Web.

[BibT_eX]

[DOI]

Nicola Henze

Proceedings of the Reasoning Web, 2005

Bridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent 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

Web-Based Adaptive Tutoring: An Approach Based on Logic Agents and Reasoning about Actions.

[BibT_eX]

[DOI]

Artif. Intell. Rev., 2004

Design and development of a visual environment for writing DyLOG programs.

[BibT_eX]

Proceedings of the WOA 2004: Dagli Oggetti agli Agenti. 5th AI*IA/TABOO Joint Workshop "From Objects to Agents": Complex Systems and Rational Agents, 30 November, 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

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

Applying Logic Inference Techniques for Gaining Flexibility and Adaptivity in Tutoring Systems.

[BibT_eX]

Proceedings of the Human-Computer Interaction: Universal Access in HCI: Inclusive Design in the Information Society, 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

2002

Supporting Users in Adaptive Web-based Applications: Techniques from Reasoning about Actions.

[BibT_eX]

Proceedings of the WOA 2002: Dagli Oggetti agli Agenti. 3rd AI*IA/TABOO Joint Workshop "From Objects to Agents": From Information to Knowledge, 2002

2001

Programming Goal-Driven Web Sites Using an Agent Logic Language.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2001

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

[BibT_eX]

[DOI]

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

Structureless, intention-guided web sites: planning based adaptation.

[BibT_eX]

Proceedings of the Universal Access In HCI: Towards an Information Society for All, 2001

2000

Use of IFS Codes for Learning 2D Isolated-Object Classification Systems.

[BibT_eX]

[DOI]

Davide Cavagnino

Comput. Vis. Image Underst., 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

XFF: A Simple Method to eXtract Fractural Features for 2D Object Recognition.

[BibT_eX]

[DOI]

Davide Cavagnino

Proceedings of the Advances in Pattern Recognition, 1998

1997

Extraction of Discriminant Features from Image Fractal Encoding.

[BibT_eX]

[DOI]

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

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

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

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]