Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
    Datensatz exportieren als...
  • BibTeX
Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings
1st Edition 2021, 2021
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Iterated Belief Change the Case of Expansion Into Inconsistency
2017 Brazilian Conference on Intelligent Systems (BRACIS), 2017, p.420-425
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Belief Change and Non-Monotonic Reasoning Sans Compactness
Proceedings of the ... AAAI Conference on Artificial Intelligence, 2019, Vol.33 (1), p.3019-3026
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Characterizations for XPathR(↓)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\text {XPath}^{}_{{\mathcal R}}(\downarrow ){}$$\end{document}
Logic, Language, Information, and Computation, 2021, p.319-336
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Provability Games for Non-classical Logics: Mezhirov Game for MPC\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {MPC}$$\end{document}, KD!\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \be
Logic, Language, Information, and Computation, 2021, p.408-425
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Provability Games for Non-classical Logics
Logic, Language, Information, and Computation, 2021, Vol.13038
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Characterizations for XPathR("3223379 )
Logic, Language, Information, and Computation, 2021, Vol.13038
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Organization
Logic, Language, Information, and Computation, 2021, Vol.13038
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Intro
Logic, Language, Information, and Computation, 2021, Vol.13038
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Games for Hybrid Logic
Logic, Language, Information, and Computation, 2021, Vol.13038
2021
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
The Role of Non-monotonic Reasoning in Future Development of Artificial Intelligence (Dagstuhl Perspectives Workshop 19072)
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Algorithms for Multiple Contraction and an Application to OWL Ontologies
2014 Brazilian Conference on Intelligent Systems, 2014, p.366-371
2014
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
The Universe of Approximations
Electronic notes in theoretical computer science, 2003-09, Vol.84, p.91-104
2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Li-Fraumeni Ontology: A Case Study of an Ontology for Knowledge Discovery in a Cancer Domain
2015 Brazilian Conference on Intelligent Systems (BRACIS), 2015, p.157-162
2015
Volltextzugriff (PDF)
1 – 14 von 14
Suche als RSS-Feed
Aktive Filter
Nur zeigenGeprüft (Peer-Review)
Suchergebnisse filtern
Filter anzeigen