Sciweavers

3406 search results - page 10 / 682
» Computational models of classical conditioning
Sort
View
CORR
2008
Springer
130views Education» more  CORR 2008»
13 years 8 months ago
Standard Logics Are Valuation-Nonmonotonic
It has recently been discovered that both quantum and classical propositional logics can be modelled by classes of nonorthomodular and thus non-distributive lattices that properly...
Mladen Pavicic, Norman D. Megill
TPHOL
2008
IEEE
14 years 3 months ago
Formal Reasoning About Causality Analysis
Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality an...
Jens Brandt, Klaus Schneider
ECSQARU
2009
Springer
14 years 3 months ago
An Algorithm for Generating Arguments in Classical Predicate Logic
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conï¬...
Vasiliki Efstathiou, Anthony Hunter
TSMC
2008
138views more  TSMC 2008»
13 years 8 months ago
Comparison of Adaptive Critic-Based and Classical Wide-Area Controllers for Power Systems
Abstract--An adaptive critic design (ACD)-based damping controller is developed for a thyristor-controlled series capacitor (TCSC) installed in a power system with multiple poorly ...
Swakshar Ray, Ganesh K. Venayagamoorthy, Balarko C...
FOIKS
2008
Springer
13 years 10 months ago
Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting arg...
Vasiliki Efstathiou, Anthony Hunter