The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "PRUV@IJCAR"( http://dblp.L3S.de/Venues/PRUV@IJCAR )

URL (DBLP): http://dblp.uni-trier.de/db/conf/cade

Publication years (Num. hits)
2018 (9)
Publication types (Num. hits)
inproceedings(8) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Nico Potyka Measuring Disagreement among Knowledge Bases. Search on Bibsonomy PRUV@IJCAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi Reasoning About Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure. Search on Bibsonomy PRUV@IJCAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Alireza Ensan, Eugenia Ternovska, Heng Liu A Model-Theoretic View on Preferences in Declarative Specifications of Search Problems. Search on Bibsonomy PRUV@IJCAR The full citation details ... 2018 DBLP  BibTeX  RDF
1José Paredes, Maria Vanina Martinez, Gerardo I. Simari, Marcelo A. Falappa Leveraging Probabilistic Existential Rules for Adversarial Deduplication. Search on Bibsonomy PRUV@IJCAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang 0001, Xutong Ma A New Probabilistic Algorithm for Approximate Model Counting. Search on Bibsonomy PRUV@IJCAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan (eds.) Proceedings of the Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness co-located with the 9th International Joint Conference on Automated Reasoning, PRUV@IJCAR 2018, Oxford, UK, July 19th, 2018. Search on Bibsonomy PRUV@IJCAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Jan Maly 0001, Stefan Woltran A New Logic for Jointly Representing Hard and Soft Constraints. Search on Bibsonomy PRUV@IJCAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Aouatef Rouahi, Kais Ben Salah, Khaled Ghédira Evidential Group Decision Making Model with Belief-Based Preferences. Search on Bibsonomy PRUV@IJCAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Cunjing Ge, Feifei Ma, Jian Zhang 0001 VolCE: An Efficient Tool for Solving #SMT(LA) Problems. Search on Bibsonomy PRUV@IJCAR The full citation details ... 2018 DBLP  BibTeX  RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license