logic - researchr tag

researchr

You are not signed in
Sign in
Sign up

2012

International Symposium on Logic-Based Program Synthesis and Transformation, Proceedings2012.

Non-degenerate 2-State Reversible Logic Elements with Three or More Symbols Are All UniversalKenichi Morita, Tsuyoshi Ogiro, Artiom Alhazov. mvl, 18(1):37-54, 2012. [doi]

2011

Optimal PI-fuzzy logic controller of glucose concentration using genetic algorithmMohamed Al-Fandi, Mohammad Abdel Kareem Jaradat, Yousef Sardahi. kes, 15(2):99-117, 2011. [doi]

Resolution with Order and Selection for Hybrid LogicsCarlos Areces, Daniel Gorín. JAR, 46(1):1-42, 2011. [doi]

Eskolemization in Intuitionistic LogicMatthias Baaz, Rosalie Iemhoff. logcom, 21(4):625-638, 2011. [doi]

Unification in linear temporal logic LTLSergey Babenyshev, Vladimir V. Rybakov. APAL, 162(12):991-1000, 2011. [doi]

Omitting Types in an Intermediate LogicSeyed Mohammad Bagheri, Massoud Pourmahdian. sLogica, 97(3):319-328, 2011. [doi]

A journey in Computational Logic in ItalyMatteo Baldoni, Cristina Baroglio. ia, 5(1):67-69, 2011. [doi]

Correlated Information: A Logic for Multi-Partite Quantum SystemsAlexandru Baltag, Sonja Smets. ENTCS, 270(2):3-14, 2011. [doi]

Logics for Qualitative Inductive GeneralizationDiderik Batens. sLogica, 97(1):61-80, 2011. [doi]

A calculus for four-valued sequential logicJan A. Bergstra, Jaco van de Pol. TCS, 412(28):3122-3128, 2011. [doi]

Contextual Defeasible Logic and Its Application to Ambient IntelligenceAntonis Bikakis, Grigoris Antoniou. tsmc, 41(4):705-716, 2011. [doi]

Reasoning with the finitely many-valued Lukasiewicz fuzzy Description Logic SROIQFernando Bobillo, Umberto Straccia. isci, 181(4):758-778, 2011. [doi]

On the failure of the finite model property in some Fuzzy Description LogicsFernando Bobillo, Félix Bou, Umberto Straccia. fss, 172(1):1-12, 2011. [doi]

Deontic epistemic stit logic distinguishing modes of mens reaJan Broersen. japll, 9(2):137-152, 2011. [doi]

Expressing cardinality quantifiers in monadic second-order logic over chainsVince Bárány, Lukasz Kaiser, Alexander Rabinovich. JSYML, 76(2):603-619, 2011. [doi]

Proving linearizability with temporal logicSimon Bäumler, Gerhard Schellhorn, Bogdan Tofan, Wolfgang Reif. fac, 23(1):91-112, 2011. [doi]

Preface of this special issue: The Challenge of Combining LogicsJean-Yves Béziau. igpl, 19(4):543, 2011. [doi]

Strict core fuzzy logics and quasi-witnessed modelsMarco Cerami, Francesc Esteva. AML, 50(5-6):625-641, 2011. [doi]

Listings and logicsYijia Chen, Jörg Flum. eccc, 18:20, 2011. [doi]

DALI, RASP, mnemosine: Computational Logic at workStefania Costantini, Alessio Paolucci, Arianna Tocchio, Panagiota Tsintza. ia, 5(1):107-111, 2011. [doi]

Constructive Description Logics Hybrid-StyleValeria de Paiva, Edward Hermann Haeusler, Alexandre Rademaker. ENTCS, 273:21-31, 2011. [doi]

Self-learning fuzzy logic controllers for pursuit-evasion differential gamesSameh F. Desouky, Howard M. Schwartz. ras, 59(1):22-33, 2011. [doi]

On quasi-varieties of multiple valued logic modelsRazvan Diaconescu. mlq, 57(2):194-203, 2011. [doi]

Fragments of First-Order Logic over Infinite WordsVolker Diekert, Manfred Kufleitner. mst, 48(3):486-516, 2011. [doi]

Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101)Jürgen Dix, Wojtek Jamroga, Dov Samet. dagstuhl-reports, 1(3):1-18, 2011. [doi]

Some results on Parametric Temporal LogicManoj G. Dixit, S. Ramesh, Pallab Dasgupta. ipl, 111(20):994-998, 2011. [doi]

