Wiebe van der Hoek - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged logic

A logic of games and propositional controlNicolas Troquard, Wiebe van der Hoek, Michael Wooldridge. atal 2009: 961-968 [doi]

Quantifying over coalitions in epistemic logicThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge. atal 2008: 665-672 [doi]

Dynamic Epistemic Logic and Knowledge PuzzlesHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi. iccS 2007: 45-58 [doi]

Logics in AI: post-proceedings JELIA06 (Editorial)Michael Fisher, Wiebe van der Hoek. AMAI, 50(3-4):227-229, 2007. [doi]

Alternating-time temporal logic with explicit strategiesDirk Walther, Wiebe van der Hoek, Michael Wooldridge. tark 2007: 269-278 [doi]

Quantified Coalition LogicThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge. IJCAI 2007: 1181-1186 [doi]

On the Logic of Normative SystemsThomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge. IJCAI 2007: 1175-1180 [doi]

Logic for Automated Mechanism Design - A Progress ReportMichael Wooldridge, Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek. AAAI 2007: 9

Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, ProceedingsMichael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa, editors, Volume 4160 of Lecture Notes in Computer Science, Springer, 2006.

On the logic of coalitional gamesThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge. atal 2006: 153-160 [doi]

Dynamic epistemic logic with assignmentHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi. atal 2005: 141-148 [doi]

On the logic of cooperation and propositional controlWiebe van der Hoek, Michael Wooldridge. ai, 164(1-2):81-119, 2005. [doi]

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

Preferences in Game LogicsSieuwert van Otterloo, Wiebe van der Hoek, Michael Wooldridge. atal 2004: 152-159 [doi]

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]

Concurrent dynamic epistemic logic for MASHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi. atal 2003: 201-208 [doi]

Towards a Logic of Rational AgencyWiebe van der Hoek, Michael Wooldridge. igpl, 11(2):135-159, 2003. [doi]

Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its ApplicationsWiebe van der Hoek, Michael Wooldridge. sLogica, 75(1):125-157, 2003. [doi]

A logic for ignoranceWiebe van der Hoek, Alessio Lomuscio. dalt 2004: 97-108 [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]

Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its ApplicationsMichael Wooldridge, Wiebe van der Hoek. coordination 2002: 4 [doi]

On Modal Logic Interpretations of GamesPaul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen. ecai 2002: 28-32

On BAN Logics for Industrial Security ProtocolsNesria Agray, Wiebe van der Hoek, Erik P. de Vink. ceemas 2002: 29-36 [doi]

Modal Logic with Bounded Quantification over WorldsRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. logcom, 11(5):701-715, 2001. [doi]

Minimizing Agent Specifications using a Logic of Knowledge and ActionsGilbert Ndjatou. logcom, 11(2):337-354, 2001. [doi]

Persistence and minimality in epistemic logicWiebe van der Hoek, Jan Jaspars, Elias Thijsse. AMAI, 27(1-4):25-47, 1999.

Logic for Applications, Anil Nerode and Richard A. ShoreWiebe van der Hoek. jolli, 7(2):228-229, 1998.

Temporalizing Epistemic Default LogicWiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur. jolli, 7(3):341-367, 1998.

Corrigendum to Galmiche s and Perrier s On Proof Normalization in Linear Logic Guy Perrier. TCS, 206(1-2):353-354, 1998. [doi]

Honesty in partial logicWiebe van der Hoek, Jan Jaspars, Elias Thijsse. sLogica, 56(3):323-360, 1996.

A Modal Contrastive Logic: The Logic of but John-Jules Ch. Meyer, Wiebe van der Hoek. AMAI, 17(3-4):291-313, 1996.

A Default Logic Based on Epistemic StatesJohn-Jules Ch. Meyer, Wiebe van der Hoek. FUIN, 23(1):33-65, 1995.

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

A Logic of CapabilitiesWiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer. lfcs 1994: 366-378

A Default Logic Based on Epistemic StatesJohn-Jules Ch. Meyer, Wiebe van der Hoek. ecsqaru 1993: 265-273

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

Graded Modalities in Epistemic LogicWiebe van der Hoek, John-Jules Ch. Meyer. lfcs 1992: 503-514

Categorical Models for Non-Extensional lambda-Calculi and Combinatory LogicSimone Martini. mscs, 2(3):327-357, 1992.

Some Considerations on the Logic PfDWiebe van der Hoek. lpar 1992: 474-485

Computational Logic - Essays in Honor of Alan Robinson1991.

Credulous and Autoepistemic Reasoning Using Ordered LogicP. Geerts, Dirk Vermeir. lpnmr 1991: 21-36

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.

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.

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