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/logcom/logcom8.bht:"
download as .bib file
@article{DBLP:journals/logcom/AlvesLS98,
author = {Mirian Halfeld Ferrari Alves and
Dominique Laurent and
Nicolas Spyratos},
title = {Update Rules in Datalog Programs},
journal = {J. Log. Comput.},
volume = {8},
number = {6},
pages = {745--775},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.6.745},
doi = {10.1093/LOGCOM/8.6.745},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/AlvesLS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BaldoniGM98,
author = {Matteo Baldoni and
Laura Giordano and
Alberto Martelli},
title = {A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical
Reasoning},
journal = {J. Log. Comput.},
volume = {8},
number = {5},
pages = {597--635},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.5.597},
doi = {10.1093/LOGCOM/8.5.597},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BaldoniGM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BaratellaB98,
author = {Stefano Baratella and
Stefano Berardi},
title = {Approximating Classical Theorems},
journal = {J. Log. Comput.},
volume = {8},
number = {6},
pages = {839--854},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.6.839},
doi = {10.1093/LOGCOM/8.6.839},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BaratellaB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BeckertHE98,
author = {Bernhard Beckert and
Reiner H{\"{a}}hnle and
Gonzalo Escalada{-}Imaz},
title = {Simplification of Many-Valued Logic Formulas Using Anti-Links},
journal = {J. Log. Comput.},
volume = {8},
number = {4},
pages = {569--587},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.4.569},
doi = {10.1093/LOGCOM/8.4.569},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BeckertHE98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BenerecettiGS98,
author = {Massimo Benerecetti and
Fausto Giunchiglia and
Luciano Serafini},
title = {Model Checking Multiagent Systems},
journal = {J. Log. Comput.},
volume = {8},
number = {3},
pages = {401--423},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.3.401},
doi = {10.1093/LOGCOM/8.3.401},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BenerecettiGS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Buchholz98,
author = {Wilfried Buchholz},
title = {A Note on SLDNF-Resolution},
journal = {J. Log. Comput.},
volume = {8},
number = {2},
pages = {159--167},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.2.159},
doi = {10.1093/LOGCOM/8.2.159},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Buchholz98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Cardell-Oliver98,
author = {Rachel Cardell{-}Oliver},
title = {An Equivalence Theorem for the Operational and Temporal Semantics
of Real-Time, Concurrent Programs},
journal = {J. Log. Comput.},
volume = {8},
number = {4},
pages = {545--567},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.4.545},
doi = {10.1093/LOGCOM/8.4.545},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Cardell-Oliver98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CastellanP98,
author = {Maurizio Castellan and
Mario Piazza},
title = {Saturated Formulas in Full Linear Logic},
journal = {J. Log. Comput.},
volume = {8},
number = {5},
pages = {665--668},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.5.665},
doi = {10.1093/LOGCOM/8.5.665},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CastellanP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DInvernoL98,
author = {Mark d'Inverno and
Michael Luck},
title = {Engineering AgentSpeak(L): {A} Formal Computational Model},
journal = {J. Log. Comput.},
volume = {8},
number = {3},
pages = {233--260},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.3.233},
doi = {10.1093/LOGCOM/8.3.233},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/DInvernoL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DixonFW98,
author = {Clare Dixon and
Michael Fisher and
Michael J. Wooldridge},
title = {Resolution for Temporal Logics of Knowledge},
journal = {J. Log. Comput.},
volume = {8},
number = {3},
pages = {345--372},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.3.345},
doi = {10.1093/LOGCOM/8.3.345},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DixonFW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DrakengrenJ98,
author = {Thomas Drakengren and
Peter Jonsson},
title = {Reasoning About Set Constraints Applied to Tractable Inference in
Intuitionistic Logic},
journal = {J. Log. Comput.},
volume = {8},
number = {6},
pages = {855--875},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.6.855},
doi = {10.1093/LOGCOM/8.6.855},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DrakengrenJ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DurandLS98,
author = {Arnaud Durand and
Clemens Lautemann and
Thomas Schwentick},
title = {Subclasses of Binary {NP}},
journal = {J. Log. Comput.},
volume = {8},
number = {2},
pages = {189--207},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.2.189},
doi = {10.1093/LOGCOM/8.2.189},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DurandLS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Fitting98,
author = {Melvin Fitting},
title = {leanTAP Revisited},
journal = {J. Log. Comput.},
volume = {8},
number = {1},
pages = {33--47},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.1.33},
doi = {10.1093/LOGCOM/8.1.33},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Fitting98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Freund98,
author = {Michael Freund},
title = {Preferential Orders and Plausibility Measures},
journal = {J. Log. Comput.},
volume = {8},
number = {2},
pages = {147--158},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.2.147},
doi = {10.1093/LOGCOM/8.2.147},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Freund98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Gabbay98,
author = {Dov M. Gabbay},
title = {Editorial},
journal = {J. Log. Comput.},
volume = {8},
number = {1},
pages = {3},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.1.3},
doi = {10.1093/LOGCOM/8.1.3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Gabbay98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Giacobazzi98,
author = {Roberto Giacobazzi},
title = {Abductive Analysis of Modular Logic Programs},
journal = {J. Log. Comput.},
volume = {8},
number = {4},
pages = {457--483},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.4.457},
doi = {10.1093/LOGCOM/8.4.457},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Giacobazzi98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Grahne98,
author = {G{\"{o}}sta Grahne},
title = {Updates and Counterfactuals},
journal = {J. Log. Comput.},
volume = {8},
number = {1},
pages = {87--117},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.1.87},
doi = {10.1093/LOGCOM/8.1.87},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Grahne98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GriesS98,
author = {David Gries and
Fred B. Schneider},
title = {Adding the Everywhere Operator to Propositional Logic},
journal = {J. Log. Comput.},
volume = {8},
number = {1},
pages = {119--129},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.1.119},
doi = {10.1093/LOGCOM/8.1.119},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/GriesS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/HarperP98,
author = {Robert Harper and
Frank Pfenning},
title = {A Module System for a Programming Language Based on the {LF} Logical
Framework},
journal = {J. Log. Comput.},
volume = {8},
number = {1},
pages = {5--31},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.1.5},
doi = {10.1093/LOGCOM/8.1.5},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/HarperP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/HellaI98,
author = {Lauri Hella and
Henrik Imhof},
title = {Enhancing Fixed Point Logic with Cardinality Quantifiers},
journal = {J. Log. Comput.},
volume = {8},
number = {1},
pages = {71--86},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.1.71},
doi = {10.1093/LOGCOM/8.1.71},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/HellaI98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Hendriks98,
author = {Lex Hendriks},
title = {Intuitionistic Propositional Logic with Only Equivalence Has No Interpolation},
journal = {J. Log. Comput.},
volume = {8},
number = {4},
pages = {589--593},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.4.589},
doi = {10.1093/LOGCOM/8.4.589},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Hendriks98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/HuttelS98,
author = {Hans H{\"{u}}ttel and
Colin Stirling},
title = {Actions Speak Louder Than Words: Proving Bisimilarity for Context-Free
Processes},
journal = {J. Log. Comput.},
volume = {8},
number = {4},
pages = {485--509},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.4.485},
doi = {10.1093/LOGCOM/8.4.485},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/HuttelS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/IshtiaqP98,
author = {Samin S. Ishtiaq and
David J. Pym},
title = {A Relevant Analysis of Natural Deduction},
journal = {J. Log. Comput.},
volume = {8},
number = {6},
pages = {809--838},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.6.809},
doi = {10.1093/LOGCOM/8.6.809},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/IshtiaqP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/JenningsWG98,
author = {Nicholas R. Jennings and
Michael J. Wooldridge and
Fausto Giunchiglia},
title = {Editorial},
journal = {J. Log. Comput.},
volume = {8},
number = {3},
pages = {231--232},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.3.231},
doi = {10.1093/LOGCOM/8.3.231},
timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/JenningsWG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KaminskiMT98,
author = {Michael Kaminski and
Johann A. Makowsky and
Michael L. Tiomkin},
title = {Extensions for Open Default Theories via the Domain Closure Assumption},
journal = {J. Log. Comput.},
volume = {8},
number = {2},
pages = {169--187},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.2.169},
doi = {10.1093/LOGCOM/8.2.169},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/KaminskiMT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Lano98,
author = {Kevin Lano},
title = {Logical Specification of Reactive and Real-Time Systems},
journal = {J. Log. Comput.},
volume = {8},
number = {5},
pages = {679--711},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.5.679},
doi = {10.1093/LOGCOM/8.5.679},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Lano98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Massacci98,
author = {Fabio Massacci},
title = {Tableau Methods for Formal Verification of Multi-Agent Distributed
Systems},
journal = {J. Log. Comput.},
volume = {8},
number = {3},
pages = {373--400},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.3.373},
doi = {10.1093/LOGCOM/8.3.373},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Massacci98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Mirian-HosseinabadiT98,
author = {Seyed{-}Hassan Mirian{-}Hosseinabadi and
Raymond Turner},
title = {Constructive {Z}},
journal = {J. Log. Comput.},
volume = {8},
number = {1},
pages = {49--70},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.1.49},
doi = {10.1093/LOGCOM/8.1.49},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Mirian-HosseinabadiT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Nadathur98,
author = {Gopalan Nadathur},
title = {Uniform Provability in Classical Logic},
journal = {J. Log. Comput.},
volume = {8},
number = {2},
pages = {209--229},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.2.209},
doi = {10.1093/LOGCOM/8.2.209},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Nadathur98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ParsonsSJ98,
author = {Simon Parsons and
Carles Sierra and
Nicholas R. Jennings},
title = {Agents That Reason and Negotiate by Arguing},
journal = {J. Log. Comput.},
volume = {8},
number = {3},
pages = {261--292},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.3.261},
doi = {10.1093/LOGCOM/8.3.261},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/ParsonsSJ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Peltier98,
author = {Nicolas Peltier},
title = {A New Method for Automated Finite Model Building Exploiting Failures
and Symmetries},
journal = {J. Log. Comput.},
volume = {8},
number = {4},
pages = {511--543},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.4.511},
doi = {10.1093/LOGCOM/8.4.511},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Peltier98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Pinto98,
author = {Javier Pinto},
title = {Occurrences and Narratives as Constraints in the Branching Structure
of the Situation Calculus},
journal = {J. Log. Comput.},
volume = {8},
number = {6},
pages = {777--808},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.6.777},
doi = {10.1093/LOGCOM/8.6.777},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Pinto98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Rabinovich98,
author = {Alexander Moshe Rabinovich},
title = {On the Decidability of Continuous Time Specification Formalisms},
journal = {J. Log. Comput.},
volume = {8},
number = {5},
pages = {669--678},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.5.669},
doi = {10.1093/LOGCOM/8.5.669},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Rabinovich98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/RaoG98,
author = {Anand S. Rao and
Michael P. Georgeff},
title = {Decision Procedures for {BDI} Logics},
journal = {J. Log. Comput.},
volume = {8},
number = {3},
pages = {293--342},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.3.293},
doi = {10.1093/LOGCOM/8.3.293},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/RaoG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ShinyP98,
author = {A. K. Shiny and
Arun K. Pujari},
title = {Computation of Prime Implicants Using Matrix and Paths},
journal = {J. Log. Comput.},
volume = {8},
number = {2},
pages = {135--145},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.2.135},
doi = {10.1093/LOGCOM/8.2.135},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/ShinyP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Singh98,
author = {Munindar P. Singh},
title = {Applying the Mu-Calculus in Planning and Reasoning about Action},
journal = {J. Log. Comput.},
volume = {8},
number = {3},
pages = {425--445},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.3.425},
doi = {10.1093/LOGCOM/8.3.425},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Singh98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/TammetS98,
author = {Tanel Tammet and
Jan M. Smith},
title = {Optimized Encodings of Fragments of Type Theory in First-Order Logic},
journal = {J. Log. Comput.},
volume = {8},
number = {6},
pages = {713--744},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.6.713},
doi = {10.1093/LOGCOM/8.6.713},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/TammetS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Yashin98,
author = {A. D. Yashin},
title = {New Solutions to Novikov's Problem for Intuitionistic Connectives},
journal = {J. Log. Comput.},
volume = {8},
number = {5},
pages = {637--664},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.5.637},
doi = {10.1093/LOGCOM/8.5.637},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Yashin98.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-25 02:56 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:
