Results 1  10
of
284,436
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
The Semantics of Predicate Logic as a Programming Language
 JOURNAL OF THE ACM
, 1976
"... Sentences in firstorder predicate logic can be usefully interpreted as programs In this paper the operational and fixpoint semantics of predicate logic programs are defined, and the connections with the proof theory and model theory of logic are investigated It is concluded that operational seman ..."
Abstract

Cited by 808 (18 self)
 Add to MetaCart
Sentences in firstorder predicate logic can be usefully interpreted as programs In this paper the operational and fixpoint semantics of predicate logic programs are defined, and the connections with the proof theory and model theory of logic are investigated It is concluded that operational
Logical Connectivity: Applications, Requirements, and An Architecture
 Connectivity Among Information Systems, MIT, CIS Volume
, 1988
"... This paper presents applications, requirements, anInformation Technology(iT) architecture andaresearchagenda developed to facilitate connectivity among disparate information systems. The applications illustrate the benefits of connectivity as well as highlight problems encountered. These connect ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
tered. These connectivity problems are organized into first and secondorder issues. The firstorder issues include physical connectivity to heterogeneous databases in a multivendor environment. The secondorder issues focus on logical connectivity, including schemalevel integration, instancelevel data semantics
Implementing Logical Connectives in Constraint Programming
"... Combining constraints using logical connectives such as disjunction is ubiquitous in constraint programming, because it adds considerable expressive power to a constraint language. We explore the solver architecture needed to propagate such combinations of constraints efficiently. In particular we d ..."
Abstract

Cited by 13 (5 self)
 Add to MetaCart
Combining constraints using logical connectives such as disjunction is ubiquitous in constraint programming, because it adds considerable expressive power to a constraint language. We explore the solver architecture needed to propagate such combinations of constraints efficiently. In particular we
Uniform proofs as a foundation for logic programming
 ANNALS OF PURE AND APPLIED LOGIC
, 1991
"... A prooftheoretic characterization of logical languages that form suitable bases for Prologlike programming languages is provided. This characterization is based on the principle that the declarative meaning of a logic program, provided by provability in a logical system, should coincide with its ..."
Abstract

Cited by 428 (122 self)
 Add to MetaCart
with its operational meaning, provided by interpreting logical connectives as simple and fixed search instructions. The operational semantics is formalized by the identification of a class of cutfree sequent proofs called uniform proofs. A uniform proof is one that can be found by a goaldirected search
Young children’s comprehension of logical connectives
 Journal of Experimental Child Psychology
, 1971
"... The development of children's understanding of logical connectives has been discussed by a number of people over the past decade and a half, Without attempting to review this literature in detail, we cite Furth ..."
Abstract

Cited by 7 (0 self)
 Add to MetaCart
The development of children's understanding of logical connectives has been discussed by a number of people over the past decade and a half, Without attempting to review this literature in detail, we cite Furth
On InterExpressibility of Logical Connectives in Gödel Fuzzy Logic
, 1999
"... The original publication is available at www.springerlink.com. In Gödel fuzzy propositional logic, neither conjunction nor implication is expressible (definable) in terms of the remaining three logical connectives. In classical propositional logic, propositions are associated with two truth values ..."
Abstract
 Add to MetaCart
The original publication is available at www.springerlink.com. In Gödel fuzzy propositional logic, neither conjunction nor implication is expressible (definable) in terms of the remaining three logical connectives. In classical propositional logic, propositions are associated with two truth values
On interexpressibility of logical connectives in Gödel fuzzy logics
 Soft Computing
"... The original publication is available at www.springerlink.com. In Gödel fuzzy propositional logic, neither conjunction nor implication is expressible (definable) in terms of the remaining three logical connectives. In classical propositional logic, propositions are associated with two truth values 1 ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
The original publication is available at www.springerlink.com. In Gödel fuzzy propositional logic, neither conjunction nor implication is expressible (definable) in terms of the remaining three logical connectives. In classical propositional logic, propositions are associated with two truth values
An ALC Description Logic Connection Method
"... Abstract. The connection method earned good reputation in the field of automated theorem proving for around three decades, due to its simplicity, clarity, efficiency and parsimonious use of memory. This seems to be a very appealing feature, in particular in the context of Semantic Web, where it is a ..."
Abstract
 Add to MetaCart
it is assumed that the knowledge bases might be of arbitrary size. In this paper, I present a connection method especially tailored to infer over the description logic (DL) ALC. Our ALC connection method is formalized in sequent style, although matrices should be employed for practical reasons. 1.
A Theory of Diagnosis from First Principles
 ARTIFICIAL INTELLIGENCE
, 1987
"... Suppose one is given a description of a system, together with an observation of the system's behaviour which conflicts with the way the system is meant to behave. The diagnostic problem is to determine those components of the system which, when assumed to be functioning abnormally, will explain ..."
Abstract

Cited by 1120 (5 self)
 Add to MetaCart
, will explain the discrepancy between the observed and correct system behaviour. We propose a general theory for this problem. The theory requires only that the system be described in a suitable logic. Moreover, there are many such suitable logics, e.g. firstorder, temporal, dynamic, etc. As a result
Results 1  10
of
284,436