Propositional representation - PDFSEARCH.IO - Document Search Engine

Propositional representation
Results: 17

#	Item
1	Contents 1 Formal Logic with Conceptual Graphs Frithjof Dau 1.1 Introduction . . . . . . . . . . . . . . . . . . . . . 1.2 Short Introduction to Conceptual Graphs . . . . . Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2016-06-19 12:17:42 Graph theory Diagrams Knowledge representation Logic Charles Sanders Peirce Conceptual graph Existential graph Graph First-order logic Null graph Propositional calculus Diagrammatic reasoning
2	Generating Natural Language Aggregations Using a Propositional Representation of Sets Susan Haller1 , Barbara Di Eugenio2 , and Michael Trolio2 1 Computer Science Department University of Wisconsin–Parkside Add to Reading List Source URL: nlp.cs.uic.edu Language: English - Date: 2013-03-02 15:00:28 Computing Artificial intelligence Cognitive architecture SNePS Software Aggregation Node Rope Semantic network
3	January 11, :40 Proceedings Trim Size: 9in x 6in Add to Reading List Source URL: www.stefanfrank.info Language: English - Date: 2012-03-11 05:07:57 Propositions Logic Mental content Propositional representation Object Process Methodology
4	CFPS 97 (Call for Papers Submission number 97) Type safety in an extensible data model Submitted by: Smith, Richard Add to Reading List Source URL: fhiso.org Language: English - Date: 2014-03-15 13:40:36 Knowledge representation Fuzzy logic Predicate Predicate logic Propositional calculus Tree Reference C Static single assignment form Logic Mathematical logic Computing
5	AGAINST ALIEF Penultimate Draft (forthcoming in Philosophical Studies) Abstract This essay attempts to clarify the nature and structure of aliefs. First I distinguish between a robust notion of aliefs and a deflated one. Add to Reading List Source URL: people.fas.harvard.edu Language: English - Date: 2012-11-15 22:28:39 Mental content Mental processes Ontology Cognitive science Alief Belief Mental representation Propositional attitude Proposition Philosophy of mind Mind Philosophy
6	PDF Document Add to Reading List Source URL: zeszyty-naukowe.wwsi.edu.pl Language: English - Date: 2014-12-22 08:14:41 Non-classical logic Propositional calculus Knowledge representation Logical syntax Default logic Autoepistemic logic Circumscription Non-monotonic logic Well-formed formula Logic Mathematical logic Logic programming
7	Large-Scale Verb Entailment Acquisition from the Web Chikara Hashimoto∗ Kentaro Torisawa† Kow Kuroda‡ Stijn De Saeger§ Masaki Murata¶ Jun’ichi Kazama National Institute of Information and Communications Techno Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-06-14 16:57:08 Philosophical logic Non-classical logic Propositional calculus Knowledge representation Entailment Modal logic Textual entailment WordNet Verb Logic Science Logical consequence
8	Edgington on Compounds of Conditionals MAX KÖLBEL Dorothy Edgington[removed]has long defended the view that conditionals do not have truth conditions. This view, like other views on conditionals, owes an explanation of t Add to Reading List Source URL: www.ub.edu Language: English - Date: 2010-01-13 06:50:49 Conditionals Philosophical logic Propositional calculus Semantics Binary operations Material conditional Expressivism Conditional sentence Discourse representation theory Logic Philosophy Analytic philosophy
9	P,P Why Some Reasoning Problems are More Tractable Than Others Markus Krötzsch Technische Universität Dresden, Germany Abstract. Knowledge representation and reasoning leads to a wide range of Add to Reading List Source URL: korrekt.org Language: English - Date: 2014-09-19 04:24:27 Model theory Query languages Predicate logic Propositional calculus Philosophy of language Datalog Logic programming FO First-order logic Logic Mathematical logic Mathematics
10	Learning in Worlds with Objects Leslie Pack Kaelbling, Tim Oates, Natalia Hernandez and Sarah Finney Articial Intelligence Laboratory Massachusetts Institute of Technology Cambridge, MA 02139 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2004-07-01 07:47:48 Machine learning Educational psychology Learning Cybernetics Intelligent agent Reinforcement learning Propositional representation Q-learning Supervised learning Science Education Artificial intelligence