Robert Harper - 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]

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

Distributed Control Flow with Classical Modal LogicTom Murphy VII, Karl Crary, Robert Harper. csl 2005: 51-69 [doi]

Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent VariablesRegimantas Pliuskevicius, Aida Pliuskeviciene. clima 2006: 112-128 [doi]

Proceedings of the Joint 4th Conference of the European Society for Fuzzy Logic and Technology and the 11th Rencontres Francophones sur la Logique Floue et ses Applications, Barcelona, Spain, September 7-9, 2005Eduard Montseny, Pilar Sobrevilla, editors, Universidad Polytecnica de Catalunya, 2005.

Using an electronic voting system in logic lectures: one practitioner s applicationS. A. J. Stuart, M. I. Brown, Stephen W. Draper. jcal, 20(2):95-102, 2004. [doi]

Synthesis of Logic Circuits Using Fractional-Order Dynamic Fitness FunctionsCecília Reis, José António Tenreiro Machado, J. Boaventura Cunha. ijit 2004: 77-80

On the Computational Complexity of Cut-Elimination in Linear LogicHarry G. Mairson, Kazushige Terui. ictcs 2003: 23-36 [doi]

Probability, logic and the cognitive foundations of rational beliefJohn Fox. japll, 1(3-4):197-224, 2003. [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.

On the unusual effectiveness of logic in computer scienceJoseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu. bsl, 7(2):213-236, 2001. [doi]

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

Interpolation theorems for intuitionistic predicate logicGrigori Mints. APAL, 113(1-3):225-242, 2001.

Corrigendum to Galmiche s and Perrier s On Proof Normalization in Linear Logic Guy Perrier. TCS, 206(1-2):353-354, 1998. [doi]

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

Fuzzy Sets and Fuzzy Logic: Theory and Applications. By George J. Klir and Bo Yuan. Prentice Hall: Upper Saddle River, NJ, 1995, 574 pp, ISBN 0-13-101171-5Jiri Pospichal. jcisd, 36(3):619, 1996. [doi]

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

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

Structured Theory Presentations and Logic RepresentationsRobert Harper, Donald Sannella, Andrzej Tarlecki. APAL, 67(1-3):113-160, 1994.

Logic and Learning: Turing s legacyStephen Muggleton. mi 1994: 37-56

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

On Bimodal Logics of ProvabilityLev D. Beklemishev. APAL, 68(2):115-159, 1994.

Knowledge Representation and Reasoning Under Uncertainty, Logic at Work [International Conference Logic at Work, Amsterdam, The Netherlands, December 17-19, 1992]Michael Masuch, László Pólos, editors, Volume 808 of Lecture Notes in Computer Science, Springer, 1994.

Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, Valletta, Malta, September 19-22, 1994, ProceedingsThomas F. Melham, Juanito Camilleri, editors, Volume 859 of Lecture Notes in Computer Science, Springer, 1994.

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

A Framework for Defining LogicsRobert Harper, Furio Honsell, Gordon D. Plotkin. JACM, 40(1):143-184, 1993. [doi]

Johan van Benthem, Language in Action: Categories, Lambdas and Dynamic LogicDavid J. Israel. ai, 63(1-2):503-510, 1993.

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.

Computational Logic - Essays in Honor of Alan Robinson1991.

Credulous and Autoepistemic Reasoning Using Ordered LogicP. Geerts, Dirk Vermeir. lpnmr 1991: 21-36

An Evaluation of the Chandy-Misra-Bryant Algorithm for Digital Logic SimulationLarry Soulé, Anoop Gupta. tomacs, 1(4):308-347, 1991. [doi]

Motivation and Demotivation of a Four-Valued LogicJohn Fox. ndjfl, 31(1):76-80, 1990.

Logic Representation in LFRobert Harper, Donald Sannella, Andrzej Tarlecki. ctcs 1989: 250-272

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

A Framework for Defining LogicsRobert Harper, Furio Honsell, Gordon D. Plotkin. lics 1987: 194-204

Epistemic Logics, Probability, and the Calculus of EvidenceEnrique H. Ruspini. IJCAI 1987: 924-931

A Foray Into Combinatory LogicBarney Glickfeld, Ross A. Overbeek. JAR, 2(4):419-431, 1986.

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

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

Proving Failure-Free Properties of Concurrent Systems Using Temporal LogicRichard Alan Karp. TOPLAS, 6(2):239-253, 1984. [doi]

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.

runs on WebDSL