Foreword: special issue on coalgebraic logicErnst-Erich Doberkat, Alexander Kurz. mscs, 21(2):171-174, 2011. [doi]

Multicriteria methods and logic aggregation in suitability mapsJozo J. Dujmovic, Guy De Tré. ijis, 26(10):971-1001, 2011. [doi]

Converse-PDL with regular inclusion axioms: a framework for MAS logicsBarbara Dunin-Keplicz, L. Nguyen, Andrzej Szalas. jancl, 21(1):61-91, 2011. [doi]

Algorithms for generating arguments and counterarguments in propositional logicVasiliki Efstathiou, Anthony Hunter. ijar, 52(6):672-704, 2011. [doi]

The Impact of Current Controlled-MOS Current Mode Logic/Magnetic Tunnel Junction Hybrid Circuit for Stable and High-Speed OperationTetsuo Endoh, Masashi Kamiyanagi, Masakazu Muraguchi, Takuya Imamoto, Takeshi Sasaki. ieicet, 94-C(5):743-750, 2011. [doi]

Conditionals and Modularity in General LogicsDov M. Gabbay, Karl Schlechta. Cognitive Technologies, Springer, 2011. [doi]

Erratum to: Vagueness, tolerance and contextual logicHaim Gaifman. synthese, 179(3):501-502, 2011. [doi]

Control of a non-isothermal continuous stirred tank reactor by a feedback-feedforward structure using type-2 fuzzy logic controllersMosé Galluzzo, Bartolomeo Cosenza. isci, 181(17):3535-3550, 2011. [doi]

Beyond logic and rhetoric: the argumentative scientistKaramjit S. Gill. ais, 26(1):1-2, 2011. [doi]

Non-classical logics for knowledge representation and reasoningLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind. ia, 5(1):127-131, 2011. [doi]

Geometry of Interaction V: Logic in the hyperfinite factorJean-Yves Girard. TCS, 412(20):1860-1883, 2011. [doi]

Propositional proof compressions and DNF logicLew Gordeev, Edward Hermann Haeusler, Luiz Carlos Pereira. igpl, 19(1):62-86, 2011. [doi]

Instantiating abstract argumentation with classical logic arguments: Postulates and propertiesNikos Gorogiannis, Anthony Hunter. ai, 175(9-10):1479-1497, 2011. [doi]

Logic of infons: The propositional caseYuri Gurevich, Itay Neeman. tocl, 12(2):9, 2011. [doi]

Fixpoint Logics over Hierarchical StructuresStefan Göller, Markus Lohrey. mst, 48(1):93-131, 2011. [doi]

A Hybrid Public Announcement Logic with Distributed KnowledgeJens Ulrik Hansen. ENTCS, 273:33-50, 2011. [doi]

Reasoning about conditional probabilities in a higher-order-logic theorem proverOsman Hasan, Sofiène Tahar. japll, 9(1):23-40, 2011. [doi]

CERES in higher-order logicStefan Hetzl, Alexander Leitsch, Daniel Weller. APAL, 162(12):1001-1034, 2011. [doi]

Quantum Logic in Dagger Kernel CategoriesChris Heunen, Bart Jacobs. ENTCS, 270(2):79-103, 2011. [doi]

Disjunction property and complexity of substructural logicsRostislav Horcík, Kazushige Terui. TCS, 412(31):3992-4006, 2011. [doi]

Towards metamathematics of weak arithmetics over fuzzy logicPetr Hájek. igpl, 19(3):467-475, 2011. [doi]

An Efficient Gate Library for Ambipolar CNTFET LogicM. Haykel Ben Jamaa, Kartik Mohanram, Giovanni De Micheli. tcad, 30(2):242-255, 2011. [doi]

Modular Verification of Linked Lists with Views via Separation LogicJonas Braband Jensen, Lars Birkedal, Peter Sestoft. jot, 10, 2011. [doi]

Extending fuzzy soft sets with fuzzy description logicsYuncheng Jiang, Yong Tang, Qimai Chen, Hai Liu, Jianchao Tang. kbs, 24(7):1096-1107, 2011. [doi]

Logic and Games on Automatic Structures - Playing with Quantifiers and DecompositionsLukasz Kaiser. Volume 6810 of Lecture Notes in Computer Science, Springer, 2011. [doi]

