<--- Back to Details
First PageDocument Content
Ethology / Boolean algebra / Propositional calculus / Cognitive psychology / Thought / Mental model / Logical disjunction / Psychology of reasoning / Exclusive or / Science / Reasoning / Logic
Date: 2012-06-14 22:39:35
Ethology
Boolean algebra
Propositional calculus
Cognitive psychology
Thought
Mental model
Logical disjunction
Psychology of reasoning
Exclusive or
Science
Reasoning
Logic

Add to Reading List

Source URL: mentalmodels.princeton.edu

Download Document from Source Website

File Size: 180,67 KB

Share Document on Facebook

Similar Documents

Artificial intelligence / Multi-agent systems / Modeling and simulation / Systems science / Agent-based model / Artificial life / Complex systems theory / Model checking / Temporal logic / Intelligent agent / Sociology

Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop

DocID: 1xVYq - View Document

Cryptocurrencies / Computing / Concurrent computing / Fault-tolerant computer systems / Distributed computing / Distributed algorithms / Theory of computation / Cryptography / Byzantine fault tolerance / Blockchain / Consensus / Proof-of-stake

OPERA: Reasoning about continuous common knowledge in asynchronous distributed systems Sang-Min Choia , Jiho Parka , Quan Nguyena , Kiyoung Jangb , Hyunjoon Cheonb , Yo-Sub Hanb , Byung-Ik Ahna a

DocID: 1xVFA - View Document

Theoretical computer science / Logic in computer science / Automated theorem proving / Formal methods / Constraint programming / Logic programming / Resolution / Unification / Satisfiability modulo theories / Andrei Voronkov

Instantiation for Theory Reasoning in Vampire Giles Reger Theory Reasoning in saturation provers φ

DocID: 1xVzg - View Document

Artificial intelligence / Logic / Cognitive science / Automated reasoning / Reasoning / Accountability / Technology / Automated theorem proving / Explainable Artificial Intelligence / Xai / Inference

Automated Reasoning for EXplainable Artificial Intelligence Maria Paola Bonacina Dipartimento di Informatica Universit` a degli Studi di Verona

DocID: 1xVwB - View Document

Mathematics / Theoretical computer science / Applied mathematics / Logic in computer science / Formal methods / Computational neuroscience / Artificial neural networks / Proof assistants / Entropy / Coq / N-gram / Recurrent neural network

Language Models for Proofs Anonymous Author(s) ABSTRACT Proofs play a key role in reasoning about programs and verification of properties of systems. Mechanized proof assistants help users in developing proofs and checki

DocID: 1xVtC - View Document