Andrew D. Gordon - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged logic

Semantic subtyping with an SMT solverGavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy. ICFP 2010: 105-116 [doi]

SecPAL: Design and semantics of a decentralized authorization languageMoritz Y. Becker, Cédric Fournet, Andrew D. Gordon. jcs, 18(4):619-665, 2010. [doi]

Type Inference for Correspondence TypesAndrew D. Gordon, Hans HÃ¼ttel, RenÃ© Rydhof Hansen. ENTCS, 242(3):21-36, 2009. [doi]

Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, ProceedingsArnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe, editors, Volume 5028 of Lecture Notes in Computer Science, Springer, 2008.

Approximation Schemes in Logic and Artificial IntelligenceVictor W. Marek, Miroslaw Truszczynski. trs, 9:135-144, 2008. [doi]

Pronto: A Non-monotonic Probabilistic Description Logic ReasonerPavel Klinov. esws 2008: 822-826 [doi]

Deciding validity in a spatial logic for treesCristiano Calcagno, Luca Cardelli, Andrew D. Gordon. JFP, 15(4):543-572, 2005. [doi]

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

Bounding Resource Consumption with Gödel-Dummett LogicsDominique Larchey-Wendling. lpar 2005: 682-696 [doi]

Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, ProceedingsJosé Júlio Alferes, João Alexandre Leite, editors, Volume 3229 of Lecture Notes in Computer Science, Springer, 2004.

Computational Logic in Multi-Agent Systems, 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited PapersJürgen Dix, João Alexandre Leite, editors, Volume 3259 of Lecture Notes in Computer Science, Springer, 2004.

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

Deciding validity in a spatial logic for treesCristiano Calcagno, Luca Cardelli, Andrew D. Gordon. tldi 2003: 62-73 [doi]

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

A Decidable CLDS for Some Propositional Resource LogicsKrysia Broda. BIRTHDAY 2002: 135-159 [doi]

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

The Pointer Assertion Logic EngineAnders Møller, Michael I. Schwartzbach. PLDI 2001: 221-231

Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, ProceedingsRichard J. Boulton, Paul B. Jackson, editors, Volume 2152 of Lecture Notes in Computer Science, Springer, 2001.

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.

Anytime, Anywhere: Modal Logics for Mobile AmbientsLuca Cardelli, Andrew D. Gordon. POPL 2000: 365-377 [doi]

Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, ProceedingsMark Aagaard, John Harrison, editors, Volume 1869 of Lecture Notes in Computer Science, Springer, 2000.

Fuzzy Logic - A Modern PerspectiveJohn Yen. tkde, 11(1):153-165, 1999. [doi]

Corrigendum to Galmiche s and Perrier s On Proof Normalization in Linear Logic Guy Perrier. TCS, 206(1-2):353-354, 1998. [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]

Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs 96, Turku, Finland, August 26-30, 1996, ProceedingsJoakim von Wright, Jim Grundy, John Harrison, editors, Volume 1125 of Lecture Notes in Computer Science, Springer, 1996.

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

Belief Revision, Conditional Logic and Nonmonotonic ReasoningWayne Wobcke. ndjfl, 36(1):55-102, 1995.

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

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

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

The Formal Definition of a Synchronous Hardware-Description Language in Higher Order LogicAndrew D. Gordon. iccd 1992: 531-534

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

A Clausal Logic for Deontic Action SpecificationRon van der Meyden. SLP 1991: 221-238

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

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, ProceedingsJ. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Volume 354 of Lecture Notes in Computer Science, Springer, 1989.

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

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.

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.

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