Verification of Stable Circuit Operation of 180 nm Current Controlled MOS Current Mode Logic under Threshold Voltage FluctuationMasashi Kamiyanagi, Takuya Imamoto, Takeshi Sasaki, Hyoungjun Na, Tetsuo Endoh. ieicet, 94-C(5):760-766, 2011. [doi]

Linking temporal first-order logic with Bayesian networks for the simulation of pervasive computing systemsEleftheria Katsiri, Alan Mycroft. simpra, 19(1):161-180, 2011. [doi]

Logics for information systems and their dynamic extensionsMd. Aquil Khan, Mohua Banerjee. tocl, 12(4):29, 2011. [doi]

Improving the energy efficiency of reversible logic circuits by the combined use of adiabatic stylesMehrdad Khatir, Alireza Ejlali, Amir Moradi. integration, 44(1):12-21, 2011. [doi]

A fuzzy logic application for selecting layered manufacturing techniquesSamir Khrais, Tarek Al-Hawari, Omar Al-Araidah. eswa, 38(8):10286-10291, 2011. [doi]

A Remark on Negation in Dependence LogicJuha Kontinen, Jouko A. Väänänen. ndjfl, 52(1):55-65, 2011. [doi]

Erratum to: On Definability in Dependence LogicJuha Kontinen, Jouko A. Väänänen. jolli, 20(1):133-134, 2011. [doi]

Î ::::::K::::::: a Non-Fregean Logic of Explicit KnowledgeSteffen Lewitzka. sLogica, 97(2):233-264, 2011. [doi]

Walking Motion Generation, Synthesis, and Control for Biped Robot by Using PGRL, LPI, and Fuzzy LogicTzuu-Hseng S. Li, Yu-Te Su, Shao-Wei Lai, Jhen-Jia Hu. tsmc, 41(3):736-748, 2011. [doi]

A logic for reasoning about counterfactual emotionsEmiliano Lorini, François Schwarzentruber. ai, 175(3-4):814-847, 2011. [doi]

Cascaded Time Difference Amplifier with Differential Logic Delay CellShingo Mandai, Toru Nakura, Tetsuya Iizuka, Makoto Ikeda, Kunihiro Asada. ieicet, 94-C(4):654-662, 2011. [doi]

Some applications of Computational Logic to the development of intelligent systems and verification methodsViviana Mascardi, Giorgio Delzanno, Maurizio Martelli. ia, 5(1):145-149, 2011. [doi]

Knowledge representation, the World Wide Web, and the evolution of logicChristopher Menzel. synthese, 182(2):269-295, 2011. [doi]

Hybrid Metric Propositional Neighborhood Logics with Interval Length BindersDario Della Monica, Valentin Goranko, Guido Sciavicco. ENTCS, 273:3-19, 2011. [doi]

Logic of secrets in collaboration networksSara Miner More, Pavel Naumov. APAL, 162(12):959-969, 2011. [doi]

Syllogistic Logic with Comparative AdjectivesLawrence S. Moss. jolli, 20(3):397-417, 2011. [doi]

Finite axiomatizability in Łukasiewicz logicDaniele Mundici. APAL, 162(12):1035-1047, 2011. [doi]

A Compact [0, 1]-valued First-order Łukasiewicz Logic with Identity on Hilbert SpaceDaniele Mundici. logcom, 21(3):509-525, 2011. [doi]

Satellite image processing for oceanic applications using fuzzy logicMadhu S. Nair, Rekha Lakshmanan, M. Wilscy, Rao Tatavarti. ijista, 10(3):289-301, 2011. [doi]

Specifying Proof Systems in Linear Logic with SubexponentialsVivek Nigam, Elaine Pimentel, Giselle Reis. ENTCS, 269:109-123, 2011. [doi]

Transportation policies for single and multi-objective transportation problem using fuzzy logicAnupam Ojha, Shyamal Kr. Mondal, Manoranjan Maiti. mcm, 53(9-10):1637-1646, 2011. [doi]

Two-Dimensional Nonlinear Fabry-Perot Interferometer: An Unconventional Computing Substrate for Maze Exploration and Logic Gate OperationYouichi Okabayashi, Takashi Isoshima, Etsushi Nameda, Song-Ju Kim, Masahiko Hara. ijnmc, 3(1):13-23, 2011. [doi]

Predicting correlations properties of crude oil systems using type-2 fuzzy logic systemsSunday Olusanya Olatunji, Ali Selamat, Abdul Azeez Abdul Raheem. eswa, 38(9):10911-10922, 2011. [doi]

