Titlebook: KI 2003: Advances in Artificial Intelligence; 26th Annual German C Andreas Günter,Rudolf Kruse,Bernd Neumann Conference proceedings 2003 Sp

開始沒有

Leveraging Metadata Creation for the Semantic Web with CREAM CREAM supports the manual and the semi-automatic annotation of static Web pages, the authoring of new web pages with the simultaneous creation of metadata, and the deep annotation of Web pages defined dynamically by database queries.

AFFIX

Towards a Systematic Account of Different Logic Programming Semantics-Kleene) semantics. The constructions leading to this result, however, show a certain asymmetry which is not readily understood. We will study this situation here with the result that we will obtain a coherent picture of relations between different semantics.

影響深遠

Behavioral Knowledge Representation for the Understanding and Creation of Video Sequencespresented which can be utilized in both tasks – . and . of video sequences. Common sense knowledge is represented at various abstraction levels in a .. This form of representation is exploited in order to fill in missing details in a natural language text describing developments for an image sequence to be synthesized.

indices

What Observations Really Tell Usintended results and has an unfortunate sensitivity with respect to different forms of successor state axioms. In this paper we suggest how to properly encode observed information in order to avoid both of these problems.

襲擊

978-3-540-20059-8Springer-Verlag Berlin Heidelberg 2003

SEMI

KI 2003: Advances in Artificial Intelligence978-3-540-39451-8Series ISSN 0302-9743 Series E-ISSN 1611-3349

細菌等

0302-9743 Overview: Includes supplementary material: 978-3-540-20059-8978-3-540-39451-8Series ISSN 0302-9743 Series E-ISSN 1611-3349

使痛苦

Satisfiability and Completeness of Converse-PDL ReplayedThis paper reinvestigates the satisfiability problem and the issue of completeness for Propositional Dynamic Logic with Converse. By giving a game-theoretic characterisation of its satisfiability problem using focus games, an axiom system that is extracted from these games can easily be proved to be complete.

Accord

Andreas Günter,Rudolf Kruse,Bernd NeumannIncludes supplementary material:

膽小懦夫