Ahti Pietarinen  Home/Search
Context
Related
| cogs.susx.ac.uk/users/ahtivp/...logi.ps Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: cogs.susx.ac.uk/users/aht...other (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Contents Chapter 1. Mit a on tiet amyksen esitt aminen? 5 1. N ak okulmaa etsim ass a 6 2. Episteemisen logiikan uudelleen tuleminen 8 3. Reflektiivinen episteeminen logiikka ja tiet amyksen esitt aminen 10 4. Loogisen kaikkiuskovuuden ongelma ja sen poistaminen 11 Chapter 2. Ep astandardit logiikat teko alyss a 15 1. Johdanto 15 2. Symbolinen p a attely 19 3. Numeerinen p a attely 34 Chapter 3. Approksimatiivinen p a attely ja lingvistisesti kvantifioidut sumeat kyselyt loogisissa... (Update)
Active bibliography (related documents): More All
1.0: The Semantic Web and Epistemic Logic - Pietarinen (2002) (Correct)
0.5: Defeasible Logics - Geerts, Laenens, Vermeir (1998) (Correct)
0.5: Using Natural-Language Knowledge Sources in Speech Recognition - Moore (1999) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
1.1: Modeling the operation of Margolus quantum cellular automaton.. - Parviainen (2002) (Correct)
0.3: Cv - Pietarinen (2000) (Correct)
0.3: Dokumenttikuvien Sisltpohjaisen Hakujrjestelmn Toteutus - Koivusaari Maija.. (Correct)
BibTeX entry: (Update)
@misc{ pietarinen-logiikka,
author = "Ahti Pietarinen",
title = "Logiikka ja tekoäly: Teoriaa ja Sovelluksia",
url = "citeseer.ist.psu.edu/410912.html" }
Citations (may not include all citations):634 A machine oriented logic based on the resolution principle (context) - Robinson - 1965
217 Artificial Intelligence (context) - Rich, Knight - 1991
161 A logic of implicit and explicit belief (context) - Levesque - 1984
159 Predicate logic as a programming language (context) - Kowalski - 1974
107 The Mathematics of Inheritance Systems (context) - Touretzky - 1986
94 A Deduction Model of Belief (context) - Konolige - 1986
62 An introduction to possibilistic and fuzzy logics (context) - Prade - 1988
57 Defeasible logic - Nute - 1994
51 Belief Functions (context) - Smets - 1988
48 Artificial Intelligence (context) - Reiter, for et al. - 1980
43 An assumption based truth maintenance system (context) - de Kleer - 1986
28 Prolog Programming in Depth (context) - Nute, Prolog et al. - 1997
27 Artificial intelligence meets natural stupidity (context) - McDermott - 1981
24 On epistemic logic and logical omniscience (context) - Vardi - 1986
18 Non-standard logics for automated reasoning (context) - Smets, Mamdani et al. - 1988
16 Hayes: Some Philosophical Problems from the Standpoint of Ar.. (context) - McCarthy, ja - 1969
15 Autoepistemic Logic (context) - Moore - 1988
9 The early years of logic programming (context) - Kowalski - 1988
7 A decidable quantified defeasible logic (context) - Nute - 1994
7 From Modal Logic to Deductive Databases: Introducing a Logic.. (context) - Thayse - 1989
7 Probabilistic Logic (context) - Paass - 1988
7 Database queries with fuzzy linguistic quantifiers (context) - Kacprzyk, Ziol - 1986
6 Implementing Prolog --- compiling logic programs (context) - Warren - 1977
6 neural networks and soft computing (context) - Zadeh - 1994
6 Importance in knowledge systems (context) - Sanchez - 1989
5 human-consistent (context) - Kacprzyk, Zadro et al. - 1989
4 An Essay in Modal Logic (context) - von Wright - 1951
3 The role of logic in artificial intelligence (context) - Moore - 1995
3 Shapiro: The Art of Prolog (context) - Sterling, ja - 1987
2 Acta Philosophica Fennica (context) - Rantala - 1982
2 Quantified modal logic: Non-normal worlds and propositional .. (context) - Rantala - 1982
2 Intensional Logics for Logic Programming (context) - Nute, defeasible et al. - 1992
2 Logic and Representation (context) - Moore - 1995
1 A theory of approximative reasoning (context) - Zadeh - 1979
1 teoksessa Proceedings of Finnish Artificial Intelligence Sym.. (context) - Niemel, Characterization - 1990
1 Ilmestynyt alunperin puolaksi (context) - Tarski, The - 1935
1 Mathematics: Papers from 1923 to (context) - TARSKI - 1956
1 Sumea logiikka (context) - Kosko - 1993
1 On Game Theoretic Interactions with First-Order Knowledge Ba.. (context) - Jackson - 1988
1 Representing the knowledge of Turing machine (context) - Shin, Williamson - 1994
1 Doyle: Non-monotonic logic (context) - McDermott, ja - 1980
1 Dynamic Logic as a General Framework for Theorem Proving in .. (context) - Tuominen - 1990
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC