Sciweavers

2920 search results - page 370 / 584
» Finite information logic
Sort
View
WSC
2004
15 years 8 months ago
Ontologies for Modeling and Simulation: Issues and Approaches
Ontologies represent the next important phase of the World Wide Web, creating a semantic web which links together disparate pieces of information and knowledge. Creating ontologie...
Paul A. Fishwick, John A. Miller
IWFM
2003
123views Formal Methods» more  IWFM 2003»
15 years 8 months ago
Derivation of Distributed Programs in the Theory of Owicki and Gries: An Example
This paper describes the derivation of a program for the propagation of information over a network, with acknowledgement (feedback) when the computation is complete. The derivatio...
Doug Goldson
ACL
1994
15 years 8 months ago
A Hybrid Reasoning Model for Indirect Answers
This paper presents our implemented computational model for interpreting and generating indirect answers to Yes-No questions. Its main features are 1) a discourse-plan-based appro...
Nancy Green, Sandra Carberry
AAAI
1990
15 years 7 months ago
The Complexity of Closed World Reasoning and Circumscription
Closed world reasoning is a common nonmonotonic technique that allows for dealing with negative information in knowledge and data bases. We present a detailed analysis of the comp...
Marco Cadoli, Maurizio Lenzerini
ACL
1992
15 years 7 months ago
Monotonic Semantic Interpretation
Aspects of semantic interpretation, such as quantifier scoping and reference resolution, are often realised computationally by non-monotonic operations involving loss of informati...
Hiyan Alshawi, Richard S. Crouch