The following pages link to Laura Giordano (Q596474):
Displayed 50 items.
- Item:Q596474 (redirect page) (← links)
- A non-monotonic description logic for reasoning about typicality (Q360113) (← links)
- Programming rational agents in a modal action logic (Q596475) (← links)
- Conditional logic of actions and causation (Q814610) (← links)
- Tableau-based automata construction for dynamic linear time temporal logic (Q862830) (← links)
- Semantic characterization of rational closure: from propositional logic to description logics (Q898736) (← links)
- Extending Horn clause logic with implication goals (Q1186427) (← links)
- On cumulative default logics (Q1321059) (← links)
- Iterated belief revision and conditional logic (Q1602962) (← links)
- Adding the power-set to description logics (Q1989328) (← links)
- A reconstruction of multipreference closure (Q2046040) (← links)
- Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model (Q2055796) (← links)
- On the KLM properties of a fuzzy DL with typicality (Q2146055) (← links)
- Extending \(\mathcal{ALC}\) with the power-set construct (Q2296722) (← links)
- Reasoning about exceptions in ontologies: an approximation of the multipreference semantics (Q2297768) (← links)
- Specifying and verifying interaction protocols in a temporal action logic (Q2372184) (← links)
- Weak AGM postulates and strong Ramsey test: A logical formalization (Q2457649) (← links)
- Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL (Q2694571) (← links)
- Implementation of choice of jurisdiction and law in private international law by PROLEG meta-interpreter (Q2695506) (← links)
- Reasoning about actions in dynamic linear time temporal logic (Q2716929) (← links)
- (Q2852084) (← links)
- A Minimal Model Semantics for Nonmonotonic Reasoning (Q2915074) (← links)
- Logics in access control: a conditional approach (Q2937691) (← links)
- Analytic tableaux calculi for KLM logics of nonmonotonic reasoning (Q2946576) (← links)
- Tableau calculus for preference-based conditional logics (Q2946579) (← links)
- A Conditional Constructive Logic for Access Control and Its Sequent Calculus (Q3010367) (← links)
- A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$ (Q3010368) (← links)
- Extending negation as failure by abduction: A three-valued stable model semantics (Q3128616) (← links)
- Verifying Agents’ Conformance with Multiparty Protocols (Q3393379) (← links)
- ALC + T: a Preferential Extension of Description Logics (Q3400571) (← links)
- Achieving completeness in the verification of action theories by Bounded Model Checking in ASP (Q3458887) (← links)
- Preferential Description Logics (Q3498470) (← links)
- Reasoning about Typicality in Preferential Description Logics (Q3532467) (← links)
- Analytic Tableau Calculi for KLM Rational Logic R (Q3533131) (← links)
- Knowledge Representation and Non-monotonic Reasoning (Q3578392) (← links)
- Verifying Business Process Compliance by Reasoning about Actions (Q3582738) (← links)
- Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results (Q3643136) (← links)
- (Q3838802) (← links)
- A modal extension of logic programming: modularity, beliefs and hypothetical reasoning (Q4221295) (← links)
- Combining negation as failure and embedded implications in logic programs (Q4223469) (← links)
- (Q4246975) (← links)
- Structuring logic programs: a modal approach (Q4311648) (← links)
- (Q4448379) (← links)
- Conditional reasoning in logic programming (Q4484723) (← links)
- Ramification and causality in a modal action logic (Q4522330) (← links)
- ASP for minimal entailment in a rational extension of SROEL (Q4593055) (← links)
- An abductive proof procedure for conditional logic programming (Q4632300) (← links)
- Towards a Rational Closure for Expressive Description Logics: the Case of 𝒮𝒽𝒾𝓆 (Q4637881) (← links)
- Defeasible Reasoning in 𝒮ℛ𝒪ℰℒ: from Rational Entailment to Rational Closure (Q4686517) (← links)
- (Q4708933) (← links)