#### Filter Results:

- Full text PDF available (93)

#### Publication Year

1988

2017

- This year (2)
- Last 5 years (38)
- Last 10 years (80)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
- Artif. Intell.
- 2013

Article history: Received 8 August 2011 Received in revised form 5 October 2012 Accepted 8 October 2012 Available online xxxx

In this thesis we work on normal multimodal logics, that are general modal systems with an arbitrary set of normal modal operators, focusing on the class of inclusion modal logics. This class of logics, first introduced by Fariñas del Cerro and Penttonen, includes some well-known non-homogeneous multimodal systems characterized by interaction axioms of the… (More)

In this paper we present a prefixed analytic tableau calculus for a class of normal multimodal logics and we present some results about decidability and undecidability of this class. The class is characterized by axioms of the form [t1] . . . [tn]φ ⊃ [s1] . . . [sm]φ, called inclusion axioms, where the ti’s and sj ’s are constants. This class of logics,… (More)

- Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
- Description Logics
- 2013

We define the notion of rational closure in the context of Description Logics. We start from an extension of ALC with a typicality operator T allowing to express concepts of the form T(C), whose meaning is to select the “most normal” instances of a concept C. The semantics we consider is based on rational models and exploits a minimal models mechanism based… (More)

- Matteo Baldoni, Laura Giordano, Alberto Martelli
- JICSLP
- 1996

In this paper we present a framework for developing modal extensions of logic programming , which are parametric with respect to the properties chosen for the modalities and which allow sequences of modalities of the form t], where t is a term of the language, to occur in front of clauses, goals and clause heads. The properties of modalities are speciied by… (More)

- Laura Giordano, Nicola Olivetti, Valentina Gliozzi, Gian Luca Pozzato
- Fundam. Inform.
- 2009

We extend the Description Logic ALC with a “typicality” operator T that allows us to reason about the prototypical properties and inheritance with exceptions. The resulting logic is called ALC + T. The typicality operator is intended to select the “most normal” or “most typical” instances of a concept. In our framework, knowledge bases may then contain, in… (More)

- Laura Giordano, Alberto Martelli, Camilla Schwind
- J. Applied Logic
- 2007

In this paper we develop a logical framework for specifying and verifying systems of communicating agents and interaction protocols. The framework is based on Dynamic Linear Time Temporal Logic (DLTL), which extends LTL by strengthening the until operator by indexing it with the regular programs of dynamic logic. The framework provides a simple… (More)

- Laura Giordano, Alberto Martelli
- J. Log. Program.
- 1994

- Laura Giordano, Valentina Gliozzi, Nicola Olivetti
- Studia Logica
- 2002

- Matteo Baldoni, Laura Giordano, Alberto Martelli
- TABLEAUX
- 1998