J. Hlaváˇcová (Ed.): ITAT 2017 Proceedings, p. 2 c 2017 A. Lige¸za CEUR Workshop Proceedings Vol. 1885, ISSN, Rules, Causality and Constraints. Model-Based Reasoning and Structural Knowledge Discovery

Source URL: ceur-ws.org

Theory of mind in the Mod game: An agent-based model of strategic reasoning Harmen de Weerd, Rineke Verbrugge, Bart Verheij Institute of Artificial Intelligence, University of Groningen Abstract. When people engage in s

Source URL: www.harmendeweerd.nl

Legal knowledge based systems JURIX 91 Model-based legal reasoning The Foundation for Legal Knowledge Systems Editors:

Source URL: jurix.nl

Model-Based Most Specific Concepts in Some Inexpressive Description Logics Felix Distel⋆ TU Dresden, Germany Abstract. Model-based most specific concepts are a non-standard reasoning service in Description Logics. The

Source URL: ceur-ws.org

! Flying like a School of Fish: Discovering Flocking Formations in an Agent-Based Model with Analogical Reasoning Bryan Head

Source URL: ccl.northwestern.edu

New Wave KRR: Rulelog-based Deep Reasoning with NLP for Financial Regulatory Compliance and More Benjamin Grosof* Coherent Knowledge** Presentation (30-min.)

Source URL: ijcai-16.org

• Software engineering
• Logic
• Declarative programming
• Reasoning
• Programming paradigms
• Model theory
• Logical connectives
• Logic programming
• Prolog
• Datalog
• HiLog
• XSB

Thinking Within and Between Levels: Exploring Reasoning with Multi-Level Linked Models Arthur Hjorth, Northwestern University, Corey Brady, Northwestern University,

Source URL: ccl.northwestern.edu

• Computing
• Simulation
• Software
• Operations research
• Scientific modeling
• Multi-agent systems
• Java platform
• NetLogo
• Agent-based model
• Economic model
• Conceptual model
• Climate model

Microsoft Word - ICMR-06 Months-Report From IF

Source URL: www.icmr.nic.in

• Statistics
• Science
• Logic
• Statistical theory
• Philosophy of science
• Statistical inference
• Inductive reasoning
• Graphical models
• Causal inference
• Agent-based model
• Bayesian inference
• Causality

Simulation Validation for Societal Systems Alex Yahja September 2006 CMU-ISRISchool of Computer Science

Source URL: www.casos.cs.cmu.edu

• Simulation
• Information science
• Knowledge engineering
• Semantic Web
• Technical communication
• Agent-based model
• Scientific modelling
• Ontology
• Logic simulation
• Cyc
• Reasoning system
• Conceptual model

Counterfactual Reasoning about Intent for Interactive Navigation in Dynamic Environments Alejandro Bordallo1 Fabio Previtali2

Source URL: rad.inf.ed.ac.uk

• Multi-agent systems
• Control theory
• Kalman filter
• Robot control
• Robotics
• Agent-based model
• Motion planning
• Expectationmaximization algorithm
• Inference