Skip to contents Aljalbout, Sahar [Author]; Buchs, Didier [Author]; Falquet, Gilles [Author] ; Sahar Aljalbout and Didier Buchs and Gilles Falquet [Contributor] OWL^C: A Contextual Two-Dimensional Web Ontology Language Articles View online Schließen > Links ... to article via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019 Kaiser, Jonas [Author] ; Smolka, Gert [Contributor] Formal verification of the equivalence of system F and the pure type system L2 Thesis View online Schließen > Links ... to thesis via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Saarländische Universitäts- und Landesbibliothek, 2019 Kaiser, Jonas [Author]; Pientka, Brigitte [Author]; Smolka, Gert [Author] ; Jonas Kaiser and Brigitte Pientka and Gert Smolka [Contributor] Relating System F and Lambda2: A Case Study in Coq, Abella and Beluga Articles View online Schließen > Links ... to article via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017 Zarka, Raafat [Author] ; Lyon, INSA [Contributor]; Egyed-Zsigmond, Elöd [Contributor]; Mille, Alain [Contributor] Trace-based reasoning for user assistance and recommendations ; Raisonnement à partir de l'expérience tracée pour l'assistance à l'utilisateur et les recommandations Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2013-12-04 Elliott, W. Brooke [Author] ; Hobson, Jessen L. [Other]; Van Landuyt, Ben W. [Other]; White, Brian J. [Other] Asymmetric Motivated Reasoning in Investor Judgment : The Role of Conventional Contextual Preferences Books View online Schließen > Access ... to E-book via DOI (freely accessible) ... to E-book (freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [S.l.]: SSRN, [2020] Autexier, Serge [Author] Hierarchical contextual reasoning Books View online Schließen > Access ... to E-book via Resolving system (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2003 Ramoly, Nathan [Author] ; Université Paris-Saclay (ComUE) [Contributor]; Bouzeghoub, Amel [Contributor] Contextual integration of heterogeneous data in an open and opportunistic smart environment : application to humanoid robots ; Intégration contextuelle de données hétérogènes dans un environnement ambiant ouvert et opportuniste : application aux robots humanoïdes Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2018-07-02 Kuci, Edlira [Author] ; Mezini, Mira [Degree supervisor]; Ostermann, Klaus [Degree supervisor]; Erdweg, Sebastian [Degree supervisor] Co-Contextual Type Systems: Contextless Deductive Reasoning for Correct Incremental Type Checking Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via German National Library Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Darmstadt: Universitäts- und Landesbibliothek Darmstadt, 2020 Kaiser, Jonas [Author] ; Smolka, Gert [Degree supervisor] Formal verification of the equivalence of system F and the pure type system L2 Books View online Schließen > Access ... to E-book via DOI ... to E-book via Resolving system ... to E-book via German National Library Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2019 Frömer, Romy [Author] ; Sommer, Werner [Degree supervisor]; Stürmer, Birgit [Degree supervisor]; Holroyd, Clay [Degree supervisor] Learning to throw : contributions of contextual interference and individual differences to the acquisition of a complex motor skill : an investigation with event-related brain potentials Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via German National Library Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin: Lebenswissenschaftliche Fakultät, 2016 Autexier, Serge [Author] ; Jörg H. Siekmann [Contributor] Hierarchical contextual reasoning Thesis View online Schließen > Links ... to thesis via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Scientific publications of the Saarland University (UdS), 2004-09-23 Striegnitz, Kristina [Other] Generating anaphoric expressions : contextual reasoning in sentence planning Books View online Schließen > Access ... to E-book via Resolving system (Volltext ; freely accessible) ... to E-book via Deutsche Digitale Bibliothek (Volltext) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2005 Autexier, Serge [Author] Hierarchical contextual reasoning Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via German National Library Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Brézillon, Patrick; Pasquier, Laurent; Pomerol, Jean-Charles Reasoning with contextual graphs Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2002 Published in: European Journal of Operational Research, 136 (2002) 2, Seite 290-298 Benerecetti, M.; Bouquet, P.; Ghidini, C. Contextual reasoning distilled Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Informa UK Limited, 2000 Published in: Journal of Experimental & Theoretical Artificial Intelligence, 12 (2000) 3, Seite 279-305 Striegnitz, Kristina [Author] Generating anaphoric expressions : contextual reasoning in sentence planning Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via German National Library Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Girotto, Vittorio Contextual factors in deontic reasoning Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Informa UK Limited, 1995 Published in: Thinking & Reasoning, 1 (1995) 4, Seite 333-339 Zhang, Hantao CONTEXTUAL REWRITING IN AUTOMATED REASONING Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. IOS Press, 1995 Published in: Fundamenta Informaticae, 24 (1995) 1,2, Seite 107-123 Seo, Hyowoon; Park, Jihong; Bennis, Mehdi; Debbah, Mérouane Semantics-Native Communication via Contextual Reasoning Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2023 Published in: IEEE Transactions on Cognitive Communications and Networking, 9 (2023) 3, Seite 604-617 Bikakis, Antonis; Caire, Patrice Contextual and Possibilistic Reasoning for Coalition Formation Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. MDPI AG, 2020 Published in: AI, 1 (2020) 3, Seite 389-417
Aljalbout, Sahar [Author]; Buchs, Didier [Author]; Falquet, Gilles [Author] ; Sahar Aljalbout and Didier Buchs and Gilles Falquet [Contributor] OWL^C: A Contextual Two-Dimensional Web Ontology Language Articles View online Schließen > Links ... to article via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
Kaiser, Jonas [Author] ; Smolka, Gert [Contributor] Formal verification of the equivalence of system F and the pure type system L2 Thesis View online Schließen > Links ... to thesis via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Saarländische Universitäts- und Landesbibliothek, 2019
Kaiser, Jonas [Author]; Pientka, Brigitte [Author]; Smolka, Gert [Author] ; Jonas Kaiser and Brigitte Pientka and Gert Smolka [Contributor] Relating System F and Lambda2: A Case Study in Coq, Abella and Beluga Articles View online Schließen > Links ... to article via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
Zarka, Raafat [Author] ; Lyon, INSA [Contributor]; Egyed-Zsigmond, Elöd [Contributor]; Mille, Alain [Contributor] Trace-based reasoning for user assistance and recommendations ; Raisonnement à partir de l'expérience tracée pour l'assistance à l'utilisateur et les recommandations Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2013-12-04
Elliott, W. Brooke [Author] ; Hobson, Jessen L. [Other]; Van Landuyt, Ben W. [Other]; White, Brian J. [Other] Asymmetric Motivated Reasoning in Investor Judgment : The Role of Conventional Contextual Preferences Books View online Schließen > Access ... to E-book via DOI (freely accessible) ... to E-book (freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [S.l.]: SSRN, [2020]
Autexier, Serge [Author] Hierarchical contextual reasoning Books View online Schließen > Access ... to E-book via Resolving system (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2003
Ramoly, Nathan [Author] ; Université Paris-Saclay (ComUE) [Contributor]; Bouzeghoub, Amel [Contributor] Contextual integration of heterogeneous data in an open and opportunistic smart environment : application to humanoid robots ; Intégration contextuelle de données hétérogènes dans un environnement ambiant ouvert et opportuniste : application aux robots humanoïdes Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2018-07-02
Kuci, Edlira [Author] ; Mezini, Mira [Degree supervisor]; Ostermann, Klaus [Degree supervisor]; Erdweg, Sebastian [Degree supervisor] Co-Contextual Type Systems: Contextless Deductive Reasoning for Correct Incremental Type Checking Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via German National Library Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Darmstadt: Universitäts- und Landesbibliothek Darmstadt, 2020
Kaiser, Jonas [Author] ; Smolka, Gert [Degree supervisor] Formal verification of the equivalence of system F and the pure type system L2 Books View online Schließen > Access ... to E-book via DOI ... to E-book via Resolving system ... to E-book via German National Library Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2019
> Access ... to E-book via DOI ... to E-book via Resolving system ... to E-book via German National Library
Frömer, Romy [Author] ; Sommer, Werner [Degree supervisor]; Stürmer, Birgit [Degree supervisor]; Holroyd, Clay [Degree supervisor] Learning to throw : contributions of contextual interference and individual differences to the acquisition of a complex motor skill : an investigation with event-related brain potentials Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via German National Library Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin: Lebenswissenschaftliche Fakultät, 2016
Autexier, Serge [Author] ; Jörg H. Siekmann [Contributor] Hierarchical contextual reasoning Thesis View online Schließen > Links ... to thesis via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Scientific publications of the Saarland University (UdS), 2004-09-23
Striegnitz, Kristina [Other] Generating anaphoric expressions : contextual reasoning in sentence planning Books View online Schließen > Access ... to E-book via Resolving system (Volltext ; freely accessible) ... to E-book via Deutsche Digitale Bibliothek (Volltext) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2005
> Access ... to E-book via Resolving system (Volltext ; freely accessible) ... to E-book via Deutsche Digitale Bibliothek (Volltext)
Autexier, Serge [Author] Hierarchical contextual reasoning Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via German National Library Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this.
Brézillon, Patrick; Pasquier, Laurent; Pomerol, Jean-Charles Reasoning with contextual graphs Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2002 Published in: European Journal of Operational Research, 136 (2002) 2, Seite 290-298
Benerecetti, M.; Bouquet, P.; Ghidini, C. Contextual reasoning distilled Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Informa UK Limited, 2000 Published in: Journal of Experimental & Theoretical Artificial Intelligence, 12 (2000) 3, Seite 279-305
Striegnitz, Kristina [Author] Generating anaphoric expressions : contextual reasoning in sentence planning Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via German National Library Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this.
Girotto, Vittorio Contextual factors in deontic reasoning Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Informa UK Limited, 1995 Published in: Thinking & Reasoning, 1 (1995) 4, Seite 333-339
Zhang, Hantao CONTEXTUAL REWRITING IN AUTOMATED REASONING Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. IOS Press, 1995 Published in: Fundamenta Informaticae, 24 (1995) 1,2, Seite 107-123
Seo, Hyowoon; Park, Jihong; Bennis, Mehdi; Debbah, Mérouane Semantics-Native Communication via Contextual Reasoning Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2023 Published in: IEEE Transactions on Cognitive Communications and Networking, 9 (2023) 3, Seite 604-617
Bikakis, Antonis; Caire, Patrice Contextual and Possibilistic Reasoning for Coalition Formation Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. MDPI AG, 2020 Published in: AI, 1 (2020) 3, Seite 389-417
> Media type Skip to next facet Articles (90) Wert ausschließen Books (8) Wert ausschließen Thesis (4) Wert ausschließen Conference Proceedings (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (36) Wert ausschließen Without Specification (67) Wert ausschließen Show more show less
> Language Skip to next facet English (61) Wert ausschließen Not determined (41) Wert ausschließen Arabic (1) Wert ausschließen Indonesian (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (22) Wert ausschließen Mathmatics (11) Wert ausschließen Pedagogy (6) Wert ausschließen Technology (5) Wert ausschließen Chemistry and pharmacology (4) Wert ausschließen Philosophy (3) Wert ausschließen Psychology (2) Wert ausschließen Theology and religious studies (2) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (1) Wert ausschließen General (1) Wert ausschließen Ethnology and ethnography (1) Wert ausschließen Geography (1) Wert ausschließen History (1) Wert ausschließen Medicine (1) Wert ausschließen Physics (1) Wert ausschließen Economics (1) Wert ausschließen Show more show less
> Creator Skip to next facet Bikakis, Antonis (11) Wert ausschließen Antoniou, Grigoris (8) Wert ausschließen Artino, Anthony R. (3) Wert ausschließen Autexier, Serge (3) Wert ausschließen Caire, Patrice (3) Wert ausschließen Durning, Steven J. (3) Wert ausschließen Kaiser, Jonas (3) Wert ausschließen Lawton, Carol A. (3) Wert ausschließen McBee, Elexis (3) Wert ausschließen Ratcliffe, Temple (3) Wert ausschließen Schuwirth, Lambert (3) Wert ausschließen Smolka, Gert (3) Wert ausschließen van der Vleuten, Cees (3) Wert ausschließen Aljalbout, Sahar (2) Wert ausschließen Badard, Thierry (2) Wert ausschließen Bennis, Mehdi (2) Wert ausschließen Buchs, Didier (2) Wert ausschließen Daniel, Sylvie (2) Wert ausschließen Diallo, Belko Abdoul Aziz (2) Wert ausschließen Falquet, Gilles (2) Wert ausschließen Gonzalez, Avelino (2) Wert ausschließen Hollister, James (2) Wert ausschließen Hubert, Frédéric (2) Wert ausschließen Masel, Jennifer (2) Wert ausschließen Picho, Katherine (2) Wert ausschließen Seo, Hyowoon (2) Wert ausschließen Sharps, Matthew J. (2) Wert ausschließen Striegnitz, Kristina (2) Wert ausschließen Agus, Mirian (1) Wert ausschließen Amin, Nada (1) Wert ausschließen Anagnostopoulos, Christos (1) Wert ausschließen Antone, Matthew (1) Wert ausschließen Aptyka, Helena (1) Wert ausschließen Arifin, Slamet (1) Wert ausschließen Artino, Anthony R (1) Wert ausschließen BOZZATO, LORIS (1) Wert ausschließen Barrett, Gilbert C. (1) Wert ausschließen Battista, Alexis (1) Wert ausschließen Beggrow, Elizabeth P. (1) Wert ausschließen Benerecetti, M. (1) Wert ausschließen Beranek, Ladislav (1) Wert ausschließen Bock, Peter Brottveit (1) Wert ausschließen Bostic, Jonathan (1) Wert ausschließen Boulet, John R. (1) Wert ausschließen Bouquet, P. (1) Wert ausschließen Bouzeghoub, Amel (1) Wert ausschließen Brézillon, Patrick (1) Wert ausschließen Caldas, Carlos H. (1) Wert ausschließen Chang, Juno (1) Wert ausschließen Chen, Bohua (1) Wert ausschließen Chen, Jia (1) Wert ausschließen Choi, Wan (1) Wert ausschließen Christmas, W. J. (1) Wert ausschließen Coggins, James (1) Wert ausschließen Colby, Benjamin N. (1) Wert ausschließen DIETZ, EMMANUELLE-ANNA (1) Wert ausschließen Daranda, Andrius (1) Wert ausschließen De Saeger, Stijn (1) Wert ausschließen Debbah, Mérouane (1) Wert ausschließen Deng, Wenqing (1) Wert ausschließen Di Lascio, Rosario (1) Wert ausschließen Dietz Saldanha, Emmanuelle-Anna (1) Wert ausschließen Ding, Yinzhang (1) Wert ausschließen Dorrance, Kevin (1) Wert ausschließen Douglas, Joel (1) Wert ausschließen Durning, Steven J (1) Wert ausschließen Dwi Juniati (1) Wert ausschließen Dzemyda, Gintautas (1) Wert ausschließen EITER, THOMAS (1) Wert ausschließen Egyed-Zsigmond, Elöd (1) Wert ausschließen Elliott, W. Brooke (1) Wert ausschließen Erdweg, Sebastian (1) Wert ausschließen Esposito, Floriana (1) Wert ausschließen Fanizzi, Nicola (1) Wert ausschließen Feng, Zhiyong (1) Wert ausschließen Fiedler, Daniela (1) Wert ausschließen Fischer, Kurt W. (1) Wert ausschließen Foggia, Pasquale (1) Wert ausschließen Frömer, Romy (1) Wert ausschließen Ghidini, C. (1) Wert ausschließen Ghidini, Chiara (1) Wert ausschließen Girotto, Vittorio (1) Wert ausschließen Giunchiglia, Fausto (1) Wert ausschließen Glasner, Amnon (1) Wert ausschließen Gleeson, J. (1) Wert ausschließen Gong, Jie (1) Wert ausschließen Gonzalez, Avelino J. (1) Wert ausschließen Gredebäck, Gustaf (1) Wert ausschließen Großschedl, Jörg (1) Wert ausschließen Gu, Feng (1) Wert ausschließen Guessoum, Djamel (1) Wert ausschließen Guàrdia-Olmos, Joan (1) Wert ausschließen Ha, Minsu (1) Wert ausschließen Hadjiefthymiades, Stathes (1) Wert ausschließen Hamdi, Fayçal (1) Wert ausschließen Hao, Guosheng (1) Wert ausschließen Hasapis, Panayiotis (1) Wert ausschließen He, Junjie (1) Wert ausschließen Helwig, Charles C. (1) Wert ausschließen Herman, Tatang (1) Wert ausschließen Show more show less
> Collection Skip to next facet Springer Berlin Heidelberg (CrossRef) (13) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (8) Wert ausschließen Elsevier BV (CrossRef) (7) Wert ausschließen Informa UK Limited (CrossRef) (7) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (7) Wert ausschließen BASE - Bielefeld Academic Search Engine (6) Wert ausschließen Springer International Publishing (CrossRef) (6) Wert ausschließen Diss online (5) Wert ausschließen Lizenzfreie Online-Ressourcen (3) Wert ausschließen Springer Nature Switzerland (CrossRef) (3) Wert ausschließen Verbunddaten SWB (3) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (2) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (2) Wert ausschließen DOAJ Directory of Open Access Journals (2) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (2) Wert ausschließen Hindawi Limited (CrossRef) (2) Wert ausschließen National Council of Teachers of Mathematics (CrossRef) (2) Wert ausschließen Public Library of Science (PLoS) (CrossRef) (2) Wert ausschließen SAGE Publications (CrossRef) (2) Wert ausschließen Scientific publications of the Saarland University (UdS) (2) Wert ausschließen Wiley (CrossRef) (2) Wert ausschließen theses.fr (2) Wert ausschließen Agora University of Oradea (CrossRef) (1) Wert ausschließen Asia University (CrossRef) (1) Wert ausschließen Emerald (CrossRef) (1) Wert ausschließen IOP Publishing (CrossRef) (1) Wert ausschließen IOS Press (CrossRef) (1) Wert ausschließen ISTE Group (CrossRef) (1) Wert ausschließen JSTOR Arts & Sciences IV Archive (1) Wert ausschließen JSTOR Life Sciences Archive (1) Wert ausschließen JSTOR Mathematics & Statistics (1) Wert ausschließen MDPI AG (CrossRef) (1) Wert ausschließen Medknow (CrossRef) (1) Wert ausschließen Modestum Publishing Ltd (CrossRef) (1) Wert ausschließen Open Library of the Humanities (CrossRef) (1) Wert ausschließen Optica Publishing Group (CrossRef) (1) Wert ausschließen Oxford University Press (OUP) (CrossRef) (1) Wert ausschließen S. Karger AG (CrossRef) (1) Wert ausschließen SPIE (CrossRef) (1) Wert ausschließen Scientific Research Publishing, Inc. (CrossRef) (1) Wert ausschließen Springer Nature Singapore (CrossRef) (1) Wert ausschließen Universidad Nacional de Colombia (CrossRef) (1) Wert ausschließen Universitas Negeri Yogyakarta (CrossRef) (1) Wert ausschließen University of California Press (CrossRef) (1) Wert ausschließen University of Chicago Press (CrossRef) (1) Wert ausschließen Show more show less