Fundamenta Informaticae - PDFSEARCH.IO - Document Search Engine

Fundamenta Informaticae
Results: 47

#	Item
41	Fundamenta Informaticae[removed]–[removed]IOS Press Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:51:35 Non-classical logic Logic programming Defeasible logic Inference Non-monotonic logic Æ Stratification First-order logic Logic Mathematical logic Reasoning
42	Fundamenta Informaticae ?? ([removed]–15 IOS Press A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning Patrick Doherty∗ Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 09:26:04 Model theory Non-classical logic Propositional calculus Philosophical logic Boolean algebra Interpretation Modal logic First-order logic Function Logic Mathematical logic Mathematics
43	Fundamenta Informaticae XX[removed]–19 1 IOS Press Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:52:01 Knowledge engineering Science Semantic Web Artificial intelligence Technical communication Frame language Rough set Upper ontology Ontology components Ontology Information Knowledge representation
44	Fundamenta Informaticae[removed]{22 IOS Press 1 Executing Suspended Logic Programs Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-10-05 12:21:24 Predicate logic Logic programming Constraint programming Programming paradigms Abductive logic programming Prolog Constraint logic programming Resolution Atomic formula Logic Mathematical logic Software engineering
45	Fundamenta Informaticae[removed]–[removed] Add to Reading List Source URL: www.ini.uzh.ch Language: English - Date: 2012-11-13 10:48:00 Computability theory Computer science Models of computation Alan Turing Tag system Halting problem Computational complexity theory Description number Non-deterministic Turing machine Turing machine Theoretical computer science Theory of computation
46	Fundamenta Informaticae ??? (200?) 1001–[removed] Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2007-08-01 08:58:44 Model theory Formal languages Philosophy of language Predicate logic Interpretation First-order logic Well-formed formula Function Substitution Logic Mathematical logic Mathematics
47	Fundamenta Informaticae[removed]–228 1 Add to Reading List Source URL: www.cs.rug.nl Language: English - Date: 2010-08-18 05:31:11 Graph theory Mathematics Graph Integral transforms Image scaling Discrete Laplace operator Mathematical morphology Image processing Watershed