Ulf Norell - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged logic

Undecidability for arbitrary public announcement logicTim French, Hans P. van Ditmarsch. aiml 2008: 23-42 [doi]

An Optimal Multi-Functional Unit Dynamic Instruction Selection Logic at Submicron TechnologiesTerrell Bennett, Rama Sangireddy. vlsid 2008: 267-272 [doi]

Integrating Real Option and Dynamic Capability Theories of Firm Boundaries: The Logic of Early Acquisition in the ICT IndustryAlfred G. Warener, James F. Fairbank. jitsr, 6(1):39-54, 2008. [doi]

A proof-theoretic study of the correspondence of hybrid logic and classical logicH. Kushida, M. Okada. jolli, 16(1):35-61, 2007. [doi]

Reference and perspective in intuitionistic logicsJohn Nolt. jolli, 16(1):91-115, 2007. [doi]

36th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2006), 17-20 May 2006, SingaporeIEEE Computer Society, 2006.

Transparent Intensional Logic and Multiagent SystemsJaroslav Müller. imecs 2006: 264-269

Connecting a Logical Framework to a First-Order Logic ProverAndreas Abel, Thierry Coquand, Ulf Norell. frocos 2005: 285-301 [doi]

Congestion Control in Differentiated Services Networks by Means of Fuzzy LogicMorteza Mosavi, Mehdi Galily. fskd 2005: 976-979 [doi]

Bisimulation Quantified Logics: UndecidabilityTim French. fsttcs 2005: 396-407 [doi]

34th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2004), 19-22 May 2004, Toronto, CanadaIEEE Computer Society, 2004.

Spaghetti Code, Soupy Logic, and the Expression of GenesJim Kent. csb 2004: 7 [doi]

Dale Jacquette (ed.), A Companion to Philosophical LogicTorsten Jepsen. sLogica, 77(3):439-452, 2004. [doi]

The Assault on LogicMichael A. Caloyannides. ieeesp, 1(4):91-95, 2003. [doi]

Application of Fuzzy Logic for Dynamic Scheduling in Intelligent Manufacturing SystemAndrzej Jardzioch, Jerzy Honczarenko. icai 2003: 957-963

10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 8-10 July 2003, Cairns, Queensland, AustraliaIEEE Computer Society, 2003.

Development of a Strong Stream Ciphering Technique Using Non-Linear Fuzzy Logic SelectorAhmed M. Al-Naamany, Afaq Ahmad. ifip6-8 2002: 199-206

Expressive Power of Temporal LogicsAlexander Moshe Rabinovich. concur 2002: 57-75 [doi]

Minimizing Agent Specifications using a Logic of Knowledge and ActionsGilbert Ndjatou. logcom, 11(2):337-354, 2001. [doi]

Sufficient conditions on fuzzy logic controllers as universal approximatorsChen Weitian. tsmc, 31(2):270-274, 2001.

Inductive Datatypes in HOL - Lessons Learned in Formal-Logic EngineeringStefan Berghofer, Markus Wenzel. tphol 1999: 19-36 [doi]

Automatic braking system using fuzzy logicM. A. Jarrah, Adnan K. Shaout. jifs, 7(1):47-54, 1999. [doi]

Light Linear LogicJean-Yves Girard. iandc, 143(2):175-204, 1998.

Contextual Logic of Change and Contextual ProofsPedro A. de Matos, João P. Martins. time 1997: 153-159 [doi]

A complementary fuzzy logic systemHisashi Suzuki. tsmc, 27(2):293-295, 1997.

Power Factor Correction in Power Systems Having Load Asymmetry by Using Fuzzy Logic ControllerMugdesem Tanriöven, Celal Kocatepe, Adem Ünal. fuzzy 1997: 529-535

RAA-Coherent Logics which are not RAA-Extended are Non-MonotonicCristian Papp. cuza, 5:29-34, 1996.

Evidential Bilattice Logic and Lexical InferenceAndreas Schöter. jolli, 5(1):65-105, 1996.

Oscillation Control in Logic Simulation using Dynamic Dominance GrahpsPeter Dahlgren. dac 1996: 155-160 [doi]

Discursive logic. Towards a logic of rational discourseMax P. Urchs. sLogica, 54(2):231-249, 1995.

Logic, Computers, Turing, and von NeumannJohn Alan Robinson. mi 1994: 1-35

Mechanical Verification of Distributed Algorithms in Higher-Order LogicChing-Tsun Chou. tphol 1994: 158-176

Recurrent Fuzzy Logic Using Neural NetworkEmdad Khan, Fatih Unal. nagoya 1995: 48-55

Predicates, Temporal Logic, and SimulationsChing-Tsun Chou. tphol 1994: 310-323

Categorical Models for Non-Extensional lambda-Calculi and Combinatory LogicSimone Martini. mscs, 2(3):327-357, 1992.

Logic of Trace Languages (Extended Abstract)Alexander Moshe Rabinovich. concur 1992: 504-517

Computational Logic - Essays in Honor of Alan Robinson1991.

Finite and Finitely Separable Intermediate Propositional LogicsFabio Bellissima. JSYML, 53(2):403-420, 1988.

Interval Temporal Logic and Star-Free ExpressionsD. Lippert. csl 1989: 187-198

Clausal Intuitionistic Logic II - Tableau Proof ProceduresL. Thorne McCarty. jlp, 5(2):93-132, 1988.

Logic ContinuationsChristopher T. Haynes. jlp, 4(2):157-176, 1987.

Expert LogicsGeorge Gargov, Slavian Radev. aimsa 1986: 181-188

A Generalized Nexttime Operator in Temporal LogicFred Kröger. jcss, 29(1):80-98, 1984.

A Proof of the Associated Sheaf Theorem by Means of Categorical LogicBarbara Veit. JSYML, 46(1):45-55, 1981.

ULM Implicants for Minimization of Universal Logic Module CircuitsRaymond P. Voith. TC, 26(5):417-424, 1977.

Subtree Replacement Systems: A Unifying Theory for Recursive Equations, LISP, Lucid and Combinatory LogicMike O Donnell. stoc 1977: 295-305

Reed-Muller Canonical Forms in Multivalued LogicKolar L. Kodandapani, Rangaswamy V. Setlur. TC, 24(6):628-636, 1975.

On the Structure of Quantum LogicP. D. Finch. JSYML, 34(2):275-282, 1969.

Annual Meeting of the Association for Symbolic LogicBurton Dreben, James Thomson. JSYML, 33(4):636-645, 1968.

Fourteenth Meeting of the Association for Symbolic LogicJames Willard Oliver. JSYML, 17(2):156-159, 1952.

runs on WebDSL