Search dblp for Publications

export results for "toc:db/conf/cade/pruv2014.bht:"

 download as .bib file

@inproceedings{DBLP:conf/cade/AcarM14,
  author    = {Erman Acar and
               Christian Meilicke},
  editor    = {Thomas Lukasiewicz and
               Rafael Pe{\~{n}}aloza and
               Anni{-}Yasmin Turhan},
  title     = {Multi-Attribute Decision Making using Weighted Description Logics},
  booktitle = {Proceedings of the First Workshop on Logics for Reasoning about Preferences,
               Uncertainty, and Vagueness, {PRUV} 2014, co-located with 7th International
               Joint Conference on Automated Reasoning {(IJCAR} 2014), Vienna, Austria,
               July 23-24, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1205},
  pages     = {1--14},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1205/00010001.pdf},
  timestamp = {Wed, 12 Feb 2020 16:45:03 +0100},
  biburl    = {https://dblp.org/rec/conf/cade/AcarM14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Armengol14,
  author    = {Eva Armengol},
  editor    = {Thomas Lukasiewicz and
               Rafael Pe{\~{n}}aloza and
               Anni{-}Yasmin Turhan},
  title     = {Learning Preferences for Collaboration},
  booktitle = {Proceedings of the First Workshop on Logics for Reasoning about Preferences,
               Uncertainty, and Vagueness, {PRUV} 2014, co-located with 7th International
               Joint Conference on Automated Reasoning {(IJCAR} 2014), Vienna, Austria,
               July 23-24, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1205},
  pages     = {15--25},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1205/00010015.pdf},
  timestamp = {Tue, 28 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/Armengol14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Behounek14,
  author    = {Libor Behounek},
  editor    = {Thomas Lukasiewicz and
               Rafael Pe{\~{n}}aloza and
               Anni{-}Yasmin Turhan},
  title     = {In Which Sense Is Fuzzy Logic a Logic for Vagueness?},
  booktitle = {Proceedings of the First Workshop on Logics for Reasoning about Preferences,
               Uncertainty, and Vagueness, {PRUV} 2014, co-located with 7th International
               Joint Conference on Automated Reasoning {(IJCAR} 2014), Vienna, Austria,
               July 23-24, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1205},
  pages     = {26--39},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1205/00010026.pdf},
  timestamp = {Tue, 28 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/Behounek14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BeierleHM14,
  author    = {Christoph Beierle and
               Markus H{\"{o}}hnerbach and
               Marcus Marto},
  editor    = {Thomas Lukasiewicz and
               Rafael Pe{\~{n}}aloza and
               Anni{-}Yasmin Turhan},
  title     = {Generation of Parametrically Uniform Knowledge Bases in a Relational
               Probabilistic Logic with Maximum Entropy Semantics},
  booktitle = {Proceedings of the First Workshop on Logics for Reasoning about Preferences,
               Uncertainty, and Vagueness, {PRUV} 2014, co-located with 7th International
               Joint Conference on Automated Reasoning {(IJCAR} 2014), Vienna, Austria,
               July 23-24, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1205},
  pages     = {39--51},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1205/00010039.pdf},
  timestamp = {Tue, 28 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/BeierleHM14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BorgwardtCP14,
  author    = {Stefan Borgwardt and
               Marco Cerami and
               Rafael Pe{\~{n}}aloza},
  editor    = {Thomas Lukasiewicz and
               Rafael Pe{\~{n}}aloza and
               Anni{-}Yasmin Turhan},
  title     = {Many-valued Horn Logic is Hard},
  booktitle = {Proceedings of the First Workshop on Logics for Reasoning about Preferences,
               Uncertainty, and Vagueness, {PRUV} 2014, co-located with 7th International
               Joint Conference on Automated Reasoning {(IJCAR} 2014), Vienna, Austria,
               July 23-24, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1205},
  pages     = {52--58},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1205/00010052.pdf},
  timestamp = {Tue, 28 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/BorgwardtCP14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BritzV14,
  author    = {Arina Britz and
               Ivan Jos{\'{e}} Varzinczak},
  editor    = {Thomas Lukasiewicz and
               Rafael Pe{\~{n}}aloza and
               Anni{-}Yasmin Turhan},
  title     = {Towards a Logic of Dilation},
  booktitle = {Proceedings of the First Workshop on Logics for Reasoning about Preferences,
               Uncertainty, and Vagueness, {PRUV} 2014, co-located with 7th International
               Joint Conference on Automated Reasoning {(IJCAR} 2014), Vienna, Austria,
               July 23-24, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1205},
  pages     = {59--73},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1205/00010059.pdf},
  timestamp = {Tue, 28 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/BritzV14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/DjeddaiSK14,
  author    = {Ala Djeddai and
               Hassina Seridi and
               Tarek Khadir},
  editor    = {Thomas Lukasiewicz and
               Rafael Pe{\~{n}}aloza and
               Anni{-}Yasmin Turhan},
  title     = {A New DL-Lite {N} Bool Probabilistic Extension Using Belief},
  booktitle = {Proceedings of the First Workshop on Logics for Reasoning about Preferences,
               Uncertainty, and Vagueness, {PRUV} 2014, co-located with 7th International
               Joint Conference on Automated Reasoning {(IJCAR} 2014), Vienna, Austria,
               July 23-24, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1205},
  pages     = {88--100},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1205/00010088.pdf},
  timestamp = {Tue, 28 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/DjeddaiSK14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Ecke14,
  author    = {Andreas Ecke},
  editor    = {Thomas Lukasiewicz and
               Rafael Pe{\~{n}}aloza and
               Anni{-}Yasmin Turhan},
  title     = {Similarity-based Relaxed Instance Queries in {EL++}},
  booktitle = {Proceedings of the First Workshop on Logics for Reasoning about Preferences,
               Uncertainty, and Vagueness, {PRUV} 2014, co-located with 7th International
               Joint Conference on Automated Reasoning {(IJCAR} 2014), Vienna, Austria,
               July 23-24, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1205},
  pages     = {101--113},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1205/00010101.pdf},
  timestamp = {Tue, 28 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/Ecke14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LeeW14,
  author    = {Joohyung Lee and
               Yi Wang},
  editor    = {Thomas Lukasiewicz and
               Rafael Pe{\~{n}}aloza and
               Anni{-}Yasmin Turhan},
  title     = {Stable Models of Fuzzy Propositional Formulas},
  booktitle = {Proceedings of the First Workshop on Logics for Reasoning about Preferences,
               Uncertainty, and Vagueness, {PRUV} 2014, co-located with 7th International
               Joint Conference on Automated Reasoning {(IJCAR} 2014), Vienna, Austria,
               July 23-24, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1205},
  pages     = {114--126},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1205/00010114.pdf},
  timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/cade/LeeW14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LukasiewiczMMPS14,
  author    = {Thomas Lukasiewicz and
               Maria Vanina Martinez and
               Cristian Molinaro and
               Livia Predoiu and
               Gerardo I. Simari},
  editor    = {Thomas Lukasiewicz and
               Rafael Pe{\~{n}}aloza and
               Anni{-}Yasmin Turhan},
  title     = {Answering Ontological Ranking Queries Based on Subjective Reports},
  booktitle = {Proceedings of the First Workshop on Logics for Reasoning about Preferences,
               Uncertainty, and Vagueness, {PRUV} 2014, co-located with 7th International
               Joint Conference on Automated Reasoning {(IJCAR} 2014), Vienna, Austria,
               July 23-24, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1205},
  pages     = {127--140},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1205/00010127.pdf},
  timestamp = {Tue, 28 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/LukasiewiczMMPS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Mitchell14,
  author    = {David Mitchell},
  editor    = {Thomas Lukasiewicz and
               Rafael Pe{\~{n}}aloza and
               Anni{-}Yasmin Turhan},
  title     = {Resolution and Clause Learning for Multi-Valued {CNF} Formulas},
  booktitle = {Proceedings of the First Workshop on Logics for Reasoning about Preferences,
               Uncertainty, and Vagueness, {PRUV} 2014, co-located with 7th International
               Joint Conference on Automated Reasoning {(IJCAR} 2014), Vienna, Austria,
               July 23-24, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1205},
  pages     = {141--154},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1205/00010141.pdf},
  timestamp = {Tue, 28 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/Mitchell14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/NoiaLMST14,
  author    = {Tommaso Di Noia and
               Thomas Lukasiewicz and
               Maria Vanina Martinez and
               Gerardo I. Simari and
               Oana Tifrea{-}Marciuska},
  editor    = {Thomas Lukasiewicz and
               Rafael Pe{\~{n}}aloza and
               Anni{-}Yasmin Turhan},
  title     = {Computing k-Rank Answers with Ontological CP-Nets},
  booktitle = {Proceedings of the First Workshop on Logics for Reasoning about Preferences,
               Uncertainty, and Vagueness, {PRUV} 2014, co-located with 7th International
               Joint Conference on Automated Reasoning {(IJCAR} 2014), Vienna, Austria,
               July 23-24, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1205},
  pages     = {74--87},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1205/00010074.pdf},
  timestamp = {Tue, 28 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/NoiaLMST14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2014pruv,
  editor    = {Thomas Lukasiewicz and
               Rafael Pe{\~{n}}aloza and
               Anni{-}Yasmin Turhan},
  title     = {Proceedings of the First Workshop on Logics for Reasoning about Preferences,
               Uncertainty, and Vagueness, {PRUV} 2014, co-located with 7th International
               Joint Conference on Automated Reasoning {(IJCAR} 2014), Vienna, Austria,
               July 23-24, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1205},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1205},
  urn       = {urn:nbn:de:0074-1205-4},
  timestamp = {Wed, 12 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/cade/2014pruv.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics