Vlad Rusu - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged logic

Combining Theorem Proving and Narrowing for Rewriting-Logic SpecificationsVlad Rusu. tap 2010: 135-150 [doi]

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

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

Extracting a data flow analyser in constructive logicDavid Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu. TCS, 342(1):56-78, 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]

Extracting a Data Flow Analyser in Constructive LogicDavid Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu. ESOP 2004: 385-400 [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.

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

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

Equational Logic of Polynomial CoalgebrasRobert Goldblatt. aiml 2003: 149-184

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.

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.

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

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.

Verifying Temporal Properties without Temporal LogicBowen Alpern, Fred B. Schneider. TOPLAS, 11(1):147-167, 1989. [doi]

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