Thomas W. Reps - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged logic

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]

Verifying Temporal Heap Properties Specified via Evolution LogicEran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm. igpl, 14(5):755-783, 2006. [doi]

Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data StructuresTal Lev-Ami, Neil Immerman, Thomas W. Reps, Shmuel Sagiv, S. Srivastava, Greta Yorsh. cade 2005: 99-115 [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]

The Boundary Between Decidability and Undecidability for Transitive-Closure LogicsNeil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh. csl 2004: 160-174 [doi]

Static Program Analysis via 3-Valued LogicThomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm. cav 2004: 15-30 [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]

Verifying Temporal Heap Properties Specified via Evolution LogicEran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm. ESOP 2003: 204-222 [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

Parametric shape analysis via 3-valued logicShmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm. TOPLAS, 24(3):217-298, 2002. [doi]

Static Program Analysis via 3-Valued LogicThomas W. Reps. SAS 2002: 1 [doi]

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]

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.

Parametric Shape Analysis via 3-Valued LogicShmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm. POPL 1999: 105-118 [doi]

A Decidable Logic for Describing Linked Data StructuresMichael Benedikt, Thomas W. Reps, Shmuel Sagiv. ESOP 1999: 2-19 [doi]

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]

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

Demand Interprocedural Program Analysis Using Logic DatabasesThomas W. Reps. deductive 1993: 163-196

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

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