Sciweavers

1188 search results - page 32 / 238
» States of Knowledge
Sort
View
84
Voted
ENTCS
2011
125views more  ENTCS 2011»
14 years 1 months ago
A Hybrid Public Announcement Logic with Distributed Knowledge
In this paper the machinery of Hybrid Logic and the logic of public announcements are merged. In order to bring the two logics together properly the underlying hybrid logic has be...
Jens Ulrik Hansen
ASWC
2009
Springer
15 years 2 months ago
IP-Explorer: A Semantic Web Based Intellectual Property Knowledge Base and Trading Platform
In this paper, we demonstrate IP-Explorer, a semantic web based IP knowledge base and trading platform with the following characteristics: First, it is based on the semantic web te...
Lei Zhang, Hugh Glaser, Hai-Tao Zheng, Ian Millard
ECAI
1994
Springer
15 years 2 months ago
Using Domain Knowledge to Select Solutions in Abductive Diagnosis
Abstract. This paper presents a novel extension to abductive reasoning in causal nets, namely the use of domain knowledge to select among alternative diagnoses. We describe how pre...
Frank van Harmelen, Annette ten Teije
AAAI
1993
14 years 11 months ago
EL: A Formal, Yet Natural, Comprehensive Knowledge Representation
We present Episodic Logic (EL), a highly expressive knowledge representation well-adapted to general commonsense reasoning as well as the interpretive and inferential needs of nat...
Chung Hee Hwang, Lenhart K. Schubert
ATAL
2007
Springer
15 years 4 months ago
Knowledge Sharing Between Agents in a Transitioning Organization
People that interact within a cooperative organization must constantly exchange information on the details of the organization as well as the goals the organization exists to meet....
Eric T. Matson, Raj Bhatnagar