Skip to contents

Baral, Chitta [Editor]; Brewka, Gerhard [Other]; Schlipf, John [Other] ; LPNMR 9 2007 Tempe, Ariz

Logic programming and nonmonotonic reasoning : 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15 - 17, 2007 ; proceedings

Close

Bookmarks

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

Berlin; Heidelberg [u.a.]: Springer, 2007

Published in: Lecture notes in computer science ; 4483
Baral, Chitta [Other]; Brewka, Gerhard [Other]; Schlipf, John [Other]

Logic Programming and Nonmonotonic Reasoning : 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007

Published in: Lecture notes in computer science ; 4483
Haizmann, Florian [Other]; Cheng, Po Wen [Other]; Schlipf, David [Other]; Raach, Steffen [Other]; Scholbrock, Andrew [Other]; Wright, Alan [Other]; Slinger, Chris [Other]; Medley, John [Other]; Harris, Michael [Other]; Bossanyi, Ervin [Other]

Optimization of a feed-forward controller using a CW-lidar system on the CART3

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

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

Stuttgart: Universitätsbibliothek der Universität Stuttgart, 2015
Haizmann, Florian [Other]; Cheng, Po Wen [Other]; Schlipf, David [Other]; Raach, Steffen [Other]; Scholbrock, Andrew [Other]; Wright, Alan [Other]; Slinger, Chris [Other]; Medley, John [Other]; Harris, Michael [Other]; Bossanyi, Ervin [Other]

Optimization of a feed-forward controller using a CW-lidar system on the CART3

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

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

Stuttgart: Universitätsbibliothek der Universität Stuttgart, 2015
Seitzer, Jennifer; Schlipf, John

Logic Programming And Nonmonotonic Reasoning: Affordable classes of normal logic programs

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Springer Berlin Heidelberg, 1997

Published in: Logic Programming And Nonmonotonic Reasoning
Schlipf, John S.

Complexity and undecidability results for logic programming

View online
Schließen

Access

Close

Bookmarks

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

Springer Science and Business Media LLC, 1995

Published in: Annals of Mathematics and Artificial Intelligence
Schlipf, John S.

Formalizing a logic for logic programming

View online
Schließen

Access

Close

Bookmarks

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

Springer Science and Business Media LLC, 1992

Published in: Annals of Mathematics and Artificial Intelligence
Schlipf, John S.

Decidability and definability with circumscription

View online
Schließen

Access

Close

Bookmarks

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

Elsevier BV, 1987

Published in: Annals of Pure and Applied Logic
Schlipf, John Stewart

Recursively saturated models of set theory

View online
Schließen

Access

Close

Bookmarks

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

American Mathematical Society (AMS), 1980

Published in: Proceedings of the American Mathematical Society
Schlipf, John Stewart

Recursively Saturated Models of Set Theory

View online
Schließen

Access

Close

Bookmarks

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

JSTOR, 1980

Published in: Proceedings of the American Mathematical Society
Schlipf, John Stewart

Recursively Saturated Models of Set Theory

View online
Schließen

Access

Close

Bookmarks

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

American Mathematical Society, 1980

Published in: Proceedings of the American Mathematical Society
Schlipf, John Stewart

Toward model theory through recursive saturation

View online
Schließen

Access

Close

Bookmarks

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

Cambridge University Press (CUP), 1978

Published in: Journal of Symbolic Logic
Schlipf, John Stewart

Toward Model Theory Through Recursive Saturation

View online
Schließen

Access

Close

Bookmarks

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

Association for Symbolic Logic, Inc., 1978

Published in: The Journal of Symbolic Logic
Schlipf, John S.

A guide to the identification of admissible sets above structures

View online
Schließen

Access

Close

Bookmarks

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

Elsevier BV, 1977

Published in: Annals of Mathematical Logic
Schlipf, John Stewart

Ordinal spectra of first-order theories

View online
Schließen

Access

Close

Bookmarks

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

Cambridge University Press (CUP), 1977

Published in: Journal of Symbolic Logic
Schlipf, John Stewart

Ordinal Spectra of First-Order Theories

View online
Schließen

Access

Close

Bookmarks

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

Association for Symbolic Logic, Inc., 1977

Published in: The Journal of Symbolic Logic
Barwise, Jon; Schlipf, John

An introduction to recursively saturated and resplendent models

View online
Schließen

Access

Close

Bookmarks

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

Cambridge University Press (CUP), 1976

Published in: Journal of Symbolic Logic
Barwise, Jon; Schlipf, John

An introduction to recursively saturated and resplendent models

View online
Schließen

Access

Close

Bookmarks

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

Cambridge University Press (CUP), 1976

Published in: The Journal of Symbolic Logic
Barwise, Jon; Schlipf, John

An Introduction to Recursively Saturated and Resplendent Models

View online
Schließen

Access

Close

Bookmarks

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

Association for Symbolic Logic, Inc., 1976

Published in: The Journal of Symbolic Logic
Barwise, Jon; Schlipf, John

Model Theory and Algebra: On recursively saturated models of arithmetic

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Springer Berlin Heidelberg, 1975

Published in: Model Theory and Algebra

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