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/journals/igpl/igpl11.bht:"
download as .bib file
@article{DBLP:journals/igpl/BernardiM03,
author = {Raffaella Bernardi and
Richard Moot},
title = {Generalized Quantifiers in Declarative and Interrogative Sentences},
journal = {Log. J. {IGPL}},
volume = {11},
number = {4},
pages = {419--434},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.4.419},
doi = {10.1093/JIGPAL/11.4.419},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BernardiM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Bojadziev03,
author = {Damjan Bojadziev},
title = {A Note on Interaction and Incompleteness},
journal = {Log. J. {IGPL}},
volume = {11},
number = {5},
pages = {513--523},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.5.513},
doi = {10.1093/JIGPAL/11.5.513},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Bojadziev03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BosK03,
author = {Johan Bos and
Michael Kohlhase},
title = {Editorial},
journal = {Log. J. {IGPL}},
volume = {11},
number = {4},
pages = {381--384},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.4.381},
doi = {10.1093/JIGPAL/11.4.381},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BosK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Brunnler03,
author = {Kai Br{\"{u}}nnler},
title = {Two Restrictions on Contraction},
journal = {Log. J. {IGPL}},
volume = {11},
number = {5},
pages = {525--529},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.5.525},
doi = {10.1093/JIGPAL/11.5.525},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Brunnler03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/DeutschH03,
author = {Moshe Deutsch and
Martin C. Henson},
title = {An Analysis of Total Correctness Refinement Models for Partial Relation
Semantics {II}},
journal = {Log. J. {IGPL}},
volume = {11},
number = {3},
pages = {319--352},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.3.319},
doi = {10.1093/JIGPAL/11.3.319},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/DeutschH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/DeutschHR03,
author = {Moshe Deutsch and
Martin C. Henson and
Steve Reeves},
title = {An Analysis of Total Correctness Refinement Models for Partial Relation
Semantics {I}},
journal = {Log. J. {IGPL}},
volume = {11},
number = {3},
pages = {287--317},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.3.285},
doi = {10.1093/JIGPAL/11.3.285},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/DeutschHR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Fasli03,
author = {Maria Fasli},
title = {Reasoning about Knowledge and Belief: {A} Syntactical Treatment},
journal = {Log. J. {IGPL}},
volume = {11},
number = {2},
pages = {247--284},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.2.247},
doi = {10.1093/JIGPAL/11.2.247},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Fasli03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/FerrariMO03,
author = {Mauro Ferrari and
Pierangelo Miglioli and
Mario Ornaghi},
title = {On Uniformly Constructive and Semiconstructive Formal Systems},
journal = {Log. J. {IGPL}},
volume = {11},
number = {1},
pages = {1--49},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.1.1},
doi = {10.1093/JIGPAL/11.1.1},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/FerrariMO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/FyodorovWF03,
author = {Yaroslav Fyodorov and
Yoad Winter and
Nissim Francez},
title = {Order-Based Inference in Natural Logic},
journal = {Log. J. {IGPL}},
volume = {11},
number = {4},
pages = {385--416},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.4.385},
doi = {10.1093/JIGPAL/11.4.385},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/FyodorovWF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GabbayW03,
author = {Dov M. Gabbay and
John Woods},
title = {Normative Models of Rational Agency: The Theoretical Disutility of
Certain Approaches},
journal = {Log. J. {IGPL}},
volume = {11},
number = {6},
pages = {597--613},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.6.597},
doi = {10.1093/JIGPAL/11.6.597},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/GabbayW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Georgatos03,
author = {Konstantinos Georgatos},
title = {On Indistinguishability and Prototypes},
journal = {Log. J. {IGPL}},
volume = {11},
number = {5},
pages = {531--545},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.5.531},
doi = {10.1093/JIGPAL/11.5.531},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Georgatos03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GrosskreutzL03,
author = {Henrik Grosskreutz and
Gerhard Lakemeyer},
title = {ccGolog -- {A} Logical Language Dealing with Continuous Change},
journal = {Log. J. {IGPL}},
volume = {11},
number = {2},
pages = {179--221},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.2.179},
doi = {10.1093/JIGPAL/11.2.179},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GrosskreutzL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/HasuoK03,
author = {Ichiro Hasuo and
Ryo Kashima},
title = {Kripke Completeness of First-Order Constructive Logics with Strong
Negation},
journal = {Log. J. {IGPL}},
volume = {11},
number = {6},
pages = {615--646},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.6.615},
doi = {10.1093/JIGPAL/11.6.615},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/HasuoK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/HoekW03,
author = {Wiebe van der Hoek and
Michael J. Wooldridge},
title = {Editorial},
journal = {Log. J. {IGPL}},
volume = {11},
number = {2},
pages = {133},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.2.133},
doi = {10.1093/JIGPAL/11.2.133},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/HoekW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/HoekW03a,
author = {Wiebe van der Hoek and
Michael J. Wooldridge},
title = {Towards a Logic of Rational Agency},
journal = {Log. J. {IGPL}},
volume = {11},
number = {2},
pages = {135--159},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.2.135},
doi = {10.1093/JIGPAL/11.2.135},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/HoekW03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Jacquette03,
author = {Dale Jacquette},
title = {The Soundness Paradox},
journal = {Log. J. {IGPL}},
volume = {11},
number = {5},
pages = {547--556},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.5.547},
doi = {10.1093/JIGPAL/11.5.547},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Jacquette03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/JamnikKPB03,
author = {Mateja Jamnik and
Manfred Kerber and
Martin Pollet and
Christoph Benzm{\"{u}}ller},
title = {Automatic Learning of Proof Methods in Proof Planning},
journal = {Log. J. {IGPL}},
volume = {11},
number = {6},
pages = {647--673},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.6.647},
doi = {10.1093/JIGPAL/11.6.647},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/JamnikKPB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Knight03,
author = {Kevin M. Knight},
title = {Probabilistic Entailment and a Non-Probabilistic Logic},
journal = {Log. J. {IGPL}},
volume = {11},
number = {3},
pages = {353--365},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.3.353},
doi = {10.1093/JIGPAL/11.3.353},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Knight03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/KohlhaseK03,
author = {Michael Kohlhase and
Alexander Koller},
title = {Resource-Adaptive Model Generation as a Performance Model},
journal = {Log. J. {IGPL}},
volume = {11},
number = {4},
pages = {435--456},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.4.435},
doi = {10.1093/JIGPAL/11.4.435},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/KohlhaseK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/KreutelM03,
author = {J{\"{o}}rn Kreutel and
Colin Matheson},
title = {Incremental Information State Updates in an Obligation-Driven Dialogue
Model},
journal = {Log. J. {IGPL}},
volume = {11},
number = {4},
pages = {485--511},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.4.485},
doi = {10.1093/JIGPAL/11.4.485},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/KreutelM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Lesperance03,
author = {Yves Lesp{\'{e}}rance},
title = {On the Epistemic Feasibility of Plans in Multiagent Systems Specifications},
journal = {Log. J. {IGPL}},
volume = {11},
number = {2},
pages = {161--178},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.2.161},
doi = {10.1093/JIGPAL/11.2.161},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Lesperance03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Loader03,
author = {Ralph Loader},
title = {Higher Order beta Matching is Undecidable},
journal = {Log. J. {IGPL}},
volume = {11},
number = {1},
pages = {51--68},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.1.51},
doi = {10.1093/JIGPAL/11.1.51},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Loader03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Maddux03,
author = {Roger D. Maddux},
title = {Review: Relation algebras by games: Robin Hirsch, Ian Hodkinson: Relation
algebras by games},
journal = {Log. J. {IGPL}},
volume = {11},
number = {5},
pages = {577--581},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.5.577},
doi = {10.1093/JIGPAL/11.5.577},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Maddux03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Makinson03,
author = {David Makinson},
title = {Bridges between Classical and Nonmonotonic Logic},
journal = {Log. J. {IGPL}},
volume = {11},
number = {1},
pages = {69--96},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.1.69},
doi = {10.1093/JIGPAL/11.1.69},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Makinson03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Peltier03,
author = {Nicolas Peltier},
title = {Building Infinite Models for Equational Clause Sets: Constructing
Non-Ambiguous Formulae},
journal = {Log. J. {IGPL}},
volume = {11},
number = {1},
pages = {97--129},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.1.97},
doi = {10.1093/JIGPAL/11.1.97},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Peltier03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/RoordaHM03,
author = {Jan{-}Willem Roorda and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
title = {Iterated Belief Change in Multi-Agent Systems},
journal = {Log. J. {IGPL}},
volume = {11},
number = {2},
pages = {223--246},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.2.223},
doi = {10.1093/JIGPAL/11.2.223},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/RoordaHM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Stolpe03,
author = {Audun Stolpe},
title = {{QMML:} Quantified Minimal Modal Logic and Its Applications},
journal = {Log. J. {IGPL}},
volume = {11},
number = {5},
pages = {557--575},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.5.557},
doi = {10.1093/JIGPAL/11.5.557},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Stolpe03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Tennant03,
author = {Neil Tennant},
title = {Theory-Contraction is NP-Complete},
journal = {Log. J. {IGPL}},
volume = {11},
number = {6},
pages = {675--693},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.6.675},
doi = {10.1093/JIGPAL/11.6.675},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Tennant03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Tupailo03,
author = {Sergei Tupailo},
title = {Epsilon Substitution Method for Delta\({}^{\mbox{1}}\)\({}_{\mbox{1}}\)-CR:
a Constructive Termination Proof},
journal = {Log. J. {IGPL}},
volume = {11},
number = {3},
pages = {367--377},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.3.367},
doi = {10.1093/JIGPAL/11.3.367},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Tupailo03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Zinn03,
author = {Claus Zinn},
title = {Computational Framework For Understanding Mathematical Discourse},
journal = {Log. J. {IGPL}},
volume = {11},
number = {4},
pages = {457--484},
year = {2003},
url = {https://doi.org/10.1093/jigpal/11.4.457},
doi = {10.1093/JIGPAL/11.4.457},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/Zinn03.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-05-29 15:17 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:
