-
3
-
-
0000128393
-
On the logic of theory change:partial meet contraction and revision functions
-
C. Alchourrón, P. Gärdenfors, D. Makinson, On the logic of theory change:partial meet contraction and revision functions, J. Symbolic Logic 50 (1985) 510-520.
-
(1985)
J. Symbolic Logic
, vol.50
, pp. 510-520
-
-
Alchourrón, C.1
Gärdenfors, P.2
Makinson, D.3
-
5
-
-
0343053396
-
Beyond XML query languages
-
P. Buneman, A. Deutsch, W. Fan, H. Liefke, A. Sahuguet, W.-C. Tan, Beyond XML query languages, in:Proceedings of the Query Language Workshop (QL'98), 1998.
-
(1998)
Proceedings of the Query Language Workshop (QL'98)
-
-
Buneman, P.1
Deutsch, A.2
Fan, W.3
Liefke, H.4
Sahuguet, A.5
Tan, W.-C.6
-
6
-
-
0002892424
-
Argumentative inference in uncertain and inconsistent knowledge bases
-
Morgan Kaufmann, Los Altos
-
S. Benferhat, D. Dubois, H. Prade, Argumentative inference in uncertain and inconsistent knowledge bases, in:Proceedings of the 9th Conference on Uncertainty in Artificial Intelligence, Morgan Kaufmann, Los Altos, 1993, pp. 411-419.
-
(1993)
Proceedings of the 9th Conference on Uncertainty in Artificial Intelligence
, pp. 411-419
-
-
Benferhat, S.1
Dubois, D.2
Prade, H.3
-
7
-
-
84957701408
-
A logical approach to reasoning under inconsistency in stratified knowledge bases
-
Springer, Berlin
-
S. Benferhat, D. Dubois, H. Prade, A logical approach to reasoning under inconsistency in stratified knowledge bases, in: Symbolic and Quantitative Approaches to Reasoning and Uncertainty, vol. 956 of Lecture Notes in Computer Science, Springer, Berlin, 1995, pp. 36-43.
-
(1995)
Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Vol. 956 of Lecture Notes in Computer Science
, vol.956
, pp. 36-43
-
-
Benferhat, S.1
Dubois, D.2
Prade, H.3
-
8
-
-
84990602723
-
Combining knowledgebases of consisting of first-order theories
-
C. Baral, S. Kraus, J. Minker, V. Subrahmanian, Combining knowledgebases of consisting of first-order theories, Comput. Intelligence 8 (1992) 45-71.
-
(1992)
Comput. Intelligence
, vol.8
, pp. 45-71
-
-
Baral, C.1
Kraus, S.2
Minker, J.3
Subrahmanian, V.4
-
11
-
-
84947720060
-
Information fusion in logic: A brief overview
-
D. Gabbay, R. Kruse, A. Nonnengart, H.-J. Ohlbach (Eds.), Springer, Berlin
-
L. Cholvy, A. Hunter, Information fusion in logic: a brief overview, in: D. Gabbay, R. Kruse, A. Nonnengart, H.-J. Ohlbach (Eds.), Symbolic and Quantitative Approaches to Uncertainty (ECSQARU'97) Lecture Notes in Computer Science, Springer, Berlin, 1997, pp. 86-95.
-
(1997)
Symbolic and Quantitative Approaches to Uncertainty (ECSQARU'97) Lecture Notes in Computer Science
, pp. 86-95
-
-
Cholvy, L.1
Hunter, A.2
-
12
-
-
0029757055
-
Information extraction
-
J. Cowie, W. Lehnert, Information extraction, Commun. ACM 39 (1996) 81-91.
-
(1996)
Commun. ACM
, vol.39
, pp. 81-91
-
-
Cowie, J.1
Lehnert, W.2
-
13
-
-
0003231304
-
A web-based information system that reasons with structured collections of text
-
W. Cohen, A web-based information system that reasons with structured collections of text, in: Proceedings of Autonomous Agents'98 1998.
-
(1998)
Proceedings of Autonomous Agents'98
-
-
Cohen, W.1
-
14
-
-
84988820761
-
Management of preferences in assumption based reasoning
-
Springer, Berlin
-
C. Cayrol, V. Royer, C. Saurel, Management of preferences in assumption based reasoning, in: Information Processing and the Management of Uncertainty in Knowledge based Systems (IPMU'92), volume 682 of Lecture Notes in Computer Science, Springer, Berlin, 1993.
-
(1993)
Information Processing and the Management of Uncertainty in Knowledge Based Systems (IPMU'92), Volume 682 of Lecture Notes in Computer Science
, vol.682
-
-
Cayrol, C.1
Royer, V.2
Saurel, C.3
-
15
-
-
0030712510
-
On the logic of iterated belief revision
-
A. Darwiche, J. Pearl, On the logic of iterated belief revision, Artificial Intelligence 89 (1997) 1-29.
-
(1997)
Artificial Intelligence
, vol.89
, pp. 1-29
-
-
Darwiche, A.1
Pearl, J.2
-
16
-
-
0003968994
-
-
Kluwer Academic Publishers, Dordrecht
-
D. Dubois, H. Prade (Eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 3, Kluwer Academic Publishers, Dordrecht, 1998.
-
(1998)
Handbook of Defeasible Reasoning and Uncertainty Management Systems
, vol.3
-
-
Dubois, D.1
Prade, H.2
-
17
-
-
0029352639
-
Argumentative logics: Reasoning from classically inconsistent information
-
M. Elvang-Goransson, A. Hunter, Argumentative logics: reasoning from classically inconsistent information, Data and Knowledge Engrg. 16 (1995) 125-145.
-
(1995)
Data and Knowledge Engrg.
, vol.16
, pp. 125-145
-
-
Elvang-Goransson, M.1
Hunter, A.2
-
19
-
-
0343053393
-
A methodology for iterated theory change
-
Springer, Berlin
-
D. Gabbay, O. Rodrigues, A methodology for iterated theory change, in: Practical Reasoning, vol. 1085 of Lecture Notes in Computer Science, Springer, Berlin, 1996.
-
(1996)
Practical Reasoning, Vol. 1085 of Lecture Notes in Computer Science
, vol.1085
-
-
Gabbay, D.1
Rodrigues, O.2
-
20
-
-
0343489295
-
Structures belief bases:A practical approach to prioritized base revision
-
Springer, Berlin
-
D. Gabbay, O. Rodrigues, Structures belief bases:A practical approach to prioritized base revision, in: Qualitative and Quantitative Practical Reasoning, vol. 1244 of Lecture Notes in Computer Science, Springer, Berlin, 1997.
-
(1997)
Qualitative and Quantitative Practical Reasoning, Vol. 1244 of Lecture Notes in Computer Science
, vol.1244
-
-
Gabbay, D.1
Rodrigues, O.2
-
21
-
-
0003246170
-
Information extraction techniques and challenges
-
M. Pazienza (Ed.), Springer, Berlin
-
R. Grishman, Information extraction techniques and challenges, in:M. Pazienza (Ed.), Information Extraction, Springer, Berlin, 1997.
-
(1997)
Information Extraction
-
-
Grishman, R.1
-
22
-
-
0031161954
-
Template-based wrappers in the TSIMMIS System
-
ACM, New York
-
J. Hammer, H. Garcia-Molina, S. Nestorov, R. Yerneni, Template-based wrappers in the TSIMMIS System, in: Proceedings of ACM SIGMOD'97, ACM, New York, 1997.
-
(1997)
Proceedings of ACM SIGMOD'97
-
-
Hammer, J.1
Garcia-Molina, H.2
Nestorov, S.3
Yerneni, R.4
-
24
-
-
84947777704
-
Using Default Logic for lexical knowledge
-
Springer, Berlin
-
A. Hunter, Using Default Logic for lexical knowledge, in:Qualitative and Quantitative Practical Reasoning, vol. 1244 of Lecture Notes in Computer Science, Springer, Berlin, 1997, pp. 86-95.
-
(1997)
Qualitative and Quantitative Practical Reasoning, Vol. 1244 of Lecture Notes in Computer Science
, vol.1244
, pp. 86-95
-
-
Hunter, A.1
-
25
-
-
0002575120
-
Paraconsistent logics
-
D. Gabbay, Ph. Smets (Eds.), Kluwer Academic Publishers, Dordrecht
-
A. Hunter, Paraconsistent logics, in:D. Gabbay, Ph. Smets (Eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 2, Kluwer Academic Publishers, Dordrecht, 1998, pp. 11-36.
-
(1998)
Handbook of Defeasible Reasoning and Uncertainty Management Systems
, vol.2
, pp. 11-36
-
-
Hunter, A.1
-
27
-
-
0033640808
-
Ramification analysis using causal mapping
-
A. Hunter, Ramification analysis using causal mapping, Data and Knowledge Engrg. 32 (2000) 1-27.
-
(2000)
Data and Knowledge Engrg.
, vol.32
, pp. 1-27
-
-
Hunter, A.1
-
28
-
-
0034438037
-
Reasoning with inconsistency in structured text
-
in press
-
A. Hunter, Reasoning with inconsistency in structured text, Knowledge Engineering Review, 2000 (in press).
-
Knowledge Engineering Review
, vol.2000
-
-
Hunter, A.1
-
30
-
-
0002498396
-
On the difference between updating a knowledgebase and revising it
-
Morgan Kaufmann, Los Altos
-
H. Katsuno, A. Mendelzon, On the difference between updating a knowledgebase and revising it, in: Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference (KR'91), Morgan Kaufmann, Los Altos, 1991, pp. 387-394.
-
(1991)
Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference (KR'91)
, pp. 387-394
-
-
Katsuno, H.1
Mendelzon, A.2
-
31
-
-
0002741286
-
On the logic of merging
-
Morgan Kaufmann, Los Altos
-
S. Konieczny, R. Pino Perez, On the logic of merging, in:Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Morgan Kaufmann, Los Altos, 1998, pp. 488-498.
-
(1998)
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98)
, pp. 488-498
-
-
Konieczny, S.1
Pino Perez, R.2
-
32
-
-
84947941914
-
Merging with integrity constraints
-
Springer, Berlin
-
S. Konieczny, R. Pino Perez, Merging with integrity constraints, in: Qualitative and Quantative Approaches to Reasoning and Uncertainty, vol. 1638 of Lecture Notes in Computer Science, Springer, Berlin, 1999.
-
(1999)
Qualitative and Quantative Approaches to Reasoning and Uncertainty, Vol. 1638 of Lecture Notes in Computer Science
, vol.1638
-
-
Konieczny, S.1
Pino Perez, R.2
-
34
-
-
0029410109
-
CYC:A large-scale investment in knowledge infrastructure
-
D. Lenat, CYC:A large-scale investment in knowledge infrastructure, Commun. ACM 38 (1995) 33-38.
-
(1995)
Commun. ACM
, vol.38
, pp. 33-38
-
-
Lenat, D.1
-
36
-
-
84976702763
-
WordNet:A lexical database for english
-
G. Miller, WordNet:A lexical database for english, Commun. ACM 38 (11) (1995) 39-41.
-
(1995)
Commun. ACM
, vol.38
, Issue.11
, pp. 39-41
-
-
Miller, G.1
-
37
-
-
0000482243
-
On inferences from inconsistent information
-
R. Manor, N. Rescher, On inferences from inconsistent information, Theory and Decision 1 (1970) 179-219.
-
(1970)
Theory and Decision
, vol.1
, pp. 179-219
-
-
Manor, R.1
Rescher, N.2
-
38
-
-
85031549956
-
-
Institute for Logic, Language and Computation, Amsterdam
-
C. Monz, M. DeRijke (Eds.), Proceedings of the First International Workshop on Inference in Computational Semantics, Institute for Logic, Language and Computation, Amsterdam, 1999.
-
(1999)
Proceedings of the First International Workshop on Inference in Computational Semantics
-
-
Monz, C.1
DeRijke, M.2
-
44
-
-
0003676026
-
-
MIT Press, Cambridge
-
Y. Wilks, B. Slator, L. Guthrie, Electric Words: Dictionaries Computers and Meanings, MIT Press, Cambridge, 1996.
-
(1996)
Electric Words: Dictionaries Computers and Meanings
-
-
Wilks, Y.1
Slator, B.2
Guthrie, L.3
|