• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium:
    
    • Online (33)
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 Hits 1 – 20 of 33 1 tptp-utils 1.1 ... Steen, Alexander. - : Zenodo, 2022 BASE Show details 2 tptp-utils 1.1 ... Steen, Alexander. - : Zenodo, 2022 BASE Show details 3 Formalization of AMR Inference via Hybrid Logic Tableaux ... Goldner, Eli Tecumseh. - : Brandeis University, 2022 BASE Show details 4 Leo-III – A Theorem Prover for Higher-Order Logic ... Steen, Alexander; Benzmueller, Christoph. - : Zenodo, 2021 BASE Show details 5 Leo-III 1.6 ... Steen, Alexander. - : Zenodo, 2021 BASE Show details 6 Leo-III 1.6 ... Steen, Alexander. - : Zenodo, 2021 BASE Show details 7 Discovering Geometric Inequalities: The Concourse of GeoGebra Discovery, Dynamic Coloring and Maple Tools Tomás Recio; Rafael Losada; Zoltán Kovács... In: Mathematics ; Volume 9 ; Issue 20 (2021) BASE Show details 8 Leo-III 1.5 – A Theorem Prover for Higher-Order Logic ... Steen, Alexander; Benzmueller, Christoph. - : Zenodo, 2020 BASE Show details 9 A bidirectional mapping between English and CNF-based reasoners Abney, Steven In: Proceedings of the Society for Computation in Linguistics (2018) BASE Show details 10 Using Case-Based Reasoning to Improve the Quality of Feedback Provided by Automated Assessment Systems for Programming Exercises Kyrilov, Angelo. - : eScholarship, University of California, 2017 In: Kyrilov, Angelo. (2017). Using Case-Based Reasoning to Improve the Quality of Feedback Provided by Automated Assessment Systems for Programming Exercises. UC Merced: Electrical Engineering and Computer Science. Retrieved from: http://www.escholarship.org/uc/item/0r05m1m4 (2017) BASE Show details 11 Integrating phenotype ontologies with PhenomeNET Rodr?guez-Garc?a, Miguel ?ngel; Gkoutos, Georgios; Schofield, Paul N.. - 2017 BASE Show details 12 Axiomatized Relationships between Ontologies Chui, Carmen. - 2013 BASE Show details 13 A DL-Based Approach to Integrate Relational Data Sources into the Semantic Web ; Une approche basée sur la logique de description pour l'intégration de données relationnelles dans le web sémantique Nguyen, Thi-Dieu-Thu. - : HAL CCSD, 2008 In: https://tel.archives-ouvertes.fr/tel-00507482 ; Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2008. English (2008) BASE Show details 14 Coordinating Semantic Peers P. Bouquet; L. Serafini; S. Zanobini In: http://dit.unitn.it/~bouquet/papers/aimsa-2004-semantic-peers.pdf (2004) BASE Show details 15 A Hybrid Model For Sharing Information Between Fuzzy, Uncertain And Default Reasoning Models In Multi-Agent Systems Xudong Luo; Chengqi Zhang; Nicholas R. Jennings In: http://www.ecs.soton.ac.uk/~xl/00F18.ps (2002) BASE Show details 16 A Hybrid Model For Sharing Information Between Fuzzy, Uncertain And Default Reasoning Models In Multi-Agent Systems Xudong Luo; Chengqi Zhang; Nicholas R. Jennings L In: http://www.ecs.soton.ac.uk/~nrj/download-files/jufkbs.pdf (2002) BASE Show details 17 Towards the Use of Automated Reasoning in Discourse Disambiguation Claire Gardent; Bonnie Webber In: ftp://ftp.coli.uni-sb.de/pub/people/claire/gardentwebber01.ps (2001) BASE Show details 18 Towards the Use of Automated Reasoning in Discourse Disambiguation Gardent, Claire; Webber, Bonnie In: ISSN: 0925-8531 ; EISSN: 1572-9583 ; Journal of Logic, Language and Information ; https://hal.inria.fr/inria-00100448 ; Journal of Logic, Language and Information, Springer Verlag, 2001, 10 (4), pp.487-509. ⟨10.1023/A:1017916706972⟩ (2001) BASE Show details 19 EXPTIME tableaux for ALC Francesco M. Donini; Fabio Massacci In: http://www.ing.unitn.it/~massacci/papers/doni-mass-00-AIJ.pdf (2000) BASE Show details 20 Automated Reasoning for Computational Semantics Patrick Blackburn; Johan Bos; Michael Kohlhase In: http://www.ags.uni-sb.de/~kohlhase/submit/nlded-99.ps.gz (1999) BASE Show details Page: 1 2

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 33 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0