Cambridge University Press1 - Networks, Crowds, and Markets: Reasoning about a Highly Connected World David Easley and Jon Kleinberg Frontmatter More information

Source URL: assets.cambridge.org

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

Performance Heterogeneity and Approximate Reasoning in Description Logic Ontologies Rafael S. Gon¸calves, Bijan Parsia, and Uli Sattler School of Computer Science University of Manchester Manchester, United Kingdom

Source URL: www.rsgoncalves.com

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

Source URL: www.cs.man.ac.uk

MFPSMultimodal Separation Logic for Reasoning About Operational Semantics Robert Dockins

Source URL: rwd.rdockins.name

LogicalFallaciesInfographic_A3

Source URL: yourlogicalfallacyis.com

• Critical thinking
• Philosophical logic
• Logical fallacies
• Arguments
• Fallacy
• Information
• Circular reasoning
• Formal fallacy
• Relativist fallacy
• Affirming a disjunct

Knowl. OrgNo.1 KO KNOWLEDGE ORGANIZATION

Source URL: www.isko.org

• Information science
• Information
• Knowledge
• Semantic Web
• Ontology
• Knowledge representation
• Knowledge engineering
• Knowledge organization
• Birger Hjrland
• Knowledge representation and reasoning
• Web Ontology Language
• Gene ontology

Spatial Reasoning Skills in Tenejapan Mayans

Source URL: papafragou.psych.udel.edu

• Cognitive science
• Cognition
• Academia
• Psycholinguistics
• Developmental psychology
• Memory
• Spatial memory
• Egocentrism
• Linguistic relativity
• Relative direction
• Language and thought
• Numerical cognition

Microsoft Word - klippelXXXXegenhofer-cohn.doc

Source URL: www.cognitivegiscience.psu.edu

• Knowledge representation
• Reasoning
• Cognition
• Cognitive science
• Academia
• Logic
• Computational topology
• Constraint programming
• Region connection calculus
• Spatialtemporal reasoning
• General topology
• Topology

Effectively-Propositional Reasoning about Reachability in Linked Data Structures ? Shachar Itzhaky1 , Anindya Banerjee2 , Neil Immerman3 , Aleksandar Nanevski2 , and Mooly Sagiv1 1

Source URL: people.cs.umass.edu