• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 111 matches

• 2020
• 
  Corina S. Pasareanu:
  Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security. Synthesis Lectures on Software Engineering, Morgan & Claypool Publishers 2020
• 
  Thomas Eiter, Rafael Kiesel:
  Weighted LARS for Quantitative Stream Reasoning. ECAI 2020: 729-736
• 2019
• 
  Maliazurina Saad, Ikhyun Lee, Tae-Sun Choi:
  Automated delineation of non-small cell lung cancer: A step toward quantitative reasoning in medical decision science. Int. J. Imaging Syst. Technol. 29(4): 561-576 (2019)
• 
  Yuhe Wang, Peili Qiao, Haibin Chen, Zhiyong Luo, Guanglu Sun:
  The Reliability Assessment of ICS Based on Evidential Reasoning and Semi-quantitative Information. Ingénierie des Systèmes d Inf. 24(2): 147-154 (2019)
• 
  Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll:
  Quantitative separation logic: a logic for reasoning about probabilistic pointer programs. Proc. ACM Program. Lang. 3(POPL): 34:1-34:29 (2019)
• 
  Dominic Orchard, Vilem-Benjamin Liepelt, Harley Eades III:
  Quantitative program reasoning with graded modal types. Proc. ACM Program. Lang. 3(ICFP): 110:1-110:30 (2019)
• 
  Abhilasha Ravichander, Aakanksha Naik, Carolyn Penstein Rosé, Eduard H. Hovy:
  EQUATE: A Benchmark Evaluation Framework for Quantitative Reasoning in Natural Language Inference. CoNLL 2019: 349-361
• 
  Gabriele Kern-Isberner, Zoran Ognjanovic:
  Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings. Lecture Notes in Computer Science 11726, Springer 2019, ISBN 978-3-030-29764-0 [contents]
• 
  Abhilasha Ravichander, Aakanksha Naik, Carolyn Penstein Rosé, Eduard H. Hovy:
  EQUATE: A Benchmark Evaluation Framework for Quantitative Reasoning in Natural Language Inference. CoRR abs/1901.03735 (2019)
• 
  Marcelo Finger:
  Quantitative Logic Reasoning. CoRR abs/1905.05665 (2019)
• 2018
• 
  Stefania Costantini, Andrea Formisano:
  Augmenting agent computational environments with quantitative reasoning modules and customisable bridge rules. Int. J. Agent Oriented Softw. Eng. 6(3/4): 245-274 (2018)
• 
  Yanhong She, Xiaoli He, Yuhua Qian, Weihua Xu, Jinhai Li:
  A quantitative approach to reasoning about incomplete knowledge. Inf. Sci. 451-452: 100-111 (2018)
• 
  Dario Della Monica, Aniello Murano:
  Parity-energy ATL for Qualitative and Quantitative Reasoning in MAS. AAMAS 2018: 1441-1449
• 
  David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo:
  Fibrational Bisimulations and Quantitative Reasoning. CMCS 2018: 190-213
• 
  Savitha Sam Abraham, Sowmya S. Sundaram:
  Combining Qualitative and Quantitative Reasoning for Solving Kinematics Word Problems. FLAIRS Conference 2018: 164-167
• 
  Francesco Gavazzo:
  Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances. LICS 2018: 452-461
• 
  Francesco Gavazzo:
  Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances (Extended Version). CoRR abs/1801.09072 (2018)
• 
  Ahmed Taha, Spyros Boukoros, Jesus Luna, Stefan Katzenbeisser, Neeraj Suri:
  QRES: Quantitative Reasoning on Encrypted Security SLAs. CoRR abs/1804.04426 (2018)
• 2017
• 
  Hong-Ying Zhang, Shu Yun Yang:
  Feature selection and approximate reasoning of large-scale set-valued decision tables based on α-dominance-based quantitative rough sets. Inf. Sci. 378: 328-347 (2017)
• 
  Jesus Luna, Ahmed Taha, Rubén Trapero, Neeraj Suri:
  Quantitative Reasoning about Cloud Security Using Service Level Agreements. IEEE Trans. Cloud Comput. 5(3): 457-471 (2017)
• 
  Richard Skowyra, Steven R. Gomez, David Bigelow, James Landry, Hamed Okhravi:
  QUASAR: Quantitative Attack Space Analysis and Reasoning. ACSAC 2017: 68-78
• 
  Paolo Terenziani, Antonella Andolina:
  Probabilistic quantitative temporal reasoning. SAC 2017: 965-970
• 
  Zhijiang Wan, Ning Zhong, Jianhui Chen, Haiyan Zhou, Jie Yang, Jianzhuo Yan:
  A depressive mood status quantitative reasoning method based on portable EEG and self-rating scale. WI 2017: 389-395
• 
  Alessandro Antonucci, Laurence Cholvy, Odile Papini:
  Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings. Lecture Notes in Computer Science 10369, Springer 2017, ISBN 978-3-319-61580-6 [contents]
• 2016
• 
  Lennart Schalk, Henrik Saalbach, Roland H. Grabner, Elsbeth Stern:
  Relational Quantitative Reasoning in Kindergarten Predicts Mathematical Achievement in Third Grade. J. Numer. Cogn. 2(2): 77-90 (2016)
• 
  Stefania Costantini, Andrea Formisano:
  Augmenting Agent Computational Environments with Quantitative Reasoning Modules and Customizable Bridge Rules. AAMAS Workshops (Visionary Papers) 2016: 104-121
• 
  Stefania Costantini, Andrea Formisano:
  Augmenting Agent Computational Environments with Quantitative Reasoning Modules and Customizable Bridge Rules. EMAS@AAMAS 2016: 192-209
• 
  Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
  Quantitative Algebraic Reasoning. LICS 2016: 700-709
• 
  Dan E. Tamir, Carl J. Mueller, Abraham Kandel:
  Complex Fuzzy Logic Reasoning-Based Methodologies for Quantitative Software Requirements Specifications. Computational Intelligence and Quantitative Software Engineering 2016: 153-172
• 2015
• 
  Silja Renooij, Jan M. Broersen:
  Special Issue on the Twelfth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2013). Int. J. Approx. Reason. 58: 1-2 (2015)

skipping 81 more matches