Wyniki wyszukiwania:

The 3rd International Semantic Web Conference (ISWC 2004) was held Nov- ber 7-11, 2004 in Hiroshima, Japan. If it is true what the proverb says: "Once by accident, twice by habit, three times by tradition," then this third ISWC did indeed ?rmly establish a tradition. After the overwhelming interest in last year's conference at Sanibel Island, Florida, this year's conference showed that the Semantic Web is not just a one-day wonder, but has established itself ?rmly on the research agenda. At a time when special interest meetings with a Sem- tic Web theme are springing up at major conferences...

This collection of papers, published in honour of Hector J. Levesque on the occasion of his 60th birthday, addresses a number of core areas in the field of knowledge representation and reasoning. In a broad sense, the book is about knowledge and belief, tractable reasoning, and reasoning about action and change. More specifically, the book contains contributions to Description Logics, the expressiveness of knowledge representation languages, limited forms of inference, satisfiablity (SAT), the logical foundations of BDI architectures, only-knowing, belief revision, planning, causation, the...