Nicole Bidoit und Logic - Info zur Person

(1 - 8 von 16

)

Foundations of Software Technology and Theoretical Computer Science:...

books.google.de

... there is a strict FOi hierarchy on the class of ordered finite graphs H.W. Kamp: Tense Logic and the Theory of Linear Nicole Bidoit and Sandra de Amo.

Logic Programming and Knowledge Representation: Third International...

books.google.de

This book presents the thoroughly refereed post-workshop proceedings of the Third International Workshop on Logic Programming and Knowledge Representation,...

An Introduction to Answer Sets - PDF Free Download

docplayer.net

A first step towards modeling semistructured data in hybrid multimodal logic Nicole Bidoit * Serenella Cerrito ** Virginie Thion * * LRI UMR CNRS 8623, ...