-
1
-
-
84940367366
-
Disjunctive logic programs with inheritance
-
Danny De Schreye, editor, Las Cruces, New Mexico, USA.The MIT Press
-
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
-
2
-
-
0028555757
-
Reasoning about priorities in default logic
-
Barbara Hayes-Roth and Richard Korf, editors, Menlo Park, California.American Association for Artificial Intelligence, AAAI Press
-
Gerhardt Brewka.Reasoning about priorities in default logic.In Barbara Hayes-Roth and Richard Korf, editors, Proceedings of the Twelfth National Conference on Artificial Intelligence, pages 940-945, Menlo Park, California, 1994.American Association for Artificial Intelligence, AAAI Press.
-
(1994)
Proceedings of the Twelfth National Conference on Artificial Intelligence
, pp. 940-945
-
-
Brewka, G.1
-
3
-
-
0029678885
-
Well-founded semantics for extended logic programs with dynamic preferences
-
Gerhard Brewka.Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences.Journal of Articficial Intelligence Research, 4 (1996) 19-36.
-
(1996)
Journal of Articficial Intelligence Research
, vol.4
, pp. 19-36
-
-
Brewka, G.1
-
4
-
-
84956866994
-
Choice logic programs and nash equilibria in strategic games
-
Jörg Flum and Mario Rodrguez-Artalejo, editors, Madrid, Spain.Springer Verslag
-
Marina De Vos and Dirk Vermeir.Choice Logic Programs and Nash Equilibria in Strategic Games.In Jörg Flum and Mario Rodrguez-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), Volume 1683 of Lecture Notes in Computer Science
, pp. 266-276
-
-
De Vos, M.1
Vermeir, D.2
-
5
-
-
84958591878
-
On the role of negation in choice logic programs
-
Michael Gelfond, Nicola Leone, and Gerald Pfeifer, editors, El Paso, Texas, USA, .Springer Verslag
-
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), Volume 1730 of Lecture Notes in Artificial Intelligence
, pp. 236-246
-
-
De Vos, M.1
Vermeir, D.2
-
6
-
-
0040473079
-
Credulous vs. Sceptical semantics for ordered logic programs
-
In J.Allen, R.Fikes, and E.Sandewall, editors, Cambridge, Mass.Morgan Kaufmann
-
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
-
8
-
-
0003427725
-
-
The MIT Press, Cambridge, Massachusets, London, Engeland, third edition
-
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
-
10
-
-
0031187203
-
The independent choice logic for modelling multiple agents under uncertainty
-
David Poole.The independent choice logic for modelling multiple agents under uncertainty.Artificial Intelligence, 94(1-2):7-56, 1997.
-
(1997)
Artificial Intelligence
, vol.94
, Issue.1-2
, pp. 7-56
-
-
Poole, D.1
-
11
-
-
84947909175
-
A system for defeasible argumentation, with defeasible priorities
-
Dov M.Gabbay and Hans Jürgen Ohlbach, editors, Berlin, June 3-7 .Springer
-
Henry Prakken and Giovanni Sartor.A system for defeasible argumentation, with defeasible priorities.In Dov M.Gabbay and Hans Jürgen Ohlbach, editors, Proceedings of the International Conference on Formal and Applied Practical Reasoning (FAPR-96), volume 1085 of LNAI, pages 510-524, Berlin, June 3-7 1996.Springer.
-
(1996)
Proceedings of the International Conference on Formal and Applied Practical Reasoning (FAPR-96), Volume 1085 of LNAI
, pp. 510-524
-
-
Prakken, H.1
Sartor, G.2
-
12
-
-
0001856609
-
Representing priorities in logic programs
-
Michael Maher, editor, Cambridge, September 2-6 .MIT Press
-
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, September 2-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
|