[BUCH][B] Logic in Computer Science: Modelling and reasoning about systems
Recent years have seen the development of powerful tools for verifying hardware and
software systems, as companies worldwide realise the need for improved means of …
software systems, as companies worldwide realise the need for improved means of …
[BUCH][B] Z: An introduction to formal methods 2nd edn
A Diller - 1994 - academia.edu
Z is a formal language intended for both writing and develo** software specifications. In
this review I attempt to give an account of Diller's book on Z, remarking on its suitability as an …
this review I attempt to give an account of Diller's book on Z, remarking on its suitability as an …
SAT-based model-checking for security protocols analysis
We present a model checking technique for security protocols based on a reduction to
propositional logic. At the core of our approach is a procedure that, given a description of the …
propositional logic. At the core of our approach is a procedure that, given a description of the …
Inference algebra (IA): A denotational mathematics for cognitive computing and machine reasoning (I)
Y Wang - International Journal of Cognitive Informatics and …, 2011 - igi-global.com
Inference as the basic mechanism of thought is one of the gifted abilities of human beings. It
is recognized that a coherent theory and mathematical means are needed for dealing with …
is recognized that a coherent theory and mathematical means are needed for dealing with …
Inference Algebra (IA): A Denotational Mathematics for Cognitive Computing and Machine Reasoning (I)
Y Wang - Cognitive Informatics for Revealing Human Cognition …, 2013 - igi-global.com
Inference as the basic mechanism of thought is one of the gifted abilities of human beings. It
is recognized that a coherent theory and mathematical means are needed for dealing with …
is recognized that a coherent theory and mathematical means are needed for dealing with …
The knowledge acquisition and representation language, KARL
D Fensel, J Angele, R Studer - IEEE Transactions on …, 1998 - ieeexplore.ieee.org
The Knowledge Acquisition and Representation Language (KARL) combines a description
of a knowledge based system at the conceptual level (a so called model of expertise) with a …
of a knowledge based system at the conceptual level (a so called model of expertise) with a …
[BUCH][B] Always among us: Images of the poor in Zwingli's Zurich
LP Wandel - 2003 - books.google.com
In this elegantly written book, Lee Wandel discusses the relationship between the reform of
poor relief and the Protestant Reformation in early sixteenth-century Zurich. In the …
poor relief and the Protestant Reformation in early sixteenth-century Zurich. In the …
On cognitive models of causal inferences and causation networks
Y Wang - Advances in Abstract Intelligence and Soft Computing, 2013 - igi-global.com
Human thought, perception, reasoning, and problem solving are highly dependent on
causal inferences. This paper presents a set of cognitive models for causation analyses and …
causal inferences. This paper presents a set of cognitive models for causation analyses and …
[PDF][PDF] Qualitative decision theory
SW Tan, J Pearl - AAAI, 1994 - cdn.aaai.org
We describe a framework for specifying conditional desires “desire CY by E degrees if, 8”
and evaluating preference queries “would you prefer~ 1 over~ 2 given $” under uncertainty …
and evaluating preference queries “would you prefer~ 1 over~ 2 given $” under uncertainty …
The cognitive processes of formal inferences
Y Wang - International Journal of Cognitive Informatics and …, 2007 - igi-global.com
Theoretical research is predominately an inductive process; while applied research is
mainly a deductive process. Both inference processes are based on the cognitive process …
mainly a deductive process. Both inference processes are based on the cognitive process …