Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/birthday/Gabbay1.bht:"
download as .bib file
@inproceedings{DBLP:conf/birthday/Abramsky05,
author = {Samson Abramsky},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {A Cook's Tour of the Finitary Non-Well-Founded Sets},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {1--18},
publisher = {College Publications},
year = {2005},
timestamp = {Thu, 09 Jul 2020 09:13:39 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Abramsky05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AhnAR05,
author = {David Ahn and
Sisay Fissaha Adafre and
Maarten de Rijke},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Recognizing and Interpreting Temporal Expressions in Open Domain Texts},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {31--50},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/AhnAR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Aliseda05,
author = {Atocha Aliseda{-}Llera},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {What is a Logical System? {A} Commentary},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {51--56},
publisher = {College Publications},
year = {2005},
timestamp = {Mon, 28 Sep 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Aliseda05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Amir05,
author = {Amihood Amir},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Two Glass Balls and a Tower},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {57--76},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Amir05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ArecesB05,
author = {Carlos Areces and
Patrick Blackburn},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Reichenbach, Prior and Montague: {A} Semantic Get-together},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {77--88},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 25 Jan 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/ArecesB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Artemov05,
author = {Sergei N. Art{\"{e}}mov},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Existential Semantics for Modal Logic},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {19--30},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Artemov05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AtteveldtS05,
author = {Wouter van Atteveldt and
Stefan Schlobach},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {A Modal View on Polder Politics},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {89--104},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/AtteveldtS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Avron05,
author = {Arnon Avron},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Logical Non-determinism as a Tool for Logical Modularity: An Introduction},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {105--124},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Avron05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BaazI05,
author = {Matthias Baaz and
Rosalie Iemhoff},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {On the Proof Theory of the Existence Predicate},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {125--166},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/BaazI05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BaderH05,
author = {Sebastian Bader and
Pascal Hitzler},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Dimensions of Neural-symbolic Integration - {A} Structured Survey},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {167--194},
publisher = {College Publications},
year = {2005},
timestamp = {Fri, 15 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/BaderH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BarringerR05,
author = {Howard Barringer and
David E. Rydeheard},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Modelling Evolvable Systems: {A} Temporal Logic View},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {195--228},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/BarringerR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Benthem05a,
author = {Johan van Benthem},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Open Problems in Logic and Games},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {229--264},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Benthem05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Bochman05,
author = {Alexander Bochman},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Nonmonotonic Reasoning},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {265--308},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Bochman05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BrodaR05,
author = {Krysia Broda and
Alessandra Russo},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Compiled Labelled Deductive Systems for Access Control},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {309--338},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/BrodaR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BruzaC05,
author = {Peter Bruza and
Richard J. Cole II},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Quantum Logic of Semantic Space: An Exploratory Investigation of Context
Effects in Practical Reasoning},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {339--362},
publisher = {College Publications},
year = {2005},
timestamp = {Thu, 19 Mar 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/BruzaC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CaleiroSS05,
author = {Carlos Caleiro and
Am{\'{\i}}lcar Sernadas and
Cristina Sernadas},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Fibring Logics: Past, Present and Future},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {363--388},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/CaleiroSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CarnielliC05,
author = {Walter Alexandre Carnielli and
Marcelo E. Coniglio},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Splitting Logics},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {389--414},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/CarnielliC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CerroGHS05,
author = {Luis Fari{\~{n}}as del Cerro and
Olivier Gasquet and
Andreas Herzig and
Mohamad Sahade},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Modal Tableaux: Completeness vs. Termination},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {587--614},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/CerroGHS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CohenKM05,
author = {Ariel Cohen and
Michael Kaminski and
Johann A. Makowsky},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Indistinguishability by Default},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {415--428},
publisher = {College Publications},
year = {2005},
timestamp = {Thu, 08 May 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CohenKM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DAgostino05,
author = {Marcello D'Agostino},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Classical Natural Deduction},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {429--468},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/DAgostino05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Dawar05,
author = {Anuj Dawar},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {How Many First-order Variables are Needed on Finite Ordered Structures?},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {489--520},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Dawar05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DixKN05,
author = {J{\"{u}}rgen Dix and
Ugur Kuter and
Dana S. Nau},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Planning in Answer Set Programming using Ordered Task Decomposition},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {521--576},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/DixKN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DosenP05,
author = {Kosta Dosen and
Zoran Petric},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Negation and Involutive Adjunctions},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {577--586},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/DosenP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FerrarisL05,
author = {Paolo Ferraris and
Vladimir Lifschitz},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Mathematical Foundations of Answer Set Programming},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {615--664},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/FerrarisL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Finger05,
author = {Marcelo Finger},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {{DAG} Sequents with Substitution},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {671--686},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Finger05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Fitting05,
author = {Melvin Fitting},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {A Mistake on My Part},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {665--670},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Fitting05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FoxL05,
author = {Chris Fox and
Shalom Lappin},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Polymorphic Quantifiers and Underspecification in Natural Language},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {687--700},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/FoxL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GabbayG05,
author = {Michael Gabbay and
Murdoch Gabbay},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Some Formal Considerations on Gabbay's Restart Rule in Natural Deduction
and Goal-Directed Reasoning},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {701--730},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 30 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GabbayG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GabbayG05a,
author = {Murdoch Gabbay and
Michael Gabbay},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {a-logic},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {731--764},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 30 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GabbayG05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GarcezL05,
author = {Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Neural-Symbolic Systems and the Case for Non-Classical Reasoning},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {469--488},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/GarcezL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2005gabbay1,
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
publisher = {College Publications},
year = {2005},
isbn = {1-904987-25-7},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2005gabbay1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-19 22:50 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
