A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes Boris Motik and Ulrike Sattler University of Manchester Manchester, UK

Source URL: staff.cs.manchester.ac.uk

Geographic Event Conceptualization: Where Spatial and Cognitive Sciences Meet Rui Li, Alexander Klippel, Jinlong Yang {rui.li, klippel, jinlong}@psu.edu GeoVISTA Center, Department of Geography 302 Walker Building, The P

Source URL: www.cognitivegiscience.psu.edu

• Knowledge representation
• Computational topology
• Constraint programming
• Reasoning
• Region connection calculus
• Topology
• Topological space
• Spatial relation
• Framing
• Topological conjugacy

Practical Optimization Considerations For Diagnostic Knowledge Representation

Source URL: www.kirshenbaum.net

• Marketing
• Customer service
• Help desk
• Engineering
• Knowledge engineering
• Automation
• Customer support
• Reliability engineering
• Troubleshooting
• Knowledge representation and reasoning
• Technical support
• Knowledge

Reasoning about Schema Mappings ∗ Emanuel Sallinger Vienna University of Technology

Source URL: drops.dagstuhl.de

Object Detection by 3D Aspectlets and Occlusion Reasoning Yu Xiang University of Michigan Silvio Savarese Stanford University

Source URL: yuxng.github.io

BOND VERBAL REASONING ASSESSMENT PAPERS BOOK 1 WWOM232-PDFBVRAPB1 | 46 Page | File Size 1,769 KB | 16 Apr, 2016 COPYRIGHT 2016, ALL RIGHT RESERVED

Source URL: www.freemovietag.com

Learning to Divide and Conquer: Applying the L* Algorithm to Automate Assume-Guarantee Reasoning Corina S. P˘as˘areanu Perot Systems, NASA Ames Research Center, N269-230, Moffett Field, CA 94035, USA

Source URL: sp09.pbworks.com

What is EL? Normalisation Reasoning

Source URL: www.informatik.uni-bremen.de

From the book Networks, Crowds, and Markets: Reasoning about a Highly Connected World. By David Easley and Jon Kleinberg. Cambridge University Press, 2010. Complete preprint on-line at http://www.cs.cornell.edu/home/klei

Source URL: www.cs.cornell.edu

Local Closed World Reasoning with Description Logics under the Well-Founded Semantics Matthias Knorra,∗, Jos´e J´ ulio Alferesa,1 , Pascal Hitzlerb,2 a CENTRIA,

Source URL: daselab.cs.wright.edu