-
1
-
-
0011425184
-
The logic of conditionals
-
E. Adams, The logic of conditionals, Inquiry 8 (1965) 166-197.
-
(1965)
Inquiry
, vol.8
, pp. 166-197
-
-
Adams, E.1
-
2
-
-
77956967804
-
Probability and the logic of conditionals
-
J. Hintikka and P. Suppes, eds., North-Holland, Amsterdam
-
E. Adams, Probability and the logic of conditionals, in: J. Hintikka and P. Suppes, eds., Aspects of Inductive Logic (North-Holland, Amsterdam, 1966) 265-316.
-
(1966)
Aspects of Inductive Logic
, pp. 265-316
-
-
Adams, E.1
-
3
-
-
11544329596
-
The logic of "almost all"
-
E. Adams, The logic of "almost all", J. Philos. Logic 3 (1974) 3-17.
-
(1974)
J. Philos. Logic
, vol.3
, pp. 3-17
-
-
Adams, E.1
-
5
-
-
11544344182
-
Reasoning with conditional probabilities - NumQuant: A linear programming based method
-
Albi, France
-
S. Amarger, R. Epenoy and S. Grihon, Reasoning with conditional probabilities - NumQuant: a linear programming based method, in: Proceedings DRUMS (Defeasible Reasoning and Uncertainty Management Systems) Esprit Project, RP2 Workshop, Albi, France (1990) 154-167.
-
(1990)
Proceedings DRUMS (Defeasible Reasoning and Uncertainty Management Systems) Esprit Project, RP2 Workshop
, pp. 154-167
-
-
Amarger, S.1
Epenoy, R.2
Grihon, S.3
-
6
-
-
11544320113
-
Handling imprecisely known conditional probabilities
-
London, England 32 pages
-
S. Amarger, D. Dubois and H. Prade, Handling imprecisely known conditional probabilities, in: Proceedings UNICOM, "AI and Computer Power: The Impact on Statistics", London, England (1991) 32 pages.
-
(1991)
Proceedings UNICOM, "AI and Computer Power: The Impact on Statistics"
-
-
Amarger, S.1
Dubois, D.2
Prade, H.3
-
7
-
-
0002977036
-
Constraint propagation with imprecise conditional probabilities
-
Los Angeles, CA Morgan Kaufmann, Palo Alto, CA
-
S. Amarger, D. Dubois and H. Prade, Constraint propagation with imprecise conditional probabilities in: Proceedings 7th Conference on Uncertainty in Artificial Intelligence, Los Angeles, CA (Morgan Kaufmann, Palo Alto, CA, 1991) 26-34.
-
(1991)
Proceedings 7th Conference on Uncertainty in Artificial Intelligence
, pp. 26-34
-
-
Amarger, S.1
Dubois, D.2
Prade, H.3
-
8
-
-
79953297686
-
Imprecise quantifiers and conditional probabilities
-
R. Kruse and P. Siegel, eds., Marseille, France Springer, New York
-
S. Amarger, D. Dubois and H. Prade, Imprecise quantifiers and conditional probabilities, in: R. Kruse and P. Siegel, eds., Symbolic and Quantitative Approaches to Uncertainty: Proceedings European Conference ECSQAU, Marseille, France (Springer, New York, 1991) 33-37.
-
(1991)
Symbolic and Quantitative Approaches to Uncertainty: Proceedings European Conference ECSQAU
, pp. 33-37
-
-
Amarger, S.1
Dubois, D.2
Prade, H.3
-
10
-
-
0008806977
-
Lp, a logic for representing and reasoning with statistical knowledge
-
F. Bacchus, Lp, a logic for representing and reasoning with statistical knowledge, Computational Intelligence 6 (1990) 209-231.
-
(1990)
Computational Intelligence
, vol.6
, pp. 209-231
-
-
Bacchus, F.1
-
11
-
-
0042009100
-
Statistical foundations for default reasoning
-
Chambéry, France
-
F. Bacchus, A.J. Grove, J.Y. Halpern and D. Koller, Statistical foundations for default reasoning, in: Proceedings IJCAI-93, Chambéry, France (1993) 563-569.
-
(1993)
Proceedings IJCAI-93
, pp. 563-569
-
-
Bacchus, F.1
Grove, A.J.2
Halpern, J.Y.3
Koller, D.4
-
12
-
-
0030283418
-
From statistical knowledge bases to degrees of belief
-
F. Bacchus, A.J. Grove, J.Y. Halpern and D. Koller, From statistical knowledge bases to degrees of belief, Artificial Intelligence 87 (1996) 75-143.
-
(1996)
Artificial Intelligence
, vol.87
, pp. 75-143
-
-
Bacchus, F.1
Grove, A.J.2
Halpern, J.Y.3
Koller, D.4
-
13
-
-
0001287652
-
Generalized quantifiers and natural language
-
J. Barwise and R. Cooper, Generalized quantifiers and natural language, Linguistics and Philosophy 4 (1981) 159-219.
-
(1981)
Linguistics and Philosophy
, vol.4
, pp. 159-219
-
-
Barwise, J.1
Cooper, R.2
-
16
-
-
11544336405
-
On the semantics of stable inheritance reasoning
-
C. Boutilier, On the semantics of stable inheritance reasoning, Computational Intelligence 9 (1) (1993) 73-110.
-
(1993)
Computational Intelligence
, vol.9
, Issue.1
, pp. 73-110
-
-
Boutilier, C.1
-
17
-
-
0020832319
-
What IS-A is and isn't: An analysis of taxonomic links in semantic networks
-
R.J. Brachman, What IS-A is and isn't: an analysis of taxonomic links in semantic networks, IEEE Computer (October 1983) 30-36.
-
(1983)
IEEE Computer
, Issue.OCTOBER
, pp. 30-36
-
-
Brachman, R.J.1
-
18
-
-
0013104724
-
I lied about the trees or defaults and definitions in knowledge representation
-
R.J. Brachman, I lied about the trees or defaults and definitions in knowledge representation, AI Magazine 6 (3) (1985) 80-93.
-
(1985)
AI Magazine
, vol.6
, Issue.3
, pp. 80-93
-
-
Brachman, R.J.1
-
20
-
-
0343550698
-
Integration of linguistic probabilities
-
D.V. Budescu, R. Zwick, T.S. Wallsten and I. Erev, Integration of linguistic probabilities, Internat. J. Man-Machine Studies 33 (1990) 657-676.
-
(1990)
Internat. J. Man-Machine Studies
, vol.33
, pp. 657-676
-
-
Budescu, D.V.1
Zwick, R.2
Wallsten, T.S.3
Erev, I.4
-
21
-
-
0004250958
-
-
Ph.D. Dissertation, Department of Computer Science, Stanford University, Stanford, CA
-
A.Y. Darwiche, A symbolic generalization of probability theory, Ph.D. Dissertation, Department of Computer Science, Stanford University, Stanford, CA (1993).
-
(1993)
A Symbolic Generalization of Probability Theory
-
-
Darwiche, A.Y.1
-
22
-
-
0026960711
-
A symbolic generalization of probability theory
-
San Jose, CA MIT Press, Cambridge, MA
-
A.Y. Darwiche and M.L. Ginsberg, A symbolic generalization of probability theory, in: Proceedings AAAI-92, San Jose, CA (MIT Press, Cambridge, MA, 1992) 622-627.
-
(1992)
Proceedings AAAI-92
, pp. 622-627
-
-
Darwiche, A.Y.1
Ginsberg, M.L.2
-
23
-
-
0004134067
-
-
A. Machí and A. Smith, translators Wiley, New York
-
B. DeFinetti, Theory of Probability, Vois. 1 and 2, A. Machí and A. Smith, translators (Wiley, New York, 1974).
-
(1974)
Theory of Probability
, vol.1-2
-
-
DeFinetti, B.1
-
24
-
-
0003717511
-
-
Cambridge University Press, New York
-
K. Devlin, Logic and Information (Cambridge University Press, New York, 1991).
-
(1991)
Logic and Information
-
-
Devlin, K.1
-
25
-
-
0018544688
-
A truth maintenance system
-
J. Doyle, A truth maintenance system, Artificial Intelligence 12 (1979) 231-272; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 259-279.
-
(1979)
Artificial Intelligence
, vol.12
, pp. 231-272
-
-
Doyle, J.1
-
26
-
-
0018544688
-
-
Morgan Kaufmann, Los Altos, CA
-
J. Doyle, A truth maintenance system, Artificial Intelligence 12 (1979) 231-272; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 259-279.
-
(1987)
Readings in Nonmonotonic Reasoning
, pp. 259-279
-
-
Ginsberg, M.L.1
-
27
-
-
85037066019
-
A logic of relative desire
-
Z.W. Ras and M. Zemankova, eds., Charlotte, NC Springer, New York
-
J. Doyle, Y. Shoham and M.P. Wellman, A logic of relative desire, in: Z.W. Ras and M. Zemankova, eds., Methodologies for Intelligent Systems: 6th International Symposium, ISMIS-91, Charlotte, NC (Springer, New York, 1991) 16-31.
-
(1991)
Methodologies for Intelligent Systems: 6th International Symposium, ISMIS-91
, pp. 16-31
-
-
Doyle, J.1
Shoham, Y.2
Wellman, M.P.3
-
28
-
-
24444447386
-
On the probabilities of conditionals
-
F. Döring, On the probabilities of conditionals, Philos. Reviews 103 (1994) 689-700.
-
(1994)
Philos. Reviews
, vol.103
, pp. 689-700
-
-
Döring, F.1
-
29
-
-
0001000564
-
Fuzzy cardinality and the modeling of imprecise quantification
-
D. Dubois and H. Prade, Fuzzy cardinality and the modeling of imprecise quantification, Fuzzy Sets and Systems 16 (1985) 199-230.
-
(1985)
Fuzzy Sets and Systems
, vol.16
, pp. 199-230
-
-
Dubois, D.1
Prade, H.2
-
32
-
-
0026187870
-
Epistemic entrenchment and possibilistic logic (Research note)
-
D. Dubois and H. Prade, Epistemic entrenchment and possibilistic logic (Research Note), Artificial Intelligence 50 (1991) 223-239.
-
(1991)
Artificial Intelligence
, vol.50
, pp. 223-239
-
-
Dubois, D.1
Prade, H.2
-
34
-
-
0012930273
-
Conditioning, nonmonotonic logic and nonstandard uncertainty models
-
I.R. Goodman, M.M. Gupta, H.T. Nguyen and G.S. Rogers, eds., Elsevier, New York
-
D. Dubois and H. Prade, Conditioning, nonmonotonic logic and nonstandard uncertainty models, in: I.R. Goodman, M.M. Gupta, H.T. Nguyen and G.S. Rogers, eds., Conditional Logic in Expert Systems (Elsevier, New York, 1991) 115-158.
-
(1991)
Conditional Logic in Expert Systems
, pp. 115-158
-
-
Dubois, D.1
Prade, H.2
-
35
-
-
0041110156
-
-
Ph.D. Dissertation, Tech. Rept. CS-TR-2156 and UMIACS-TR-88-94, Department of Computer Science, University of Maryland, College Park, MD
-
J.J. Elgot-Drapkin, Step logic: reasoning situated in time, Ph.D. Dissertation, Tech. Rept. CS-TR-2156 and UMIACS-TR-88-94, Department of Computer Science, University of Maryland, College Park, MD (1988).
-
(1988)
Step Logic: Reasoning Situated in Time
-
-
Elgot-Drapkin, J.J.1
-
36
-
-
30244511695
-
-
Tech. Rept. CS-TR-3279, Department of Computer Science, University of Maryland, College Park, MD
-
J.J. Elgot-Drapkin, D. Gordon, S. Kraus, M. Miller, M. Nirke and D. Perlis, Calibrating, counting, grounding, grouping, Tech. Rept. CS-TR-3279, Department of Computer Science, University of Maryland, College Park, MD (1994); also in: Proceedings AAAI Fall Symposium on Control of the Physical World by Intelligent Agents, New Orleans, LA (1994).
-
(1994)
Calibrating, Counting, Grounding, Grouping
-
-
Elgot-Drapkin, J.J.1
Gordon, D.2
Kraus, S.3
Miller, M.4
Nirke, M.5
Perlis, D.6
-
37
-
-
30244552201
-
-
New Orleans, LA
-
J.J. Elgot-Drapkin, D. Gordon, S. Kraus, M. Miller, M. Nirke and D. Perlis, Calibrating, counting, grounding, grouping, Tech. Rept. CS-TR-3279, Department of Computer Science, University of Maryland, College Park, MD (1994); also in: Proceedings AAAI Fall Symposium on Control of the Physical World by Intelligent Agents, New Orleans, LA (1994).
-
(1994)
Proceedings AAAI Fall Symposium on Control of the Physical World by Intelligent Agents
-
-
-
38
-
-
9944254328
-
Life on a desert island: Ongoing work on real-time reasoning
-
F.M. Brown, ed., Morgan Kaufmann, Los Altos, CA
-
J.J. Elgot-Drapkin, M. Miller and D. Perlis, Life on a desert island: ongoing work on real-time reasoning, in: F.M. Brown, ed., The Frame Problem in Artificial Intelligence: Proceedings 1987 Workshop (Morgan Kaufmann, Los Altos, CA, 1987) 349-357.
-
(1987)
The Frame Problem in Artificial Intelligence: Proceedings 1987 Workshop
, pp. 349-357
-
-
Elgot-Drapkin, J.J.1
Miller, M.2
Perlis, D.3
-
39
-
-
0043050060
-
Memory, reason and time: The step-logic approach
-
R. Cummins and J. Pollock, eds., MIT Press, Cambridge, MA
-
J.J. Elgot-Drapkin, M. Miller and D. Perlis, Memory, reason and time: the step-logic approach, in: R. Cummins and J. Pollock, eds., Philosophy and AI: Essays at the Interface (MIT Press, Cambridge, MA, 1991) 79-103.
-
(1991)
Philosophy and AI: Essays at the Interface
, pp. 79-103
-
-
Elgot-Drapkin, J.J.1
Miller, M.2
Perlis, D.3
-
41
-
-
11544289596
-
More on inheritance hierarchies with exceptions: Default theories and inferential distance
-
Seattle, WA
-
D.W. Etherington, More on inheritance hierarchies with exceptions: default theories and inferential distance, in: Proceedings AAAI-87, Seattle, WA (1987) 352-357.
-
(1987)
Proceedings AAAI-87
, pp. 352-357
-
-
Etherington, D.W.1
-
43
-
-
30244457883
-
Limited scope and circumscriptive reasoning
-
K.M. Ford and P.J. Hayes, eds., JAI Press, Greenwich, CT
-
D.W. Etherington, S. Kraus and D. Perlis, Limited scope and circumscriptive reasoning, in: K.M. Ford and P.J. Hayes, eds., Reasoning Agents in a Dynamic World: The Frame Problem (JAI Press, Greenwich, CT, 1991) 43-54.
-
(1991)
Reasoning Agents in a Dynamic World: The Frame Problem
, pp. 43-54
-
-
Etherington, D.W.1
Kraus, S.2
Perlis, D.3
-
45
-
-
0020904272
-
On inheritance hierarchies with exceptions
-
Washington, DC Morgan Kaufmann, Los Altos, CA
-
D.W. Etherington and R. Reiter, On inheritance hierarchies with exceptions, in: Proceedings AAAI-83, Washington, DC (Morgan Kaufmann, Los Altos, CA, 1983) 104-108; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 101-105.
-
(1983)
Proceedings AAAI-83
, pp. 104-108
-
-
Etherington, D.W.1
Reiter, R.2
-
46
-
-
0020904272
-
-
Morgan Kaufmann, Los Altos, CA
-
D.W. Etherington and R. Reiter, On inheritance hierarchies with exceptions, in: Proceedings AAAI-83, Washington, DC (Morgan Kaufmann, Los Altos, CA, 1983) 104-108; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 101-105.
-
(1987)
Readings in Nonmonotonic Reasoning
, pp. 101-105
-
-
Ginsberg, M.L.1
-
47
-
-
0023842375
-
Belief, awareness and limited reasoning
-
R. Fagin and J.H. Halpern, Belief, awareness and limited reasoning, Artificial Intelligence 34 (1988) 39-76.
-
(1988)
Artificial Intelligence
, vol.34
, pp. 39-76
-
-
Fagin, R.1
Halpern, J.H.2
-
48
-
-
0003730235
-
-
MIT Press, Cambridge, MA
-
R. Fagin, J.Y. Halpern, Y. Moses and M.Y. Vardi, Reasoning about Knowledge (MIT Press, Cambridge, MA, 1995).
-
(1995)
Reasoning about Knowledge
-
-
Fagin, R.1
Halpern, J.Y.2
Moses, Y.3
Vardi, M.Y.4
-
49
-
-
0029544006
-
A nonstandard approach to the logical omniscience problem
-
R. Fagin, J.Y. Halpern, Y. Moses and M.Y. Vardi, A nonstandard approach to the logical omniscience problem, Artificial Intelligence 79 (1995) 203-240.
-
(1995)
Artificial Intelligence
, vol.79
, pp. 203-240
-
-
Fagin, R.1
Halpern, J.Y.2
Moses, Y.3
Vardi, M.Y.4
-
51
-
-
30244483276
-
-
Intellicorp, Inc., El Camino Real West, Mountain View, CA
-
R.E. Fikes et al. OPUS: a new generation knowledge engineering environment: Phase 1 Final Report; Phase 2 Interim Report; and Final Report, for DARPA Contract F30602-85-C-0065 (Intellicorp, Inc., 1975; El Camino Real West, Mountain View, CA, 1987).
-
(1975)
OPUS: A New Generation Knowledge Engineering Environment: Phase 1 Final Report; Phase 2 Interim Report; and Final Report, for DARPA Contract F30602-85-C-0065
-
-
Fikes, R.E.1
-
52
-
-
2842560201
-
STRIPS: A new approach to the application of theorem proving to problem solving
-
R.E. Fikes and N.J. Nilsson, STRIPS: a new approach to the application of theorem proving to problem solving, Artificial Intelligence 2 (1971) 198-208.
-
(1971)
Artificial Intelligence
, vol.2
, pp. 198-208
-
-
Fikes, R.E.1
Nilsson, N.J.2
-
53
-
-
30244434632
-
-
Tech. Rept., California State Polytechnic University, Pomona, CA
-
J.R. Fisher, Experiments using ranked refutation reasoning, Tech. Rept., California State Polytechnic University, Pomona, CA, 1986.
-
(1986)
Experiments Using Ranked Refutation Reasoning
-
-
Fisher, J.R.1
-
54
-
-
0005098754
-
-
MIT Press, Cambridge, MA
-
K.M. Ford, C. Glymour and P.J. Hayes, eds., Android Epistemology (MIT Press, Cambridge, MA, 1995).
-
(1995)
Android Epistemology
-
-
Ford, K.M.1
Glymour, C.2
Hayes, P.J.3
-
56
-
-
0028558318
-
Conditional logics of belief change
-
Seattle, WA MIT Press, Cambridge, MA
-
N. Friedman and J.Y. Halpern, Conditional logics of belief change, in: Proceedings AAAI-94, Seattle, WA (MIT Press, Cambridge, MA, 1994) 915-921.
-
(1994)
Proceedings AAAI-94
, pp. 915-921
-
-
Friedman, N.1
Halpern, J.Y.2
-
57
-
-
0004322798
-
A knowledge-based framework for belief change, Part I: Foundations
-
Pacific Grove, CA Morgan Kaufmann, San Francisco, CA
-
N. Friedman and J.Y. Halpern, A knowledge-based framework for belief change, Part I: foundations, in: Proceedings 5th Conference on the Theoretical Aspects of Reasoning about Knowledge (TARK-94), Pacific Grove, CA (Morgan Kaufmann, San Francisco, CA, 1994) 44-64.
-
(1994)
Proceedings 5th Conference on the Theoretical Aspects of Reasoning about Knowledge (TARK-94)
, pp. 44-64
-
-
Friedman, N.1
Halpern, J.Y.2
-
58
-
-
0000225039
-
A knowledge-based framework for belief change, Part II: Revision and update
-
Bonn, Germany Morgan Kaufmann, San Francisco, CA
-
N. Friedman and J.Y. Halpern, A knowledge-based framework for belief change, Part II: revision and update, in: Proceedings 4th International Conference on the Principles of Knowledge Representation and Reasoning (KR-94), Bonn, Germany (Morgan Kaufmann, San Francisco, CA, 1994) 190-201.
-
(1994)
Proceedings 4th International Conference on the Principles of Knowledge Representation and Reasoning (KR-94)
, pp. 190-201
-
-
Friedman, N.1
Halpern, J.Y.2
-
61
-
-
0004255375
-
-
Cambridge University Press, New York
-
P. Gärdenfors, ed., Belief Revision (Cambridge University Press, New York, 1992).
-
(1992)
Belief Revision
-
-
Gärdenfors, P.1
-
63
-
-
11544317604
-
Does probability have a place in non-monotonic reasoning?
-
Los Angeles, CA
-
M.L. Ginsberg, Does probability have a place in non-monotonic reasoning?, in: Proceedings IJCAI-85, Los Angeles, CA (1985) 107-110.
-
(1985)
Proceedings IJCAI-85
, pp. 107-110
-
-
Ginsberg, M.L.1
-
65
-
-
84990616630
-
Multivalued logics: A uniform approach to reasoning in artificial intelligence
-
M.L. Ginsberg, Multivalued logics: a uniform approach to reasoning in artificial intelligence, Computational Intelligence 4 (1988) 265-316.
-
(1988)
Computational Intelligence
, vol.4
, pp. 265-316
-
-
Ginsberg, M.L.1
-
66
-
-
30244557965
-
Active logic and Heim's rules for updating discourse context
-
Montreal, Que.
-
J. Gurney, D. Perlis and K. Purang, Active logic and Heim's rules for updating discourse context, in: Proceedings IJCAI-95, Workshop on Context in Natural Language, Montreal, Que. (1995).
-
(1995)
Proceedings IJCAI-95, Workshop on Context in Natural Language
-
-
Gurney, J.1
Perlis, D.2
Purang, K.3
-
67
-
-
30244485427
-
Interpreting presuppositions using active logic: From contexts to utterances
-
to appear
-
J. Gurney, K. Purang and D. Perlis, Interpreting presuppositions using active logic: from contexts to utterances, Computational Intelligence (to appear).
-
Computational Intelligence
-
-
Gurney, J.1
Purang, K.2
Perlis, D.3
-
68
-
-
0025535649
-
An analysis of first-order logics of probability
-
J.Y. Halpern, An analysis of first-order logics of probability, Artificial Intelligence 46 (1990) 311-350.
-
(1990)
Artificial Intelligence
, vol.46
, pp. 311-350
-
-
Halpern, J.Y.1
-
69
-
-
84990591648
-
Likelihood, probability, and knowledge
-
J.Y. Halpern and D.A. McAllester, Likelihood, probability, and knowledge, Computational Intelligence 5 (1989) 151-160.
-
(1989)
Computational Intelligence
, vol.5
, pp. 151-160
-
-
Halpern, J.Y.1
McAllester, D.A.2
-
71
-
-
0028400910
-
Modeling a dynamic and uncertain world I: Symbolic and probabilistic reasoning about change
-
S. Hanks and D. McDermott, Modeling a dynamic and uncertain world I: symbolic and probabilistic reasoning about change, Artificial Intelligence 66 (1994) 1-55.
-
(1994)
Artificial Intelligence
, vol.66
, pp. 1-55
-
-
Hanks, S.1
McDermott, D.2
-
72
-
-
0344937614
-
The frame problem and related problems in artificial intelligence
-
A. Elithorn and D. Jones, eds., Jossey-Bass, San Francisco/Elsevier Science, Amsterdam
-
P.J. Hayes, The frame problem and related problems in artificial intelligence, in: A. Elithorn and D. Jones, eds., Artificial and Human Thinking (Jossey-Bass, San Francisco/Elsevier Science, Amsterdam, 1973) 45-59.
-
(1973)
Artificial and Human Thinking
, pp. 45-59
-
-
Hayes, P.J.1
-
73
-
-
0001906440
-
The naive physics manifesto I
-
D. Michie, ed., Edinburgh University Press, Edinburgh, Scotland
-
P.J. Hayes, The naive physics manifesto I, in: D. Michie, ed., Expert Systems in the Microelectronic Age (Edinburgh University Press, Edinburgh, Scotland, 1978).
-
(1978)
Expert Systems in the Microelectronic Age
-
-
Hayes, P.J.1
-
74
-
-
0037807113
-
The logic of frames
-
D. Metzing, ed., Walter de Gruyter, Berlin
-
P.J. Hayes, The logic of frames, in: D. Metzing, ed., Frame Conceptions and Text Understanding (Walter de Gruyter, Berlin, 1980) 46-61.
-
(1980)
Frame Conceptions and Text Understanding
, pp. 46-61
-
-
Hayes, P.J.1
-
75
-
-
0001782174
-
The second naive physics manifesto
-
J.R. Hobbs and R.C. Moore, eds., Ablex, Norwood, NJ
-
P.J. Hayes, The second naive physics manifesto, in: J.R. Hobbs and R.C. Moore, eds., Formal Theories of the Common Sense World (Ablex, Norwood, NJ, 1985) 1-36.
-
(1985)
Formal Theories of the Common Sense World
, pp. 1-36
-
-
Hayes, P.J.1
-
76
-
-
0040062424
-
What the frame problem is and isn't
-
Z.W. Pylyshyn, ed., Ablex, Norwood, NJ
-
P.J. Hayes, What the frame problem is and isn't, in: Z.W. Pylyshyn, ed., The Robot's Dilemma: The Frame Problem in Artificial Intelligence (Ablex, Norwood, NJ, 1987) 123-137.
-
(1987)
The Robot's Dilemma: The Frame Problem in Artificial Intelligence
, pp. 123-137
-
-
Hayes, P.J.1
-
77
-
-
11544349240
-
The frame problem in histories
-
F.M. Brown, ed., Morgan Kaufmann, Los Altos, CA
-
P.J. Hayes, The frame problem in histories (Abstract), in: F.M. Brown, ed., The Frame Problem in Artificial Intelligence: Proceedings 1987 Workshop (Morgan Kaufmann, Los Altos, CA, 1987) 31.
-
(1987)
The Frame Problem in Artificial Intelligence: Proceedings 1987 Workshop
, pp. 31
-
-
Hayes, P.J.1
-
78
-
-
0001774746
-
Turing test considered harmful
-
Montreal, Que.
-
P.J. Hayes and K. Ford, Turing test considered harmful, in: Proceedings IJCAI-95, Montreal, Que. (1995) 972-977.
-
(1995)
Proceedings IJCAI-95
, pp. 972-977
-
-
Hayes, P.J.1
Ford, K.2
-
80
-
-
0004153536
-
-
Cornell University Press, Ithaca, NY
-
J. Hintikka, Knowledge and Belief (Cornell University Press, Ithaca, NY, 1962).
-
(1962)
Knowledge and Belief
-
-
Hintikka, J.1
-
81
-
-
84985119087
-
Mixing strict and defeasible inheritance
-
St. Paul, MN
-
J.F. Horty and R.H. Thomason, Mixing strict and defeasible inheritance, in: Proceedings AAAI-88, St. Paul, MN (1988) 427-432.
-
(1988)
Proceedings AAAI-88
, pp. 427-432
-
-
Horty, J.F.1
Thomason, R.H.2
-
82
-
-
0025404066
-
A skeptical theory of inheritance in nonmonotonic semantic networks
-
J.F. Horty, R.H. Thomason and D.S. Touretzky. A skeptical theory of inheritance in nonmonotonic semantic networks, Artificial Intelligence 42 (1990) 311-348.
-
(1990)
Artificial Intelligence
, vol.42
, pp. 311-348
-
-
Horty, J.F.1
Thomason, R.H.2
Touretzky, D.S.3
-
84
-
-
0002163565
-
Hard problems for simple default logics
-
Toronto, Ont. Morgan Kaufmann, San Mateo, CA
-
H.A. Kautz and B. Selman, Hard problems for simple default logics, in: Proceedings 1st International Conference on Principles of Knowledge Representation and Reasoning (KR-89), Toronto, Ont. (Morgan Kaufmann, San Mateo, CA, 1989) 189-197.
-
(1989)
Proceedings 1st International Conference on Principles of Knowledge Representation and Reasoning (KR-89)
, pp. 189-197
-
-
Kautz, H.A.1
Selman, B.2
-
85
-
-
85047933831
-
Probability quantifiers
-
J. Barwise and S. Feferman, eds., Springer, New York
-
H.J. Keisler, Probability quantifiers, in: J. Barwise and S. Feferman, eds., Model-Theoretic Logics (Springer, New York, 1985) 509-556.
-
(1985)
Model-Theoretic Logics
, pp. 509-556
-
-
Keisler, H.J.1
-
88
-
-
0002977725
-
A completeness theorem in modal logic
-
S. Kripke, A completeness theorem in modal logic, J. Symbolic Logic 24 (1959) 1-14.
-
(1959)
J. Symbolic Logic
, vol.24
, pp. 1-14
-
-
Kripke, S.1
-
89
-
-
0001972488
-
Semantical considerations on modal logic
-
S. Kripke, Semantical considerations on modal logic, Acta Philos. Fenn. 16 (1963) 83-94.
-
(1963)
Acta Philos. Fenn.
, vol.16
, pp. 83-94
-
-
Kripke, S.1
-
90
-
-
0000573784
-
Critical decisions under uncertainty: Representation and structure
-
B.J. Kuipers, A.J. Moskowitz and J.P. Kassirer, Critical decisions under uncertainty: representation and structure, Cognitive Sci. 12 (1988) 177-210.
-
(1988)
Cognitive Sci.
, vol.12
, pp. 177-210
-
-
Kuipers, B.J.1
Moskowitz, A.J.2
Kassirer, J.P.3
-
96
-
-
70949096908
-
Probabilities of conditionals and conditional probabilities
-
D.K. Lewis, Probabilities of conditionals and conditional probabilities, Philos. Reviews 85 (1976) 297-315; reprinted in: W.L. Harper, R. Stalnaker and G. Pearce, eds., Ifs: Conditionals, Beliefs, Decision, Chance and Time (Reidel, Dordrecht, 1981) 129-147; with a postscript in: D.K. Lewis, Philosophical Papers 2 (Oxford University Press, Oxford, England, 1986) 133-156; also in: F. Jackson, ed., Conditionals (Oxford University Press, Oxford, England, 1991) 76-101.
-
(1976)
Philos. Reviews
, vol.85
, pp. 297-315
-
-
Lewis, D.K.1
-
97
-
-
0041066414
-
-
Reidel, Dordrecht
-
D.K. Lewis, Probabilities of conditionals and conditional probabilities, Philos. Reviews 85 (1976) 297-315; reprinted in: W.L. Harper, R. Stalnaker and G. Pearce, eds., Ifs: Conditionals, Beliefs, Decision, Chance and Time (Reidel, Dordrecht, 1981) 129-147; with a postscript in: D.K. Lewis, Philosophical Papers 2 (Oxford University Press, Oxford, England, 1986) 133-156; also in: F. Jackson, ed., Conditionals (Oxford University Press, Oxford, England, 1991) 76-101.
-
(1981)
Ifs: Conditionals, Beliefs, Decision, Chance and Time
, pp. 129-147
-
-
Harper, W.L.1
Stalnaker, R.2
Pearce, G.3
-
98
-
-
0347834161
-
-
Oxford University Press, Oxford, England
-
D.K. Lewis, Probabilities of conditionals and conditional probabilities, Philos. Reviews 85 (1976) 297-315; reprinted in: W.L. Harper, R. Stalnaker and G. Pearce, eds., Ifs: Conditionals, Beliefs, Decision, Chance and Time (Reidel, Dordrecht, 1981) 129-147; with a postscript in: D.K. Lewis, Philosophical Papers 2 (Oxford University Press, Oxford, England, 1986) 133-156; also in: F. Jackson, ed., Conditionals (Oxford University Press, Oxford, England, 1991) 76-101.
-
(1986)
Philosophical Papers
, vol.2
, pp. 133-156
-
-
Lewis, D.K.1
-
99
-
-
0007227553
-
-
Oxford University Press, Oxford, England
-
D.K. Lewis, Probabilities of conditionals and conditional probabilities, Philos. Reviews 85 (1976) 297-315; reprinted in: W.L. Harper, R. Stalnaker and G. Pearce, eds., Ifs: Conditionals, Beliefs, Decision, Chance and Time (Reidel, Dordrecht, 1981) 129-147; with a postscript in: D.K. Lewis, Philosophical Papers 2 (Oxford University Press, Oxford, England, 1986) 133-156; also in: F. Jackson, ed., Conditionals (Oxford University Press, Oxford, England, 1991) 76-101.
-
(1991)
Conditionals
, pp. 76-101
-
-
Jackson, F.1
-
100
-
-
84990602539
-
Making default inferences from logic programs
-
L. Li and J.H. You, Making default inferences from logic programs, Computational Intelligence 7 (1991) 142-153.
-
(1991)
Computational Intelligence
, vol.7
, pp. 142-153
-
-
Li, L.1
You, J.H.2
-
101
-
-
0001884486
-
Computing circumscription
-
Los Angeles, CA Morgan Kaufmann, Los Altos, CA
-
V. Lifschitz, Computing circumscription, in: Proceedings IJCAI-85, Los Angeles, CA (Morgan Kaufmann, Los Altos, CA, 1985) 121-127; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 167-173.
-
(1985)
Proceedings IJCAI-85
, pp. 121-127
-
-
Lifschitz, V.1
-
102
-
-
0004277312
-
-
Morgan Kaufmann, Los Altos, CA
-
V. Lifschitz, Computing circumscription, in: Proceedings IJCAI-85, Los Angeles, CA (Morgan Kaufmann, Los Altos, CA, 1985) 121-127; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 167-173.
-
(1987)
Readings in Nonmonotonic Reasoning
, pp. 167-173
-
-
Ginsberg, M.L.1
-
103
-
-
0042549129
-
Pointwise circumscription
-
Stanford Preprint; M.L. Ginsberg, ed., Morgan Kaufmann, Los Altos, CA
-
V. Lifschitz, Pointwise circumscription, Stanford Preprint; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 179-193.
-
(1987)
Readings in Nonmonotonic Reasoning
, pp. 179-193
-
-
Lifschitz, V.1
-
104
-
-
2442559798
-
Circumscriptive theories: A logic-based framework for knowledge representation (Preliminary report)
-
Seattle, WA
-
V. Lifschitz, Circumscriptive theories: A logic-based framework for knowledge representation (Preliminary report) in: 6th Nat. Conference on Artificial Intelligence, AAAI-87, Seattle, WA (1987) 364-368.
-
(1987)
6th Nat. Conference on Artificial Intelligence, AAAI-87
, pp. 364-368
-
-
Lifschitz, V.1
-
105
-
-
30244487031
-
Between circumscription and autoepistemic logic
-
Toronto, Ont. Morgan Kaufmann, San Mateo, CA
-
V. Lifschitz, Between circumscription and autoepistemic logic, in: Proceedings 1st International Conference on Principles of Knowledge Representation and Reasoning (KR-89). Toronto, Ont. (Morgan Kaufmann, San Mateo, CA, 1989) 235-244.
-
(1989)
Proceedings 1st International Conference on Principles of Knowledge Representation and Reasoning (KR-89)
, pp. 235-244
-
-
Lifschitz, V.1
-
106
-
-
0001875061
-
Programs with common sense
-
M.L. Minsky, MIT Press, Cambridge, MA
-
J. McCarthy, Programs with common sense, in: M.L. Minsky, Semantic Information Processing (MIT Press, Cambridge, MA, 1968) 403-418.
-
(1968)
Semantic Information Processing
, pp. 403-418
-
-
McCarthy, J.1
-
107
-
-
37349044608
-
Circumscription - A form of nonmonotonic reasoning
-
J. McCarthy, Circumscription - a form of nonmonotonic reasoning, Artificial Intelligence 13 (1980) 27-39, 171-172; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 145-152.
-
(1980)
Artificial Intelligence
, vol.13
, pp. 27-39
-
-
McCarthy, J.1
-
108
-
-
37349044608
-
-
Morgan Kaufmann, Los Altos, CA
-
J. McCarthy, Circumscription - a form of nonmonotonic reasoning, Artificial Intelligence 13 (1980) 27-39, 171-172; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 145-152.
-
(1987)
Readings in Nonmonotonic Reasoning
, pp. 145-152
-
-
Ginsberg, M.L.1
-
109
-
-
0022661717
-
Applications of circumscription to formalizing common-sense knowledge
-
J. McCarthy, Applications of circumscription to formalizing common-sense knowledge, Artificial Intelligence 28 (1986) 89-116; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 153-166.
-
(1986)
Artificial Intelligence
, vol.28
, pp. 89-116
-
-
McCarthy, J.1
-
110
-
-
0022661717
-
-
Morgan Kaufmann, Los Altos, CA
-
J. McCarthy, Applications of circumscription to formalizing common-sense knowledge, Artificial Intelligence 28 (1986) 89-116; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 153-166.
-
(1987)
Readings in Nonmonotonic Reasoning
, pp. 153-166
-
-
Ginsberg, M.L.1
-
111
-
-
11544277136
-
The frame problem today
-
F.M. Brown, ed., Morgan Kaufmann, Los Altos, CA
-
J. McCarthy, The frame problem today (abstract only), in: F.M. Brown, ed., The Frame Problem in Artificial Intelligence: Proceedings 1987 Workshop (Morgan Kaufmann, Los Altos, CA, 1987) 3.
-
(1987)
The Frame Problem in Artificial Intelligence: Proceedings 1987 Workshop
, pp. 3
-
-
McCarthy, J.1
-
112
-
-
38249004496
-
History of circumscription
-
J. McCarthy, History of circumscription. Artificial Intelligence 59 (1993) 23-26.
-
(1993)
Artificial Intelligence
, vol.59
, pp. 23-26
-
-
McCarthy, J.1
-
113
-
-
0014638440
-
Some philosophical problems from the standpoint of artificial intelligence
-
B. Meltzer and D. Michie, eds., Edinburgh University Press, Edinburgh, Scotland
-
J. McCarthy and P.J. Hayes, Some philosophical problems from the standpoint of artificial intelligence, in: B. Meltzer and D. Michie, eds., Machine Intelligence 4 (Edinburgh University Press, Edinburgh, Scotland, 1969) 463-502; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 26-45; also in: V. Lifschitz, ed., Formalizing Common Sense: Papers by John McCarthy (Ablex, Norwood, NJ, 1990) 21-63.
-
(1969)
Machine Intelligence
, vol.4
, pp. 463-502
-
-
McCarthy, J.1
Hayes, P.J.2
-
114
-
-
0014638440
-
-
Morgan Kaufmann, Los Altos, CA
-
J. McCarthy and P.J. Hayes, Some philosophical problems from the standpoint of artificial intelligence, in: B. Meltzer and D. Michie, eds., Machine Intelligence 4 (Edinburgh University Press, Edinburgh, Scotland, 1969) 463-502; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 26-45; also in: V. Lifschitz, ed., Formalizing Common Sense: Papers by John McCarthy (Ablex, Norwood, NJ, 1990) 21-63.
-
(1987)
Readings in Nonmonotonic Reasoning
, pp. 26-45
-
-
Ginsberg, M.L.1
-
115
-
-
0014638440
-
-
Ablex, Norwood, NJ
-
J. McCarthy and P.J. Hayes, Some philosophical problems from the standpoint of artificial intelligence, in: B. Meltzer and D. Michie, eds., Machine Intelligence 4 (Edinburgh University Press, Edinburgh, Scotland, 1969) 463-502; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 26-45; also in: V. Lifschitz, ed., Formalizing Common Sense: Papers by John McCarthy (Ablex, Norwood, NJ, 1990) 21-63.
-
(1990)
Formalizing Common Sense: Papers by John McCarthy
, pp. 21-63
-
-
Lifschitz, V.1
-
116
-
-
84976844782
-
Non-monotonic logic - II
-
D. McDermott, Non-monotonic logic - II, J. ACM 29 (1982) 33-57.
-
(1982)
J. ACM
, vol.29
, pp. 33-57
-
-
McDermott, D.1
-
117
-
-
0042453040
-
We've been framed: Or, why AI is innocent of the frame problem
-
Z.W. Pylyshyn, ed., Ablex, Norwood, NJ
-
D. McDermott, We've been framed: or, why AI is innocent of the frame problem, in: Z.W. Pylyshyn, ed., The Robot's Dilemma: The Frame Problem in Artificial Intelligence (Ablex, Norwood, NJ, 1987) 113-122.
-
(1987)
The Robot's Dilemma: The Frame Problem in Artificial Intelligence
, pp. 113-122
-
-
McDermott, D.1
-
118
-
-
49149141138
-
Non-monotonic logic - I
-
D. McDermott and J. Doyle, Non-monotonic logic - I, Artificial Intelligence 13 (1980) 41-72; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 111-126.
-
(1980)
Artificial Intelligence
, vol.13
, pp. 41-72
-
-
McDermott, D.1
Doyle, J.2
-
119
-
-
49149141138
-
-
Morgan Kaufmann, Los Altos, CA
-
D. McDermott and J. Doyle, Non-monotonic logic - I, Artificial Intelligence 13 (1980) 41-72; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 111-126.
-
(1987)
Readings in Nonmonotonic Reasoning
, pp. 111-126
-
-
Ginsberg, M.L.1
-
120
-
-
77949936271
-
Conditional probabilities and compounds of conditionals
-
V. McGee, Conditional probabilities and compounds of conditionals, Philosopical Reviews 98 (1989) 485-541.
-
(1989)
Philosopical Reviews
, vol.98
, pp. 485-541
-
-
McGee, V.1
-
121
-
-
0003882507
-
-
Ph.D. Dissertation, Tech. Rept. CS-TR-3107 and UMIACS-TR-93-66, Department of Computer Science, University of Maryland, College Park, MD
-
M.J. Miller, A view of one's past and other aspects of reasoned change in belief, Ph.D. Dissertation, Tech. Rept. CS-TR-3107 and UMIACS-TR-93-66, Department of Computer Science, University of Maryland, College Park, MD (1993).
-
(1993)
A View of One's Past and Other Aspects of Reasoned Change in Belief
-
-
Miller, M.J.1
-
122
-
-
0030211349
-
Avoiding triviality: Fuzzy implications and conditional events
-
P. Milne, Avoiding triviality: fuzzy implications and conditional events, Internat. J. Approximate Reasoning 15 (1996) 123-143.
-
(1996)
Internat. J. Approximate Reasoning
, vol.15
, pp. 123-143
-
-
Milne, P.1
-
123
-
-
0022212922
-
Computing protected circumscription
-
J. Minker and D. Perils, Computing protected circumscription, J. Logic Programming 2 (1985) 235-249.
-
(1985)
J. Logic Programming
, vol.2
, pp. 235-249
-
-
Minker, J.1
Perils, D.2
-
124
-
-
0003015874
-
A framework for representing knowledge
-
P.H. Winston, ed., McGraw-Hill, New York
-
M. Minsky, A framework for representing knowledge, in: P.H. Winston, ed., The Psychology of Computer Vision (McGraw-Hill, New York, 1975) 211-277; a condensed version appeared in: D. Metzing, ed., Frame Conceptions and Text Understanding (Walter de Gruyter, Berlin, 1980) 1-25.
-
(1975)
The Psychology of Computer Vision
, pp. 211-277
-
-
Minsky, M.1
-
125
-
-
0002576197
-
-
Walter de Gruyter, Berlin
-
M. Minsky, A framework for representing knowledge, in: P.H. Winston, ed., The Psychology of Computer Vision (McGraw-Hill, New York, 1975) 211-277; a condensed version appeared in: D. Metzing, ed., Frame Conceptions and Text Understanding (Walter de Gruyter, Berlin, 1980) 1-25.
-
(1980)
Frame Conceptions and Text Understanding
, pp. 1-25
-
-
Metzing, D.1
-
126
-
-
11544347399
-
Fuzzy conditional inferences and fuzzy inferences with fuzzy quantifiers
-
Tokyo, Japan
-
M. Mizumoto, S. Fukami and K. Tanaka, Fuzzy conditional inferences and fuzzy inferences with fuzzy quantifiers, in: Proceedings IJCAI-79, Tokyo, Japan (1979) 589-591.
-
(1979)
Proceedings IJCAI-79
, pp. 589-591
-
-
Mizumoto, M.1
Fukami, S.2
Tanaka, K.3
-
127
-
-
0021819131
-
Semantical considerations on nonmonotonic logic
-
[114 ] R.C. Moore, Semantical considerations on nonmonotonic logic, Artificial Intelligence 25 (1985) 75-94.
-
(1985)
Artificial Intelligence
, vol.25
, pp. 75-94
-
-
Moore, R.C.1
-
128
-
-
0042143760
-
Autoepistemic logic
-
P. Smets, E.H. Mamdani, D. Dubois and H. Prade, eds., Academic Press, San Diego, CA
-
R.C. Moore, Autoepistemic logic, in: P. Smets, E.H. Mamdani, D. Dubois and H. Prade, eds., Non-Standard Logics for Automated Reasoning (Academic Press, San Diego, CA, 1988) 105-136.
-
(1988)
Non-Standard Logics for Automated Reasoning
, pp. 105-136
-
-
Moore, R.C.1
-
129
-
-
38249006170
-
Autoepistemic logic revisited
-
R.C. Moore, Autoepistemic logic revisited, Artificial Intelligence 59 (1993) 27-30.
-
(1993)
Artificial Intelligence
, vol.59
, pp. 27-30
-
-
Moore, R.C.1
-
130
-
-
84972511825
-
Quantifying probabilistic expressions
-
F. Mosteller and C. Youtz, Quantifying probabilistic expressions, Statist Sci. 5 (1990) 2-34.
-
(1990)
Statist Sci.
, vol.5
, pp. 2-34
-
-
Mosteller, F.1
Youtz, C.2
-
131
-
-
0002400729
-
On a generalization of quantifiers
-
A. Mostowski, On a generalization of quantifiers, Fund. Math. 44 (1957) 12-36.
-
(1957)
Fund. Math.
, vol.44
, pp. 12-36
-
-
Mostowski, A.1
-
132
-
-
11544299452
-
Semantically sound inheritance for a formally defined frame language with defaults
-
Seattle, WA
-
R. Nado and R.E. Fikes, Semantically sound inheritance for a formally defined frame language with defaults, in: Proceedings AAAI-87, Seattle, WA (1987) 443-448.
-
(1987)
Proceedings AAAI-87
, pp. 443-448
-
-
Nado, R.1
Fikes, R.E.2
-
133
-
-
0027149029
-
A decision-making approach to a syllogistic reasoning problem with consistency maintenance in a knowledge base
-
San Francisco, CA
-
H. Narazaki and I.B. Turksen, A decision-making approach to a syllogistic reasoning problem with consistency maintenance in a knowledge base, in: Proceedings 2nd IEEE International Conference on Fuzzy Systems (FUZZIEEE-93), San Francisco, CA (1993) 76-81.
-
(1993)
Proceedings 2nd IEEE International Conference on Fuzzy Systems (FUZZIEEE-93)
, pp. 76-81
-
-
Narazaki, H.1
Turksen, I.B.2
-
134
-
-
0028406926
-
An integrated approach for syllogistic reasoning and knowledge consistency level maintenance
-
H. Narazaki and I.B. Turksen, An integrated approach for syllogistic reasoning and knowledge consistency level maintenance, IEEE Trans. Systems Man Cybernet. 24 (4) (1994) 548-563.
-
(1994)
IEEE Trans. Systems Man Cybernet.
, vol.24
, Issue.4
, pp. 548-563
-
-
Narazaki, H.1
Turksen, I.B.2
-
135
-
-
30244444566
-
-
MIT Press, Cambridge, MA
-
A. Nerode, W. Marek and V.S. Subrahmanian, eds., Logic Programming and Non-Monotonic Reasoning: Proceedings 1st International Workshop (MIT Press, Cambridge, MA, 1991).
-
(1991)
Logic Programming and Non-Monotonic Reasoning: Proceedings 1st International Workshop
-
-
Nerode, A.1
Marek, W.2
Subrahmanian, V.S.3
-
136
-
-
77956779728
-
Quantifiers as fuzzy concepts
-
T. Zétényi, ed., Elsevier Science, Amsterdam
-
S.E. Newstead, Quantifiers as fuzzy concepts, in: T. Zétényi, ed., Fuzzy Sets in Psychology (Elsevier Science, Amsterdam, 1988) 51-72.
-
(1988)
Fuzzy Sets in Psychology
, pp. 51-72
-
-
Newstead, S.E.1
-
137
-
-
0022659563
-
Probabilistic logic
-
N.J. Nilsson, Probabilistic logic, Artificial Intelligence 28 (1986) 71-87; reprinted in: G. Shafer and J. Pearl, eds., Readings in Uncertain Reasoning (Morgan Kaufmann, San Mateo, CA, 1990) 680-688.
-
(1986)
Artificial Intelligence
, vol.28
, pp. 71-87
-
-
Nilsson, N.J.1
-
138
-
-
0022659563
-
-
Morgan Kaufmann, San Mateo, CA
-
N.J. Nilsson, Probabilistic logic, Artificial Intelligence 28 (1986) 71-87; reprinted in: G. Shafer and J. Pearl, eds., Readings in Uncertain Reasoning (Morgan Kaufmann, San Mateo, CA, 1990) 680-688.
-
(1990)
Readings in Uncertain Reasoning
, pp. 680-688
-
-
Shafer, G.1
Pearl, J.2
-
139
-
-
4544375069
-
-
Tech. Rept. CS-TR-3249, University of Maryland, College Park, MD
-
M. Nirke, S. Kraus and D. Perlis, Thinking takes time: a modal active-logic for reasoning in time, Tech. Rept. CS-TR-3249, University of Maryland, College Park, MD (1994); also in: Proceedings Bar Ilan Symposium on Foundations of Artificial Intelligence (BISFAI-95) (1995).
-
(1994)
Thinking Takes Time: A Modal Active-Logic for Reasoning in Time
-
-
Nirke, M.1
Kraus, S.2
Perlis, D.3
-
143
-
-
0006665530
-
Defeasible logic and the frame problem
-
H.E. Kyburg Jr, R.P. Loui and G.N. Carlson, eds., Kluwer, Dordrecht
-
D. Nute, Defeasible logic and the frame problem, in: H.E. Kyburg Jr, R.P. Loui and G.N. Carlson, eds., Knowledge Representation and Defeasible Reasoning (Kluwer, Dordrecht, 1990) 3-21.
-
(1990)
Knowledge Representation and Defeasible Reasoning
, pp. 3-21
-
-
Nute, D.1
-
144
-
-
77956949047
-
A decidable quantified defeasible logic
-
D. Prawitz, B. Skyrms and D. Westerstahl, eds., Elsevier, New York
-
D. Nute, A decidable quantified defeasible logic, in: D. Prawitz, B. Skyrms and D. Westerstahl, eds., Logic, Methodology and Philosophy of Science IX (Elsevier, New York, 1994) 263-284.
-
(1994)
Logic, Methodology and Philosophy of Science
, vol.9
, pp. 263-284
-
-
Nute, D.1
-
145
-
-
0006516312
-
Basic defeasible logic
-
L.F. del Cerro and M. Penttonen, eds., Clarendon Press, Oxford, England
-
D. Nute, Basic defeasible logic, in: L.F. del Cerro and M. Penttonen, eds., Intensional Logics for Programming (Clarendon Press, Oxford, England, 1992) 125-154.
-
(1992)
Intensional Logics for Programming
, pp. 125-154
-
-
Nute, D.1
-
146
-
-
0002458809
-
Defeasible logic
-
D. Gabbay and C. Hogger, eds., Oxford University Press, New York
-
D. Nute, Defeasible logic, in: D. Gabbay and C. Hogger, eds., Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. III (Oxford University Press, New York, 1993) 353-395.
-
(1993)
Handbook of Logic in Artificial Intelligence and Logic Programming
, vol.3
, pp. 353-395
-
-
Nute, D.1
-
148
-
-
0002634765
-
System Z: A natural ordering of defaults with tractable applications to default reasoning
-
M. Vardi, ed., Morgan Kaufmann, San Mateo, CA
-
J. Pearl, System Z: a natural ordering of defaults with tractable applications to default reasoning, in: M. Vardi, ed., Proceedings 3rd Conference on Theoretical Aspects of Reasoning about Knowledge (TARK-90) (Morgan Kaufmann, San Mateo, CA, 1990) 121-135.
-
(1990)
Proceedings 3rd Conference on Theoretical Aspects of Reasoning about Knowledge (TARK-90)
, pp. 121-135
-
-
Pearl, J.1
-
149
-
-
84990604261
-
On the consistency of commonsense reasoning
-
D. Perlis, On the consistency of commonsense reasoning, Computational Intelligence 2 (1986) 180-190 ; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 56-66 .
-
(1986)
Computational Intelligence
, vol.2
, pp. 180-190
-
-
Perlis, D.1
-
150
-
-
84990604261
-
-
Morgan Kaufmann, Los Altos, CA
-
D. Perlis, On the consistency of commonsense reasoning, Computational Intelligence 2 (1986) 180-190 ; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 56-66 .
-
(1987)
Readings in Nonmonotonic Reasoning
, pp. 56-66
-
-
Ginsberg, M.L.1
-
151
-
-
0023291595
-
Circumscribing with sets
-
D. Perlis, Circumscribing with sets, Artificial Intelligence 31 (1987) 201-211.
-
(1987)
Artificial Intelligence
, vol.31
, pp. 201-211
-
-
Perlis, D.1
-
152
-
-
0024085003
-
Autocircumscription
-
D. Perlis, Autocircumscription, Artificial Intelligence 36 (1988) 223-236.
-
(1988)
Artificial Intelligence
, vol.36
, pp. 223-236
-
-
Perlis, D.1
-
154
-
-
11544328249
-
-
Tech. Rept. CS-TR-2415 and UMIACS-TR-90-26, Department of Computer Science, University of Maryland, College Park, MD
-
D. Perlis, J.J. Elgot-Drapkin and M. Miller, Stop the world - I want to think, Tech. Rept. CS-TR-2415 and UMIACS-TR-90-26, Department of Computer Science, University of Maryland, College Park, MD (1990); also in: K. Ford and F. Anger, eds., Internat. J. Intelligent Systems 6 (1991) 443-456, Special Issue on Temporal Reasoning.
-
(1990)
Stop the World - I Want to Think
-
-
Perlis, D.1
Elgot-Drapkin, J.J.2
Miller, M.3
-
155
-
-
30244544390
-
-
Temporal Reasoning
-
D. Perlis, J.J. Elgot-Drapkin and M. Miller, Stop the world - I want to think, Tech. Rept. CS-TR-2415 and UMIACS-TR-90-26, Department of Computer Science, University of Maryland, College Park, MD (1990); also in: K. Ford and F. Anger, eds., Internat. J. Intelligent Systems 6 (1991) 443-456, Special Issue on Temporal Reasoning.
-
(1991)
Internat. J. Intelligent Systems
, vol.6
, Issue.SPEC. ISSUE
, pp. 443-456
-
-
Ford, K.1
Anger, F.2
-
156
-
-
38249042333
-
Completeness results for circumscription
-
D. Perlis and J. Minker, Completeness results for circumscription, Artificial Intelligence 28 (1986) 29-42.
-
(1986)
Artificial Intelligence
, vol.28
, pp. 29-42
-
-
Perlis, D.1
Minker, J.2
-
158
-
-
84972545783
-
On the logic of "few", "many", and "most"
-
P.L. Peterson, On the logic of "few", "many", and "most", Notre Dame J. Formal Logic XX (1979) 155-179.
-
(1979)
Notre Dame J. Formal Logic
, vol.20
, pp. 155-179
-
-
Peterson, P.L.1
-
159
-
-
0000210652
-
Defeasible reasoning
-
J.L. Pollock, Defeasible reasoning, Cognitive Sci. 11 (1987) 481-518.
-
(1987)
Cognitive Sci.
, vol.11
, pp. 481-518
-
-
Pollock, J.L.1
-
162
-
-
0024066001
-
A logical framework for default reasoning
-
D.L. Poole, A logical framework for default reasoning, Artificial Intelligence 36 (1988) 27-48.
-
(1988)
Artificial Intelligence
, vol.36
, pp. 27-48
-
-
Poole, D.L.1
-
163
-
-
0003588159
-
What the lottery paradox tells us about default reasoning
-
Toronto, Ont. Morgan Kaufmann, San Mateo, CA
-
D.L. Poole, What the lottery paradox tells us about default reasoning, in: Proceedings 1st International Conference on Principles of Knowledge Representation and Reasoning (KR-89), Toronto, Ont. (Morgan Kaufmann, San Mateo, CA, 1989) 333-340.
-
(1989)
Proceedings 1st International Conference on Principles of Knowledge Representation and Reasoning (KR-89)
, pp. 333-340
-
-
Poole, D.L.1
-
166
-
-
0003644379
-
-
K. Paul, Trench, Trubner & Co., London, England
-
F.P. Ramsey, The Foundations of Mathematics and Other Logical Essays (K. Paul, Trench, Trubner & Co., London, England, 1931).
-
(1931)
The Foundations of Mathematics and Other Logical Essays
-
-
Ramsey, F.P.1
-
167
-
-
49149147322
-
A logic for default reasoning
-
R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980) 81-132; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 68-93.
-
(1980)
Artificial Intelligence
, vol.13
, pp. 81-132
-
-
Reiter, R.1
-
168
-
-
49149147322
-
-
Morgan Kaufmann, Los Altos, CA
-
R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980) 81-132; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 68-93.
-
(1987)
Readings in Nonmonotonic Reasoning
, pp. 68-93
-
-
Ginsberg, M.L.1
-
169
-
-
11544347401
-
A probabilistic approach to modal logic
-
N. Rescher, A probabilistic approach to modal logic, Acta Philos. Fenn. XVI (1963) 215-226.
-
(1963)
Acta Philos. Fenn.
, vol.16
, pp. 215-226
-
-
Rescher, N.1
-
170
-
-
0020920299
-
Default reasoning as likelihood reasoning
-
Washington, DC
-
E. Rich, Default reasoning as likelihood reasoning, in: Proceedings AAAI-83, Washington, DC (1983) 348-351.
-
(1983)
Proceedings AAAI-83
, pp. 348-351
-
-
Rich, E.1
-
171
-
-
0006517592
-
An approach to the frame problem and its implementation
-
B. Meltzer and D. Michie, eds., Edinburgh University Press, Edinburgh, Scotland
-
E. Sandewall, An approach to the frame problem and its implementation, in: B. Meltzer and D. Michie, eds., Machine Intelligence 7 (Edinburgh University Press, Edinburgh, Scotland, 1972) 195-204.
-
(1972)
Machine Intelligence
, vol.7
, pp. 195-204
-
-
Sandewall, E.1
-
172
-
-
0022794748
-
Nonmonotonic inference rules for multiple inheritance systems with exceptions
-
E. Sandewall, Nonmonotonic inference rules for multiple inheritance systems with exceptions, in: Proc. IEEE 74 (1986) 1345-1353.
-
(1986)
Proc. IEEE
, vol.74
, pp. 1345-1353
-
-
Sandewall, E.1
-
173
-
-
0006704198
-
The range of applicability of nonmonotonic logics for the inertia problem
-
Chambéry, France
-
E. Sandewall, The range of applicability of nonmonotonic logics for the inertia problem, in: Proceedings IJCAI-93, Chambéry, France (1993) 738-743.
-
(1993)
Proceedings IJCAI-93
, pp. 738-743
-
-
Sandewall, E.1
-
174
-
-
0027640964
-
The complexity of path-based defeasible inheritance
-
B. Selman and H.J. Levesque, The complexity of path-based defeasible inheritance, Artificial Intelligence 62 (1993) 303-339.
-
(1993)
Artificial Intelligence
, vol.62
, pp. 303-339
-
-
Selman, B.1
Levesque, H.J.2
-
175
-
-
84985057025
-
Chronological ignorance: Time, nonmonotonicity, necessity and causal theories
-
Philadelphia, PA
-
Y. Shoham, Chronological ignorance: time, nonmonotonicity, necessity and causal theories, in: Proceedings AAAI-86, Philadelphia, PA (1986) 389-393.
-
(1986)
Proceedings AAAI-86
, pp. 389-393
-
-
Shoham, Y.1
-
177
-
-
0027560432
-
Agent-oriented programming
-
Y. Shoham, Agent-oriented programming, Artificial Intelligence 60 (1993) 51-92.
-
(1993)
Artificial Intelligence
, vol.60
, pp. 51-92
-
-
Shoham, Y.1
-
178
-
-
0029244437
-
On social laws for artificial agent societies: Off-line design
-
Y. Shoham and M. Tennenholtz, On social laws for artificial agent societies: off-line design, Artificial Intelligence 73 (1995) 231-252.
-
(1995)
Artificial Intelligence
, vol.73
, pp. 231-252
-
-
Shoham, Y.1
Tennenholtz, M.2
-
179
-
-
0026817743
-
A mathematical treatment of defeasible reasoning and its implementation
-
G.R. Simari and R.P. Loui, A mathematical treatment of defeasible reasoning and its implementation, Artificial Intelligence 53 (1992) 125-157.
-
(1992)
Artificial Intelligence
, vol.53
, pp. 125-157
-
-
Simari, G.R.1
Loui, R.P.2
-
180
-
-
0030259023
-
On Sandewall's paper: Nonmonotonic inference rules for multiple inheritance with exception
-
G. Simonet, On Sandewall's paper: nonmonotonic inference rules for multiple inheritance with exception, Artificial Intelligence 86 (1996) 359-374.
-
(1996)
Artificial Intelligence
, vol.86
, pp. 359-374
-
-
Simonet, G.1
-
183
-
-
30244506313
-
-
L. Sombé, Reasoning under Incomplete Information in Artificial Intelligence: A Comparison of Formalisms Using a Single Example (Wiley, New York, 1990); also appeared as: Internat. J. Intelligent Systems 5 (1990).
-
(1990)
Internat. J. Intelligent Systems
, vol.5
-
-
-
186
-
-
18044397772
-
Probability and conditionals
-
W.L. Harper, R. Stalnaker and G. Pearce, eds., Reidel, Dordrecht
-
R.C. Stalnaker, Probability and conditionals, in: W.L. Harper, R. Stalnaker and G. Pearce, eds., Ifs: Conditionals, Beliefs, Decision, Chance and Time (Reidel, Dordrecht, 1981) 107-128.
-
(1981)
Ifs: Conditionals, Beliefs, Decision, Chance and Time
, pp. 107-128
-
-
Stalnaker, R.C.1
-
187
-
-
0026882014
-
Resolving ambiguity in nonmonotonic inheritance hierarchies
-
L.A. Stein, Resolving ambiguity in nonmonotonic inheritance hierarchies, Artificial Intelligence 55 (1992) 259-310.
-
(1992)
Artificial Intelligence
, vol.55
, pp. 259-310
-
-
Stein, L.A.1
-
188
-
-
30244437877
-
The interpretation of frequency adjectives
-
G.T. Stump, The interpretation of frequency adjectives, Linguistics and Philosophy 4 (1980) 221-257.
-
(1980)
Linguistics and Philosophy
, vol.4
, pp. 221-257
-
-
Stump, G.T.1
-
191
-
-
0027555073
-
A theory of nonmonotonic inheritance based on annotated logic
-
K. Thirunarayan and M. Kifer, A theory of nonmonotonic inheritance based on annotated logic, Artificial Intelligence 60 (1993) 23-50.
-
(1993)
Artificial Intelligence
, vol.60
, pp. 23-50
-
-
Thirunarayan, K.1
Kifer, M.2
-
192
-
-
38249014842
-
NETL and subsequent path-based inheritance theories
-
R.H. Thomason, NETL and subsequent path-based inheritance theories, Comput. Math. Appl. 23 (1992) 179-204.
-
(1992)
Comput. Math. Appl.
, vol.23
, pp. 179-204
-
-
Thomason, R.H.1
-
193
-
-
0039938493
-
Book review of: Reasoning agents in a dynamic world: The frame problem
-
(K.M. Ford and P.J. Hayes, eds.)
-
J.A. Toth, Book Review of: Reasoning Agents in a Dynamic World: The Frame Problem (K.M. Ford and P.J. Hayes, eds.), Artificial Intelligence 73 (1995) 323-369.
-
(1995)
Artificial Intelligence
, vol.73
, pp. 323-369
-
-
Toth, J.A.1
-
194
-
-
0021002007
-
Implicit ordering of defaults in inheritance systems
-
Austin, TX Morgan Kaufmann, Los Altos, CA
-
D.S. Touretzky, Implicit ordering of defaults in inheritance systems, in: Proceedings AAAI-84, Austin, TX (Morgan Kaufmann, Los Altos, CA, 1984) 322-325; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 106-109; also in: G. Shafer and J. Pearl, eds., Readings in Uncertain Reasoning (Morgan Kaufmann, San Mateo, CA, 1990) 668-671.
-
(1984)
Proceedings AAAI-84
, pp. 322-325
-
-
Touretzky, D.S.1
-
195
-
-
0021002007
-
-
Morgan Kaufmann, Los Altos, CA
-
D.S. Touretzky, Implicit ordering of defaults in inheritance systems, in: Proceedings AAAI-84, Austin, TX (Morgan Kaufmann, Los Altos, CA, 1984) 322-325; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 106-109; also in: G. Shafer and J. Pearl, eds., Readings in Uncertain Reasoning (Morgan Kaufmann, San Mateo, CA, 1990) 668-671.
-
(1987)
Readings in Nonmonotonic Reasoning
, pp. 106-109
-
-
Ginsberg, M.L.1
-
196
-
-
0021002007
-
-
Morgan Kaufmann, San Mateo, CA
-
D.S. Touretzky, Implicit ordering of defaults in inheritance systems, in: Proceedings AAAI-84, Austin, TX (Morgan Kaufmann, Los Altos, CA, 1984) 322-325; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 106-109; also in: G. Shafer and J. Pearl, eds., Readings in Uncertain Reasoning (Morgan Kaufmann, San Mateo, CA, 1990) 668-671.
-
(1990)
Readings in Uncertain Reasoning
, pp. 668-671
-
-
Shafer, G.1
Pearl, J.2
-
198
-
-
85167868807
-
A clash of intuitions: The current state of nonmonotonic multiple inheritance systems
-
Milan, Italy
-
D.S. Touretzky, J.E. Horty and R.H. Thomason, A clash of intuitions: the current state of nonmonotonic multiple inheritance systems, in: Proceedings IJCAI-87, Milan, Italy (1987) 476-482.
-
(1987)
Proceedings IJCAI-87
, pp. 476-482
-
-
Touretzky, D.S.1
Horty, J.E.2
Thomason, R.H.3
-
199
-
-
0002988210
-
Computing machinery and intelligence
-
A.M. Turing, Computing machinery and intelligence, Mind 59 (1950) 433-460.
-
(1950)
Mind
, vol.59
, pp. 433-460
-
-
Turing, A.M.1
-
201
-
-
10644227369
-
Questions about quantifiers
-
J. van Benthem, Questions about quantifiers, J. Symbolic Logic 49 (1984) 443-466.
-
(1984)
J. Symbolic Logic
, vol.49
, pp. 443-466
-
-
Van Benthem, J.1
-
203
-
-
30244496111
-
Towards a computational semantics
-
P. Gärdenfors, ed., Reidel, Dordrecht
-
J. van Benthem, Towards a computational semantics, in: P. Gärdenfors, ed., Generalized Quantifiers: Linguistic and Logical Approaches (Reidel, Dordrecht, 1987). 31-71.
-
(1987)
Generalized Quantifiers: Linguistic and Logical Approaches
, pp. 31-71
-
-
Van Benthem, J.1
-
204
-
-
0342271709
-
-
Center for the Study of Language and Information (CLSI), Stanford CA, 2nd ed.
-
J. van Benthem, A Manual of Intensional Logic (Center for the Study of Language and Information (CLSI), Stanford CA, 2nd ed., 1988).
-
(1988)
A Manual of Intensional Logic
-
-
Van Benthem, J.1
-
206
-
-
6144288033
-
Generalized quantifiers and traditional logic
-
J. van Benthem and A. ter Meulen, eds., Foris Publications, Dordrecht
-
J. van Eijck, Generalized quantifiers and traditional logic, in: J. van Benthem and A. ter Meulen, eds., Generalized Quantifiers in Natural Language (Foris Publications, Dordrecht, 1984) 1-19.
-
(1984)
Generalized Quantifiers in Natural Language
, pp. 1-19
-
-
Van Eijck, J.1
-
207
-
-
0000123866
-
Measuring the vague meanings of probability terms
-
T.S. Wallsten, D.V. Budescu, A. Rapoport, R. Zwick and B. Forsythe, Measuring the vague meanings of probability terms, J. Experimental Psychology: General 115 (1986) 348-365.
-
(1986)
J. Experimental Psychology: General
, vol.115
, pp. 348-365
-
-
Wallsten, T.S.1
Budescu, D.V.2
Rapoport, A.3
Zwick, R.4
Forsythe, B.5
-
208
-
-
0001598111
-
Comparing the calibration and coherence of numerical and verbal probability judgments
-
T.S. Wallsten, D.W. Budescu and R. Zwick, Comparing the calibration and coherence of numerical and verbal probability judgments, Management Sci. 39 (1993) 176-190.
-
(1993)
Management Sci.
, vol.39
, pp. 176-190
-
-
Wallsten, T.S.1
Budescu, D.W.2
Zwick, R.3
-
211
-
-
0020799573
-
Quantified propositions in a linguistic logic
-
R.R. Yager, Quantified propositions in a linguistic logic, Internat. J. Man-Machine Studies 19 (1983) 195-227.
-
(1983)
Internat. J. Man-Machine Studies
, vol.19
, pp. 195-227
-
-
Yager, R.R.1
-
212
-
-
0020844503
-
Quantifiers in the formulation of multiple objective decision functions
-
R.R. Yager, Quantifiers in the formulation of multiple objective decision functions. Inform. Sci. 31 (1983) 107-139.
-
(1983)
Inform. Sci.
, vol.31
, pp. 107-139
-
-
Yager, R.R.1
-
213
-
-
0022249197
-
Reasoning with fuzzy quantified statements: Part I
-
R.R. Yager, Reasoning with fuzzy quantified statements: Part I, Kybernetes 14 (1985) 233-240.
-
(1985)
Kybernetes
, vol.14
, pp. 233-240
-
-
Yager, R.R.1
-
214
-
-
0141809395
-
Reasoning with fuzzy quantified statements: Part II
-
R.R. Yager, Reasoning with fuzzy quantified statements: Part II, Kybernetes 15 (1986) 111-120.
-
(1986)
Kybernetes
, vol.15
, pp. 111-120
-
-
Yager, R.R.1
-
215
-
-
0023855863
-
On ordered weighted averaging operators in multi-criteria decision making
-
R.R. Yager, On ordered weighted averaging operators in multi-criteria decision making, IEEE Trans. on Systems, Man and Cybernetics 18 (1988) 183-190.
-
(1988)
IEEE Trans. on Systems, Man and Cybernetics
, vol.18
, pp. 183-190
-
-
Yager, R.R.1
-
216
-
-
44949280565
-
Connectives and quantifiers in fuzzy sets
-
R.R. Yager, Connectives and quantifiers in fuzzy sets, Fuzzy Sets and Systems 40 (1991) 39-75.
-
(1991)
Fuzzy Sets and Systems
, vol.40
, pp. 39-75
-
-
Yager, R.R.1
-
217
-
-
30244482521
-
-
Tech. Rept. MII-1117, Machine Intelligence Institute, Iona College, New Rochelle, NY
-
R.R. Yager, Interpreting linguistically quantified propositions, Tech. Rept. MII-1117, Machine Intelligence Institute, Iona College, New Rochelle, NY (1992).
-
(1992)
Interpreting Linguistically Quantified Propositions
-
-
Yager, R.R.1
-
218
-
-
0027676898
-
Families of OWA operators
-
R.R. Yager, Families of OWA operators, Fuzzy Sets and Systems 59 (1993) 125-148.
-
(1993)
Fuzzy Sets and Systems
, vol.59
, pp. 125-148
-
-
Yager, R.R.1
-
219
-
-
0003826349
-
-
Wiley, New York
-
R.R. Yager, S. Ovchinnikov, R.M. Tong and H.T. Nguyen, eds., Fuzzy Sets and Applications: Selected Papers by L.A. Zadeh (Wiley, New York, 1987).
-
(1987)
Fuzzy Sets and Applications: Selected Papers by L.A. Zadeh
-
-
Yager, R.R.1
Ovchinnikov, S.2
Tong, R.M.3
Nguyen, H.T.4
-
220
-
-
34250406938
-
Fuzzy logic and approximate reasoning (in memory of Grigore Moisil)
-
L.A. Zadeh, Fuzzy logic and approximate reasoning (in memory of Grigore Moisil) Synthese 30 (1975) 407-428.
-
(1975)
Synthese
, vol.30
, pp. 407-428
-
-
Zadeh, L.A.1
-
221
-
-
0016458950
-
The concept of a linguistic variable and its application to approximate reasoning, Part I
-
L.A. Zadeh, The concept of a linguistic variable and its application to approximate reasoning, Part I, Inform. Sci. 8 (1975) 199-249; Part II, Inform. Sci. 8 (1975) 301-357; Part III, Inform. Sci. 9 (1975) 43-80; reprinted in: R.R. Yager, S. Ovchinnikov, R.M. Tong and H.T. Nguyen, eds., Fuzzy Sets and Applications: Selected Papers by L.A. Zadeh (Wiley, New York, 1987) 219-269, 271-327, 329-366.
-
(1975)
Inform. Sci.
, vol.8
, pp. 199-249
-
-
Zadeh, L.A.1
-
222
-
-
0016459349
-
The concept of a linguistic variable and its application to approximate reasoning, Part II
-
L.A. Zadeh, The concept of a linguistic variable and its application to approximate reasoning, Part I, Inform. Sci. 8 (1975) 199-249; Part II, Inform. Sci. 8 (1975) 301-357; Part III, Inform. Sci. 9 (1975) 43-80; reprinted in: R.R. Yager, S. Ovchinnikov, R.M. Tong and H.T. Nguyen, eds., Fuzzy Sets and Applications: Selected Papers by L.A. Zadeh (Wiley, New York, 1987) 219-269, 271-327, 329-366.
-
(1975)
Inform. Sci.
, vol.8
, pp. 301-357
-
-
-
223
-
-
0016631726
-
The concept of a linguistic variable and its application to approximate reasoning, Part III
-
L.A. Zadeh, The concept of a linguistic variable and its application to approximate reasoning, Part I, Inform. Sci. 8 (1975) 199-249; Part II, Inform. Sci. 8 (1975) 301-357; Part III, Inform. Sci. 9 (1975) 43-80; reprinted in: R.R. Yager, S. Ovchinnikov, R.M. Tong and H.T. Nguyen, eds., Fuzzy Sets and Applications: Selected Papers by L.A. Zadeh (Wiley, New York, 1987) 219-269, 271-327, 329-366.
-
(1975)
Inform. Sci.
, vol.9
, pp. 43-80
-
-
-
224
-
-
0016458950
-
-
Wiley, New York
-
L.A. Zadeh, The concept of a linguistic variable and its application to approximate reasoning, Part I, Inform. Sci. 8 (1975) 199-249; Part II, Inform. Sci. 8 (1975) 301-357; Part III, Inform. Sci. 9 (1975) 43-80; reprinted in: R.R. Yager, S. Ovchinnikov, R.M. Tong and H.T. Nguyen, eds., Fuzzy Sets and Applications: Selected Papers by L.A. Zadeh (Wiley, New York, 1987) 219-269, 271-327, 329-366.
-
(1987)
Fuzzy Sets and Applications: Selected Papers by L.A. Zadeh
, pp. 219-269
-
-
Yager, R.R.1
Ovchinnikov, S.2
Tong, R.M.3
Nguyen, H.T.4
-
225
-
-
0017985349
-
PRUF - A meaning representation language for natural languages
-
L.A. Zadeh, PRUF - A meaning representation language for natural languages, Internat. J. ManMachine Studies 10 (1978) 395-460; reprinted in: R.R. Yager, S. Ovchinnikov, R.M. Tong and H.T. Nguyen, eds., Fuzzy Sets and Applications: Selected Papers by L.A. Zadeh (Wiley, New York, 1987) 499-568.
-
(1978)
Internat. J. Manmachine Studies
, vol.10
, pp. 395-460
-
-
Zadeh, L.A.1
-
226
-
-
0017985349
-
-
Wiley, New York
-
L.A. Zadeh, PRUF - A meaning representation language for natural languages, Internat. J. ManMachine Studies 10 (1978) 395-460; reprinted in: R.R. Yager, S. Ovchinnikov, R.M. Tong and H.T. Nguyen, eds., Fuzzy Sets and Applications: Selected Papers by L.A. Zadeh (Wiley, New York, 1987) 499-568.
-
(1987)
Fuzzy Sets and Applications: Selected Papers by L.A. Zadeh
, pp. 499-568
-
-
Yager, R.R.1
Ovchinnikov, S.2
Tong, R.M.3
Nguyen, H.T.4
-
227
-
-
49049122961
-
A computational approach to fuzzy quantifiers in natural languages
-
L.A. Zadeh, A computational approach to fuzzy quantifiers in natural languages, Comput. and Math. 9 (1983) 149-184.
-
(1983)
Comput. and Math.
, vol.9
, pp. 149-184
-
-
Zadeh, L.A.1
-
229
-
-
0022270417
-
Syllogistic reasoning in fuzzy logic and its application to usuality and reasoning with dispositions
-
L.A. Zadeh, Syllogistic reasoning in fuzzy logic and its application to usuality and reasoning with dispositions, IEEE Trans. Systems, Man and Cybernetics 15 (1985) 754-763; reprinted in: R.R. Yager, S. Ovchinnikov, R.M. Tong and H.T. Nguyen, eds., Fuzzy Sets and Applications: Selected Papers by L.A. Zadeh (Wiley, New York, 1987) 443-466.
-
(1985)
IEEE Trans. Systems, Man and Cybernetics
, vol.15
, pp. 754-763
-
-
Zadeh, L.A.1
-
230
-
-
0022270417
-
-
Wiley, New York
-
L.A. Zadeh, Syllogistic reasoning in fuzzy logic and its application to usuality and reasoning with dispositions, IEEE Trans. Systems, Man and Cybernetics 15 (1985) 754-763; reprinted in: R.R. Yager, S. Ovchinnikov, R.M. Tong and H.T. Nguyen, eds., Fuzzy Sets and Applications: Selected Papers by L.A. Zadeh (Wiley, New York, 1987) 443-466.
-
(1987)
Fuzzy Sets and Applications: Selected Papers by L.A. Zadeh
, pp. 443-466
-
-
Yager, R.R.1
Ovchinnikov, S.2
Tong, R.M.3
Nguyen, H.T.4
-
231
-
-
11544257814
-
Outline of a theory of usuality based on fuzzy logic
-
A. Jones, A. Kaufmann and H.-J. Zimmerman, eds., Reidel, Dordrecht
-
L.A. Zadeh, Outline of a theory of usuality based on fuzzy logic, in: A. Jones, A. Kaufmann and H.-J. Zimmerman, eds., Fuzzy Sets Theory and Applications (Reidel, Dordrecht, 1986) 79-97.
-
(1986)
Fuzzy Sets Theory and Applications
, pp. 79-97
-
-
Zadeh, L.A.1
-
232
-
-
0000652465
-
Local and fuzzy logics
-
J.M. Dunn and G. Epstein, eds., Reidel, Dordrecht
-
L.A. Zadeh and R.E. Bellman, Local and fuzzy logics, in: J.M. Dunn and G. Epstein, eds., Modern Uses of Multiple-Valued Logic (Reidel, Dordrecht, 1977) 103-165.
-
(1977)
Modern Uses of Multiple-Valued Logic
, pp. 103-165
-
-
Zadeh, L.A.1
Bellman, R.E.2
-
233
-
-
30244457095
-
Schemata in everyday reasoning
-
A.C. Zimmer, Schemata in everyday reasoning, Gestalt Theory 7 (1985) 155-169.
-
(1985)
Gestalt Theory
, vol.7
, pp. 155-169
-
-
Zimmer, A.C.1
-
234
-
-
0022856417
-
What uncertainty judgements can tell about the underlying subjective probabilities
-
L.N. Kanal and J.F. Lemmer, eds., Elsevier Science, Amsterdam
-
A.C. Zimmer, What uncertainty judgements can tell about the underlying subjective probabilities, in: L.N. Kanal and J.F. Lemmer, eds., Uncertainty in Artificial Intelligence (Elsevier Science, Amsterdam, 1986) 249-258.
-
(1986)
Uncertainty in Artificial Intelligence
, pp. 249-258
-
-
Zimmer, A.C.1
-
235
-
-
0343968881
-
A fuzzy model for the accumulation of judgements by human experts
-
W. Karwowski and A. Mital, eds., Elsevier Science, Amsterdam
-
A.C. Zimmer, A fuzzy model for the accumulation of judgements by human experts, in: W. Karwowski and A. Mital, eds., Applications of Fuzzy Set Theory in Human Factors (Elsevier Science, Amsterdam, 1986).
-
(1986)
Applications of Fuzzy Set Theory in Human Factors
-
-
Zimmer, A.C.1
-
236
-
-
77956765862
-
A common framework for colloquial quantifiers and probability terms
-
T. Zétényi, ed., Elsevier Science, Amsterdam
-
A.C. Zimmer, A common framework for colloquial quantifiers and probability terms, in: T. Zétényi, ed., Fuzzy Sets in Psychology (Elsevier Science, Amsterdam, 1988) 73-89.
-
(1988)
Fuzzy Sets in Psychology
, pp. 73-89
-
-
Zimmer, A.C.1
-
237
-
-
77956740848
-
An empirical study of the integration of linguistic probabilities
-
T. Zétényi, ed., Elsevier Science, Amsterdam
-
R. Zwick, D.V. Budescu and T.S. Wallsten, An empirical study of the integration of linguistic probabilities, in: T. Zétényi, ed., Fuzzy Sets in Psychology (Elsevier Science, Amsterdam, 1988) 91-125.
-
(1988)
Fuzzy Sets in Psychology
, pp. 91-125
-
-
Zwick, R.1
Budescu, D.V.2
Wallsten, T.S.3
-
238
-
-
0024302101
-
Combining stochastic uncertainty and linguistic inexactness: Theory and experimental evaluation of four fuzzy probability models
-
R. Zwick and T.S. Wallsten, Combining stochastic uncertainty and linguistic inexactness: Theory and experimental evaluation of four fuzzy probability models, Internat. J. Man-Machine Studies 30 (1989) 69-111.
-
(1989)
Internat. J. Man-Machine Studies
, vol.30
, pp. 69-111
-
-
Zwick, R.1
Wallsten, T.S.2
|