-
5
-
-
0039149034
-
-
Cambridge University Press, Cambridge, MA
-
G. Brewka, Common-Sense Reasoning, Cambridge University Press, Cambridge, MA, 1991.
-
(1991)
Common-Sense Reasoning
-
-
Brewka, G.1
-
9
-
-
0021509216
-
Linear time algorithms for testing the satisfiability of propositional hornformulae
-
Dowling W., Gallier J. Linear time algorithms for testing the satisfiability of propositional hornformulae. Journal of Logic Programming. 3:1984;267-284.
-
(1984)
Journal of Logic Programming
, vol.3
, pp. 267-284
-
-
Dowling, W.1
Gallier, J.2
-
10
-
-
0029352639
-
Argumentative logics: Reasoning from classically in consistent in formation
-
Elvang-Goransson M., Hunter A. Argumentative logics: Reasoning from classically in consistent in formation. Data and Knowledge Engineering Journal. 16:1995;125-145.
-
(1995)
Data and Knowledge Engineering Journal
, vol.16
, pp. 125-145
-
-
Elvang-Goransson, M.1
Hunter, A.2
-
11
-
-
0003750418
-
-
- Non-monotonic Reasoning and Uncertainty Reasoning, Oxford University Press, Oxford
-
D. Gabbay, C. Hogger, J. Robinson, Handbook of Logic in Artificial Intelligence and Logic Programming, vol.3 - Non-monotonic Reasoning and Uncertainty Reasoning, Oxford University Press, Oxford, 1994.
-
(1994)
Handbook of Logic in Artificial Intelligence and Logic Programming
, vol.3
-
-
Gabbay, D.1
Hogger, C.2
Robinson, J.3
-
12
-
-
0009438958
-
Background and perspectives of possibilistic graphical models
-
in: A. Hunter, S. Parsons (Eds.) Springer, Berlin
-
J. Gebhardt, R. Kruse, Background and perspectives of possibilistic graphical models, in: A. Hunter, S. Parsons (Eds.), Applications of Uncertainty Formalisms, Lecture Notes in Computer Science, Springer, Berlin, 1998.
-
(1998)
Applications of Uncertainty Formalisms, Lecture Notes in Computer Science
-
-
Gebhardt, J.1
Kruse, R.2
-
13
-
-
1642348696
-
A formal framework for causal modelling and argumentation
-
in: D. Gabbay, H.J. Ohlbach (Eds.) Springer, Berlin
-
H. Geffner, A formal framework for causal modelling and argumentation , in: D. Gabbay, H.J. Ohlbach (Eds.), Practical Reasoning, number 1085 Lecture Notes in Computer Science, Springer, Berlin, 1996.
-
(1996)
Practical Reasoning, Number 1085 Lecture Notes in Computer Science
-
-
Geffner, H.1
-
14
-
-
0003246170
-
Information extraction techniques and challenges
-
in: 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
-
16
-
-
0008802086
-
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)
In: Qualitative and Quantitative Practical Reasoning, Vol. 1244 of Lecture Notes in Computer Science
, pp. 86-95
-
-
Hunter, A.1
-
19
-
-
84947911143
-
Defining normative systems for qualitative argumentation
-
in: D. Gabbay, H.J. Ohlbach (Eds.)
-
S. Parsons, Defining normative systems for qualitative argumentation, in: D. Gabbay, H.J. Ohlbach (Eds.), Practical Reasoning, Lecture Notes in Computer Science, vol. 1085, 1996.
-
(1996)
Practical Reasoning, Lecture Notes in Computer Science
, vol.1085
-
-
Parsons, S.1
-
23
-
-
0003342583
-
Modelling argumentation in logic
-
in: D. Gabbay (Ed.) Kluwer Academic Publishers, Dordrecht
-
H. Prakken, G. Vreeswijk, Modelling argumentation in logic, in: D. Gabbay (Ed.), Handbook of Philosophical Logic, Kluwer Academic Publishers, Dordrecht, 1999.
-
(1999)
Handbook of Philosophical Logic
-
-
Prakken, H.1
Vreeswijk, G.2
-
25
-
-
0342401360
-
-
Springer, Berlin
-
T. Schaub, The Automation of Reasoning with Incomplete Information, Lecture Notes in Artificial Intelligence, vol. 1409, Springer, Berlin, 1998.
-
(1998)
The Automation of Reasoning with Incomplete Information, Lecture Notes in Artificial Intelligence
, vol.1409
-
-
Schaub, T.1
-
26
-
-
44849093217
-
Defeasible logics
-
Kluwer Academic Publishers, Dordrecht
-
D. Vermier, E. Laenens, P. Geerts, Defeasible logics, in: Handbook of Defeasible Reasoning and Uncertainty Management, vol. 3, Kluwer Academic Publishers, Dordrecht, 1998.
-
(1998)
In: Handbook of Defeasible Reasoning and Uncertainty Management
, vol.3
-
-
Vermier, D.1
Laenens, E.2
Geerts, P.3
-
27
-
-
0009352972
-
Qualitative probabilisitc networks for planning under uncertainty
-
in: J. Lemmer, L. Kanal (Eds.) Elsevier, Amsterdam
-
M. Wellman, Qualitative probabilisitc networks for planning under uncertainty, in: J. Lemmer, L. Kanal (Eds.), Uncertainty in Artificial Intelligence, vol. 2, Elsevier, Amsterdam, 1988.
-
(1988)
Uncertainty in Artificial Intelligence
, vol.2
-
-
Wellman, M.1
|