Koen Claessen - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged logic

The Anatomy of Equinox - An Extensible Automated Reasoning Tool for First-Order Logic and Beyond - (Talk Abstract)Koen Claessen. cade 2011: 1-3 [doi]

Sort It Out with Monotonicity - Translating between Many-Sorted and Unsorted First-Order LogicKoen Claessen, Ann Lillieström, Nicholas Smallbone. cade 2011: 207-221 [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]

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

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

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.

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

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

A Branching Time Logic with Past OperatorsMichael Kaminski. jcss, 49(2):223-246, 1994.

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

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

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.

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 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.

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