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/igpl9.bht:"
download as .bib file
@article{DBLP:journals/igpl/Ahmed01,
author = {Tarek Sayed Ahmed},
title = {The Class of Neat Reducts is Not Elementary},
journal = {Log. J. {IGPL}},
volume = {9},
number = {4},
pages = {593--628},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.4.593},
doi = {10.1093/JIGPAL/9.4.593},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Ahmed01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/AvelloneBM01,
author = {Alessandro Avellone and
Marco Benini and
Ugo Moscato},
title = {How to Avoid the Formal Verification of a Theorem Prover},
journal = {Log. J. {IGPL}},
volume = {9},
number = {1},
pages = {1--25},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.1.1},
doi = {10.1093/JIGPAL/9.1.1},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/AvelloneBM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Ayala-RinconK01,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Fairouz Kamareddine},
title = {Unification via the lambda s\({}_{\mbox{e}}\)-Style of Explicit Substitutions},
journal = {Log. J. {IGPL}},
volume = {9},
number = {4},
pages = {489--523},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.4.489},
doi = {10.1093/JIGPAL/9.4.489},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Ayala-RinconK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BicarreguiDGM01,
author = {Juan Bicarregui and
Theodosis Dimitrakos and
Dov M. Gabbay and
T. S. E. Maibaum},
title = {Interpolation in Practical Formal Development},
journal = {Log. J. {IGPL}},
volume = {9},
number = {2},
pages = {231--244},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.2.231},
doi = {10.1093/JIGPAL/9.2.231},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/BicarreguiDGM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Bimbo01,
author = {Katalin Bimb{\'{o}}},
title = {Semantics for Structurally Free Logics {LC+}},
journal = {Log. J. {IGPL}},
volume = {9},
number = {4},
pages = {525--539},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.4.525},
doi = {10.1093/JIGPAL/9.4.525},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Bimbo01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BlackburnM01,
author = {Patrick Blackburn and
Maarten Marx},
title = {Third International Workshop on Hybrid Logic (HyLo'01)},
journal = {Log. J. {IGPL}},
volume = {9},
number = {5},
pages = {735--737},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.5.735},
doi = {10.1093/JIGPAL/9.5.735},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BlackburnM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ChopraPW01,
author = {Samir Chopra and
Rohit Parikh and
Renata Wassermann},
title = {Approximate Belief Revision},
journal = {Log. J. {IGPL}},
volume = {9},
number = {6},
pages = {755--768},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.6.755},
doi = {10.1093/JIGPAL/9.6.755},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/ChopraPW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CirsteaK01,
author = {Horatiu Cirstea and
Claude Kirchner},
title = {The rewriting calculus - Part {I}},
journal = {Log. J. {IGPL}},
volume = {9},
number = {3},
pages = {339--375},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.3.339},
doi = {10.1093/JIGPAL/9.3.339},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CirsteaK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CirsteaK01a,
author = {Horatiu Cirstea and
Claude Kirchner},
title = {The rewriting calculus - Part {II}},
journal = {Log. J. {IGPL}},
volume = {9},
number = {3},
pages = {377--410},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.3.377},
doi = {10.1093/JIGPAL/9.3.377},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CirsteaK01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Crole01,
author = {Roy L. Crole},
title = {Completeness of Bisimilarity for Contextual Equivalence in Linear
Theories},
journal = {Log. J. {IGPL}},
volume = {9},
number = {1},
pages = {27--51},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.1.27},
doi = {10.1093/JIGPAL/9.1.27},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Crole01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Cunningham01,
author = {Jim Cunningham},
title = {Towards an Axiomatic Theory of Consciousness},
journal = {Log. J. {IGPL}},
volume = {9},
number = {2},
pages = {325--331},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.2.325},
doi = {10.1093/JIGPAL/9.2.325},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Cunningham01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CunnninghamG01,
author = {Jim Cunningham and
Dov M. Gabbay},
title = {Editorial},
journal = {Log. J. {IGPL}},
volume = {9},
number = {2},
pages = {139--140},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.2.139},
doi = {10.1093/JIGPAL/9.2.139},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CunnninghamG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/DignumDV01,
author = {Frank Dignum and
Barbara Dunin{-}Keplicz and
Rineke Verbrugge},
title = {Creating Collective Intention through Dialogue},
journal = {Log. J. {IGPL}},
volume = {9},
number = {2},
pages = {289--304},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.2.289},
doi = {10.1093/JIGPAL/9.2.289},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/DignumDV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/DyckhoffN01,
author = {Roy Dyckhoff and
Sara Negri},
title = {Admissibility of Structural Rules for Extensions of Contraction-Free
Sequent Calculi},
journal = {Log. J. {IGPL}},
volume = {9},
number = {4},
pages = {541--548},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.4.541},
doi = {10.1093/JIGPAL/9.4.541},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/DyckhoffN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/EijckHN01,
author = {Jan van Eijck and
Juan Heguiabehere and
Breannd{\'{a}}n {\'{O}} Nuall{\'{a}}in},
title = {Tableau Reasoning and Programming with Dynamic First Order Logic},
journal = {Log. J. {IGPL}},
volume = {9},
number = {3},
pages = {411--445},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.3.411},
doi = {10.1093/JIGPAL/9.3.411},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/EijckHN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Fleuriot01,
author = {Jacques D. Fleuriot},
title = {Theorem Proving in Infinitesimal Geometry},
journal = {Log. J. {IGPL}},
volume = {9},
number = {3},
pages = {447--474},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.3.447},
doi = {10.1093/JIGPAL/9.3.447},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/Fleuriot01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GabbayW01,
author = {Dov M. Gabbay and
John Woods},
title = {The New Logic},
journal = {Log. J. {IGPL}},
volume = {9},
number = {2},
pages = {141--174},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.2.141},
doi = {10.1093/JIGPAL/9.2.141},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/GabbayW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GabbayW01a,
author = {Dov M. Gabbay and
John Woods},
title = {More on Non-Cooperation in Dialogue Logic},
journal = {Log. J. {IGPL}},
volume = {9},
number = {2},
pages = {305--324},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.2.305},
doi = {10.1093/JIGPAL/9.2.305},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/GabbayW01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GaultS01,
author = {Richard Gault and
Iain A. Stewart},
title = {On a hierarchy involving transitive closure logic and existential
second-order quantification},
journal = {Log. J. {IGPL}},
volume = {9},
number = {6},
pages = {769--780},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.6.769},
doi = {10.1093/JIGPAL/9.6.769},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GaultS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GiordanoMS01,
author = {Laura Giordano and
Alberto Martelli and
Camilla Schwind},
title = {Reasoning about Actions in Dynamic Linear Time Temporal Logic},
journal = {Log. J. {IGPL}},
volume = {9},
number = {2},
pages = {273--288},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.2.273},
doi = {10.1093/JIGPAL/9.2.273},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GiordanoMS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Guelev01,
author = {Dimitar P. Guelev},
title = {Interval-Related Interpolation in Interval Temporal Logics},
journal = {Log. J. {IGPL}},
volume = {9},
number = {5},
pages = {677--685},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.5.677},
doi = {10.1093/JIGPAL/9.5.677},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Guelev01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Hurd01,
author = {Joe Hurd},
title = {Congruence Classes with Logic Variables},
journal = {Log. J. {IGPL}},
volume = {9},
number = {1},
pages = {53--69},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.1.53},
doi = {10.1093/JIGPAL/9.1.53},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Hurd01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/IshiharaH01,
author = {Keiko Ishihara and
Kunihiko Hiraishi},
title = {The Completeness of Linear Logic for Petri Net Models},
journal = {Log. J. {IGPL}},
volume = {9},
number = {4},
pages = {549--567},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.4.549},
doi = {10.1093/JIGPAL/9.4.549},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/IshiharaH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Jager01,
author = {Gerhard J{\"{a}}ger},
title = {Lambek Grammars as Combinatory Categorial Grammars},
journal = {Log. J. {IGPL}},
volume = {9},
number = {6},
pages = {781--792},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.6.781},
doi = {10.1093/JIGPAL/9.6.781},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Jager01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Kamareddine01,
author = {Fairouz Kamareddine},
title = {Editorial},
journal = {Log. J. {IGPL}},
volume = {9},
number = {3},
pages = {335--337},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.3.335},
doi = {10.1093/JIGPAL/9.3.335},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Kamareddine01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MartinG01,
author = {Pedro J. Mart{\'{\i}}n and
Antonio Gavilanes},
title = {Free-variable Tableaux for Monotonic PreordersI},
journal = {Log. J. {IGPL}},
volume = {9},
number = {6},
pages = {813--844},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.6.813},
doi = {10.1093/JIGPAL/9.6.813},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/MartinG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MarxM01,
author = {Maarten Marx and
Szabolcs Mikul{\'{a}}s},
title = {Products, or How to Create Modal Logics of High Complexity},
journal = {Log. J. {IGPL}},
volume = {9},
number = {1},
pages = {71--82},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.1.71},
doi = {10.1093/JIGPAL/9.1.71},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/MarxM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/McBurneyP01,
author = {Peter McBurney and
Simon Parsons},
title = {Dialectical Argumentation for Reasoning about Chemical Carcinogenicity},
journal = {Log. J. {IGPL}},
volume = {9},
number = {2},
pages = {175--188},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.2.175},
doi = {10.1093/JIGPAL/9.2.175},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/McBurneyP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MeyerBEHH01,
author = {John{-}Jules Ch. Meyer and
Frank S. de Boer and
Rogier M. van Eijk and
Koen V. Hindriks and
Wiebe van der Hoek},
title = {On Programming {KARO} Agents},
journal = {Log. J. {IGPL}},
volume = {9},
number = {2},
pages = {245--256},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.2.245},
doi = {10.1093/JIGPAL/9.2.245},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/MeyerBEHH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ParikhPP01,
author = {Rohit Parikh and
Laxmi Parida and
Vaughan R. Pratt},
title = {Sock Sorting: An Example of a Vague Algorithm},
journal = {Log. J. {IGPL}},
volume = {9},
number = {5},
pages = {687--692},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.5.687},
doi = {10.1093/JIGPAL/9.5.687},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/ParikhPP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ParisW01,
author = {Jeff B. Paris and
M. Wafy},
title = {On the Emergence of Reasons in Inductive Logic},
journal = {Log. J. {IGPL}},
volume = {9},
number = {2},
pages = {207--216},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.2.207},
doi = {10.1093/JIGPAL/9.2.207},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/ParisW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Paulson01,
author = {Lawrence C. Paulson},
title = {A Simple Formalization and Proof for the Mutilated Chess Board},
journal = {Log. J. {IGPL}},
volume = {9},
number = {3},
pages = {475--485},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.3.475},
doi = {10.1093/JIGPAL/9.3.475},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Paulson01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Peltier01,
author = {Nicolas Peltier},
title = {On the decidability of the {PVD} class with equality},
journal = {Log. J. {IGPL}},
volume = {9},
number = {4},
pages = {569--592},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.4.569},
doi = {10.1093/JIGPAL/9.4.569},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Peltier01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Queiroz01,
author = {Ruy J. G. B. de Queiroz},
title = {7th Workshop on Logic, Language, Information and Computation (WoLLIC'2000)},
journal = {Log. J. {IGPL}},
volume = {9},
number = {1},
pages = {123--134},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.1.123},
doi = {10.1093/JIGPAL/9.1.123},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Queiroz01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Queiroz01a,
author = {Ruy J. G. B. de Queiroz},
title = {Meaning, Function, Purpose, Usefulness, Consequences - Interconnected
Concepts},
journal = {Log. J. {IGPL}},
volume = {9},
number = {5},
pages = {693--734},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.5.693},
doi = {10.1093/JIGPAL/9.5.693},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Queiroz01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Queiroz01b,
author = {Ruy J. G. B. de Queiroz},
title = {8th Workshop on Logic, Language, Information and Computation (WoLLIC'2001)},
journal = {Log. J. {IGPL}},
volume = {9},
number = {5},
pages = {739--754},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.5.739},
doi = {10.1093/JIGPAL/9.5.739},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Queiroz01b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Ramsay01,
author = {Allan Ramsay},
title = {Theorem Proving for Untyped Constructive {\textdollar}{\textbackslash}lambda{\textdollar}-Calculus:
Implementation and Application},
journal = {Log. J. {IGPL}},
volume = {9},
number = {1},
pages = {83--100},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.1.83},
doi = {10.1093/JIGPAL/9.1.83},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Ramsay01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ReznikC01,
author = {Eugenia Reznik and
Philippe Curmin},
title = {Intuitionistic Sequent Calculi for Finitely Many-valued Logics},
journal = {Log. J. {IGPL}},
volume = {9},
number = {6},
pages = {793--812},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.6.793},
doi = {10.1093/JIGPAL/9.6.793},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/ReznikC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/SanduP01,
author = {Gabriel Sandu and
Ahti Pietarinen},
title = {Partiality and Games: Propositional Logic},
journal = {Log. J. {IGPL}},
volume = {9},
number = {1},
pages = {101--121},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.1.101},
doi = {10.1093/JIGPAL/9.1.101},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/SanduP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/White01,
author = {Graham White},
title = {A Linear Meta-Interpreter for Reasoning About States and Actions},
journal = {Log. J. {IGPL}},
volume = {9},
number = {5},
pages = {631--676},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.5.631},
doi = {10.1093/JIGPAL/9.5.631},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/White01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Wolff01,
author = {Gerry Wolff},
title = {Information Compression by Multiple Alignment, Unification and Search
as a Framework for Human-Like Reasoning},
journal = {Log. J. {IGPL}},
volume = {9},
number = {2},
pages = {189--206},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.2.189},
doi = {10.1093/JIGPAL/9.2.189},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Wolff01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/WongB01,
author = {Paul Wong and
Philippe Besnard},
title = {Paraconsistent Reasoning as an Analytic Tool},
journal = {Log. J. {IGPL}},
volume = {9},
number = {2},
pages = {217--230},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.2.217},
doi = {10.1093/JIGPAL/9.2.217},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/WongB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/WooldridgeL01,
author = {Michael J. Wooldridge and
Alessio Lomuscio},
title = {A Computationally Grounded Logic of Visibility, Perception, and Knowledge},
journal = {Log. J. {IGPL}},
volume = {9},
number = {2},
pages = {257--272},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.2.257},
doi = {10.1093/JIGPAL/9.2.257},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/WooldridgeL01.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-06 05:30 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:
