Propositional representation - PDFSEARCH.IO - Document Search Engine

Propositional representation
Results: 17

#	Item
11	Computational Logic in an Object-Oriented World Robert Kowalski Imperial College London [removed] Abstract Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-06-07 11:54:52 Logical syntax Propositional calculus Philosophical logic Logic programming Abductive logic programming Semantics Knowledge representation and reasoning Object Programming language Logic Programming paradigms Grammar
12	An Implementation of Statistical Default Logic Gregory R. Wheeler and Carlos Dam´asio Centro de Inteligˆencia Artificial (CENTRIA) Departamento de Inform´ atica, Universidade Nova de Lisboa[removed]Caparica, Portugal Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:32:17 Non-classical logic Boolean algebra Default logic Knowledge representation Propositional calculus Stable model semantics First-order logic Answer set programming Well-formed formula Logic Mathematical logic Logic programming
13	Approximate Subsumption in ALCQ Heiner Stuckenschmidt University of Mannheim, Germany A5, [removed]Mannheim [removed] Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Philosophical logic Philosophy of language Logical syntax Model theory Interpretation Function Truth Knowledge representation and reasoning Proposition Logic Mathematical logic Propositional calculus
14	An LF representation of a variant of HOL Light Kevin Watkins / June 15, 2004 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2005-03-23 11:29:40 Propositional calculus Deduction Natural deduction Proof theory Meta Logical biconditional TM Logical connectives Logic Mathematical logic
15	Monotonicity, Closure and the Semantics of few Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:59:28 Linguistics Quantification Philosophy of language Propositional calculus Interpretation Negation Discourse representation theory Generalized quantifier Proposition Logic Semantics Mathematical logic
16	Knowledge Representation and Reasoning Logics for Artificial Intelligence Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 2009-11-24 15:49:50 Model theory Rules of inference Quantification First-order logic Universal quantification Propositional calculus Inference Resolution FO Logic Mathematical logic Predicate logic
17	PDF Document Add to Reading List Source URL: reasoninglab.psych.ucla.edu Language: English - Date: 2013-05-07 19:26:49 Reasoning Analogy Semantics Keith Holyoak Knowledge representation and reasoning Inference Cognitive neuroscience Reason Propositional representation Cognitive science Ethology Science

UPDATE