


Остановите войну!
for scientists:


default search action
1st PRUV 2014: Vienna, Austria
- Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan:
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. CEUR Workshop Proceedings 1205, CEUR-WS.org 2014 - Erman Acar, Christian Meilicke:
Multi-Attribute Decision Making using Weighted Description Logics. 1-14 - Eva Armengol:
Learning Preferences for Collaboration. 15-25 - Libor Behounek:
In Which Sense Is Fuzzy Logic a Logic for Vagueness? 26-39 - Christoph Beierle, Markus Höhnerbach, Marcus Marto:
Generation of Parametrically Uniform Knowledge Bases in a Relational Probabilistic Logic with Maximum Entropy Semantics. 39-51 - Stefan Borgwardt, Marco Cerami, Rafael Peñaloza:
Many-valued Horn Logic is Hard. 52-58 - Arina Britz, Ivan José Varzinczak:
Towards a Logic of Dilation. 59-73 - Tommaso Di Noia, Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, Oana Tifrea-Marciuska:
Computing k-Rank Answers with Ontological CP-Nets. 74-87 - Ala Djeddai, Hassina Seridi, Tarek Khadir:
A New DL-Lite N Bool Probabilistic Extension Using Belief. 88-100 - Andreas Ecke:
Similarity-based Relaxed Instance Queries in EL++. 101-113 - Joohyung Lee, Yi Wang:
Stable Models of Fuzzy Propositional Formulas. 114-126 - Thomas Lukasiewicz, Maria Vanina Martinez, Cristian Molinaro, Livia Predoiu, Gerardo I. Simari:
Answering Ontological Ranking Queries Based on Subjective Reports. 127-140 - David Mitchell:
Resolution and Clause Learning for Multi-Valued CNF Formulas. 141-154

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.