F-logic - PDFSEARCH.IO - Document Search Engine

F-logic
Results: 483

#	Item
391	TE C H N I C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2013-04-15 08:22:23 Logic Thought Debating Argumentation theory Criticism Argument Stable model semantics Informal logic Chaïm Perelman Critical thinking Arguments Science
392	TE C HNI C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2008-05-16 08:53:20 Model theory Deduction Entailment Logical consequence Metalogic Interpretation Ordinal number Constructible universe Symbol Logic Mathematical logic Mathematics
393	TE C HNI C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2008-04-15 07:03:50 Model theory Stable model semantics Philosophical logic Answer set programming Modal logic Type Formal methods Logic Logic programming Mathematical logic
394	TE C H N I C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2011-07-05 03:47:02 Science Formal languages Model theory Semantics Stable model semantics Theoretical computer science Answer set programming Interpretation Argumentation theory Logic Mathematics Logic programming
395	TE C HNI C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2008-03-25 06:48:20 Mathematics RDF Tree decomposition RDF Schema Resource Description Framework Graph Entailment Graph theory Logic Semantic Web
396	Logic-free reasoning in Isabelle/Isar Stefan Berghofer and Makarius Wenzel? Technische Universit¨ at M¨ unchen Institut f¨ Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2008-03-14 15:14:26 Proof theory Predicate logic Mathematical proofs Philosophical logic Natural deduction First-order logic Quantification Logical framework Lambda calculus Logic Mathematics Mathematical logic
397	TE C H N I C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2012-03-28 03:33:19 Functions and mappings Mathematical logic Function Semantics Modal logic Sheaf Logic Mathematics Philosophical logic
398	TE C H N I C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2008-01-31 02:46:26 Mathematical logic Stable model semantics Datalog Universal quantification FO Ground expression Answer set programming Logic programming Theoretical computer science Logic
399	TE C H N I C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2014-06-25 08:23:20 Science Binary operations Mathematics Argumentation theory Oval Evidentiality If and only if Argument Entailment Logic Critical thinking Arguments
400	TE C HNI C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2009-11-18 06:39:09 Mathematics Fourier analysis Logic Approximately finite dimensional C*-algebra Interpolation space FO Finite model theory State space

UPDATE