Titlebook: KI-97: Advances in Artificial Intelligence; 21st Annual German C Gerhard Brewka,Christopher Habel,Bernhard Nebel Conference proceedings 199

误传

Vaginismus

Labelled quantified modal logics,relative to the semantics, and in the proofs of soundness and completeness relative to that semantics. Our systems also provide the basis of simple implementations of quantified modal logics in a standard logical framework theorem prover.

Veneer

A contribution to the question of authenticity of , using part-of-speech tagging, and the other works of . can or cannot be found. To count frequencies of word categories in the corpus, a part-of-speech tagger for Greek has been implemented. Some special techniques for reducing the problem of sparse data are used resulting in an accuracy of ca. 96.6%.

Colonnade

Tartar

Conference proceedings 1997Also included are three excellent invited contributions by Anthony G. Cohn, Kurt Konolige, and Pat Langley. The papers are organized in topical sections on theorem proving, nonclassical logics, knowledge representation, spatial reasoning, computational linguistics, computer perception and neural nets, and on planning, diagnosis and search.

恃强凌弱的人

0302-9743 many, in September 1997..The volume presents revised versions of 26 full papers and 10 posters selected from around 70 submissions from more than 15 countries. Also included are three excellent invited contributions by Anthony G. Cohn, Kurt Konolige, and Pat Langley. The papers are organized in topi

AVERT

eutlich, daß sich in den letzten 40 Jahren weitgehende Veränderungen in den Lebens- und Arbeitsbedingungen von Frauen vollzogen haben. Diese betreffen sowohl die strukturellen Bedingungen als auch die individuellen Ebenen der Orientierungen und des faktischen Handelns. Die in den letzten Jahren durc

压迫

Gleason-score

Kurt Konoligedass die Stereotype der Gruppen, denen wir angehören, unser eigenes Verhalten beeinflussen. Dennoch ist dies der Fall, wie im vorliegenden Kapitel gezeigt wird. In unserer Gesellschaft, in der das Geschlecht eine der auffälligsten sozialen Kategorien darstellt, in die Personen weitgehend automatisch

率直

Pat Langley(siehe Kap. . über soziale Rollen), hat Elternschaft auch Auswirkungen darauf, wie Frauen von anderen wahrgenommen werden. Mütter verkörpern den Kern des Frauseins. Was bedeutet dies für die Karrieren von Frauen (und Männern), die Kinder haben? Einige Experimente untersuchten dies hauptsächlich mith