tag :: logic | BibSonomy

bookmarks (hide)459
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

1A Logic for Reflective ASMs - PMC
Reflective algorithms are algorithms that can modify their own behaviour. Recently a behavioural theory of reflective algorithms has been developed, which shows that they are captured by reflective abstract state machines (rASMs). Reflective ASMs ...
a month ago by @scch
show all tags
asms
logic
pmc
reflective
asmslogicpmcreflective
(0)
copydelete
- community post
- history of this post
1Why does all() return True if the iterable is empty? · The Ethically-Trained Programmer
https://blog.carlana.net/post/2020/python-square-of-opposition/
10 months ago by @bshanks
show all tags
aristotelian
aristotle
logic
squareofopposition
vacuous
aristotelianaristotlelogicsquareofoppositionvacuous
(0)
copydelete
- community post
- history of this post
1paradoxes - Is $B = \{x:x \notin B\}$ a valid paradox in Naive Set Theory? - Mathematics Stack Exchange
https://math.stackexchange.com/questions/1089224/is-b-xx-notin-b-a-valid-paradox-in-naive-set-theory?rq=1
2 years ago by @knaevelboerrar
show all tags
mathematics
logic
mathematicslogic
(0)
copydelete
- community post
- history of this post
1soft question - complete axiomatization of reals vs we can't prove every statement about the reals vs every statement about the real numbers is either true or false - Mathematics Stack Exchange
https://math.stackexchange.com/questions/4145833/complete-axiomatization-of-reals-vs-we-cant-prove-every-statement-about-the-rea
2 years ago by @knaevelboerrar
show all tags
mathematics
logic
mathematicslogic
(0)
copydelete
- community post
- history of this post
1Meet-the-clever-The-Jenkins-comics-that-will-make-you-laugh-a-lot-62b059e84f8ae__880.jpg (JPEG Image, 880 × 880 pixels)
https://www.boredpanda.com/blog/wp-content/uploads/2022/06/Meet-the-clever-The-Jenkins-comics-that-will-make-you-laugh-a-lot-62b059e84f8ae__880.jpg
2 years ago by @bshanks
show all tags
comic
logic
comiclogic
(0)
copydelete
- community post
- history of this post
1Wolfram Logic (@wolframlogic) | Zeneca
https://www.zeneca.io/wolframlogic
3 years ago by @bshanks
show all tags
logic
logic
(0)
copydelete
- community post
- history of this post
1gentzler cut proof theory - Google Search
https://www.google.com/search?safe=active&client=ubuntu&hs=9H2&channel=fs&sxsrf=ALeKk00iujoPGvwQZJBoa_tUpy4sHiDc8A%3A1590040788503&ei=1BjGXoCpHojz-gSj1aGwDg&q=gentzler+cut+proof+theory&oq=gentzler+cut+proof+theory&gs_lcp=CgZwc3ktYWIQAzoECAAQRzoFCCEQoAE6BQghEKsCOgcIIRAKEKABUPq6AVj9xgFgiMkBaABwAXgAgAF8iAHyCpIBAzUuOJgBAKABAaoBB2d3cy13aXo&sclient=psy-ab&ved=0ahUKEwiA44HDo8TpAhWIuZ4KHaNqCOYQ4dUDCAs&uact=5
3 years ago by @bshanks
show all tags
logic
math
proof
toread
logicmathprooftoread
(0)
copydelete
- community post
- history of this post
1Proof Theory (Stanford Encyclopedia of Philosophy)
https://plato.stanford.edu/entries/proof-theory/
3 years ago by @bshanks
show all tags
logic
math
proof
logicmathproof
(0)
copydelete
- community post
- history of this post
2Dominic Hughes
http://boole.stanford.edu/~dominic/
3 years ago by @bshanks
show all tags
cs353
logic
math
pratt
proof
proofnet
cs353logicmathprattproofproofnet
(0)
copydelete
- community post
- history of this post
1Robert J. van Glabbeek
http://theory.stanford.edu/~rvg/
3 years ago by @bshanks
show all tags
concurrency
cs353
logic
math
pratt
concurrencycs353logicmathpratt
(0)
copydelete
- community post
- history of this post
1Modal Logic Introductory Lecture - ml-lec1.pdf
http://ai.stanford.edu/~epacuit/classes/modal-spr2012/ml-lec1.pdf
3 years ago by @bshanks
show all tags
intro
logic
math
modal
toread
intrologicmathmodaltoread
(0)
copydelete
- community post
- history of this post
1ml-notes.pdf
http://ai.stanford.edu/~epacuit/classes/logicai-cmu/ml-notes.pdf
3 years ago by @bshanks
show all tags
intro
logic
math
modal
toread
intrologicmathmodaltoread
(0)
copydelete
- community post
- history of this post
1Modal Logic for Open Minds
http://web.stanford.edu/group/cslipublications/cslipublications/site/9781575865980.shtml
3 years ago by @bshanks
show all tags
book
logic
math
modal
toread
booklogicmathmodaltoread
(0)
copydelete
- community post
- history of this post
1Modal Logic
http://ai.stanford.edu/~epacuit/classes/modal.html
3 years ago by @bshanks
show all tags
course
logic
math
modal
courselogicmathmodal
(0)
copydelete
- community post
- history of this post
1PHIL 169: Modal Logic Course Homepage
https://web.stanford.edu/class/phil169/coursework/syllabus.html
3 years ago by @bshanks
show all tags
benthem
course
logic
math
modal
stanford
benthemcourselogicmathmodalstanford
(0)
copydelete
- community post
- history of this post
1syl02.pdf
http://boole.stanford.edu/cs353/handouts/syl02.pdf
3 years ago by @bshanks
show all tags
cs353
logic
math
pratt
cs353logicmathpratt
(0)
copydelete
- community post
- history of this post
1Wayback Machine
https://web.archive.org/web/20210125162407/http://boole.stanford.edu/cs353/handouts/cs353-02.pdf
3 years ago by @bshanks
show all tags
cs353b
logic
math
pratt
cs353blogicmathpratt
(0)
copydelete
- community post
- history of this post
1Robert J. van Glabbeek
https://web.archive.org/web/20210330171450/https://theory.stanford.edu/~rvg/
3 years ago by @bshanks
show all tags
Glabbeek
logic
math
pratt
Glabbeeklogicmathpratt
(0)
copydelete
- community post
- history of this post
1CS352
Glabbeek
3 years ago by @bshanks
show all tags
Glabbeek
algebraic
chu
concurrency
cs353
dynamic
logic
math
pratt
toread
Glabbeekalgebraicchuconcurrencycs353dynamiclogicmathpratttoread
(0)
copydelete
- community post
- history of this post
1CS 353 Autumn 2003-04 Handouts
https://web.archive.org/web/20190706060019/http://boole.stanford.edu/cs353/handouts.html
3 years ago by @bshanks
show all tags
algebraic
chu
cs353
logic
math
pratt
algebraicchucs353logicmathpratt
(0)
copydelete
- community post
- history of this post

