Sciweavers

1027 search results - page 15 / 206
» Representing and Reasoning with Operational Semantics
Sort
View
AAAI
1994
15 years 1 months ago
Spatial Reasoning in Indeterminate Worlds
A possible worlds semantics for model-based spatial reasoning is presented. In this semantics, worlds are characterized by the alternative states that result from indeterminacy or...
Janice I. Glasgow
LPNMR
1993
Springer
15 years 3 months ago
Negation as Partial Failure
We present a logic programming language which uses a four-valued bilattice as the underlying framework for semantics of programs. The two orderings of the bilattice reflect the c...
Bamshad Mobasher, Jacek Leszczylowski, Don Pigozzi
ICANN
2003
Springer
15 years 4 months ago
Knowledge Refinement Using Fuzzy Compositional Neural Networks
Fuzzy relations as representational tools and fuzzy compositional operators as reasoning components, are user in this paper in order to represent knowledge expressed in semantic ru...
Vassilis Tzouvaras, Giorgos B. Stamou, Stefanos D....
CL
2000
Springer
15 years 4 months ago
A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases
Abstract. In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general object-oriented m...
Enrico Franconi, Fabio Grandi, Federica Mandreoli
WISE
2005
Springer
15 years 5 months ago
A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web
Abstract. Answering a query over a group of RDF data pages is a trivial process. However, in the Semantic Web, there is a need for ontology technology. Consequently, OWL, a family ...
Pakornpong Pothipruk, Guido Governatori