T ECHNICAL R EPORT Report No. CS2012-02 Date: September 2012 Compositional Reasoning for Channel-Based Concurrent Resource

Source URL: secure.um.edu.mt

POLYSEMOUS RELATIONS* Adam Kilgarriff & Gerald Gazdar Cognitive & Computing Sciences University of Sussex

Source URL: kilgarriff.co.uk

• Linguistics
• Lexical semantics
• Semantics
• Lexicology
• DATR
• Polysemy
• Word sense
• Knowledge representation and reasoning
• Homonym
• Node

Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment Laura Giordano1, Valentina Gliozzi2 , Nicola Olivetti3 , and Gian Luca Pozzato2 1 Dipartimento di Informatica - Universi

Source URL: ceur-ws.org

CalculemusThe 16th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning Calculemus 2009 Emerging Trends

Source URL: www.calculemus.net

• Theoretical computer science
• Algorithm
• Correctness
• RSA
• Metamath
• Symbolic computation
• Recursion

Contributions to AI4FM 2015 The 6th International Workshop on the use of AI in Formal Methods Andrius Velykis

Source URL: www.ai4fm.org

• Software
• Theoretical computer science
• Formal methods
• Automated theorem proving
• Logic in computer science
• Proof assistants
• Formal verification
• Automated reasoning
• KeY
• Prover9
• Frama-C
• First-order logic

Generating Compact Models for Traffic Scenarios to Estimate Driver Behavior Using Semantic Reasoning Ilya Dianov, Karinne Ramirez-Amaro and Gordon Cheng Abstract— Driving through a constantly changing environment is on

Source URL: mediatum.ub.tum.de

J Autom Reasoning:263–288 DOIs10817Mechanized Semantics for the Clight Subset of the C Language Sandrine Blazy · Xavier Leroy

Source URL: www.irisa.fr

Microsoft Worddoc

Source URL: www.cyc.com

• Cognitive science
• Artificial intelligence
• Reasoning
• Computing
• Ontology
• Technical communication
• Cyc
• Open data
• Knowledge representation and reasoning
• Douglas Lenat
• Commonsense knowledge
• Commonsense reasoning

The Maryland State Curriculum for Personal Financial Literacy Education GRADES 3 – 5 STANDARD 1: MAKE INFORMED, FINANCIALLY RESPONSIBLE DECISIONS Students will apply financial literacy reasoning in order to make infor

Source URL: www.econed.org

Modeling Cross-Cultural Performance on the Visual Oddity Task Andrew Lovett1 , Kate Lockwood1, and Kenneth Forbus1 Qualitative Reasoning Group, Northwestern University 2133 Sheridan Rd., Evanston, IL, 60201, USA {andrew-

Source URL: vvv.spatiallearning.org