Laura Giordano

CoRR, 2023

Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation.

[BibT_eX]

[DOI]

Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023), 2023

Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the 38th Italian Conference on Computational Logic, 2023

Explaining Gradual Argumentation Semantics in a Conditional Multi-preferential Logic with Typicality.

[BibT_eX]

[DOI]

Proceedings of the 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), 2023

2022

An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2022

A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps.

[BibT_eX]

[DOI]

J. Log. Comput., 2022

Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation.

[BibT_eX]

[DOI]

CoRR, 2022

From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics and Back.

[BibT_eX]

[DOI]

Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, 2022

Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

From Common Sense Reasonig to Neural Network Models: a Conditional and Multi-preferential Approach for Explainability and Neuro-Symbolic Integration.

[BibT_eX]

[DOI]

Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), 2022

Reasoning about Actions with EL Ontologies in a Temporal Action Theory (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

Model Checking Verification of MultiLayer Perceptrons in Datalog: a Many-valued Approach with Typicality.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022

From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022

Towards a Conditional and Multi-preferential Approach to Explainability of Neural Network Models in Computational Logic (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 3rd Italian Workshop on Explainable Artificial Intelligence co-located with 21th International Conference of the Italian Association for Artificial Intelligence(AIxIA 2022), Udine, Italy, November 28, 2022

Weighted Conditionals from Gradual Argumentation to Probabilistic Argumentation.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Advances in Argumentation in Artificial Intelligence 2022 co-located with the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), 2022

2021

Weighted Conditional EL⊥ Knowledge Bases with Integer Weights: an ASP Approach.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 37th International Conference on Logic Programming (Technical Communications), 2021

Reasoning about actions with EL ontologies with temporal answer sets.

[BibT_eX]

[DOI]

CoRR, 2021

From Common Sense Reasoning to Neural Network Models through Multiple Preferences: an overview.

[BibT_eX]

[DOI]

CoRR, 2021

A conditional, a fuzzy and a probabilistic interpretation of self-organising maps.

[BibT_eX]

[DOI]

CoRR, 2021

A reconstruction of multipreference closure.

[BibT_eX]

[DOI]

Artif. Intell., 2021

A Multipreference Semantics from Common Sense Reasoning to Neural Network Models: An Overview.

[BibT_eX]

[DOI]

Proceedings of the Joint Ontology Workshops 2021 Episode VII: The Bolzano Summer of Knowledge co-located with the 12th International Conference on Formal Ontology in Information Systems (FOIS 2021), 2021

Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

Reasoning About Actions with EL(bot) Ontologies and Temporal Answer Sets.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

Preferential Reasoning with Typicality and Neural Network Models (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021

On the KLM Properties of a Fuzzy DL with Typicality.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2021

Opening the Black-box: Deep Neural Networks as Weighted Conditional Knowledge Bases (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Implementation of Choice of Jurisdiction and Law in Private International Law by PROLEG Meta-interpreter.

[BibT_eX]

[DOI]

Ken Satoh

Proceedings of the Logic and Argumentation - 4th International Conference, 2021

A Framework for a Modular Multi-Concept Lexicographic Closure Semantics (an abridged report).

[BibT_eX]

[DOI]

Proceedings of the 36th Italian Conference on Computational Logic, 2021

Multilayer Perceptrons as Weighted Conditional Knowledge Bases: an Overview.

[BibT_eX]

[DOI]

Proceedings of the AIxIA 2021 Discussion Papers co-located with the the 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA2021), 2021

From Weighted Conditionals of Multilayer Perceptrons to a Gradual Argumentation Semantics.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Advances in Argumentation in Artificial Intelligence 2021 co-located with the 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), 2021

User action representation and automated reasoning for the forensic analysis of mobile devices.

[BibT_eX]

[DOI]

Proceedings of the ARES 2021: The 16th International Conference on Availability, 2021

2020

Reasoning About Typicality and Probabilities in Preferential Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Applications and Practices in Ontology Design, 2020

An ASP approach for reasoning in a concept-aware multipreferential lightweight DL.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2020

Adding the power-set to description logics.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2020

A framework for a modular multi-concept lexicographic closure semantics.

[BibT_eX]

[DOI]

CoRR, 2020

Reasoning about Typicality and Probabilities in Preferential Description Logics.

[BibT_eX]

[DOI]

CoRR, 2020

Reasoning About Applicable Law in Private International Law in Logic Programming.

[BibT_eX]

[DOI]

Ken Satoh

Proceedings of the Legal Knowledge and Information Systems, 2020

On a Plausible Concept-wise Multipreference Semantics and its Relations with Self-organising Maps.

[BibT_eX]

[DOI]

Proceedings of the 35th Italian Conference on Computational Logic, 2020

Towards a Conditional Interpretation of Self Organizing Maps.

[BibT_eX]

[DOI]

Proceedings of the Italian Workshop on Explainable Artificial Intelligence co-located with 19th International Conference of the Italian Association for Artificial Intelligence, 2020

2019

Renvoi in Private International Law: A Formalization with Modal Contexts.

[BibT_eX]

[DOI]

Ken Satoh

Proceedings of the Legal Knowledge and Information Systems, 2019

Extending ALC with the Power-Set Construct.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Reasoning About Exceptions in Ontologies: An Approximation of the Multipreference Semantics.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

Extending ALC with the power-set construct.

[BibT_eX]

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

Strengthening the Rational Closure for Description Logics: An Overview.

[BibT_eX]

[DOI]

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

Verification with Answer Set Programming, Reasoning about Actions and Change, Constraints and Ontologies.

[BibT_eX]

[DOI]

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

ASP and Ontologies for Reasoning on Business Processes.

[BibT_eX]

[DOI]

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

2018

Towards a Rational Closure for Expressive Description Logics: the Case of 풮풽풾퓆.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2018

Defeasible Reasoning in 풮ℛ풪ℰℒ: from Rational Entailment to Rational Closure.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2018

Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure.

[BibT_eX]

[DOI]

CoRR, 2018

Reasoning about multiple aspects in DLs: Semantics and Closure Construction.

[BibT_eX]

[DOI]

CoRR, 2018

Power (Set) ALC.

[BibT_eX]

[DOI]

Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018

Power (Set) ALC (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 33rd Italian Conference on Computational Logic, 2018

Enriched Modeling and Reasoning on Business Processes with Ontologies and Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Forum, 2018

2017

Preface.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2017

RAT-OWL: Reasoning with Rational Closure in Description Logics of Typicality.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017

An Efficient Reasoner for Description Logics of Typicality and Rational Closure.

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshop on Description Logics, 2017

2016

ASP for minimal entailment in a rational extension of SROEL.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2016

Reasoning in a Rational Extension of SROEL.

[BibT_eX]

[DOI]

Proceedings of the 29th International Workshop on Description Logics, 2016

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

[BibT_eX]

[DOI]

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

Semantic characterization of rational closure: From propositional logic to description logics.

[BibT_eX]

[DOI]

Artif. Intell., 2015

Encoding a Preferential Extension of the Description Logic SROIQ into SROIQ.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems - 22nd International Symposium, 2015

DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

A Multi-engine Theorem Prover for a Description Logic of Typicality.

[BibT_eX]

[DOI]

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

A Hybrid Approach to the Verification of Computer Interpretable Guidelines.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Biomedical Knowledge Representation, 2015

2014

Logics in access control: a conditional approach.

[BibT_eX]

[DOI]

J. Log. Comput., 2014

Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology.

[BibT_eX]

[DOI]

Alessio Bottrighi

Proceedings of the Knowledge Representation for Health Care - 6th International Workshop, 2014

Minimal models for rational closure in SHIQ.

[BibT_eX]

[DOI]

Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014

Advances in the GINSENG Project.

[BibT_eX]

[DOI]

Paolo Terenziani

Alessio Bottrighi

Giuliana Franceschinis

Proceedings of the 2014 IEEE International Conference on Healthcare Informatics, 2014

Rational Closure in SHIQ.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2013

Business process verification with constraint temporal answer set programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Reasoning about actions with Temporal Answer Sets.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

On Rational Closure in Description Logics of Typicality

[BibT_eX]

[DOI]

CoRR, 2013

A non-monotonic Description Logic for reasoning about typicality.

[BibT_eX]

[DOI]

Artif. Intell., 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

Minimal Model Semantics and Rational Closure in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Towards a Second Generation of Computer Interpretable Guidelines.

[BibT_eX]

[DOI]

Paolo Terenziani

Alessio Bottrighi

Giuliana Franceschinis

Stefania Montani

Luigi Portinale

Proceedings of the DATA 2013 - Proceedings of the 2nd International Conference on Data Technologies and Applications, Reykjavík, Iceland, 29, 2013

A Semantics for Rational Closure: Preliminary Results.

[BibT_eX]

[DOI]

Proceedings of the 28th Italian Conference on Computational Logic, 2013

PreDeLo 1.0: A Theorem Prover for Preferential Description Logics.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 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]

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

A Minimal Model Semantics for Nonmonotonic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Preferential Low Complexity Description Logics: Complexity Results and Proof Methods.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 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

A Modal Reconstruction of Rational Closure.

[BibT_eX]

[DOI]

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

2011

Non-classical logics for knowledge representation and reasoning.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2011

A Tableau Calculus for a Nonmonotonic Extension of EL^\mathcal{EL}^\bot.

[BibT_eX]

[DOI]

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

A Conditional Constructive Logic for Access Control and Its Sequent Calculus.

[BibT_eX]

[DOI]

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

Reasoning about Typicality in Low Complexity DLs: The Logics EL⊥Tmin and DL-Litec Tmin.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods.

[BibT_eX]

[DOI]

Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 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

A Tableau Calculus for a Nonmonotonic Extension of the Description Logic $\mbox{\em DL-Lite}_{\mathit{core}}$.

[BibT_eX]

[DOI]

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

2010

Adopting model checking techniques for clinical guidelines verification.

[BibT_eX]

[DOI]

Artif. Intell. Medicine, 2010

A Nonmonotonic Extension of KLM Preferential Logic P.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Preferential vs Rational Description Logics: which one for Reasoning About Typicality?.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

A constructive conditional logic for access control: a preliminary report.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 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

Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment.

[BibT_eX]

[DOI]

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

A Constructive Conditional Logic for Access Control.

[BibT_eX]

[DOI]

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

Knowledge Representation and Non-monotonic Reasoning.

[BibT_eX]

[DOI]

Francesca Toni

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

2009

Tableau calculus for preference-based conditional logics: PCL and its extensions.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2009

Analytic tableaux calculi for KLM logics of nonmonotonic reasoning.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2009

ALC + T: a Preferential Extension of Description Logics.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Reasoning About Typicality in ALC and EL.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Reasoning about Typicality with Low Complexity Description Logics: The Logic EL+^T.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2009: Emergent Perspectives in Artificial Intelligence, 2009

2008

Reasoning about Typicality in Preferential Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 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

2007

Specifying and verifying interaction protocols in a temporal action logic.

[BibT_eX]

[DOI]

J. Appl. Log., 2007

KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning.

[BibT_eX]

[DOI]

Gian Luca Pozzato

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

Automatic Checking of the Correctness of Clinical Guidelines in GLARE.

[BibT_eX]

[DOI]

Proceedings of the MEDINFO 2007 - Proceedings of the 12th World Congress on Health (Medical) Informatics, 2007

Preferential Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 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

An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0.

[BibT_eX]

[DOI]

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

2006

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

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2006

Analytic Tableau Calculi for KLM Rational Logic R.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Automated Deduction for Logics of Default Reasoning.

[BibT_eX]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Reasoning About Web Services in a Temporal Action Logic.

[BibT_eX]

[DOI]

Proceedings of the Reasoning, 2006

Model Checking for Clinical Guidelines: an Agent-based Approach.

[BibT_eX]

[DOI]

Proceedings of the AMIA 2006, 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

Weak AGM postulates and strong Ramsey Test: A logical formalization.

[BibT_eX]

[DOI]

Artif. Intell., 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

Analytic Tableaux for KLM Preferential and Cumulative Logics.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2005

2004

Programming Rational Agents in a Modal Action Logic.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2004

Conditional logic of actions and causation.

[BibT_eX]

[DOI]

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

2003

Tableau Calculi for Preference-Based Conditional Logics.

[BibT_eX]

[DOI]

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

Reasoning about Communicating Agents in the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Semantic Web Reasoning, 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

2002

Iterated Belief Revision and Conditional Logic.

[BibT_eX]

[DOI]

Stud Logica, 2002

Towards a conditional logic of actions and causation.

[BibT_eX]

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

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

Belief Revision and the Ramsey Test: A Solution.

[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

A Conditional Logic for Iterated Belief Revision.

[BibT_eX]

Proceedings of the ECAI 2000, 2000

1998

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

[BibT_eX]

[DOI]

J. Log. Comput., 1998

Combining Negation as Failure and Embedded Implications in Logic Programs.

[BibT_eX]

[DOI]

J. Log. Program., 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

A Conditional Logic for Belief Revision.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

Dealing with Concurrent Actions in Modal Action Logics.

[BibT_eX]

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

1997

Workshop DYNAMICS 97: (Trans)Actions and Change in Logic Programming and Deductive Databases.

[BibT_eX]

Proceedings of the Logic Programming, 1997

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

Three-Valued Semantics for Extended Logic Programs.

[BibT_eX]

Piero A. Bonatti

Proceedings of the 1995 Joint Conference on Declarative Programming, 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

Defining Variants of Default Logic: a Modal Approach.

[BibT_eX]

[DOI]

Proceedings of the Methodologies for Intelligent Systems, 7th International Symposium, 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]

Gianfranco Rossi

Theor. Comput. Sci., 1992

Negation as Failure in Intuitionistic Logic Programming.

[BibT_eX]

Proceedings of the Logic Programming, 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]