-
1
-
-
1642443535
-
Representing the zoo world and the traffic world in the language of the causal calculator
-
Akman V., Erdogan S.T., Lee J., Lifschitz V., and Turner H. Representing the zoo world and the traffic world in the language of the causal calculator. Artificial Intelligence 153 1-2 (2004) 106-140
-
(2004)
Artificial Intelligence
, vol.153
, Issue.1-2
, pp. 106-140
-
-
Akman, V.1
Erdogan, S.T.2
Lee, J.3
Lifschitz, V.4
Turner, H.5
-
2
-
-
0010077706
-
A model of naive temporal reasoning
-
Formal Theories of the Commonsense World. Hobbs J., and Moore R.C. (Eds)
-
Allen J., and Kautz H.A. A model of naive temporal reasoning. In: Hobbs J., and Moore R.C. (Eds). Formal Theories of the Commonsense World. Ablex Series in Artificial Intelligence (1985) 251-268
-
(1985)
Ablex Series in Artificial Intelligence
, pp. 251-268
-
-
Allen, J.1
Kautz, H.A.2
-
3
-
-
33646062878
-
The nomore++ system
-
Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'05). Baral C., Greco G., Leone N., and Terracina G. (Eds). Diamante, Italy, Springer-Verlag, Berlin
-
Anger C., Gebser M., Linke T., Neumann A., and Schaub T. The nomore++ system. In: Baral C., Greco G., Leone N., and Terracina G. (Eds). Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'05). Diamante, Italy. LNAI vol. 3662 (2005), Springer-Verlag, Berlin 422-426
-
(2005)
LNAI
, vol.3662
, pp. 422-426
-
-
Anger, C.1
Gebser, M.2
Linke, T.3
Neumann, A.4
Schaub, T.5
-
4
-
-
67449132893
-
A comparative study of six formal models of causal ascription
-
Proceedings of the 2nd International Conference on Scalable Uncertainty Management. Greco S., and Lukasiewicz T. (Eds). Naples, Italy, Springer-Verlag, Berlin
-
Benferhat S., et al. A comparative study of six formal models of causal ascription. In: Greco S., and Lukasiewicz T. (Eds). Proceedings of the 2nd International Conference on Scalable Uncertainty Management. Naples, Italy. LNAI vol. 5291 (2008), Springer-Verlag, Berlin 47-62
-
(2008)
LNAI
, vol.5291
, pp. 47-62
-
-
Benferhat, S.1
-
5
-
-
1642566172
-
A unifying semantics for time and events
-
Bennett B., and Galton A.P. A unifying semantics for time and events. Artificial Intelligence 153 1-2 (2004) 13-48
-
(2004)
Artificial Intelligence
, vol.153
, Issue.1-2
, pp. 13-48
-
-
Bennett, B.1
Galton, A.P.2
-
7
-
-
0000895124
-
Natural Language input for a computer problem solving system
-
Minsky M. (Ed), The MIT Press
-
Bobrow D.G. Natural Language input for a computer problem solving system. In: Minsky M. (Ed). Semantic Information Processing (1967), The MIT Press 133-215
-
(1967)
Semantic Information Processing
, pp. 133-215
-
-
Bobrow, D.G.1
-
8
-
-
0032629964
-
Norms in artificial decision-making
-
Boman M. Norms in artificial decision-making. Artificial Intelligence and Law 7 1 (1999) 17-35
-
(1999)
Artificial Intelligence and Law
, vol.7
, Issue.1
, pp. 17-35
-
-
Boman, M.1
-
9
-
-
67449124873
-
Vers la construction de descriptions argumentées d'un accident de la route: analyse de diverses stratégies argumentatives
-
available online at
-
Boutouhami S., and Kayser D. Vers la construction de descriptions argumentées d'un accident de la route: analyse de diverses stratégies argumentatives. Corela 6 1 (2008). http://edel.univ-poitiers.fr/corela/document.php?id=1887 available online at
-
(2008)
Corela
, vol.6
, Issue.1
-
-
Boutouhami, S.1
Kayser, D.2
-
11
-
-
0026188535
-
Cumulative default logic: in defense of nonmonotonic inference rules
-
Brewka G. Cumulative default logic: in defense of nonmonotonic inference rules. Artificial Intelligence 50 2 (1991) 183-205
-
(1991)
Artificial Intelligence
, vol.50
, Issue.2
, pp. 183-205
-
-
Brewka, G.1
-
12
-
-
15244354496
-
Extracting causation knowledge from natural language texts
-
Chan K., and Lam W. Extracting causation knowledge from natural language texts. International Journal of Intelligent Systems 20 (2005) 327-358
-
(2005)
International Journal of Intelligent Systems
, vol.20
, pp. 327-358
-
-
Chan, K.1
Lam, W.2
-
14
-
-
67449152974
-
Les systèmes-Q, un formalisme pour analyser et synthétiser des phrases sur ordinateur
-
publication n°43, département d'Informatique de l'Université de Montréal 1970 (reprinted in )
-
Colmerauer A. Les systèmes-Q, un formalisme pour analyser et synthétiser des phrases sur ordinateur. publication n°43, département d'Informatique de l'Université de Montréal 1970 (reprinted in. TAL 33 1-2 (1992) 105-148 )
-
(1992)
TAL
, vol.33
, Issue.1-2
, pp. 105-148
-
-
Colmerauer, A.1
-
15
-
-
0021577685
-
A qualitative physics based on confluence
-
De Kleer J., and Brown J.S. A qualitative physics based on confluence. Artificial Intelligence 24 1-3 (1986) 7-83
-
(1986)
Artificial Intelligence
, vol.24
, Issue.1-3
, pp. 7-83
-
-
De Kleer, J.1
Brown, J.S.2
-
16
-
-
0024065845
-
An approach to default reasoning based on a first-order conditional logic
-
Delgrande J.P. An approach to default reasoning based on a first-order conditional logic. Artificial Intelligence 36 1 (1988) 63-90
-
(1988)
Artificial Intelligence
, vol.36
, Issue.1
, pp. 63-90
-
-
Delgrande, J.P.1
-
17
-
-
4544335412
-
From desires, obligations and norms to goals
-
Dignum F., Kinny D., and Sonenberg L. From desires, obligations and norms to goals. Cognitive Science Quarterly 2 3-4 (2002) 405-427
-
(2002)
Cognitive Science Quarterly
, vol.2
, Issue.3-4
, pp. 405-427
-
-
Dignum, F.1
Kinny, D.2
Sonenberg, L.3
-
18
-
-
67449162325
-
Modeling the role of (ab)normality in the ascription of causality judgments by agents
-
Edinburgh, Scotland
-
D. Dubois, H. Prade, Modeling the role of (ab)normality in the ascription of causality judgments by agents, in: Proceedings of IJCAI-05 Workshop on Nonmonotonic Reasoning, Action, and Change, Edinburgh, Scotland, 2005, pp. 22-27
-
(2005)
Proceedings of IJCAI-05 Workshop on Nonmonotonic Reasoning, Action, and Change
, pp. 22-27
-
-
Dubois, D.1
Prade, H.2
-
20
-
-
0023129293
-
Formalizing nonmonotonic reasoning systems
-
Etherington D.W. Formalizing nonmonotonic reasoning systems. Artificial Intelligence 31 1 (1987) 41-85
-
(1987)
Artificial Intelligence
, vol.31
, Issue.1
, pp. 41-85
-
-
Etherington, D.W.1
-
22
-
-
77951505493
-
Classical negation in logic programs and disjunctive databases
-
Gelfond M., and Lifschitz V. Classical negation in logic programs and disjunctive databases. New Generation Computing 9 3-4 (1991) 363-385
-
(1991)
New Generation Computing
, vol.9
, Issue.3-4
, pp. 363-385
-
-
Gelfond, M.1
Lifschitz, V.2
-
23
-
-
0024048271
-
Reasoning about action II: the qualification problem
-
Ginsberg M.L., and Smith D.E. Reasoning about action II: the qualification problem. Artificial Intelligence 35 3 (1988) 311-342
-
(1988)
Artificial Intelligence
, vol.35
, Issue.3
, pp. 311-342
-
-
Ginsberg, M.L.1
Smith, D.E.2
-
24
-
-
2942693734
-
Conditional logic of actions and causation
-
Giordano L., and Schwind C. Conditional logic of actions and causation. Artificial Intelligence 157 1-2 (2004) 239-279
-
(2004)
Artificial Intelligence
, vol.157
, Issue.1-2
, pp. 239-279
-
-
Giordano, L.1
Schwind, C.2
-
25
-
-
1642484543
-
Nonmonotonic causal theories
-
Giunchiglia E., Lee J., Lifschitz V., McCain N., and Turner H. Nonmonotonic causal theories. Artificial Intelligence 153 1-2 (2004) 49-104
-
(2004)
Artificial Intelligence
, vol.153
, Issue.1-2
, pp. 49-104
-
-
Giunchiglia, E.1
Lee, J.2
Lifschitz, V.3
McCain, N.4
Turner, H.5
-
26
-
-
22344449238
-
BASEBALL: An automatic question answerer
-
Feigenbaum E.A., and Feldman J. (Eds), The MIT Press
-
Green B., Wolf A.K., Chomsky C., and Laughery K. BASEBALL: An automatic question answerer. In: Feigenbaum E.A., and Feldman J. (Eds). Computers and Thought (1963), The MIT Press 207-216
-
(1963)
Computers and Thought
, pp. 207-216
-
-
Green, B.1
Wolf, A.K.2
Chomsky, C.3
Laughery, K.4
-
28
-
-
67449111468
-
Verbes supports et conjugaison nominale
-
Gross G. Verbes supports et conjugaison nominale. Revue d'Etudes Francophones 9 (1999) 70-92
-
(1999)
Revue d'Etudes Francophones
, vol.9
, pp. 70-92
-
-
Gross, G.1
-
29
-
-
67449147649
-
Causal reasoning in practice - how causal assumptions affect explanations, inferences and decision making
-
Vosniadou S., Kayser D., and Protopapas A. (Eds). Delphi, Greece, Lawrence Erlbaum Ass.
-
Hagmayer Y., and Hilton D. Causal reasoning in practice - how causal assumptions affect explanations, inferences and decision making. In: Vosniadou S., Kayser D., and Protopapas A. (Eds). Proceedings of EuroCogSci. 07. Delphi, Greece (2007), Lawrence Erlbaum Ass. 40
-
(2007)
Proceedings of EuroCogSci. 07
, pp. 40
-
-
Hagmayer, Y.1
Hilton, D.2
-
30
-
-
29144510111
-
Causes and explanations: a structural-model approach. Part I: Causes
-
and Part II: Explanations
-
Halpern J.Y., and Pearl J. Causes and explanations: a structural-model approach. Part I: Causes. British Journal for Philosophy of Science 56 4 (2005) 843-887 and Part II: Explanations
-
(2005)
British Journal for Philosophy of Science
, vol.56
, Issue.4
, pp. 843-887
-
-
Halpern, J.Y.1
Pearl, J.2
-
31
-
-
29144510111
-
Causes and explanations: a structural-model approach. Part I: Causes
-
Halpern J.Y., and Pearl J. Causes and explanations: a structural-model approach. Part I: Causes. British Journal for Philosophy of Science 56 4 (2005) 889-911
-
(2005)
British Journal for Philosophy of Science
, vol.56
, Issue.4
, pp. 889-911
-
-
Halpern, J.Y.1
Pearl, J.2
-
32
-
-
33747890590
-
The course of events: counterfactuals, causal sequences and explanation
-
Mandel D., Hilton D.J., and Catellani P. (Eds), The Psychology Press, London
-
Hilton D.J., McClure J.L., and Slugoski B.R. The course of events: counterfactuals, causal sequences and explanation. In: Mandel D., Hilton D.J., and Catellani P. (Eds). The Psychology of Counterfactual Thinking (2005), The Psychology Press, London 44-73
-
(2005)
The Psychology of Counterfactual Thinking
, pp. 44-73
-
-
Hilton, D.J.1
McClure, J.L.2
Slugoski, B.R.3
-
35
-
-
33750688964
-
Automatic text-to-scene conversion in the traffic accident domain
-
IJCAI, Edinburgh, Scotland
-
R. Johanson, A. Berglund, M. Danielsson, P. Nugues, Automatic text-to-scene conversion in the traffic accident domain, in: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI), Edinburgh, Scotland, 2005, pp. 1073-1078
-
(2005)
Proceedings of the 19th International Joint Conference on Artificial Intelligence
, pp. 1073-1078
-
-
Johanson, R.1
Berglund, A.2
Danielsson, M.3
Nugues, P.4
-
38
-
-
10044271701
-
-
Vrin (coll.Mathesis), Paris (English version: Causation and Laws of Nature
-
Kistler M. Causalité et lois de la nature (1999), Vrin (coll.Mathesis), Paris (English version: Causation and Laws of Nature
-
(1999)
Causalité et lois de la nature
-
-
Kistler, M.1
-
39
-
-
67449123862
-
-
Routledge, London )
-
Kistler M. Causalité et lois de la nature (2006), Routledge, London )
-
(2006)
-
-
Kistler, M.1
-
40
-
-
0025462359
-
Non-monotonic reasoning, preferential models, and cumulative logics
-
Kraus S., Lehmann D., and Magidor M. Non-monotonic reasoning, preferential models, and cumulative logics. Artificial Intelligence 44 1-2 (1990) 167-207
-
(1990)
Artificial Intelligence
, vol.44
, Issue.1-2
, pp. 167-207
-
-
Kraus, S.1
Lehmann, D.2
Magidor, M.3
-
41
-
-
0026867827
-
What does a conditional knowledge base entail?
-
Lehmann D., and Magidor M. What does a conditional knowledge base entail?. Artificial Intelligence 55 1 (1992) 1-60
-
(1992)
Artificial Intelligence
, vol.55
, Issue.1
, pp. 1-60
-
-
Lehmann, D.1
Magidor, M.2
-
43
-
-
33745244351
-
The DLV system for knowledge representation and reasoning
-
Leone N., Pfeifer G., Faber W., Eiter T., Gottlob G., Perri S., and Scarcello F. The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic 7 3 (2006) 499-562
-
(2006)
ACM Transactions on Computational Logic
, vol.7
, Issue.3
, pp. 499-562
-
-
Leone, N.1
Pfeifer, G.2
Faber, W.3
Eiter, T.4
Gottlob, G.5
Perri, S.6
Scarcello, F.7
-
45
-
-
9444283782
-
Cmodels-2: Sat-based answer set solver enhanced to non-tight programs
-
Proceedings of the 7th International Conference on Logic Programming and NonMonotonic Reasoning (LPNMR'04). Lifshitz V., and Niemelä I. (Eds). Fort Lauderdale, USA, Springer-Verlag, Berlin
-
Lierler Y., and Maratea M. Cmodels-2: Sat-based answer set solver enhanced to non-tight programs. In: Lifshitz V., and Niemelä I. (Eds). Proceedings of the 7th International Conference on Logic Programming and NonMonotonic Reasoning (LPNMR'04). Fort Lauderdale, USA. LNAI vol. 2923 (2004), Springer-Verlag, Berlin 346-350
-
(2004)
LNAI
, vol.2923
, pp. 346-350
-
-
Lierler, Y.1
Maratea, M.2
-
48
-
-
0014638440
-
Some philosophical problems from the standpoint of artificial intelligence
-
Melzer B., and Michie D. (Eds), Edinburgh University Press
-
McCarthy J., and Hayes P.J. Some philosophical problems from the standpoint of artificial intelligence. In: Melzer B., and Michie D. (Eds). Machine Intelligence vol. 4 (1969), Edinburgh University Press 463-502
-
(1969)
Machine Intelligence
, vol.4
, pp. 463-502
-
-
McCarthy, J.1
Hayes, P.J.2
-
49
-
-
0001445808
-
A temporal logic for reasoning about processes and plans
-
McDermott D.V. A temporal logic for reasoning about processes and plans. Cognitive Science 6 (1982) 101-155
-
(1982)
Cognitive Science
, vol.6
, pp. 101-155
-
-
McDermott, D.V.1
-
50
-
-
0003947689
-
-
McNamara P., and Prakken H. (Eds), IOS Press
-
In: McNamara P., and Prakken H. (Eds). Norms, Logics and Information Systems, New Studies in Deontic Logic and Computer Science. Frontiers in Artificial Intelligence and Applications vol. 49 (1999), IOS Press
-
(1999)
Frontiers in Artificial Intelligence and Applications
, vol.49
-
-
-
51
-
-
0003015874
-
A framework for representing knowledge
-
A.I. Memo 306, M.I.T., 1974 (reprinted. Winston P.H. (Ed), McGraw Hill )
-
Minsky M. A framework for representing knowledge. A.I. Memo 306, M.I.T., 1974 (reprinted. In: Winston P.H. (Ed). The Psychology of Computer Vision (1975), McGraw Hill 211-277 )
-
(1975)
The Psychology of Computer Vision
, pp. 211-277
-
-
Minsky, M.1
-
53
-
-
0004246788
-
-
Thomason R. (Ed), Yale University Press
-
Montague R. In: Thomason R. (Ed). Formal Philosophy (1974), Yale University Press
-
(1974)
Formal Philosophy
-
-
Montague, R.1
-
56
-
-
85187721178
-
Using answer set programming in an inference-based approach to natural language semantics
-
Buxton, England
-
F. Nouioua, P. Nicolas, Using answer set programming in an inference-based approach to natural language semantics, in: Proceedings of the 5th International Workshop on Inference in Computational Semantics (ICoS-5), Buxton, England, 2006, pp. 77-86
-
(2006)
Proceedings of the 5th International Workshop on Inference in Computational Semantics (ICoS-5)
, pp. 77-86
-
-
Nouioua, F.1
Nicolas, P.2
-
58
-
-
49149147322
-
A logic for default reasoning
-
Reiter R. A logic for default reasoning. Artificial Intelligence 13 1-2 (1980) 81-132
-
(1980)
Artificial Intelligence
, vol.13
, Issue.1-2
, pp. 81-132
-
-
Reiter, R.1
-
59
-
-
0019647894
-
On interacting defaults
-
Vancouver, Canada, pp
-
R. Reiter, G. Criscuolo, On interacting defaults, in: Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI), Vancouver, Canada, pp. 270-276
-
Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI)
, pp. 270-276
-
-
Reiter, R.1
Criscuolo, G.2
-
60
-
-
0004016411
-
-
Lawrence Erlbaum Ass., Hillsdale
-
Schank R.C., and Abelson R.P. Scripts, Plans, Goals and Understanding (1977), Lawrence Erlbaum Ass., Hillsdale
-
(1977)
Scripts, Plans, Goals and Understanding
-
-
Schank, R.C.1
Abelson, R.P.2
-
61
-
-
84867811721
-
The Smodels systems
-
Vienna, Austria
-
T. Syrjaänen, I. Niemelä, The Smodels systems, in: Proceedings of the 6th International Conference on Logic Programming and NonMonotonic Reasoning (LPNMR'01), Vienna, Austria, 2001, pp. 434-438
-
(2001)
Proceedings of the 6th International Conference on Logic Programming and NonMonotonic Reasoning (LPNMR'01)
, pp. 434-438
-
-
Syrjaänen, T.1
Niemelä, I.2
-
62
-
-
33746182034
-
Special issue "Approches sémantiques"
-
TAL. Special issue "Approches sémantiques". Traitement Automatique des Langues 35 1 (1994)
-
(1994)
Traitement Automatique des Langues
, vol.35
, Issue.1
-
-
TAL1
-
63
-
-
0030712507
-
Ramification and causality
-
Thielscher M. Ramification and causality. Artificial Intelligence 89 1-2 (1997) 317-364
-
(1997)
Artificial Intelligence
, vol.89
, Issue.1-2
, pp. 317-364
-
-
Thielscher, M.1
-
64
-
-
0003468437
-
-
Routledge & Kegan Paul also available at
-
Von Wright G.H. Norm and Action: A Logical Enquiry (1963), Routledge & Kegan Paul. http://www.giffordlectures.org/Browse.asp?PubID=TPNORM also available at
-
(1963)
Norm and Action: A Logical Enquiry
-
-
Von Wright, G.H.1
-
65
-
-
0032139179
-
Natural language understanding in road accident data analysis
-
Wu J., and Heydecker B.G. Natural language understanding in road accident data analysis. Advances in Engineering Software 29 7-9 (1998) 599-610
-
(1998)
Advances in Engineering Software
, vol.29
, Issue.7-9
, pp. 599-610
-
-
Wu, J.1
Heydecker, B.G.2
|