Sciweavers

ICMAS
2000
14 years 1 months ago
Computationally Grounded Theories of Agency
In this paper, I motivate, define, and illustrate the notion of computationally grounded theories of agency. A theory of agency is said to be computationally grounded if we can gi...
Michael Wooldridge
AIML
1998
14 years 1 months ago
Propositions, Propositional Attitudes and Belief Revision
In this paper I will propose a new approach to certain semantic puzzles due to Frege, Kripke and others, and the question of propositional attitudes, via the notion of belief revi...
Rohit Parikh
IWFM
2003
123views Formal Methods» more  IWFM 2003»
14 years 1 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
EUSFLAT
2003
131views Fuzzy Logic» more  EUSFLAT 2003»
14 years 1 months ago
From communication networks to fuzzy sets
In 1931 and 1935, Ernst Adolph Guillemin, professor of electrical engineering at Masachusetts Institute of Technology (MIT), published the two volumes of his book “Communication...
Rudolf Seising
ECIS
2003
14 years 1 months ago
A qualitative approach to investigating the behavioural definitions of the four-paradigm theory of information systems developme
Hirschheim, Klein and Lyytinen introduced the four-paradigm theory of information systems development (ISD) as a significant attempt to systematise developer assumptions. The theo...
Donal J. Flynn, Zahid I. Hussain
ECIS
2001
14 years 1 months ago
Data Modelling Languages: An Ontological Study
There are many data modelling languages used in today's information systems engineering environment. Some of the data modelling languages used have a degree of hype surroundi...
Simon K. Milton, Edmund Kazmierczak, Chris Keen
ECIS
2004
14 years 1 months ago
Aligning customer relationship and product strategy at internet speed
The Internet has changed the way many software developing companies have to work
Nikolaj Hansen, Jan Pries-Heje
FOIS
2010
14 years 1 months ago
Founding properties on measurement
Abstract. Taking for granted an ontological standpoint independent of any empirical or epistemological perspective, philosophical theories of properties are actually quite rarely a...
Claudio Masolo
AGI
2008
14 years 1 months ago
LIDA and a Theory of Mind
Every agent aspiring to human level intelligence, every AGI agent, must be capable of a theory of mind. That is, it must be able to attribute mental states, including intentions, t...
David Friedlander, Stan Franklin
GECCO
2006
Springer
175views Optimization» more  GECCO 2006»
14 years 4 months ago
A computational theory of adaptive behavior based on an evolutionary reinforcement mechanism
Two mathematical and two computational theories from the field of human and animal learning are combined to produce a more general theory of adaptive behavior. The cornerstone of ...
J. J. McDowell, Paul L. Soto, Jesse Dallery, Saule...