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.
Published in: PRUV (2014)
Keyphrases
- automated reasoning
- acm sigkdd
- selected papers
- international conference
- decision procedures
- databases and information systems
- annual conference
- international workshop
- proof theory
- advances in artificial intelligence
- conference proceedings
- invited speakers
- lecture notes
- computer science
- knowledge discovery and data mining
- naacl hlt
- student research workshop
- human computation
- theorem proving
- acm sigmod
- theorem prover
- knowledge representation
- national science foundation
- reasoning tasks
- probabilistic reasoning
- program committee
- invited talk
- acm conference
- inference rules
- poster session
- association for computational linguistics
- north american
- valued logic
- cyber security and information intelligence
- fuzzy logic
- panel discussion
- knowledge representation and reasoning
- centre for advanced studies
- lecture notes in artificial intelligence
- modal logic
- computational intelligence
- special session
- international program committee
- expert systems
- digital government
- artificial intelligence
- review process