Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Dov M.
Last name:	Gabbay
DBLP:	g/DovMGabbay
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 25 of 162  

Select a publication
Show	Title	Venue	Rating	Date
	Dov M. Gabbay, Karl Schlechta. A Theory of Hierarchical Consequence and Conditionals.	Journal of Logic, Language and Information 2010, Volume 19	(0)	2010
	Dov M. Gabbay, Karl Schlechta. Defeasible inheritance systems and reactive diagrams.	Logic Journal of the IGPL 2009, Volume 17	(0)	2009
	Dov M. Gabbay, Odinaldo Rodrigues, Gabriella Pigozzi. Connections between Belief Revision, Belief Merging and Social Choice.	J. Log. Comput. 2009, Volume 19	(0)	2009
	Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert W. N. van der Torre. Fibred Security Language.	Studia Logica 2009, Volume 92	(0)	2009
	Steve Barker, Guido Boella, Dov M. Gabbay, Valerio Genovese. A Meta-model of Access Control in a Fibred Security Language.	Studia Logica 2009, Volume 92	(0)	2009
	M. Abraham, Dov M. Gabbay, U. Schild. Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction.	Studia Logica 2009, Volume 92	(0)	2009
	Dov M. Gabbay, Karl Schlechta. Independence - Revision and Defaults.	Studia Logica 2009, Volume 92	(0)	2009
	Dov M. Gabbay, Andrzej Szalas. Voting by Eliminating Quantifiers.	Studia Logica 2009, Volume 92	(0)	2009
	Dov M. Gabbay, Artur S. d'Avila Garcez. Logical Modes of Attack in Argumentation Networks.	Studia Logica 2009, Volume 93	(0)	2009
	Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre, Serena Villata. Meta-Argumentation Modelling I: Methodology and Techniques.	Studia Logica 2009, Volume 93	(0)	2009
	Dov M. Gabbay. Modal Provability Foundations for Argumentation Networks.	Studia Logica 2009, Volume 93	(0)	2009
	Dov M. Gabbay, Andrzej Szalas. Annotation Theories over Finite Graphs.	Studia Logica 2009, Volume 93	(0)	2009
	Martin W. A. Caminada, Dov M. Gabbay. A Logical Account of Formal Argumentation.	Studia Logica 2009, Volume 93	(0)	2009
	Dov M. Gabbay. Semantics for Higher Level Attacks in Extended Argumentation Frames Part 1: Overview.	Studia Logica 2009, Volume 93	(0)	2009
	Dov M. Gabbay. Fibring Argumentation Frames.	Studia Logica 2009, Volume 93	(0)	2009
	Yining Wu, Martin Caminada, Dov M. Gabbay. Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming.	Studia Logica 2009, Volume 93	(0)	2009
	Dov M. Gabbay, Leendert W. N. van der Torre. Preface for Studia Logica Special Issue (2).	Studia Logica 2009, Volume 93	(0)	2009
	Dov M. Gabbay, Sérgio Marcelino. Modal Logics of Reactive Frames.	Studia Logica 2009, Volume 93	(0)	2009
	Dov M. Gabbay. Introducing Reactive Kripke Semantics and Arc Accessibility.	Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday 2008	(0)	2008
	Dov M. Gabbay. Reactive Kripke Models and Contrary to Duty Obligations.	Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings 2008	(0)	2008
	Davide Grossi, Dov M. Gabbay, Leendert W. N. van der Torre. A Normative View on the Blocks World.	Third International Workshop on Normative Multiagent Systems - NorMAS 2008, Luxembourg, July 15-16, 2008. Proceedings 2008	(0)	2008
	Dov M. Gabbay, Amir Pnueli. A Sound and Complete Deductive System for CTL* Verification.	Logic Journal of the IGPL 2008, Volume 16	(0)	2008
	Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay. Cut-Based Abduction.	Logic Journal of the IGPL 2008, Volume 16	(0)	2008
	Dov M. Gabbay, John Woods. Resource-origins of Nonmonotonicity.	Studia Logica 2008, Volume 88	(0)	2008
	Dov M. Gabbay, Gabriella Pigozzi, Odinaldo Rodrigues. Common Foundations for belief revision, belief merging and voting.	Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007 2007	(0)	2007

Your query returned 162 matches in the database.