Search results for "Dov M. Gabbay"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Dov M. Gabbay	The Equational Approach to CF2 Semantics	CoRR	2012	DBLP BibTeX RDF
1	Dov M. Gabbay	What Is Negation as Failure?	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
1	Maxime Crochemore, Dov M. Gabbay	Reactive automata.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
1	Dov M. Gabbay, Karl Schlechta	Equilibria und weiteres Heiteres II	CoRR	2011	DBLP BibTeX RDF
1	Christoph Benzmueller, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli	Embedding and Automating Conditional Logics in Classical Higher-Order Logic	CoRR	2011	DBLP BibTeX RDF
1	Michael Abraham, Dov M. Gabbay, Uri J. Schild	Obligations and prohibitions in Talmudic deontic logic.	Artif. Intell. Law	2011	DBLP DOI BibTeX RDF
1	Dov M. Gabbay, David Pearce, Agustín Valverde	Interpolable Formulas in Equilibrium Logic and Answer Set Programming.	J. Artif. Intell. Res. (JAIR)	2011	DBLP BibTeX RDF
1	Dov M. Gabbay	Reactive intuitionistic tableaux.	Synthese	2011	DBLP DOI BibTeX RDF
1	Dov M. Gabbay, Karl Schlechta	Conditionals and Modularity in General Logics		2011	DBLP DOI BibTeX RDF
1	Guido Boella, Dov M. Gabbay, Alan Perotti, Leendert van der Torre, Serena Villata	Conditional Labelling for Abstract Argumentation.	TAFA	2011	DBLP DOI BibTeX RDF
1	Tjitze Rienstra, Alan Perotti, Serena Villata, Dov M. Gabbay, Leendert van der Torre	Multi-sorted Argumentation.	TAFA	2011	DBLP DOI BibTeX RDF
1	Dov M. Gabbay	Introducing Equational Semantics for Argumentation Networks.	ECSQARU	2011	DBLP DOI BibTeX RDF
1	Serena Villata, Guido Boella, Dov M. Gabbay, Leendert van der Torre	Arguing about the Trustworthiness of the Information Sources.	ECSQARU	2011	DBLP DOI BibTeX RDF
1	Guido Boella, Dov M. Gabbay, Alan Perotti, Leendert van der Torre, Serena Villata	Argumentative Agents Negotiating on Potential Attacks.	KES-AMSTA	2011	DBLP DOI BibTeX RDF
1	Michal Chalamish, Dov M. Gabbay, Uri J. Schild	Intelligent evaluation of evidence using Wigmore diagrams.	ICAIL	2011	DBLP DOI BibTeX RDF
1	Dov M. Gabbay, Karl Schlechta	Semantic interpolation.	Journal of Applied Non-Classical Logics	2010	DBLP BibTeX RDF
1	Dov M. Gabbay, Jörg H. Siekmann	Algorithms in cognition, informatics and logic: A position manifesto.	Logic Journal of the IGPL	2010	DBLP DOI BibTeX RDF
1	Dov M. Gabbay, Karl Schlechta	A Comment on Work by Booth and Co-authors.	Studia Logica	2010	DBLP DOI BibTeX RDF
1	Dov M. Gabbay, Karl Schlechta	A Theory of Hierarchical Consequence and Conditionals.	Journal of Logic, Language and Information	2010	DBLP DOI BibTeX RDF
1	Dov M. Gabbay, David Pearce, Agustín Valverde	Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case	CoRR	2010	DBLP BibTeX RDF
1	Dov M. Gabbay, Karl Schlechta	Logical Tools for Handling Change in Agent-Based Systems.		2010	DBLP DOI BibTeX RDF
1	Dov M. Gabbay, Odinaldo Rodrigues, Alessandra Russo	Revision, Acceptability and Context - Theoretical and Algorithmic Aspects.		2010	DBLP DOI BibTeX RDF
1	Michael Abraham, Dov M. Gabbay, Uri J. Schild	Obligations and Prohibitions in Talmudic Deontic Logic.	DEON	2010	DBLP DOI BibTeX RDF
1	Valerio Genovese, Daniele Rispoli, Dov M. Gabbay, Leendert W. N. van der Torre	Modal Access Control Logic - Axiomatization, Semantics and FOL Theorem Proving.	STAIRS	2010	DBLP DOI BibTeX RDF
1	Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert van der Torre	Higher-Order Coalition Logic.	ECAI	2010	DBLP DOI BibTeX RDF
1	Howard Barringer, Dov M. Gabbay	Modal and Temporal Argumentation Networks.	Essays in Memory of Amir Pnueli	2010	DBLP DOI BibTeX RDF
1	Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre, Serena Villata	Support in Abstract Argumentation.	COMMA	2010	DBLP DOI BibTeX RDF
1	Dov M. Gabbay, Karl Schlechta	Roadmap for preferential logics.	Journal of Applied Non-Classical Logics	2009	DBLP BibTeX RDF
1	Dov M. Gabbay, Karl Schlechta	Defeasible inheritance systems and reactive diagrams.	Logic Journal of the IGPL	2009	DBLP DOI BibTeX RDF
1	Howard Barringer, Dov M. Gabbay, David E. Rydeheard	Modelling evolvable component systems: Part I: A logical framework.	Logic Journal of the IGPL	2009	DBLP DOI BibTeX RDF
1	Dov M. Gabbay, Karl Schlechta	Independence - Revision and Defaults.	Studia Logica	2009	DBLP DOI BibTeX RDF	language splitting, relevance, theory revision
1	Dov M. Gabbay	Semantics for Higher Level Attacks in Extended Argumentation Frames Part 1: Overview.	Studia Logica	2009	DBLP DOI BibTeX RDF	extended argumentations frames, semantics for attacks on attacks, joint attacks
1	Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert van der Torre	Fibred Security Language.	Studia Logica	2009	DBLP DOI BibTeX RDF	Fibring, Access Control, Logic, Trust Management, Language-based Security
1	Steve Barker, Guido Boella, Dov M. Gabbay, Valerio Genovese	A Meta-model of Access Control in a Fibred Security Language.	Studia Logica	2009	DBLP DOI BibTeX RDF	Fibring, Security, Access Control, Logic
1	Martin W. A. Caminada, Dov M. Gabbay	A Logical Account of Formal Argumentation.	Studia Logica	2009	DBLP DOI BibTeX RDF	abstract argumentation, argument labellings, grounded semantics, modal logic
1	Michael Abraham, Dov M. Gabbay, Uri J. Schild	Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction.	Studia Logica	2009	DBLP DOI BibTeX RDF	Matrix Abduction, Talmudic logic, Argumentum A Fortiori, Qal-Vachomer, argumentation
1	Dov M. Gabbay, Artur S. d'Avila Garcez	Logical Modes of Attack in Argumentation Networks.	Studia Logica	2009	DBLP DOI BibTeX RDF	modes of attack, defeasible consequence, argumentation
1	Yining Wu, Martin Caminada, Dov M. Gabbay	Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming.	Studia Logica	2009	DBLP DOI BibTeX RDF	abstract argumentation, complete extensions, 3-valued stable models, logic programming
1	Dov M. Gabbay, Andrzej Szalas	Annotation Theories over Finite Graphs.	Studia Logica	2009	DBLP DOI BibTeX RDF	labeled graphs, semantics of logic programs, second-order quantifier elimination, annotations, argumentation theory
1	Guido Boella, Dov M. Gabbay, Leendert van der Torre, Serena Villata	Meta-Argumentation Modelling I: Methodology and Techniques.	Studia Logica	2009	DBLP DOI BibTeX RDF	Abstract Argumentation, Modelling, Artificial Intelligence, Reasoning
1	Dov M. Gabbay, Sérgio Marcelino	Modal Logics of Reactive Frames.	Studia Logica	2009	DBLP DOI BibTeX RDF	reactive graphs, reactive frames, (bi)modal logic, Kripke semantics
1	Dov M. Gabbay	Fibring Argumentation Frames.	Studia Logica	2009	DBLP DOI BibTeX RDF	fibring argumentation frames, joint attacks, disjunctive attacks, critical sets, flow argumentation networks
1	Dov M. Gabbay, Leendert van der Torre	Preface for Studia Logica Special Issue (2).	Studia Logica	2009	DBLP DOI BibTeX RDF
1	Dov M. Gabbay, Andrzej Szalas	Voting by Eliminating Quantifiers.	Studia Logica	2009	DBLP DOI BibTeX RDF	voting, quantifier elimination, social choice
1	Dov M. Gabbay	Modal Provability Foundations for Argumentation Networks.	Studia Logica	2009	DBLP DOI BibTeX RDF	provability logic, argumentation frames, modal logic
1	Dov M. Gabbay, Odinaldo Rodrigues, Gabriella Pigozzi	Connections between Belief Revision, Belief Merging and Social Choice.	J. Log. Comput.	2009	DBLP DOI BibTeX RDF
1	Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay	Neural-Symbolic Cognitive Reasoning		2009	DBLP DOI BibTeX RDF
1	Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay	Cut-Based Abduction.	Logic Journal of the IGPL	2008	DBLP DOI BibTeX RDF
1	Dov M. Gabbay, Amir Pnueli	A Sound and Complete Deductive System for CTL* Verification.	Logic Journal of the IGPL	2008	DBLP DOI BibTeX RDF
1	Dov M. Gabbay, John Woods	Resource-origins of Nonmonotonicity.	Studia Logica	2008	DBLP DOI BibTeX RDF	fallacies, fuzzy logic, psychologism, Resource, probabilistic logic, nonmonotonic logic, defeasible logic
1	Dov M. Gabbay	Reactive Kripke Models and Contrary to Duty Obligations.	DEON	2008	DBLP DOI BibTeX RDF
1	Dov M. Gabbay	Introducing Reactive Kripke Semantics and Arc Accessibility.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
1	Davide Grossi, Dov M. Gabbay, Leendert van der Torre	A Normative View on the Blocks World.	NORMAS	2008	DBLP BibTeX RDF
1	Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay	Connectionist modal logic: Representing modalities in neural networks.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Marcelo Finger, Dov M. Gabbay	Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs.	Logic Journal of the IGPL	2007	DBLP DOI BibTeX RDF
1	Dov M. Gabbay, Andrzej Szalas	Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals.	Studia Logica	2007	DBLP DOI BibTeX RDF	second-order quantifier elimination, higher-order relations, conditionals
1	Dov M. Gabbay, George Metcalfe	Fuzzy logics based on [0, 1)-continuous uninorms.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B50, 03B47, 03B52
1	Howard Barringer, Dov M. Gabbay, David E. Rydeheard	From Runtime Verification to Evolvable Systems.	RV	2007	DBLP DOI BibTeX RDF
1	Dov M. Gabbay, Gabriella Pigozzi, Odinaldo Rodrigues	Common Foundations for belief revision, belief merging and voting.	Formal Models of Belief Change in Rational Agents	2007	DBLP BibTeX RDF
1	Howard Barringer, David E. Rydeheard, Dov M. Gabbay	A Logical Framework for Monitoring and Evolving Software Components.	TASE	2007	DBLP DOI BibTeX RDF
1	Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay	Connectionist computations of intuitionistic reasoning.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Dov M. Gabbay, John Woods	Advice on Abductive Logic.	Logic Journal of the IGPL	2006	DBLP DOI BibTeX RDF
1	Dov M. Gabbay, Rolf Nossum, John Woods	Context-dependent Abduction and Relevance.	J. Philosophical Logic	2006	DBLP DOI BibTeX RDF
1	Marcelo Finger, Dov M. Gabbay	Cut and Pay.	Journal of Logic, Language and Information	2006	DBLP DOI BibTeX RDF
1	George Metcalfe, Nicola Olivetti, Dov M. Gabbay	Lukasiewicz Logic: From Proof Systems To Logic Programming.	Logic Journal of the IGPL	2005	DBLP DOI BibTeX RDF
1	Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek	Editorial.	Logic Journal of the IGPL	2005	DBLP DOI BibTeX RDF
1	Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek	Editorial.	Logic Journal of the IGPL	2005	DBLP DOI BibTeX RDF
1	Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb	Value-based Argumentation Frameworks as Neural-symbolic Learning Systems.	J. Log. Comput.	2005	DBLP DOI BibTeX RDF
1	Daniel Lehmann, Kurt Engesser, Dov M. Gabbay	Algebras of Measurements: the logical structure of Quantum Mechanics	CoRR	2005	DBLP BibTeX RDF
1	George Metcalfe, Nicola Olivetti, Dov M. Gabbay	Sequent and hypersequent calculi for abelian and &lstrok;ukasiewicz logics.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	? ukasiewicz logic, Abelian logic, Hypersequents, Sequents
1	Howard Barringer, Dov M. Gabbay, John Woods	Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
1	Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay	A Connectionist Model for Constructive Modal Reasoning.	NIPS	2005	DBLP BibTeX RDF
1	Artur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay	Applying connectionist modal logics to distributed knowledge representation problems.	International Journal on Artificial Intelligence Tools	2004	DBLP DOI BibTeX RDF
1	Artur S. d'Avila Garcez, Dov M. Gabbay, Steffen Hölldobler, John G. Taylor	Journal of Applied Logic Special Volume on Neural-Symbolic Systems.	J. Applied Logic	2004	DBLP DOI BibTeX RDF
1	George Metcalfe, Nicola Olivetti, Dov M. Gabbay	Analytic Calculi for Product Logics.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Product logic, Hypersequent calculi, Fuzzy logic, Sequent calculi
1	Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb	Towards a Connectionist Argumentation Framework.	ECAI	2004	DBLP BibTeX RDF
1	Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb	Argumentation Neural Networks.	ICONIP	2004	DBLP DOI BibTeX RDF
1	George Metcalfe, Nicola Olivetti, Dov M. Gabbay	Goal-Directed Methods for Lukasiewicz Logic.	CSL	2004	DBLP DOI BibTeX RDF	ukasiewicz Logics, Goal-Directed Methods, Fuzzy Logics
1	Artur S. d'Avila Garcez, Dov M. Gabbay	Fibring Neural Networks.	AAAI	2004	DBLP BibTeX RDF
1	Dov M. Gabbay, John Woods	Normative Models of Rational Agency: The Theoretical Disutility of Certain Approaches.	Logic Journal of the IGPL	2003	DBLP DOI BibTeX RDF
1	Dov M. Gabbay	Editorial.	J. Log. Comput.	2003	DBLP DOI BibTeX RDF
1	Dov M. Gabbay, Gabriella Pigozzi, John Woods	Controlled Revision - An algorithmic approach for belief revision.	J. Log. Comput.	2003	DBLP DOI BibTeX RDF
1	Jon Williamson, Dov M. Gabbay	Special issue on Combining Probability and Logic.	J. Applied Logic	2003	DBLP DOI BibTeX RDF
1	Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay	Neural-Symbolic Intuitionistic Reasoning.	HIS	2003	DBLP BibTeX RDF
1	Artur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay	Distributed Knowledge Representation in Neural-Symbolic Learning Systems: A Case Study.	FLAIRS Conference	2003	DBLP BibTeX RDF
1	George Metcalfe, Nicola Olivetti, Dov M. Gabbay	Goal-Directed Calculli for Gödel-Dummett Logics.	CSL	2003	DBLP DOI BibTeX RDF	Gödel Logics, Hypersequents, Goal-Directed Calculi, Fuzzy Logics, Intermediate Logics
1	Dov M. Gabbay, Odinaldo Rodrigues, John Woods	Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource bounded Logics.	Logic Journal of the IGPL	2002	DBLP DOI BibTeX RDF
1	Krysia Broda, Dov M. Gabbay, Luís C. Lamb, Alessandra Russo	Labelled Natural Deduction for Conditional Logics of Normality.	Logic Journal of the IGPL	2002	DBLP DOI BibTeX RDF
1	Dov M. Gabbay, Valentin B. Shehtman	Products of Modal Logics. Part 3: Products of Modal and Temporal Logics.	Studia Logica	2002	DBLP DOI BibTeX RDF
1	Dov M. Gabbay	A Theory of Hypermodal Logics: Mode Shifting in Modal Logic.	J. Philosophical Logic	2002	DBLP DOI BibTeX RDF
1	Dov M. Gabbay, G. Malod	Naming Worlds in Modal and Temporal Logic.	Journal of Logic, Language and Information	2002	DBLP DOI BibTeX RDF
1	George Metcalfe, Nicola Olivetti, Dov M. Gabbay	Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics	CoRR	2002	DBLP BibTeX RDF
1	Kurt Engesser, Dov M. Gabbay	Quantum logic, Hilbert space, revision theory.	Artif. Intell.	2002	DBLP DOI BibTeX RDF
1	George Metcalfe, Nicola Olivetti, Dov M. Gabbay	Analytic Sequent Calculi for Abelian and ukasiewicz Logics.	TABLEAUX	2002	DBLP DOI BibTeX RDF
1	Juan Bicarregui, Theodosis Dimitrakos, Dov M. Gabbay, T. S. E. Maibaum	Interpolation in Practical Formal Development.	Logic Journal of the IGPL	2001	DBLP DOI BibTeX RDF
1	Jim Cunningham, Dov M. Gabbay	Editorial.	Logic Journal of the IGPL	2001	DBLP DOI BibTeX RDF
1	Dov M. Gabbay, John Woods	The New Logic.	Logic Journal of the IGPL	2001	DBLP DOI BibTeX RDF
1	Dov M. Gabbay, John Woods	More on Non-Cooperation in Dialogue Logic.	Logic Journal of the IGPL	2001	DBLP DOI BibTeX RDF
1	Dov M. Gabbay	Editorial.	J. Log. Comput.	2001	DBLP DOI BibTeX RDF
1	Artur S. d'Avila Garcez, Krysia Broda, Dov M. Gabbay	Symbolic knowledge extraction from trained neural networks: A sound approach.	Artif. Intell.	2001	DBLP DOI BibTeX RDF

Publications of "Dov M. Gabbay" ( http://dblp.L3S.de/Authors/Dov_M._Gabbay )