Skip to contents

Michel, Frank [Author] ; Technische Universität Dresden

Hypothesis generation for object pose estimation : from local sampling to global reasoning

View online
Schließen

Access

... to E-book via Resolving system

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden, [2018?]
Ul Mehdi, Anees [Author] ; Studer, R. [Degree supervisor]

Epistemic Reasoning in OWL 2 DL

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.

Karlsruhe: KIT-Bibliothek, 2014
Bergmann, Ralph [Author]

On the Use of Taxonomies for Representing Case Features and Local Similarity Measures

View online
Schließen

Links

... to E-book

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU), 1998
Krishna, Siddharth [Author] ; Summers, Alex J. [Other]; Wies, Thomas [Other]

Local Reasoning for Global Graph Properties

View online
Schließen

Access

... to video recording via DOI (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021

Published in: 29th European Symposium on Programming, ESOP 2020 ; (Jan. 2021)
Brachman, Ronald J. [Author] ; Levesque, Hector J. [Contributor]

Knowledge representation and reasoning

View online
Schließen

Access

... to E-book

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

San Francisco, CA: Morgan Kaufmann, [2004]
Pearl, Judea [Author]

Probabilistic reasoning in intelligent systems : networks of plausible inference - [Revised second printing.]

View online
Schließen

Access

... to E-book

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

San Francisco, CA: Morgan Kaufmann Publishers, [1988]

Published in: The Morgan Kaufmann series in representation and reasoning
Sofronie-Stokkermans, Viorica [Author]; Ihlemann, Carsten [Author]; Jacobs, Swen [Author] ; Viorica Sofronie-Stokkermans and Carsten Ihlemann and Swen Jacobs [Contributor]

Local Theory Extensions, Hierarchical Reasoning and Applications to Verification

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, 2007
Riesterer, Nicolas [Author] ; Ragni, Marco [Degree supervisor]; Ragni, Marco [Other]; Bödecker, Joschka [Other] Albert-Ludwigs-Universität Freiburg Fakultät für Angewandte Wissenschaften

Modeling human reasoning: benchmarking, analysis, and improvement

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.

Freiburg: Universität, 2022
Kapaun, Christian [Author] ; Hahn, Petra [Degree supervisor]

Entwicklung eines Script Concordance Tests zur Messung der Fähigkeit von Studierenden klinische Daten in der Zahnerhaltungskunde zu interpretieren

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.

Freiburg: Universität, 2014
Sioutis, Michael [Author]; Wolter, Diedrich [Author] ; Michael Sioutis and Diedrich Wolter [Contributor]

Dynamic Branching in Qualitative Constraint Networks via Counting Local Models

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, 2020
Brunet, Paul [Author]; Pym, David [Author] ; Paul Brunet and David Pym [Contributor]

Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra

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, 2020
Rogers, Cynthia L. [Author]

When rent seeking smacks you in the face : TIF and motivated reasoning

View online
Schließen

Access

... to article (PDF document ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2020

Published in: The review of regional studies ; 50(2020), 3, Seite 329-340
May, Matthew E. [Author]

Winning the brain game : fixing the 7 fatal flaws of thinking

View online
Schließen

Access

... to E-book

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York: McGraw Hill Education, [2016]
Stafford, Tom [Author] ; Webb, Matt [Contributor] Safari Tech Books Online

Mind hacks

View online
Schließen

Access

... to E-book

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Sebastopol, Calif.: O'Reilly Media, c2005
Robinson, J. A [Contributor]; Voronkov, A [Contributor]

Handbook of automated reasoning

View online
Schließen

Access

... to E-book

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam ;: Elsevier ;, c2001
Sioutis, Michael [Author]; Paparrizou, Anastasia [Author]; Condotta, Jean-François [Author] ; Michael Sioutis and Anastasia Paparrizou and Jean-François Condotta [Contributor]

Collective Singleton-Based Consistency for Qualitative Constraint Networks

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
Mueller, Erik T. [Author]

Commonsense reasoning : an event calculus based approach - [Second edition.]

View online
Schließen

Access

... to E-book

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Waltham, MA: Morgan Kaufmann, [2015]
Jacobs, Swen [Author] ; Sofronie-Stokkermans, Viorica [Contributor]

Hierarchic decision procedures for verification

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), 2010-05-04
Whimbey, Arthur [Author] ; Lochhead, Jack [Contributor]

Problem solving and comprehension - [6th ed.]

View online
Schließen

Access

... to E-book

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York: Routledge, 2010
Mueller, Erik T [Author]

Commonsense reasoning

View online
Schließen

Access

... to E-book

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

San Francisco, CA: Morgan Kaufmann Publishers, c2006

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication