temporal logic - Articles - Scientific Research Publishing

The Specification of Agent Interaction in Multi-Agent Systems (Articles)

Dmitri CHEREMISINOV

Intelligent Information Management Vol.1 No.2，November 30, 2009

DOI: 10.4236/iim.2009.12011 4,416 Downloads 7,932 Views Citations
Hierarchical Coordinated Control for Power System Voltage Using Linear Temporal Logic (Articles)

Hongshan ZHAO, Hongliang GAO, Yang XIA

Engineering Vol.1 No.2，August 24, 2009

DOI: 10.4236/eng.2009.12014 5,727 Downloads 10,131 Views Citations
A Logical Treatment of Non-Termination and Program Behaviour (Articles)

Martin Ward, Hussein Zedan

Journal of Software Engineering and Applications Vol.7 No.7，June 5, 2014

DOI: 10.4236/jsea.2014.77051 4,363 Downloads 5,237 Views Citations
This article belongs to the Special Issue on Programming Languages
Efficient Routing Using Temporal Distance in Intermittently Connected Mobile Ad-hoc Networks (Articles)

Hemal Shah, Yogeshwar Kosta, Vikrant Patel

Communications and Network Vol.5 No.3，August 15, 2013

DOI: 10.4236/cn.2013.53033 3,707 Downloads 5,782 Views Citations
A Comparative Study of Majority/Minority Logic Circuit Synthesis Methods for Post-CMOS Nanotechnologies (Articles)

Amjad Almatrood, Harpreet Singh

Engineering Vol.9 No.10，October 27, 2017

DOI: 10.4236/eng.2017.910054 1,835 Downloads 5,473 Views Citations
Paraconsistent Algorithm Extractor of Contradiction Effects - Paraextrctr_ctr (Articles)

Joao Inacio Da Silva Filho, Germano Lambert-Torres, Luiz Fernando Pompeo Ferrara, Maurício Conceição Mário, Marcos Rosa dos Santos, Alexandre Shozo Onuki, José de Melo Camargo, Alexandre Rocco

Journal of Software Engineering and Applications Vol.4 No.10，October 11, 2011

DOI: 10.4236/jsea.2011.410067 5,662 Downloads 9,002 Views Citations
Treatment of Uncertainties with Algorithms of the Paraconsistent Annotated Logic (Articles)

João Inácio Da Silva Filho

Journal of Intelligent Learning Systems and Applications Vol.4 No.2，May 23, 2012

DOI: 10.4236/jilsa.2012.42014 5,781 Downloads 8,859 Views Citations
Formal Logic and Carnap’s Rejection of Metaphysics: A Short Reflection (Articles)

Michael Perrick

Open Journal of Philosophy Vol.8 No.5，November 29, 2018

DOI: 10.4236/ojpp.2018.85040 1,135 Downloads 3,898 Views Citations
Logic and the Development of Scientific Competencies in First-Year General Education (Articles)

Mandana Sobhanzadeh, Karim Dharamsi, Nicholas Strzalkowski, Peter Zizler, Eric Roettger

Creative Education Vol.12 No.11，November 17, 2021

DOI: 10.4236/ce.2021.1211193 297 Downloads 2,023 Views Citations
On Exploiting Temporal, Social, and Geographical Relationships for Data Forwarding in Delay Tolerant Networks (Articles)

Zhijie Li, Ming Li, Longxiang Gao

Journal of Software Engineering and Applications Vol.7 No.2，February 11, 2014

DOI: 10.4236/jsea.2014.72009 3,585 Downloads 5,300 Views Citations
Nonalgorithmicity and algorithmicity of protein science (Articles)

Qinyi Zhao

Advances in Bioscience and Biotechnology Vol.2 No.5，October 13, 2011

DOI: 10.4236/abb.2011.25050 6,750 Downloads 10,675 Views Citations
Simultaneous Measurability of Error and Disturbance (Articles)

Riuji Mochizuki

Journal of Modern Physics Vol.4 No.2，February 27, 2013

DOI: 10.4236/jmp.2013.42036 3,472 Downloads 5,231 Views Citations
Comparison of Defuzzification Operators on Geographic Data of Ratio Scale (Articles)

Thomas Hatzichristos, Dimitrios Ntzanis

Intelligent Information Management Vol.15 No.5，September 26, 2023

DOI: 10.4236/iim.2023.155018 123 Downloads 646 Views Citations
Temporal variability of problem drinking on Twitter (Articles)

Joshua Heber West, Parley Cougar Hall, Carl Lee Hanson, Kyle Prier, Christophe Giraud-Carrier, E. Shannon Neeley, Michael Dean Barnes

Open Journal of Preventive Medicine Vol.2 No.1，February 24, 2012

DOI: 10.4236/ojpm.2012.21007 6,526 Downloads 11,865 Views Citations
Osteoma of Temporal Bone—A Rare Case Report (Short Report)

Kartik Parelkar, Vandana Thorawade, Mohan Jagade, Rajesh Kar, Madhavi Pandare, Rajanala Nataraj, Reshma Hanwate, Anoop Attakil, Rohini Kashide

Int'l J. of Otolaryngology and Head & Neck Surgery Vol.3 No.5，September 18, 2014

DOI: 10.4236/ijohns.2014.35046 6,081 Downloads 7,876 Views Citations
Spatial and Temporal Variations in the Geochemistry of the Brahmaputra River Water (Articles)

Sumi Handique, Pragyan Sharma, Kushal K. Baruah, Jayant K. Tripathi

International Journal of Geosciences Vol.8 No.5，May 31, 2017

DOI: 10.4236/ijg.2017.85042 1,859 Downloads 3,347 Views Citations
Analysis of the Characteristics of the Haze in Recent 3 Decades in Chengdu (Articles)

Na Xie, Peng Yao, Dongfu Xu, Dongfang Zhang

Journal of Geoscience and Environment Protection Vol.5 No.7，July 24, 2017

DOI: 10.4236/gep.2017.57015 890 Downloads 1,627 Views Citations
Temporal and Spatial Dynamics of Vaccine-Derived Poliovirus (VDPV) in Democratic Republic of Congo from 2018 to 2023 (Articles)

Jean Blaise Yobo Iyala, Comlan Cyriaque Degbey, N’Kpingou Nadakou, Ounoussa Tapha, Eveline Soclo, Moise Gimiko, Fabrice Mawa, Chaltin Ambanga, Riziki Yogolelo, Désiré Ekanga, Jean Claude Onema

Open Journal of Epidemiology Vol.14 No.3，July 30, 2024

DOI: 10.4236/ojepi.2024.143032 93 Downloads 395 Views Citations
Employing fuzzy logic in the diagnosis of a clinical case (Articles)

Gaetano Licata

Health Vol.2 No.3，March 24, 2010

DOI: 10.4236/health.2010.23031 5,990 Downloads 11,745 Views Citations
Permutation and Complementary Algorithm to Generate Random Sequences for Binary Logic (Articles)

Jie Wan, Jeffrey Z. J. Zheng

Int'l J. of Communications, Network and System Sciences Vol.4 No.5，May 12, 2011

DOI: 10.4236/ijcns.2011.45039 4,596 Downloads 8,499 Views Citations

<12 3 ...>

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies