Eric Bodden - 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]

Tracechecks: Defining Semantic Interfaces with Temporal LogicEric Bodden, Volker Stolz. SC 2006: 147-162 [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

Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation LogicViorel Preoteasa. FM 2006: 508-523 [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

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]

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.

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.

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

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.

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

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

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.

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.

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