-
3
-
-
33750140111
-
Belief dynamics, abduction and databases
-
In C. MacNish, D. Pearch, and L. M. Pereira, editors, Berlin: Springer-Verlag
-
C. Aravindan and P.M. Dung. Belief dynamics, abduction and databases. In C. MacNish, D. Pearch, and L. M. Pereira, editors, Logics in Artificial Intelligence, pages 66-85. Berlin: Springer-Verlag, 1994.
-
(1994)
Logics in Artificial Intelligence
, pp. 66-85
-
-
Aravindan, C.1
Dung, P.M.2
-
5
-
-
29344462339
-
Aspects of the historical development of paraconsistent logic
-
In G. Priest, R. Routley, and J. Norman, editors,. Munich: Philosophia Verlag
-
A. I. Arruda. Aspects of the historical development of paraconsistent logic. In G. Priest, R. Routley, and J. Norman, editors,. Paraconsistent Logic: Essays on the Inconsistent, Munich: Philosophia Verlag, 1989.
-
(1989)
Paraconsistent Logic: Essays on the Inconsistent
-
-
Arruda, A.I.1
-
6
-
-
4243348553
-
Paraconsistent extensional propositional logic
-
D. Batens. Paraconsistent extensional propositional logic. Logique et Analyse, 23:195-234, 1980.
-
(1980)
Logique Et Analyse
, vol.23
, pp. 195-234
-
-
Batens, D.1
-
7
-
-
0040026259
-
Semantic entailment and formal derivability
-
In J. Hintikka, editor, Oxford: Oxford University Press
-
E. W. Beth. Semantic entailment and formal derivability. In J. Hintikka, editor, The Philosophy of Mathematics, pages 9-41. Oxford: Oxford University Press, 1969.
-
(1969)
The Philosophy of Mathematics
, pp. 9-41
-
-
Beth, E.W.1
-
9
-
-
0004118997
-
-
New York: Harcourt Brace Jovanovich, enlarged edition
-
N. Chomsky. Language and Mind. New York: Harcourt Brace Jovanovich, enlarged edition, 1972.
-
(1972)
Language and Mind
-
-
Chomsky, N.1
-
10
-
-
33750129213
-
Consistency, paraconsistency and truth
-
N. DaCosta and O. Bueno. Consistency, paraconsistency and truth. Ideas y Valores, 100:48-60, 1996.
-
(1996)
Ideas Y Valores
, vol.100
, pp. 48-60
-
-
DaCosta, N.1
Bueno, O.2
-
13
-
-
0004793479
-
Making inconsistency respectable part 2: Meta-level handling of inconsistency
-
In Berlin: Springer-Verlag
-
D. M. Gabbay and A. Hunter. Making inconsistency respectable part 2: Meta-level handling of inconsistency. In LNCS 747. Berlin: Springer-Verlag, 1993.
-
(1993)
LNCS 747
-
-
Gabbay, D.M.1
Hunter, A.2
-
15
-
-
77956691500
-
Formal approaches to practical reasoning: A survey
-
In D. M. Gabbay, R. H. Johnson, H. J. Ohlbach, and J. Woods, editors, of Studies in Logic and Practical Reasoning, Amsterdam: North-Holland
-
D. M. Gabbay and J. Woods. Formal approaches to practical reasoning: A survey. In D. M. Gabbay, R. H. Johnson, H. J. Ohlbach, and J. Woods, editors, Handbook of the Logic of Argument and Inference: The Turn Towards the Practical, volume 1 of Studies in Logic and Practical Reasoning, pages 445-478. Amsterdam: North-Holland, 2002.
-
(2002)
Handbook of the Logic of Argument and Inference: The Turn Towards the Practical
, vol.1
, pp. 445-478
-
-
Gabbay, D.M.1
Woods, J.2
-
23
-
-
33750135126
-
Theory of revision via prior operationalization
-
In J. Shrager and P. Langley, editors, San Mateo, CA: Morgan Kaufmann Publishers
-
A. Ginsberg. Theory of revision via prior operationalization. In J. Shrager and P. Langley, editors, Computational Models of Scientific Discovery and Theory Formation. San Mateo, CA: Morgan Kaufmann Publishers, 1988.
-
(1988)
Computational Models of Scientific Discovery and Theory Formation
-
-
Ginsberg, A.1
-
24
-
-
33750138769
-
The most important and fundamental distinction in logic
-
G. C. Goddu. The most important and fundamental distinction in logic. Informal Logic, 22:1-17, 2002.
-
(2002)
Informal Logic
, vol.22
, pp. 1-17
-
-
Goddu, G.C.1
-
25
-
-
0039188894
-
Russell's mathematical logic
-
In New York: Tudor, 3rd edition
-
K. Gödel. Russell's mathematical logic. In The Philosophy of Bertrand Russell, pages 123-153. New York: Tudor, 3rd edition, 1951.
-
(1951)
The Philosophy of Bertrand Russell
, pp. 123-153
-
-
Gödel, K.1
-
26
-
-
8444250152
-
Remarks before the Princeton bicentennial conference on problems in mathematics
-
In S. Feferman, J. W. Dawson Jr., S. C. Kleene, G. H. Moore, R. M. Solovay, and J. van Heijenoort, editors, New York and Oxford: Oxford University Press, Originally published in 1946
-
K. Gödel. Remarks before the Princeton bicentennial conference on problems in mathematics. In S. Feferman, J. W. Dawson Jr., S. C. Kleene, G. H. Moore, R. M. Solovay, and J. van Heijenoort, editors, Kurt Gödel Collected Works, Volume II, Publications 1938-1974, pages 150-153. New York and Oxford: Oxford University Press, 1990. Originally published in 1946.
-
(1990)
Kurt Gödel Collected Works, Volume II, Publications 1938-1974
, pp. 150-153
-
-
Gödel, K.1
-
27
-
-
4243539729
-
What is Cantor's continuum problem?
-
In S. Feferman, J. W. Dawson Jr., S. C. Kleene, C. H. Moore, R. M. Solovay, and J. van Heijenoort, editors, New York and Oxford: Oxford University Press, 1990. Originally published in
-
K. Gödel. What is Cantor's continuum problem? In S. Feferman, J. W. Dawson Jr., S. C. Kleene, C. H. Moore, R. M. Solovay, and J. van Heijenoort, editors, Kurt Gödel Collected Works, Volume II, Publications 1938-1974, pages 176-187. New York and Oxford: Oxford University Press, 1990. Originally published in 1947.
-
(1947)
Kurt Gödel Collected Works, Volume II, Publications 1938-1974
, pp. 176-187
-
-
Gödel, K.1
-
28
-
-
0004267305
-
-
Cambridge: Cambridge University Press
-
N. R. Hanson. Patterns of Discovery. Cambridge: Cambridge University Press, 1958.
-
(1958)
Patterns of Discovery
-
-
Hanson, N.R.1
-
31
-
-
33750135946
-
A note on implicit premisses
-
D. Hitchcock. A note on implicit premisses. Informal Logic, 22:158-159, 2002.
-
(2002)
Informal Logic
, vol.22
, pp. 158-159
-
-
Hitchcock, D.1
-
32
-
-
33750117523
-
Interpretation on abduction
-
Technical Report 499, SRI International, Artificial Intelligence Center, Computing and Engineering Sciences Division, Menlo Park, CA
-
J. R. Hobbs, M. Stickel, D. Appelt, and P. Martin. Interpretation on abduction. Technical Report 499, SRI International, Artificial Intelligence Center, Computing and Engineering Sciences Division, Menlo Park, CA, 1990.
-
(1990)
-
-
Hobbs, J.R.1
Stickel, M.2
Appelt, D.3
Martin, P.4
-
33
-
-
14044278094
-
Rachunek zdak dla systemów dedukcyzjych sprzecznych
-
Sectio A
-
S. Jáskowski. Rachunek zdak dla systemów dedukcyzjych sprzecznych. Studia Societatis Torunesis, 1:55-77, 1948. Sectio A.
-
(1948)
Studia Societatis Torunesis
, vol.1
, pp. 55-77
-
-
Jáskowski, S.1
-
35
-
-
0004058894
-
-
J.R. Josephson and S.G. Josephson, editors. Cambridge: Cambridge University Press
-
J. R. Josephson and S. G. Josephson, editors. Abductive Inference: Computation, Philosophy, Technology. Cambridge: Cambridge University Press, 1994.
-
(1994)
Abductive Inference: Computation, Philosophy, Technology
-
-
-
38
-
-
33750114321
-
Peirce and the autonomy of abductive reasoning
-
T. Kapitan. Peirce and the autonomy of abductive reasoning. Erkenntnis, 37:1-26, 1992.
-
(1992)
Erkenntnis
, vol.37
, pp. 1-26
-
-
Kapitan, T.1
-
39
-
-
84973960125
-
Elementary observations on 2-categorical limits
-
Apr
-
G. M. Kelly. Elementary observations on 2-categorical limits. Bull. Aust. Math. Soc., 39(2):301-317, Apr 1989.
-
(1989)
Bull. Aust. Math. Soc.
, vol.39
, Issue.2
, pp. 301-317
-
-
Kelly, G.M.1
-
40
-
-
0041910435
-
A general theory of abduction
-
In G. Brewska, editor, Stanford, CA: CLSI
-
K. Konolege. A general theory of abduction. In G. Brewska, editor, Principles of Knowledge Representation, pages 129-152. Stanford, CA: CLSI, 1996.
-
(1996)
Principles of Knowledge Representation
, pp. 129-152
-
-
Konolege, K.1
-
42
-
-
33750119669
-
Charles Peirce's theory of abduction and the Aristotelian enthymeme from signs
-
In F. H. van Eemeren, J. A. Blair, C. A. Willard, and A. F. Snoeck Henkemans, editors, Amsterdam: Sic Sat
-
M. Kraus. Charles Peirce's theory of abduction and the Aristotelian enthymeme from signs. In F. H. van Eemeren, J. A. Blair, C. A. Willard, and A. F. Snoeck Henkemans, editors, Proceedings of the Fifth Conference of the International Society for the Study of Argumentation. Amsterdam: Sic Sat, 2003.
-
(2003)
Proceedings of the Fifth Conference of the International Society for the Study of Argumentation
-
-
Kraus, M.1
-
43
-
-
53149114533
-
Abduction aiming at empirical progress of even truth approximation leading to a challenge for computational modelling
-
T. A.F. Kuipers. Abduction aiming at empirical progress of even truth approximation leading to a challenge for computational modelling. Foundations of Science, 4:307-323, 1999.
-
(1999)
Foundations of Science
, vol.4
, pp. 307-323
-
-
Kuipers, T.A.F.1
-
45
-
-
33750095872
-
Mémoires
-
In Gauthier-Villars
-
P. Laplace. Mémoires. In Oeuvres completes de Laplace, volume 13/14, Gauthier-Villars 1878-1912, 1904.
-
(1904)
Oeuvres Completes De Laplace
, vol.13-14
, pp. 1878-1912
-
-
Laplace, P.1
-
46
-
-
0742296066
-
Why was the logic of discovery abandoned?
-
In Thomas Nickles, editor, Dordrecht: Reidel
-
L. Laudan. Why was the logic of discovery abandoned? In Thomas Nickles, editor, Scientific Discovery, Logic and Rationality, pages 173-183. Dordrecht: Reidel, 1980.
-
(1980)
Scientific Discovery, Logic and Rationality
, pp. 173-183
-
-
Laudan, L.1
-
50
-
-
84962984931
-
First order abduction via tableau and sequent calculi
-
M. C. Mayer and F. Pirri. First order abduction via tableau and sequent calculi. Bulletin of the IGPL, 1:99-117, 1993.
-
(1993)
Bulletin of the IGPL
, vol.1
, pp. 99-117
-
-
Mayer, M.C.1
Pirri, F.2
-
52
-
-
14144249444
-
Ampliative adaptive logics and the foundation of logic-based approaches to abduction
-
In L. Magnani, N. J. Nersessian, and C. Pizzi, editors, and Boston: Kluwer, forthcoming
-
J. Meheus, L. Verhoeven, M. Van Dyck, and D. Provijn. Ampliative adaptive logics and the foundation of logic-based approaches to abduction. In L. Magnani, N. J. Nersessian, and C. Pizzi, editors, Logical and Computational Aspects of Model-Based Reasoning. Dordrecht and Boston: Kluwer, forthcoming.
-
Logical and Computational Aspects of Model-Based Reasoning Dordrecht
-
-
Meheus, J.1
Verhoeven, L.2
Van Dyck, M.3
Provijn, D.4
-
53
-
-
24944442433
-
Deductive heuristics
-
In K. Gavroglu, Yorgos Goudaroulis, and Pantelis Nicolacopoulos, editors, Dordrecht: Kluwer
-
A. Musgrave. Deductive heuristics. In K. Gavroglu, Yorgos Goudaroulis, and Pantelis Nicolacopoulos, editors, Imre Lakatos and Theories of Scientific Change, pages 15-32. Dordrecht: Kluwer, 1989.
-
(1989)
Imre Lakatos and Theories of Scientific Change
, pp. 15-32
-
-
Musgrave, A.1
-
54
-
-
0442304570
-
Introductory essay: Scientific discovery and the future of philosophy of science
-
In T. Nickles, editor, Dordrecht: Reidel
-
T. Nickles. Introductory essay: Scientific discovery and the future of philosophy of science. In T. Nickles, editor, Scientific Discovery, Logic and Rationality, pages 1-59. Dordrecht: Reidel, 1980.
-
(1980)
Scientific Discovery, Logic and Rationality
, pp. 1-59
-
-
Nickles, T.1
-
55
-
-
0037996608
-
Approaches to abductive reasoning: An overview
-
G. Paul. Approaches to abductive reasoning: An overview. Artificial Intelligence Review, 7:109-152, 1993.
-
(1993)
Artificial Intelligence Review
, vol.7
, pp. 109-152
-
-
Paul, G.1
-
56
-
-
33750133996
-
-
Cambridge, MA: Harvard University Press, A series of volumes, the first appearing in 1931
-
C. S. Peirce. Collected Works. Cambridge, MA: Harvard University Press, 1931-1958. A series of volumes, the first appearing in 1931.
-
(1931)
Collected Works
-
-
Peirce, C.S.1
-
61
-
-
84990556284
-
Explanation and prediction: An architecture for default and abductive Reasoning
-
D. Poole. Explanation and prediction: An architecture for default and abductive Reasoning. Computational Intelligence, 5:97-110, 1989.
-
(1989)
Computational Intelligence
, vol.5
, pp. 97-110
-
-
Poole, D.1
-
62
-
-
0001282810
-
Theorist: A logical reasoning system for defaults and diagnosis
-
In N. Cercone and G. McCalla, eds, Springer Varlag, New York
-
D. L. Poole, R. Goebel and R. Aleliunas. Theorist: A logical reasoning system for defaults and diagnosis. In N. Cercone and G. McCalla, eds, The Knowledge Frontier: Essays in the Representation of Knowledge, pp. 331-352. Springer Varlag, New York, 1987.
-
(1987)
The Knowledge Frontier: Essays in the Representation of Knowledge
, pp. 331-352
-
-
Poole, D.L.1
Goebel, R.2
Aleliunas, R.3
-
63
-
-
8344287123
-
Paraconsistent logic
-
In D. Gabbay and F. Guenthner, editors, Dordrecht and Boston: Kluwer, 2nd edition
-
G. Priest. Paraconsistent logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 6, pages 287-393. Dordrecht and Boston: Kluwer, 2nd edition, 2002.
-
(2002)
Handbook of Philosophical Logic
, vol.6
, pp. 287-393
-
-
Priest, G.1
-
65
-
-
0026943429
-
An epistemological framework for medical knowledge-based systems
-
M. Ramoni, M. Stefanelli, L. Magnani, and G. Barosi. An epistemological framework for medical knowledge-based systems. In IEEE Transactions on Systems, Man and Cybernetics, volume 22, pages 1361-1375. 1992.
-
(1992)
IEEE Transactions on Systems, Man and Cybernetics
, vol.22
, pp. 1361-1375
-
-
Ramoni, M.1
Stefanelli, M.2
Magnani, L.3
Barosi, G.4
-
67
-
-
0040559661
-
Peirce and the economy of research
-
N. Rescher. Peirce and the economy of research. Philosophy of Science, 43:71-98, 1976.
-
(1976)
Philosophy of Science
, vol.43
, pp. 71-98
-
-
Rescher, N.1
-
69
-
-
0345942837
-
The regressive method of discovering the premises of mathematics
-
In Douglas Lackey, editor, London: George Allen and Unwin, 1907. Published in
-
B. Russell. The regressive method of discovering the premises of mathematics. In Douglas Lackey, editor, Essays in Analysis. London: George Allen and Unwin, 1907. Published in 1973.
-
(1973)
Essays in Analysis
-
-
Russell, B.1
-
70
-
-
84970776363
-
Discovery and its logic: Popper and the friends of discovery
-
C. Savary. Discovery and its logic: Popper and the friends of discovery. Philosophy of the Social Sciences, 25:318-344, 1995.
-
(1995)
Philosophy of the Social Sciences
, vol.25
, pp. 318-344
-
-
Savary, C.1
-
72
-
-
33750143256
-
Three schools of paraconsistency
-
K. Tanaka. Three schools of paraconsistency. Australasian Journal of Logic, 1:28-42, 2003.
-
(2003)
Australasian Journal of Logic
, vol.1
, pp. 28-42
-
-
Tanaka, K.1
-
76
-
-
33750124743
-
Dialectical Considerations on the Logic of Contradiction Logic
-
to appear
-
J. Woods. Dialectical Considerations on the Logic of Contradiction. Logic Journal of the IGPL, 2005, to appear.
-
(2005)
Journal of the IGPL
-
-
Woods, J.1
|