Configuration of Smart Environments Made Simple Combining Visual Modeling with Semantic Metadata and Reasoning Simon Mayer∗ , Nadine Inhelder∗ , Ruben Verborgh† , Rik Van de Walle† , and Friedemann Mattern∗ ∗

Source URL: www.vs.inf.ethz.ch

• Semantic Web
• Knowledge engineering
• Knowledge representation
• Web services
• Emerging technologies
• Mashup
• Internet of things
• Ambient intelligence
• Smart environment
• Smart thermostat
• Smart device
• Semantic reasoner

A Logic of Reasoning, Communication and Cooperation with Syntactic Knowledge Thomas ˚ Agotnes Michal Walicki

Source URL: folk.uib.no

• Logic
• Mathematical logic
• Philosophy
• Formal epistemology
• Modal logic
• Artificial intelligence
• Belief
• Epistemic modal logic
• Non-classical logic
• Logic programming
• Epistemic closure
• FO

A reasoning approach to knowledge, introspection and unawareness∗ Olivier Gossner†and Elias Tsakas‡ July 24, 2009 Abstract

Source URL: ogossner.free.fr

• Philosophy
• Logic
• Abstraction
• Philosophical logic
• Axiom
• Constructible universe
• Epistemology
• A priori and a posteriori
• Linear temporal logic

Microsoft Word - front_back_alt.doc

Source URL: ekaw2008.inrialpes.fr

• Ontology
• Semantic Web
• Information science
• Technical communication
• Knowledge representation
• Web Ontology Language
• AGROVOC
• Gene ontology
• Knowledge representation and reasoning
• Draft:Outline of ontologies
• OBO Foundry

Ghostscript wrapper for E:] Occlusion ReasoningitingCV2011nuscript12_CR_finalcv2011_occlusion.pdf

Source URL: cvlab.postech.ac.kr

Stream Reasoning For Linked Data Jeff Z. Pan and Emanuele Della Valle Agenda

Source URL: homepages.abdn.ac.uk

Cambridge University Press1 - Networks, Crowds, and Markets: Reasoning about a Highly Connected World David Easley and Jon Kleinberg Excerpt 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

COGENCY Vol. 6, N0), Summer 2014 ISSNThe conditional introduction rule and human reasoning: Findings from the mental models theory1

Source URL: www.cogency.udp.cl

A Modelling and Reasoning Framework for Social Networks Policies Guido Governatori1 and Renato Iannella2 1 NICTA, Queensland Research Laboratory, Australia 2 Semantic Identity, Brisbane, Au

Source URL: www.governatori.net