F-logic

Results: 483



#Item
241Philosophical logic / Mathematical logic / Predicate logic / Knowledge representation / Conceptual graph / Existential graph / Quantification / Charles Sanders Peirce bibliography / First-order logic / Logic / Science / Mathematics

Conceptual Graphs For Representing Conceptual Structures John F. Sowa VivoMind Intelligence Abstract. A conceptual graph (CG) is a graph representation for logic based on the semantic networks of artificial intelligence

Add to Reading List

Source URL: www.jfsowa.com

Language: English - Date: 2009-09-22 13:18:55
242Knowledge / Conceptual graph / Existential graph / John F. Sowa / Knowledge representation and reasoning / Semantic network / Conceptual model / Frame language / Graph / Knowledge representation / Science / Logic

388 On RESPONSE Conceptual Structures, a

Add to Reading List

Source URL: www.jfsowa.com

Language: English - Date: 2014-11-01 17:40:36
243Knowledge / Charles Sanders Peirce / Philosophical logic / Philosophy of science / Conceptual graph / Existential graph / Semantic network / John F. Sowa / Charles Sanders Peirce bibliography / Science / Logic / Knowledge representation

Biological and Psycholinguistic Influences On Architectures for Natural Language Processing John F. Sowa VivoMind Research, LLC Abstract. Systems for natural language processing (NLP) are based on some linguistic theory

Add to Reading List

Source URL: www.jfsowa.com

Language: English - Date: 2010-11-28 11:11:32
244Information / Description logic / Tbox / Abox / Model theory / Interpretation / Logic programming / Cyc / Concept / Ontology / Logic / Science

TU Dresden Germany Ulrike Sattler Institut f¨ur Theoretische Informatik TU Dresden, Germany

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2002-08-06 18:22:31
245Formal languages / Combinatorics on words / Mathematical logic / Models of computation / Linear temporal logic / Finite-state machine / Tree automaton / Parity game / Alphabet / Automata theory / Mathematics / Theoretical computer science

Logic and Automata over Infinite Trees Der Fakult¨at f¨ ur Mathematik, Informatik und Naturwissenschaften der Rheinisch-Westf¨alischen Technischen Hochschule Aachen

Add to Reading List

Source URL: www.automata.rwth-aachen.de

Language: English - Date: 2012-05-29 10:55:56
246Philosophy of mathematics / Symbol / Suslin representation / Large cardinals / Numbers / Mathematics

Strategy Machines and their Complexity (with addendum) Marcus Gelderie? RWTH Aachen, Lehrstuhl f¨ ur Informatik 7, Logic and Theory of Discrete Systems,

Add to Reading List

Source URL: www.automata.rwth-aachen.de

Language: English - Date: 2012-08-06 10:19:51
247Jacques Rancière / Philosophy of language / Gabriel Rockhill / Translation / Logic / Glas / Supposition theory / Sign / Mathematical logic / Philosophy / Science / Cognition

The Politics o f Aesthetics Also available from Continuum: Infinite Thought, Alain Badiou (trans. by Oliver Feltham and Justin Clemens) Francis Bacon: The Logic o f Sensation, Gilles Deleuze (trans. by David

Add to Reading List

Source URL: selforganizedseminar.files.wordpress.com

Language: English - Date: 2012-10-08 21:41:23
248Global marketing / International marketing / Supply chain management / Market / Commodity / Business / Marketing / Service dominant logic

jim.13.0032_jimk[removed] 9:25 AM Page 1 The Complexity of Context: A Service Ecosystems Approach for International Marketing Melissa Archpru Akaka, Stephen L. Vargo, and Robert F. Lusch

Add to Reading List

Source URL: www.sdlogic.net

Language: English - Date: 2014-01-14 17:40:52
249Logic programming / Boolean algebra / Non-classical logic / Predicate logic / Propositional calculus / Diagnosis / Boolean satisfiability problem / Circumscription / Mereology / Logic / Mathematical logic / Mathematics

Simplifying diagnosis using LSAT: a propositional approach to reasoning from first principles Andreas Bauer Institut f¨ ur Informatik

Add to Reading List

Source URL: www.immerundewig.at

Language: English - Date: 2006-11-17 13:08:20
250Algorithm / Object-relational database / Logic / Database management systems / Heuristic / Problem solving

Are the Methods in Your Data Access Objects (DAOs) in the Right Place? A Preliminary Study Maurício F. Aniche, Gustavo A. Oliva, Marco A. Gerosa University of São Paulo Department of Computer Science

Add to Reading List

Source URL: www.aniche.com.br

Language: English - Date: 2014-08-07 21:55:15
UPDATE