1
0
0
(1 - 43 from 94
)
DL Workshop Programme for July 29 (Wednesday)
dl.kr.org
10:30 – 10:50, Laura Giordano, Valentina Gliozzi, Nicola Olivetti and Gian Luca Pozzato. Reasoning About Typicality in ALC and EL. Poster announcements.
- LPNMR'09: Accepted Papers
www.cs.uni-potsdam.de
Representing Multi-Agent Systems in CLP; Laura Giordano, Valentina Gliozzi, Nicola Olivetti and Gian Luca Pozzato. Prototypical reasoning with low complexity ...
Publications of Laura Giordano - people.unipmn.it
people.unipmn.it
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato. Rational Closure in SHIQ. In Description Logics 2014: , July 2014, Vienna. CEUR Workshop Proceedings Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato. Minimal …
Publications of Laura Giordano
people.unipmn.it
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Semantic characterization of rational closure: From propositional logic to description ...
Papers matching 'Valentina Gliozzi' - PhilPapers
philpapers.org
Laura Giordano, Valentina Gliozzi & Nicola Olivetti (2002). Iterated Belief Revision and Conditional Logic. Studia Logica 70 (1): In this paper we propose a ...
Valentina Gliozzi, A Conditional Logic for Iterated Belief ...
philpapers.org
In this paper we (Laura Giordano, Nicola Olivetti and myself) propose a conditional logic to represent iterated belief revision systems. We propose a set of postulates for belief revision which are ...
Laura Giordano, Valentina Gliozzi & Nicola Olivetti, Iterated belief...
philpapers.org
In this paper we propose a conditional logic called IBC to represent iterated belief revision systems. We propose a set of postulates for iterated revision...
Valentina Gliozzi | XanEdu Customization Platform
www.academicpub.com
Author: Valentina Gliozzi. Results. Iterated Belief Revision and Conditional Logic Springer Science+Business Media By: Laura Giordano ...
ECAI 2004: 16th European Conference on Artificial ...books.google.com › books
books.google.de
... Gheorghiu Chiara Ghidini Aditya Ghose Attilio Giordana Laura Giordano Enrico Giunchiglia Marie - Pierre Gleizes Valentina Gliozzi Lluis Godo Randy Goebel ...
ECAI 2010: 19th European Conference on Artificial Intelligence,
books.google.de
Laura Giordano, Valentina Gliozzi, Nicola Olivetti and Gian Luca Pozzato Refining the Notion of Effort Bernhard Heinemann A Constructive Conditional Logic for Access Control: A Preliminary Report Valerio Genovese, Laura Giordano, Valentina Gliozzi and Gian Luca Pozzato A Logical Model of Intention and Plan ...
Stairs 2010: Proceedings of the Fifth Starting AI Researchers'...
books.google.de
Gian Luca Pozzato, Laura Giordano and Valentina Gliozzi for useful comments and suggestions about the completeness proof which is based on a joint work ...
Valentina Gliozzi - researchr alias
researchr.org
A non-monotonic Description Logic for reasoning about typicalityLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato. ai, 195: ,
[ ] A reconstruction of the multipreference closure
arxiv.org
Authors: Laura Giordano, Valentina Gliozzi (Submitted on 5 May 2019) Abstract: The paper describes a preferential approach for dealing with exceptions in KLM preferential logics, based on the rational closure. It is well known that the rational closure does not allow an independent handling of the inheritance of different defeasible properties ...
CiteSeerX — Nicola Olivetti
citeseerx.ist.psu.edu
BibTeX @MISC{Giordano_nicolaolivetti, author = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {Nicola Olivetti}, year = {}}
NICOLA OLIVETTI PUBLICATIONSwww.lsis.org › olivetti › Publications
www.lsis.org
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti: DysToPic: a Multi-Engine Theorem Prover for Preferential Description ...
CiteSeerX — G.: A minimal model semantics for rational closure
citeseer.ist.psu.edu
BibTeX @INPROCEEDINGS{Giordano_g.:a, author = {Laura Giordano and Valentina Gliozzi and Nicola Olivetti and Gian Luca Pozzato}, title = {G.:
DBLP - Valentina Gliozzi
dblp.cloudmining.net
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato : A non- monotonic Description Logic for reasoning about typicality. Artif. Intell.
Valentina Gliozzi - dblpdblp.org › Persons
dblp.org
Laura Giordano, Valentina Gliozzi: Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure.
Search results for "Laura Giordano 0001" – …
dblp.l3s.uni-hannover.de
Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind: Non-Classical Logics for Knowledge Representation and Reasoning.
CORE
core.ac.uk
By Laura Giordano, Valentina Gliozzi, Nicola Olivetti and Gian Luca Pozzato. Abstract. Abstract. 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 ...
Logics in Artificial Intelligence | SpringerLink
link.springer.com
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato. Pages Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights. Lluís Godo, Enrico Marchioni, Pere Pardo. Pages On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility.
10 - IOS Press Ebooksebooks.iospress.nl › Publication › Descendants
ebooks.iospress.nl
Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato. Pages DOI Abstract. We define an ...
PreDeLo 1.0: A Theorem Prover for Preferential Description Logics |...
link.springer.com
Laura Giordano, Valentina Gliozzi, Adam Jalal, Nicola Olivetti, and Gian Luca Pozzato Subject: AI*IA 2013: Advances in Artificial Intelligence Created Date:
Internet Archive Search: creator:"Valentina Gliozzi"
archive.org
On Rational Closure in Description Logics of Typicality - Laura Giordano We define the notion of rational closure in the context of Description Logics extended ...
Logiche condizionali e revisione delle credenze. Laura Giordano,...
docplayer.it
1 Logiche condizionali e revisione delle credenze Laura Giordano, Valentina Gliozzi, Nicola Olivetti. 2 Aspetto di agenti: credenze (no goals, né intenzioni).
TDGS - "Gian Luca Pozzato"
juliette.lsi.us.es
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato. Description LogicsFetch ...
Gian Luca Pozzato - Theorem Provers - DiUniTo
www.di.unito.it
Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning, In Nicola Olivetti, Eds, Automated Reasoning with Analytic Tableaux and Related Methods - Proceedings of TABLEAUX (16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods ...
A Conditional Constructive Logic for Access Control and Its ...icr.uni.lu › bibtexbrowser
icr.uni.lu
by Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato. Reference: A Conditional Constructive Logic for Access Control and Its Sequent ...
NMR th International Workshop on Non-Monotonic ...
www.dbai.tuwien.ac.at
Laura Giordano, Valentina Gliozzi, Nicola Olivetti and Gian Luca Pozzato Preferential Low Complexity Description Logics: Complexity Results and Proof Methods Meghyn Bienvenu
Accepted papersproject.inria.fr › program-2 › accepted-papers
project.inria.fr
Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato and Riccardo Renzulli. An Efficient Reasoner for Description Logics of Typicality and Rational Closure.
HAL-SHS - Sciences de l'Homme et de la Société - A Conditional Logic...
halshs.archives-ouvertes.fr
Valentina Gliozzi AuthorId : Author. Hide details. Abstract : In this paper we (Laura Giordano, Nicola Olivetti and myself) propose a conditional logic to represent iterated belief revision systems. We propose a set of postulates for belief revision which are a small variant of Darwiche and Pearl's ones.The resulting ...
A constructive conditional logic for access control IOS Press Ebooksebooks.iospress.nl/volumearticle/5970
ebooks.iospress.nl
cover. A constructive conditional logic for access control: a preliminary report. Authors. Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato.
Aix-Marseille Université - Towards a Rational Closure for ...hal-amu.archives-ouvertes.fr › hal-0...
hal-amu.archives-ouvertes.fr
Laura Giordano, Valentina Gliozzi, Nicola Olivetti. Towards a Rational Closure for Expressive Description Logics:the Case of SHIQ. Fundamenta Informaticae ...
LPAR-12 Accepted Papers
www.cs.miami.edu
Accepted Papers Regular Papers . Christian Anger, Martin Gebser, Thomas Linke, Andre Neumann and Torsten Schaub ... Laura Giordano, Valentina Gliozzi,
Accepted Papers | - CILC 2017cilc2017.unina.it/?page_id=520
cilc2017.unina.it
A Logic-Based Compliance Check and its Evaluation on Real Data; Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato and Riccardo Renzulli. RAT- OWL: ...
Browse Title Indexwww.aaai.org › ocs › IJCAI › IJCAI11 › search › titles
www.aaai.org
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, GianLuca Pozzato. Twenty-Second International Joint Conference on Artificial ...
ECSQARU Mathematical Institute SANUwww.mi.sanu.ac.rs › ~ecsqaru2019 › acceptedPapers
www.mi.sanu.ac.rs
... Conjunction of Conditional Events and T-norms; • Laura Giordano and Valentina Gliozzi, Reasoning about exceptions in ontologies: an approximation of the ...
Conference Report: CILC – Association for Logic Programming
www.cs.nmsu.edu
... Gavanelli, for their helpful suggestions and support to the organization of the event. Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato ...
JELIA Toulouse - IRIT
www.irit.fr
... Laura Giordano, Valentina Gliozzi, Nicola Olivetti and Gian Luca Pozzato: A minimal model semantics for nonmonotonic reasoning; Nicolas Troquard and Dirk ...
CILC conference report | GULP
www.programmazionelogica.it
(from left to right Francesca Toni, Daniele Theseider Dupré, Emanuele De Angelis, Alberto Policriti, Marianna Nicolosi-Asmundo, Mauro ferrari, Marco Montali, Silvio Ghilardi, Camillo Fiorentini, Valentina Gliozzi, Loris Bozzato, Maurizio Proietti, Viviana Mascardi, Stefano Ferilli, Laura Giordano, Marco ...
JTabWb: a Java Framework for Implementing Terminating Sequent ...
content.iospress.com
Guest editors: Laura Giordano, Valentina Gliozzi, Alberto Pettorossi and Gian Luca Pozzato. Article type: Research Article. Authors: Ferrari ...
'[Haskell] CFP: M4M-4 Program and Call for Participation' - MARC
marc.info
... quantitative properties with LTL over concrete domains Laura Giordano, Valentina Gliozzi, Nicola Olivetti and Camilla Schwind: Extensions of ...
CiteSeerX — Active Bibliography: Defeasible Inclusions in...
citeseer.uark.edu
A Non-monotonic Description Logic of – Laura Giordano, Valentina Gliozzi, Nicola ,2,6 – Laura Giordano, Valentina Gliozzi, Université “paul Cézanne, Gian ...
All web results to the name "Valentina Gliozzi"
Related search requests for Valentina Gliozzi
| Gian Luca Luca Pozzato Nicola Olivetti | Alberto Martelli Valerio Genovese Silvia Gattino | Lluis Godo Stefano Gotti Enrico Giraudo |
Person "Gliozzi" (1) Forename "Valentina" (15354) Name "Gliozzi" (26) |
sorted by relevance / date