Results 1  10
of
2,596
A Spatial Logic based on Regions and Connection
 PROCEEDINGS 3RD INTERNATIONAL CONFERENCE ON KNOWLEDGE REPRESENTATION AND REASONING
, 1992
"... We describe an interval logic for reasoning about space. The logic simplifies an earlier theory developed by Randell and Cohn, and that of Clarke upon which the former was based. The theory supports a simpler ontology, has fewer defined functions and relations, yet does not suffer in terms of its us ..."
Abstract

Cited by 745 (32 self)
 Add to MetaCart
We describe an interval logic for reasoning about space. The logic simplifies an earlier theory developed by Randell and Cohn, and that of Clarke upon which the former was based. The theory supports a simpler ontology, has fewer defined functions and relations, yet does not suffer in terms of its
Constraint Query Languages
, 1992
"... We investigate the relationship between programming with constraints and database query languages. We show that efficient, declarative database programming can be combined with efficient constraint solving. The key intuition is that the generalization of a ground fact, or tuple, is a conjunction ..."
Abstract

Cited by 372 (43 self)
 Add to MetaCart
, we use quantifier elimination techniques from logic and the concept of data complexity from database theory. This framework is applicable to managing spatial data and can be combined with existing multidimensional searching algorithms and data structures.
Local Reasoning about Programs that Alter Data Structures
, 2001
"... We describe an extension of Hoare's logic for reasoning about programs that alter data structures. We consider a lowlevel storage model based on a heap with associated lookup, update, allocation and deallocation operations, and unrestricted address arithmetic. The assertion language is ba ..."
Abstract

Cited by 324 (28 self)
 Add to MetaCart
is based on a possible worlds model of the logic of bunched implications, and includes spatial conjunction and implication connectives alongside those of classical logic. Heap operations are axiomatized using what we call the "small axioms", each of which mentions only those cells accessed
Fuzzy Spatial Reasoning
 Proc. of the 1997 Int. Fuzzy Systems Association Conf
, 1997
"... We present a fuzzy version of the crisp spatial logic developed by Randell et al., which takes the single relation connectedwith as primitive. Membership functions are defined for each spatial relation defined in the crisp theory. Furthermore, principles are presented for defining linguistic variab ..."
Abstract
 Add to MetaCart
We present a fuzzy version of the crisp spatial logic developed by Randell et al., which takes the single relation connectedwith as primitive. Membership functions are defined for each spatial relation defined in the crisp theory. Furthermore, principles are presented for defining linguistic
A Spatial Logic for Concurrency (Part I)
 Information and Computation
, 2002
"... We present a logic that can express properties of freshness, secrecy, structure, and behavior of concurrent systems. In addition to standard logical and temporal operators, our logic includes spatial operations corresponding to composition, local name restriction, and a primitive fresh name quantifi ..."
Abstract

Cited by 162 (12 self)
 Add to MetaCart
We present a logic that can express properties of freshness, secrecy, structure, and behavior of concurrent systems. In addition to standard logical and temporal operators, our logic includes spatial operations corresponding to composition, local name restriction, and a primitive fresh name
Anytime, anywhere: modal logics for mobile ambients
 In POPL ’00: Proceedings of the 27th ACM SIGPLANSIGACT symposium on Principles of programming languages
, 2000
"... The Ambient Calculus is a process calculus where processes may reside within a hierarchy of locations and modify it. The purpose of the calculus is to study mobility, which is seen as the change of spatial configurations over time. In order to describe properties of mobile computations we devise a m ..."
Abstract

Cited by 190 (13 self)
 Add to MetaCart
The Ambient Calculus is a process calculus where processes may reside within a hierarchy of locations and modify it. The purpose of the calculus is to study mobility, which is seen as the change of spatial configurations over time. In order to describe properties of mobile computations we devise a
Spatial Reasoning with Propositional Logics
 Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94
, 1994
"... I present a method for reasoning about spatial relationships on the basis of entailments in propositional logic. Formalisms for representing topological and other spatial information (e.g. [2] [10] [11]) have generally employed the 1storder predicate calculus. Whilst this language is much more expr ..."
Abstract

Cited by 111 (16 self)
 Add to MetaCart
I present a method for reasoning about spatial relationships on the basis of entailments in propositional logic. Formalisms for representing topological and other spatial information (e.g. [2] [10] [11]) have generally employed the 1storder predicate calculus. Whilst this language is much more
Genomic Cisregulatory logic: experimental and computational analysis of a sea urchin gene
 Science
, 1998
"... The genomic regulatory network that controls gene expression ultimately determines form and function in each species. The operational nature of the regulatory programming specified in cisregulatory DNA sequence was determined from a detailed functional analysis of a sea urchin control element that ..."
Abstract

Cited by 192 (2 self)
 Add to MetaCart
that directs the expression of a gene in the endoderm during development. Spatial expression and repression, and the changing rate of transcription of this gene, are mediated by a complex and extended cisregulatory system. The system may be typical of developmental cisregulatory apparatus. All of its
Some Crisp Thoughts on Fuzzy Logic
 Proceedings of the American Control Conference
, 1994
"... In the past year I have been inundated with articles on fuzzy logic as well as encouraged to use it for control systems. After reading some articles on fuzzy logic control, listening to a seminar by Zadeh, and attending a one day course on Intelligent Control, I started forming an opinion about how ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
In the past year I have been inundated with articles on fuzzy logic as well as encouraged to use it for control systems. After reading some articles on fuzzy logic control, listening to a seminar by Zadeh, and attending a one day course on Intelligent Control, I started forming an opinion about how
A new methodology of extraction, optimization and application of crisp and fuzzy logical rules
 IEEE TRANSACTIONS ON NEURAL NETWORKS
, 2001
"... A new methodology of extraction, optimization, and application of sets of logical rules is described. Neural networks are used for initial rule extraction, local, or global minimization procedures for optimization, and Gaussian uncertainties of measurements are assumed during application of logical ..."
Abstract

Cited by 62 (24 self)
 Add to MetaCart
of logical rules. Algorithms for extraction of logical rules from data with realvalued features require determination of linguistic variables or membership functions. Contextdependent membership functions for crisp and fuzzy linguistic variables are introduced and methods of their determination described
Results 1  10
of
2,596