Extending description logics with uncertainty reasoning in possibilistic logicGuilin Qi, Qiu Ji, Jeff Z. Pan, Jianfeng Du. ijis, 26(4):353-381, 2011. [doi]

Two-Stage Fuzzy Logic Controller for Signalized IntersectionJian Qiao, Naiding Yang, Jie Gao. tsmc, 41(1):178-184, 2011. [doi]

Contributions to the evaluation of ensembles of combinational logic gatesRenato P. Ribas, S. Bavaresco, N. Schuch, Vinicius Callegaro, Marcelo Lubaszewski, André Inácio Reis. mj, 42(2):371-381, 2011. [doi]

Biprobability logic with conditional expectationVladimir Ristic, Radosav S. Dordevic, Nebojsa Ikodinovic. mlq, 57(4):400-408, 2011. [doi]

Dual-V::th:: Independent-Gate FinFETs for Low Power Logic CircuitsMasoud Rostami, Kartik Mohanram. tcad, 30(3):337-349, 2011. [doi]

From Boolean Logic to Switching Circuits and Automata - Towards Modern Information TechnologyRadomir S. Stankovic, Jaakko Astola. Volume 335 of Studies in Computational Intelligence, Springer, 2011. [doi]

Spatiality and classical logicMilena Stefanova, Silvio Valentini. mlq, 57(4):432-440, 2011. [doi]

Weak Updates and Separation LogicGang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai. ngc, 29(1):3-29, 2011. [doi]

Reconfigurable five-layer three-dimensional integrated memory-on-logic synthetic aperture radar processorThorlindur Thorolfsson, Nariman Moezzi Madani, Paul D. Franzon. iet-cdt, 5(3):198-204, 2011. [doi]

Expressiveness of propositional projection temporal logic with starCong Tian, Zhenhua Duan. TCS, 412(18):1729-1744, 2011. [doi]

Indicating combinational logic decompositionW. B. Toms, David A. Edwards. iet-cdt, 5(4):331-341, 2011. [doi]

An experimental comparison of fuzzy logic and analytic hierarchy process for medical decision support systemsFaith-Michael E. Uzoka, Okure U. Obot, Ken Barker, Joseph Osuji. cmpb, 103(1):10-27, 2011. [doi]

Paraconsistency in Categories: Case of Relevance LogicVladimir L. Vasyukov. sLogica, 98(3):429-443, 2011. [doi]

A Tool for Analysing LogicsSheila R. M. Veloso, Paulo A. S. Veloso, Paula M. Veloso. ENTCS, 269:125-137, 2011. [doi]

Actual causation in CP-logicJoost Vennekens. tplp, 11(4-5):647-662, 2011. [doi]

Finite domain and symbolic inference methods for extensions of first-order logicJohan Wittocx. aicom, 24(1):91-93, 2011. [doi]

Near-Threshold Computing of Clocked Adiabatic Logic with Complementary Pass-Transistor Logic CircuitsYangbo Wu, Jianping Hu. jolpe, 7(3):393-402, 2011. [doi]

On the Continuity of Type-1 and Interval Type-2 Fuzzy Logic SystemsDongrui Wu, Jerry M. Mendel. tfs, 19(1):179-192, 2011. [doi]

Determination of α-resolution in lattice-valued first-order logic LF(X)Yang Xu, Jun Liu, Da Ruan, Xiaobing Li. isci, 181(10):1836-1862, 2011. [doi]

Iterative Algorithms for Decoding a Class of Two-Step Majority-Logic Decodable Cyclic CodesLi Zhang, Qin Huang, Shu Lin. tcom, 59(2):416-427, 2011. [doi]

An Energy Efficiency 4-bit Multiplier with Two-Phase Non-overlap Clock Driven Charge Recovery LogicYimeng Zhang, Leona Okamura, Tsutomu Yoshihara. ieicet, 94-C(4):605-612, 2011. [doi]

Fault Diagnosis in Lab-on-Chip Using Digital Microfluidic Logic GatesYang Zhao, Krishnendu Chakrabarty. et, 27(1):69-83, 2011. [doi]

Borel probabilistic and quantitative logicHongjun Zhou, Guojun Wang. chinaf, 54(9):1843-1854, 2011. [doi]

Massively Parallel Logic Simulation with GPUsYuhao Zhu, Bo D. Wang, Yangdong Deng. todaes, 16(3):29, 2011. [doi]

On the logic of preference and judgment aggregationThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge. AAMAS, 22(1):4-30, 2011. [doi]

PreviousNext