⟨⟨
⟨
1
2
3
⟩
⟩⟩

publications (hide)680
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

2Modal Extensions of the Logic of Abstract State Machines
F. Ferrarotti, and K. Schewe. Rigorous State-Based Methods, page 123--140. Cham, Springer Nature Switzerland, (2024)
2 months ago by @scch
show all tags
extensions
logic
modal
extensionslogicmodal
(0)
copydeleteadd this publication to your clipboard
1USER-CENTRIC OPTIMIZATION FOR CONSTRAINT WEB SERVICE COMPOSITION USING A FUZZYGUIDED GENETIC ALGORITHM SYSTEM
M. Bakhshi, and S. Hashemi. International Journal on Web Service Computing (IJWSC), 3 (3): 01-15 (September 2012)
4 months ago by @ijwsc
show all tags
QoS
Web
algorithms
composition
fuzzy
genetic
logic
preferences
service
user
QoSWebalgorithmscompositionfuzzygeneticlogicpreferencesserviceuser
(0)
copydeleteadd this publication to your clipboard
1Lateral Logic Challenges: Assessing the Limitations of AI in Creative Problem-Solving
S. Khan, M. Atsuko, and F. Mateus. (2024)
5 months ago by @fabledsky
show all tags
AI
Awareness
Cognitive
Contextual
Creative
Double
Factorial
Flexibility
Heuristic-Based
Language
Large
Lateral
Limitations
Logic
Models
Problem-Solving
Reasoning
Test
Turing
myown
AIAwarenessCognitiveContextualCreativeDoubleFactorialFlexibilityHeuristic-BasedLanguageLargeLateralLimitationsLogicModelsProblem-SolvingReasoningTestTuringmyown
(0)
copydeleteadd this publication to your clipboard
1HIGH-PERFORMANCE DOUBLE BOOST DC-DC CONVERTER BASED ON FUZZY LOGIC CONTROLLER
M. Lwin. Mechatronics and Applications: An International Journal (MECHATROJ), 2 (1): 01-12 (January 2018)
6 months ago by @clauren
show all tags
(FLC)
Boost
Centre
Control
Controller
Converter
DC-DC
Data
Double
Dual
Energy
Fuzzy
High
Logic
Mode
Renewable
Stage
System
Vehicle
Voltage
(FLC)BoostCentreControlControllerConverterDC-DCDataDoubleDualEnergyFuzzyHighLogicModeRenewableStageSystemVehicleVoltage
(0)
copydeleteadd this publication to your clipboard
1EVALUATION OF COMPUTABILITY CRITERIONS FOR RUNTIME WEB SERVICE INTEGRATION
Thirumaran.M, Dhavachelvan.P, Aranganayagi.G, and S.Abarna. International Journal on Web Service Computing (IJWSC), 2 (3): 43-56 (September 2011)
7 months ago by @ijwsc
show all tags
Business
Computability
Evaluation
Integration
Logic
Model
Property
Service
System
Traceability
and
BusinessComputabilityEvaluationIntegrationLogicModelPropertyServiceSystemTraceabilityand
(0)
copydeleteadd this publication to your clipboard
1Loading and Unloading by Pneumatic Arm Bot Using Programmable Logic Controller (PLC)
A. |. CENTRAL ASIAN JOURNAL OF THEORETICAL AND APPLIED SCIENCE, 4 (9): 59-85 (September 2023)
9 months ago by @centralasian_20
show all tags
(PLC)
Arm,
Bot,
Controller
Loading
Logic
Pneumatic
Programmable
Unloading,
and
(PLC)Arm,Bot,ControllerLoadingLogicPneumaticProgrammableUnloading,and
(0)
copydeleteadd this publication to your clipboard
2The Place of Music in the Creation of Abu Ali Ibn Sina
A. kizi. Central Asian Journal of Social Sciences and History, 4 (7): 126-128 (July 2023)
9 months ago by @centralasian_20
show all tags
art,
literature,
logic
mathematics,
music,
peopleera,
philosophy,
research,
science,
scientist,
work,
art,literature,logicmathematics,music,peopleera,philosophy,research,science,scientist,work,
(0)
copydeleteadd this publication to your clipboard
2The Place of Music in the Creation of Abu Ali Ibn Sina
A. kizi |. CENTRAL ASIAN JOURNAL OF MEDICAL AND NATURAL SCIENCE, 4 (7): 126-128 (July 2023)
9 months ago by @centralasian_20
show all tags
,
art,
literature,
logic
mathematics,
music,
peopleera,
philosophy,
research,
science
scientist,
work,
,art,literature,logicmathematics,music,peopleera,philosophy,research,sciencescientist,work,
(0)
copydeleteadd this publication to your clipboard
1A Modified Law of Profitable Investment
P. Sarkar. INTERNATIONAL JOURNAL OF TREND IN SCIENTIFIC RESEARCH AND DEVELOPMENT, 7 (4): 95-99 (August 2023)
a year ago by @ijtsrd
show all tags
50,
BSE
Fuzzy
Intrinsic
S&P
SENSEX
Value,
data,
logic
50,BSEFuzzyIntrinsicS&PSENSEXValue,data,logic
(0)
copydeleteadd this publication to your clipboard
2Deriving sound inference rules for concept diagrams
P. Chapman, G. Stapleton, J. Howse, and I. Oliver. 2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), page 87-94. (September 2011)
a year ago by @jaeschke
show all tags
concept
diagram
euler
graph
inference
logic
reasoning
venn
visualization
conceptdiagrameulergraphinferencelogicreasoningvennvisualization
(0)
copydeleteadd this publication to your clipboard
1Modelling of Solar PV and Optimization of Chopper Based PV Array using Fuzzy Control System as Per Climatic Conditions
M. Verma. INTERNATIONAL JOURNAL OF TREND IN SCIENTIFIC RESEARCH AND DEVELOPMENT, 7 (4): 1077-1086 (June 2023)
a year ago by @ijtsrd
show all tags
&
(FLC),Perturbation
(IGBT),
(MPPT),
(P&O)
(PWM),
(STATCOM),),
(THD),
Insulated
Maximum
Modulation
Observation
Pulse
Total
Width
and
bipolar
compensator
control
distortion
fuzzy
gate
harmonic
logic
point
power
static
synchronous
system
tracking
transistor
&(FLC),Perturbation(IGBT),(MPPT),(P&O)(PWM),(STATCOM),),(THD),InsulatedMaximumModulationObservationPulseTotalWidthandbipolarcompensatorcontroldistortionfuzzygateharmoniclogicpointpowerstaticsynchronoussystemtrackingtransistor
(0)
copydeleteadd this publication to your clipboard
1Probability logic and probabilistic induction.
S. Greenland. Epidemiology (Cambridge, Mass.), 9 (3): 322-32 (May 1998)2502<m:linebreak></m:linebreak>Comment in: Epidemiology 1998 May;9(3):233;.
2 years ago by @jepcastel
show all tags
EpidemiologicStudies
Humans
Logic
Models
ProbabilityTheory
ResearchDesign
Statistical
EpidemiologicStudiesHumansLogicModelsProbabilityTheoryResearchDesignStatistical
(0)
copydeleteadd this publication to your clipboard
1On the origin of Hill's causal criteria.
A. Morabia. Epidemiology (Cambridge, Mass.), 2 (5): 367-9 (September 1991)3207<m:linebreak></m:linebreak>Causalitat.
2 years ago by @jepcastel
show all tags
17thCentury
20thCentury
Causality
Epidemiology
Epidemiology:history
History
Logic
Philosophy
17thCentury20thCenturyCausalityEpidemiologyEpidemiology:historyHistoryLogicPhilosophy
(0)
copydeleteadd this publication to your clipboard
1Looking back on "causal thinking in the health sciences".
J. Kaufman, and C. Poole. Annual review of public health, (January 2000)3644<m:linebreak></m:linebreak>Causalitat.
2 years ago by @jepcastel
show all tags
Causality
Ecology
Epidemiology
Humans
Judgment
Logic
Medical
Models
Philosophy
PublicHealthPractice
Statistical
SystemsAnalysis
Thinking
CausalityEcologyEpidemiologyHumansJudgmentLogicMedicalModelsPhilosophyPublicHealthPracticeStatisticalSystemsAnalysisThinking
(0)
copydeleteadd this publication to your clipboard
1Argumentation and evidence.
R. Upshur, and E. Colak. Theoretical medicine and bioethics, 24 (4): 283-99 (January 2003)7285<m:linebreak></m:linebreak>LR: 20061115; JID: 9805378; ppublish;<m:linebreak></m:linebreak>EBM.
2 years ago by @jepcastel
show all tags
DecisionMaking
Evidence-BasedMedicine
Humans
Hypertension
Hypertension:drugtherapy
Knowledge
Logic
DecisionMakingEvidence-BasedMedicineHumansHypertensionHypertension:drugtherapyKnowledgeLogic
(0)
copydeleteadd this publication to your clipboard
1Popperian refutation in epidemiology.
M. Maclure. American journal of epidemiology, 121 (3): 343-50 (March 1985)2888<m:linebreak></m:linebreak>Causalitat.
2 years ago by @jepcastel
show all tags
Epidemiology
Humans
Logic
LungNeoplasms
LungNeoplasms:etiology
Medical
Philosophy
Smoking
EpidemiologyHumansLogicLungNeoplasmsLungNeoplasms:etiologyMedicalPhilosophySmoking
(0)
copydeleteadd this publication to your clipboard
1British Imperialism in Colonial Africa and the World
A. Rappa. BOHR International Journal of Social Science and Humanities Research, 1 (1): 93--97 (2022)
2 years ago by @bijsshrjournal
show all tags
Africa
Colonial
Cultural
Interpretation
Logic
Symbolic
agency
imperialism
western
AfricaColonialCulturalInterpretationLogicSymbolicagencyimperialismwestern
(0)
copydeleteadd this publication to your clipboard
1Development of Logical Thinking in Elementary Mathematics Classes
I. Qizi. INTERNATIONAL JOURNAL OF TREND IN SCIENTIFIC RESEARCH AND DEVELOPMENT, 6 (6): 1446-1450 (October 2022)
2 years ago by @ijtsrd
show all tags
education
logic
logical
logicality
primary
task
thinking
educationlogiclogicallogicalityprimarytaskthinking
(0)
copydeleteadd this publication to your clipboard
1Analysis and Simulation of Solar PV Connected with Grid Accomplished with Maximum Power Point Tracking System
S. Diwan. INTERNATIONAL JOURNAL OF TREND IN SCIENTIFIC RESEARCH AND DEVELOPMENT, 6 (5): 1157-1161 (July 2022)
2 years ago by @ijtsrd
show all tags
&
(FLC)
(IGBT)
(MPPT)
(P&O)
(PWM)
(STATCOM)
(THD)
)
Insulated
Maximum
Modulation
Observation
Perturbation
Pulse
Total
Width
and
bipolar
compensator
control
distortion
fuzzy
gate
harmonic
logic
point
power
static
synchronous
system
tracking
transistor
&(FLC)(IGBT)(MPPT)(P&O)(PWM)(STATCOM)(THD))InsulatedMaximumModulationObservationPerturbationPulseTotalWidthandbipolarcompensatorcontroldistortionfuzzygateharmoniclogicpointpowerstaticsynchronoussystemtrackingtransistor
(0)
copydeleteadd this publication to your clipboard
1Analysis and Implementation of Fuzzy Logic Controller Based MPPT to Enhance Power Quality in PV System
A. Prajapati. INTERNATIONAL JOURNAL OF TREND IN SCIENTIFIC RESEARCH AND DEVELOPMENT, 6 (5): 724-733 (July 2022)
2 years ago by @ijtsrd
show all tags
(FIS)
(PV)
Boost
Controller
Converter
Fuzzy
Logic
MATLAB
MPPT
Simulink
Solar
(FIS)(PV)BoostControllerConverterFuzzyLogicMATLABMPPTSimulinkSolar
(0)
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
2
3
⟩
⟩⟩