Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "stream:streams/conf/pcl:"
@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} }
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.