-
1
-
-
0008806977
-
A Logic for Representing and Reasoning with Statistical Knowledge
-
[1] Fahiem Bacchus. LP, a Logic for Representing and Reasoning with Statistical Knowledge. Computational Intelligence, 6:209-231, 1990.
-
(1990)
Computational Intelligence
, vol.6
, pp. 209-231
-
-
Bacchus, F.1
-
2
-
-
0029678885
-
Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences
-
[2] Gerhard Brewka. Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences. Journal of Articficial Intelligence Research, 4:19-36, 1996.
-
(1996)
Journal of Articficial Intelligence Research
, vol.4
, pp. 19-36
-
-
Brewka, G.1
-
3
-
-
84940367366
-
Disjunctive Logic Programs with Inheritance
-
In Danny De Schreye, editor, Las Cruces, New Mexico, USA, The MIT Press
-
[3] Francesco Buccafurri, Wolfgang Faber, and Nicola Leone. Disjunctive Logic Programs with Inheritance. In Danny De Schreye, editor, International Conference on Logic Programming (ICLP), pages 79-93, Las Cruces, New Mexico, USA, 1999. The MIT Press.
-
(1999)
International Conference on Logic Programming (ICLP)
, pp. 79-93
-
-
Buccafurri, F.1
Faber, W.2
Leone, N.3
-
4
-
-
84956866994
-
Choice Logic Programs and Nash Equilibria in Strategic Games
-
In J¨org Flum and Mario Rodríguez-Artalejo, editors, Spain, Springer Verslag
-
[4] Marina De Vos and Dirk Vermeir. Choice Logic Programs and Nash Equilibria in Strategic Games. In J¨org Flum and Mario Rodríguez-Artalejo, editors, Computer Science Logic (CSL’99), volume 1683 of Lecture Notes in Computer Science, pages 266-276, Madrid, Spain, 1999. Springer Verslag.
-
(1999)
Computer Science Logic (CSL’99)
, pp. 266-276
-
-
De Vos, M.1
Vermeir, D.2
-
5
-
-
84958591878
-
On the Role of Negation in Choice Logic Programs
-
In Michael Gelfond, Nicola Leone, and Gerald Pfeifer, editors, El Paso, Texas, USA, Springer Verslag
-
[5] Marina De Vos and Dirk Vermeir. On the Role of Negation in Choice Logic Programs. In Michael Gelfond, Nicola Leone, and Gerald Pfeifer, editors, Logic Programming and Non-Monotonic Reasoning Conference (LPNMR’99), volume 1730 of Lecture Notes in Artificial Intelligence, pages 236-246, El Paso, Texas, USA, 1999. Springer Verslag.
-
(1999)
Logic Programming and Non-Monotonic Reasoning Conference (LPNMR’99)
, pp. 236-246
-
-
Vos, M.D.1
Vermeir, D.2
-
7
-
-
0029368659
-
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
-
[7] Phan Minh Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence, 77(2):321-358, 1995.
-
(1995)
Artificial Intelligence
, vol.77
, Issue.2
, pp. 321-358
-
-
Dung, P.M.1
-
8
-
-
0040473079
-
Credulous vs. Sceptical Semantics for Ordered Logic Programs
-
In J. Allen, R. Fikes, and E. Sandewall, editors, Cambridge, Mass, Morgan Kaufmann
-
[8] D. Gabbay, E. Laenens, and D. Vermeir. Credulous vs. Sceptical Semantics for Ordered Logic Programs. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, pages 208-217, Cambridge, Mass, 1991. Morgan Kaufmann.
-
(1991)
Proceedings of the 2Nd International Conference on Principles of Knowledge Representation and Reasoning
, pp. 208-217
-
-
Gabbay, D.1
Laenens, E.2
Vermeir, D.3
-
9
-
-
0026271588
-
A semantical framework for supporting subjective and conditional probabilities in deductive databases
-
In Koichi Furukawa, editor, MIT, June
-
[9] Raymond Ng and V.S. Subrahmanian. A semantical framework for supporting subjective and conditional probabilities in deductive databases. In Koichi Furukawa, editor, Proceedings of the 8th International Conference on Logic Programming, pages 565-580. MIT, June 1991.
-
(1991)
Proceedings of the 8Th International Conference on Logic Programming
, pp. 565-580
-
-
Ng, R.1
Subrahmanian, V.S.2
-
10
-
-
22944479691
-
Probabilistic Disjunctive Logic Programming
-
In Eric Horvitz and Finn Jensen, editors, San Francisco, aug, Morgan Kaufmann Publishers
-
[10] Liem Ngo. Probabilistic Disjunctive Logic Programming. In Eric Horvitz and Finn Jensen, editors, Proceedings of the 12th Conference on Uncertainty in Artificial Intelligence (AI-96), pages 387-404, San Francisco, aug 1996. Morgan Kaufmann Publishers.
-
(1996)
Proceedings of the 12Th Conference on Uncertainty in Artificial Intelligence (AI-96)
, pp. 387-404
-
-
Ngo, L.1
-
11
-
-
0003427725
-
-
The MIT Press, Cambridge, Massachusets, London, Engeland, third edition
-
[11] Martin J. Osborne and Ariel Rubinstein. A Course in Game Theory. The MIT Press, Cambridge, Massachusets, London, Engeland, third edition, 1996.
-
(1996)
A Course in Game Theory
-
-
Osborne, M.J.1
Rubinstein, A.2
-
12
-
-
18544362365
-
Logic programming, abduction and probability
-
In Institute for New Generation Computer Technology (ICOT), editor, IOS Press
-
[12] David Poole. Logic programming, abduction and probability. In Institute for New Generation Computer Technology (ICOT), editor, Proceedings for the International Conference on Fifth Generation Computer Systems, pages 530-538. IOS Press, 1992.
-
(1992)
Proceedings for the International Conference on Fifth Generation Computer Systems
, pp. 530-538
-
-
Poole, D.1
-
13
-
-
0031187203
-
The independent choice logic for modeling multiple agents under uncertainty
-
[13] David Poole. The independent choice logic for modeling multiple agents under uncertainty. Artificial Intelligence, 94(1-2):7-56, 1997.
-
(1997)
Artificial Intelligence
, vol.94
, Issue.12
, pp. 7-56
-
-
Poole, D.1
-
14
-
-
0001856609
-
Representing Priorities in Logic Programs
-
In Michael Maher, editor, Cambridge, September2-6, MIT Press
-
[14] Chiaki Sakama and Katsumi Inoue. Representing Priorities in Logic Programs. In Michael Maher, editor, Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, pages 82-96, Cambridge, September2-6 1996. MIT Press.
-
(1996)
Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
, pp. 82-96
-
-
Sakama, C.1
Inoue, K.2
|