Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""Gliozzi, Valentina"" wg kryterium: Autor


Tytuł:
Reasoning About Exceptions in Ontologies: An Approximation of the Multipreference Semantics
Autorzy:
Giordano, Laura
Gliozzi, Valentina
Pokaż więcej
Źródło:
Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings. 11726:212-225
Książka elektroniczna
Tytuł:
Reasoning about Multiple Aspects in Rational Closure for DLs
Autorzy:
Gliozzi, Valentina
Pokaż więcej
Źródło:
AI*IA 2016 Advances in Artificial Intelligence : XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 – December 1, 2016, Proceedings. 10037:392-405
Książka elektroniczna
Tytuł:
Encoding a Preferential Extension of the Description Logic
Autorzy:
Giordano, Laura
Gliozzi, Valentina
Pokaż więcej
Źródło:
Foundations of Intelligent Systems : 22nd International Symposium, ISMIS 2015, Lyon, France, October 21-23, 2015, Proceedings. 9384:248-258
Książka elektroniczna
Tytuł:
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning
Autorzy:
Giordano, Laura
Gliozzi, Valentina
Pozzato, Gian Luca
Pokaż więcej
Źródło:
Automated Reasoning with Analytic Tableaux and Related Methods : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings. 4548:238-244
Książka elektroniczna

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies