Results 1  10
of
7,493
Classical negation in logic programs and disjunctive databases
 New Generation Computing
, 1991
"... An important limitation of traditional logic programming as a knowledge representation tool, in comparison with classical logic, is that logic programming does not allow us to deal directly with incomplete information. In order to overcome this limitation, we extend the class of general logic progra ..."
Abstract

Cited by 1044 (73 self)
 Add to MetaCart
An important limitation of traditional logic programming as a knowledge representation tool, in comparison with classical logic, is that logic programming does not allow us to deal directly with incomplete information. In order to overcome this limitation, we extend the class of general logic
TwoDimensional Classical Representations of the Partition Function
, 1982
"... Starting from the Trotter formula, we derive several classical representations of the partition function of a spinl/2 chain. We investigate the rate of convergence of the different approximants by means of exact calculations for small systems. We demonstrate that it is important o use approximants ..."
Abstract
 Add to MetaCart
Starting from the Trotter formula, we derive several classical representations of the partition function of a spinl/2 chain. We investigate the rate of convergence of the different approximants by means of exact calculations for small systems. We demonstrate that it is important o use
Classical Extensions, Classical Representations and Bayesian Updating in Quantum Mechanics
, 2004
"... I review the formalism of classical extensions of quantum mechanics introduced by Beltrametti and Bugajski, and compare it to the classical representations discussed e.g. by Busch, Hellwig and Stulpe and recently used by Fuchs in his discussion of quantum mechanics in terms of standard quantum measu ..."
Abstract
 Add to MetaCart
I review the formalism of classical extensions of quantum mechanics introduced by Beltrametti and Bugajski, and compare it to the classical representations discussed e.g. by Busch, Hellwig and Stulpe and recently used by Fuchs in his discussion of quantum mechanics in terms of standard quantum
Hierarchical Models of Object Recognition in Cortex
, 1999
"... The classical model of visual processing in cortex is a hierarchy of increasingly sophisticated representations, extending in a natural way the model of simple to complex cells of Hubel and Wiesel. Somewhat surprisingly, little quantitative modeling has been done in the last 15 years to explore th ..."
Abstract

Cited by 836 (84 self)
 Add to MetaCart
The classical model of visual processing in cortex is a hierarchy of increasingly sophisticated representations, extending in a natural way the model of simple to complex cells of Hubel and Wiesel. Somewhat surprisingly, little quantitative modeling has been done in the last 15 years to explore
Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search
, 1996
"... Planning is a notoriously hard combinatorial search problem. In many interesting domains, current planning algorithms fail to scale up gracefully. By combining a general, stochastic search algorithm and appropriate problem encodings based on propositional logic, we are able to solve hard planning pr ..."
Abstract

Cited by 579 (33 self)
 Add to MetaCart
problems many times faster than the best current planning systems. Although stochastic methods have been shown to be very e ective on a wide range of scheduling problems, this is the rst demonstration of its power on truly challenging classical planning instances. This work also provides a new perspective
Logical foundations of objectoriented and framebased languages
 JOURNAL OF THE ACM
, 1995
"... We propose a novel formalism, called Frame Logic (abbr., Flogic), that accounts in a clean and declarative fashion for most of the structural aspects of objectoriented and framebased languages. These features include object identity, complex objects, inheritance, polymorphic types, query methods, ..."
Abstract

Cited by 876 (65 self)
 Add to MetaCart
, encapsulation, and others. In a sense, Flogic stands in the same relationship to the objectoriented paradigm as classical predicate calculus stands to relational programming. Flogic has a modeltheoretic semantics and a sound and complete resolutionbased proof theory. A small number of fundamental concepts
Recognitionbycomponents: A theory of human image understanding
 Psychological Review
, 1987
"... The perceptual recognition of objects is conceptualized to be a process in which the image of the input is segmented at regions of deep concavity into an arrangement of simple geometric components, such as blocks, cylinders, wedges, and cones. The fundamental assumption of the proposed theory, recog ..."
Abstract

Cited by 1272 (23 self)
 Add to MetaCart
of these properties is generally invariant over viewing position and image quality and consequently allows robust object perception when the image is projected from a novel viewpoint or is degraded. RBC thus provides a principled account of the heretofore undecided relation between the classic principles
Classical Representation of a Quantum System at Equilibrium
 Applicationâ€ť, Phys. Rev. E
"... A quantum system at equilibrium is represented by a corresponding classical system, chosen to reproduce the thermodynamic and structural properties. The objective is to develop a means for exploiting strong coupling classical methods (e.g., MD, integral equations, DFT) to describe quantum systems. T ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
of this mapping for the classical properties is effected via the hypernetted chain approximation, leading to representations as functionals of the quantum pair correlation function. As an illustration, the parameters of the classical system are determined approximately such that ideal gas and weak coupling RPA
Integrable models associated to classical representations of sl(n
"... We describe a representation for Uq ( sl(n)), when q is not a root of unity, based on the fundamental representation of sl(n). As Uq(sl(n)) has a Hopf algebra structure with a noncommutative coproduct, we look for a intertwine matrix R that relates two possible definitions of that coproduct. We ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
We describe a representation for Uq ( sl(n)), when q is not a root of unity, based on the fundamental representation of sl(n). As Uq(sl(n)) has a Hopf algebra structure with a noncommutative coproduct, we look for a intertwine matrix R that relates two possible definitions of that co
Results 1  10
of
7,493