Search dblp for Publications

export results for "stream:streams/conf/pcl:"

 download as .bib file

@inproceedings{DBLP:conf/pcl/ArieliDNB02,
  author       = {Ofer Arieli and
                  Marc Denecker and
                  Bert Van Nuffelen and
                  Maurice Bruynooghe},
  editor       = {Hendrik Decker and
                  J{\o}rgen Villadsen and
                  Toshiharu Waragai},
  title        = {Repairing Inconsistent Databases: {A} Model-Theoretic Approach and
                  Abductive Reasoning},
  booktitle    = {Paraconsistent Computational Logic, This proceedings volume contains
                  the papers presented at the {ICLP} 2002 workshop Paraconsistent Computational
                  Logic, on July 27, in Copenhagen, Denmark, as part of the Federated
                  Logic Conference (FLoC)},
  series       = {Datalogiske Skrifter},
  volume       = {95},
  pages        = {51--65},
  publisher    = {Roskilde University, Roskilde, Denmark},
  year         = {2002},
  url          = {https://arxiv.org/abs/cs/0207085},
  timestamp    = {Fri, 29 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pcl/ArieliDNB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pcl/Batens02,
  author       = {Diderik Batens},
  editor       = {Hendrik Decker and
                  J{\o}rgen Villadsen and
                  Toshiharu Waragai},
  title        = {On a Partial Decision Method for Dynamic Proofs},
  booktitle    = {Paraconsistent Computational Logic, This proceedings volume contains
                  the papers presented at the {ICLP} 2002 workshop Paraconsistent Computational
                  Logic, on July 27, in Copenhagen, Denmark, as part of the Federated
                  Logic Conference (FLoC)},
  series       = {Datalogiske Skrifter},
  volume       = {95},
  pages        = {91--108},
  publisher    = {Roskilde University, Roskilde, Denmark},
  year         = {2002},
  url          = {https://arxiv.org/abs/cs/0207090},
  timestamp    = {Fri, 29 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pcl/Batens02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pcl/BesnardSTW02,
  author       = {Philippe Besnard and
                  Torsten Schaub and
                  Hans Tompits and
                  Stefan Woltran},
  editor       = {Hendrik Decker and
                  J{\o}rgen Villadsen and
                  Toshiharu Waragai},
  title        = {Paraconsistent Reasoning via Quantified Boolean Formulas, {I:} Axiomatising
                  Signed Systems},
  booktitle    = {Paraconsistent Computational Logic, This proceedings volume contains
                  the papers presented at the {ICLP} 2002 workshop Paraconsistent Computational
                  Logic, on July 27, in Copenhagen, Denmark, as part of the Federated
                  Logic Conference (FLoC)},
  series       = {Datalogiske Skrifter},
  volume       = {95},
  pages        = {1--15},
  publisher    = {Roskilde University, Roskilde, Denmark},
  year         = {2002},
  url          = {https://arxiv.org/abs/cs/0207084},
  timestamp    = {Fri, 29 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pcl/BesnardSTW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pcl/Bry02,
  author       = {Fran{\c{c}}ois Bry},
  editor       = {Hendrik Decker and
                  J{\o}rgen Villadsen and
                  Toshiharu Waragai},
  title        = {An Almost Classical Logic for Logic Programming and Nonmonotonic Reasoning},
  booktitle    = {Paraconsistent Computational Logic, This proceedings volume contains
                  the papers presented at the {ICLP} 2002 workshop Paraconsistent Computational
                  Logic, on July 27, in Copenhagen, Denmark, as part of the Federated
                  Logic Conference (FLoC)},
  series       = {Datalogiske Skrifter},
  volume       = {95},
  pages        = {119--134},
  publisher    = {Roskilde University, Roskilde, Denmark},
  year         = {2002},
  url          = {https://arxiv.org/abs/cs/0207091},
  timestamp    = {Fri, 29 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pcl/Bry02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pcl/GoldinW02,
  author       = {Dina Q. Goldin and
                  Peter Wegner},
  editor       = {Hendrik Decker and
                  J{\o}rgen Villadsen and
                  Toshiharu Waragai},
  title        = {Paraconsistency of Interactive Computation},
  booktitle    = {Paraconsistent Computational Logic, This proceedings volume contains
                  the papers presented at the {ICLP} 2002 workshop Paraconsistent Computational
                  Logic, on July 27, in Copenhagen, Denmark, as part of the Federated
                  Logic Conference (FLoC)},
  series       = {Datalogiske Skrifter},
  volume       = {95},
  pages        = {109--118},
  publisher    = {Roskilde University, Roskilde, Denmark},
  year         = {2002},
  url          = {https://arxiv.org/abs/cs/0207074},
  timestamp    = {Fri, 29 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pcl/GoldinW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pcl/Maher02,
  author       = {Michael J. Maher},
  editor       = {Hendrik Decker and
                  J{\o}rgen Villadsen and
                  Toshiharu Waragai},
  title        = {A Model-Theoretic Semantics for Defeasible Logic},
  booktitle    = {Paraconsistent Computational Logic, This proceedings volume contains
                  the papers presented at the {ICLP} 2002 workshop Paraconsistent Computational
                  Logic, on July 27, in Copenhagen, Denmark, as part of the Federated
                  Logic Conference (FLoC)},
  series       = {Datalogiske Skrifter},
  volume       = {95},
  pages        = {67--80},
  publisher    = {Roskilde University, Roskilde, Denmark},
  year         = {2002},
  url          = {https://arxiv.org/abs/cs/0207086},
  timestamp    = {Fri, 29 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pcl/Maher02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pcl/MaluszynskiV02,
  author       = {Jan Maluszynski and
                  Aida Vit{\'{o}}ria},
  editor       = {Hendrik Decker and
                  J{\o}rgen Villadsen and
                  Toshiharu Waragai},
  title        = {Defining Rough Sets by Extended Logic Programs},
  booktitle    = {Paraconsistent Computational Logic, This proceedings volume contains
                  the papers presented at the {ICLP} 2002 workshop Paraconsistent Computational
                  Logic, on July 27, in Copenhagen, Denmark, as part of the Federated
                  Logic Conference (FLoC)},
  series       = {Datalogiske Skrifter},
  volume       = {95},
  pages        = {81--90},
  publisher    = {Roskilde University, Roskilde, Denmark},
  year         = {2002},
  url          = {https://arxiv.org/abs/cs/0207089},
  timestamp    = {Fri, 29 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pcl/MaluszynskiV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pcl/Villadsen02,
  author       = {J{\o}rgen Villadsen},
  editor       = {Hendrik Decker and
                  J{\o}rgen Villadsen and
                  Toshiharu Waragai},
  title        = {A Paraconsistent Higher Order Logic},
  booktitle    = {Paraconsistent Computational Logic, This proceedings volume contains
                  the papers presented at the {ICLP} 2002 workshop Paraconsistent Computational
                  Logic, on July 27, in Copenhagen, Denmark, as part of the Federated
                  Logic Conference (FLoC)},
  series       = {Datalogiske Skrifter},
  volume       = {95},
  pages        = {33--49},
  publisher    = {Roskilde University, Roskilde, Denmark},
  year         = {2002},
  url          = {https://arxiv.org/abs/cs/0207088},
  timestamp    = {Fri, 29 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pcl/Villadsen02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pcl/Zhang02,
  author       = {Guo{-}Qiang Zhang},
  editor       = {Hendrik Decker and
                  J{\o}rgen Villadsen and
                  Toshiharu Waragai},
  title        = {Axiomatic Aspects of Default Inference},
  booktitle    = {Paraconsistent Computational Logic, This proceedings volume contains
                  the papers presented at the {ICLP} 2002 workshop Paraconsistent Computational
                  Logic, on July 27, in Copenhagen, Denmark, as part of the Federated
                  Logic Conference (FLoC)},
  series       = {Datalogiske Skrifter},
  volume       = {95},
  pages        = {17--32},
  publisher    = {Roskilde University, Roskilde, Denmark},
  year         = {2002},
  url          = {https://arxiv.org/abs/cs/0207087},
  timestamp    = {Fri, 29 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pcl/Zhang02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pcl/2002,
  editor       = {Hendrik Decker and
                  J{\o}rgen Villadsen and
                  Toshiharu Waragai},
  title        = {Paraconsistent Computational Logic, This proceedings volume contains
                  the papers presented at the {ICLP} 2002 workshop Paraconsistent Computational
                  Logic, on July 27, in Copenhagen, Denmark, as part of the Federated
                  Logic Conference (FLoC)},
  series       = {Datalogiske Skrifter},
  volume       = {95},
  publisher    = {Roskilde University, Roskilde, Denmark},
  year         = {2002},
  timestamp    = {Tue, 27 Apr 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pcl/2002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics