-
1
-
-
0040467136
-
On logic program semantics with two kinds of negation
-
K. Apt, ed., MIT Press, Cambridge, MA
-
J.J. Alferes and L.M. Pereira, On logic program semantics with two kinds of negation, in: K. Apt, ed., Proceedings International Joint Conference and Symposium on Logic Programming (MIT Press, Cambridge, MA, 1992) 574-588.
-
(1992)
Proceedings International Joint Conference and Symposium on Logic Programming
, pp. 574-588
-
-
Alferes, J.J.1
Pereira, L.M.2
-
2
-
-
84955572991
-
Belief revision in logic programming and nonmonotonic reasoning
-
Madeira, Portugal
-
J.J. Alferes, L.M. Pereira and T.C. Przymusinski, Belief revision in logic programming and nonmonotonic reasoning, in: Progress in AI, Proceedings International Artificial Intelligence Conference (EPIA-95), Madeira, Portugal (1995) 41-56.
-
(1995)
Progress in AI, Proceedings International Artificial Intelligence Conference (EPIA-95)
, pp. 41-56
-
-
Alferes, J.J.1
Pereira, L.M.2
Przymusinski, T.C.3
-
3
-
-
0030282267
-
Belief revision in logic programming and nonmonotonic reasoning
-
J.J. Alferes, L.M. Pereira and T.C. Przymusinski, Belief revision in logic programming and nonmonotonic reasoning, Fund. Inform. 28 (1-2) (1996) 1-2.
-
(1996)
Fund. Inform.
, vol.28
, Issue.1-2
, pp. 1-2
-
-
Alferes, J.J.1
Pereira, L.M.2
Przymusinski, T.C.3
-
6
-
-
84955610853
-
Strong and explicit negation in nonmonotonic reasoning and logic programming
-
J.J. Alferes, L.M. Pereira and E. Orlowska, eds., Lecture Notes in Artificial Intelligence, Springer, Berlin
-
J.J. Alferes, L.M. Pereira and T.C. Przymusinski, Strong and explicit negation in nonmonotonic reasoning and logic programming, in: J.J. Alferes, L.M. Pereira and E. Orlowska, eds., Logic in Artificial Intelligence: Proceedings European Workshop (JELIA-96), Lecture Notes in Artificial Intelligence, Vol. 1126 (Springer, Berlin, 1996) 143-163.
-
(1996)
Logic in Artificial Intelligence: Proceedings European Workshop (JELIA-96)
, vol.1126
, pp. 143-163
-
-
Alferes, J.J.1
Pereira, L.M.2
Przymusinski, T.C.3
-
7
-
-
0039434413
-
Disjunctive semantics based upon partial and bottom-up evaluation
-
L. Sterling, ed., MIT Press, Cambridge, MA
-
S. Brass and J. Dix, Disjunctive semantics based upon partial and bottom-up evaluation, in: L. Sterling, ed., Proceedings 12th International Conference on Logic Programming (MIT Press, Cambridge, MA, 1995).
-
(1995)
Proceedings 12th International Conference on Logic Programming
-
-
Brass, S.1
Dix, J.2
-
9
-
-
0006479607
-
Super logic programs
-
Vancouver, BC Morgan Kaufmann, San Mateo, CA
-
S. Brass, J. Dix and T.C. Przymusinski, Super logic programs, in: Proceedings International Conference on Principles of Knowledge Representation and Reasoning (KR-96), Vancouver, BC (Morgan Kaufmann, San Mateo, CA, 1996) 529-541.
-
(1996)
Proceedings International Conference on Principles of Knowledge Representation and Reasoning (KR-96)
, pp. 529-541
-
-
Brass, S.1
Dix, J.2
Przymusinski, T.C.3
-
11
-
-
0001119421
-
The stable model semantics for logic programming
-
R. Kowalski and K. Bowen, eds., MIT Press, Cambridge, MA
-
M. Gelfond and V. Lifschitz, The stable model semantics for logic programming, in: R. Kowalski and K. Bowen, eds., Proceedings 5th Logic Programming Symposium (MIT Press, Cambridge, MA, 1988) 1070-1080.
-
(1988)
Proceedings 5th Logic Programming Symposium
, pp. 1070-1080
-
-
Gelfond, M.1
Lifschitz, V.2
-
12
-
-
0002443032
-
Logic programs with classical negation
-
Jerusalem, Israel MIT Press, Cambridge, MA
-
M. Gelfond and V. Lifschitz, Logic programs with classical negation, in: Proceedings 7th International Logic Programming Conference, Jerusalem, Israel (MIT Press, Cambridge, MA, 1990) 579-597.
-
(1990)
Proceedings 7th International Logic Programming Conference
, pp. 579-597
-
-
Gelfond, M.1
Lifschitz, V.2
-
14
-
-
9444222866
-
A skeptical theory of inheritance in non-monotonic semantic nets
-
Seattle, WA Morgan Kaufmann, Los Altos, CA
-
J.F. Horty, R.H. Thomason and D.S. Touretzky, A skeptical theory of inheritance in non-monotonic semantic nets, in: Proceedings AAAI-87, Seattle, WA (Morgan Kaufmann, Los Altos, CA, 1987).
-
(1987)
Proceedings AAAI-87
-
-
Horty, J.F.1
Thomason, R.H.2
Touretzky, D.S.3
-
15
-
-
0001884486
-
Computing circumscription
-
Los Angeles, CA Morgan Kaufmann, Los Altos, CA
-
V. Lifschitz, Computing circumscription, in: Proceedings IJCAI-85, Los Angeles, CA (Morgan Kaufmann, Los Altos, CA, 1985) 121-127.
-
(1985)
Proceedings IJCAI-85
, pp. 121-127
-
-
Lifschitz, V.1
-
16
-
-
0028524383
-
Minimal belief and negation as failure
-
V. Lifschitz, Minimal belief and negation as failure, Artificial Intelligence 70 (1994) 53-72.
-
(1994)
Artificial Intelligence
, vol.70
, pp. 53-72
-
-
Lifschitz, V.1
-
17
-
-
0003771686
-
-
MIT Press, Cambridge, MA
-
J. Lobo, J. Minker and A. Rajasekar, Foundations of Disjunctive Logic Programming (MIT Press, Cambridge, MA, 1992).
-
(1992)
Foundations of Disjunctive Logic Programming
-
-
Lobo, J.1
Minker, J.2
Rajasekar, A.3
-
18
-
-
37349044608
-
Circumscription - A form of non-monotonic reasoning
-
J. McCarthy, Circumscription - a form of non-monotonic reasoning, Artificial Intelligence 13 (1980) 27-39.
-
(1980)
Artificial Intelligence
, vol.13
, pp. 27-39
-
-
McCarthy, J.1
-
19
-
-
85023410475
-
On indefinite data bases and the closed world assumption
-
Springer, New York
-
J. Minker, On indefinite data bases and the closed world assumption, in: Proceedings 6th Conference on Automated Deduction (Springer, New York, 1982) 292-308.
-
(1982)
Proceedings 6th Conference on Automated Deduction
, pp. 292-308
-
-
Minker, J.1
-
20
-
-
0021819131
-
Semantic considerations on nonmonotonic logic
-
R.C. Moore, Semantic considerations on nonmonotonic logic, Artificial Intelligence 25 (1985) 75-94.
-
(1985)
Artificial Intelligence
, vol.25
, pp. 75-94
-
-
Moore, R.C.1
-
21
-
-
2342660375
-
Stable theories in autoepistemtc logic
-
W. Marek, Stable theories in autoepistemtc logic, Fund. Inform. 12 (1989) 243-254.
-
(1989)
Fund. Inform.
, vol.12
, pp. 243-254
-
-
Marek, W.1
-
23
-
-
0004425075
-
Semantic issues in deductive databases and logic programs
-
R. Banerji, ed., North-Holland, Amsterdam
-
H. Przymusinska and T.C. Przymusinski, Semantic issues in deductive databases and logic programs, in: R. Banerji, ed., Formal Techniques in Artificial Intelligence (North-Holland, Amsterdam, 1990) 321-367.
-
(1990)
Formal Techniques in Artificial Intelligence
, pp. 321-367
-
-
Przymusinska, H.1
Przymusinski, T.C.2
-
24
-
-
0001599027
-
On the declarative semantics of deductive databases and logic programs
-
J. Minker, ed., Morgan Kaufmann, Los Altos, CA
-
T.C. Przymusinski, On the declarative semantics of deductive databases and logic programs, in: J. Minker, ed., Foundations of Deductive Databases and Logic Programming (Morgan Kaufmann, Los Altos, CA, 1988) 193-216.
-
(1988)
Foundations of Deductive Databases and Logic Programming
, pp. 193-216
-
-
Przymusinski, T.C.1
-
25
-
-
2342483365
-
Autoepistemic logics of closed beliefs and logic programming
-
A. Nerode, W. Marek and V.S. Subrahmanian, eds., Washington, DC MIT Press, Cambridge, MA
-
T.C. Przymusinski, Autoepistemic logics of closed beliefs and logic programming, in: A. Nerode, W. Marek and V.S. Subrahmanian, eds., Proceedings 1st International Workshop on Logic Programming and Non-Monotonic Reasoning, Washington, DC (MIT Press, Cambridge, MA, 1991) 3-20. ]
-
(1991)
Proceedings 1st International Workshop on Logic Programming and Non-Monotonic Reasoning
, pp. 3-20
-
-
Przymusinski, T.C.1
-
26
-
-
0000810454
-
Stable semantics for disjunctive programs
-
T.C. Przymusinski, Stable semantics for disjunctive programs, New Generation Computing J. 9 (1991) 401-424; extended abstract appeared as: Extended stable semantics for normal and disjunctive logic programs, in: Proceedings 7th International Logic Programming Conference, Jerusalem, Israel (MIT Press, Cambridge, MA, 1990) 459-477.
-
(1991)
New Generation Computing J.
, vol.9
, pp. 401-424
-
-
Przymusinski, T.C.1
-
27
-
-
0000810454
-
Extended stable semantics for normal and disjunctive logic programs
-
Jerusalem, Israel MIT Press, Cambridge, MA
-
T.C. Przymusinski, Stable semantics for disjunctive programs, New Generation Computing J. 9 (1991) 401-424; extended abstract appeared as: Extended stable semantics for normal and disjunctive logic programs, in: Proceedings 7th International Logic Programming Conference, Jerusalem, Israel (MIT Press, Cambridge, MA, 1990) 459-477.
-
(1990)
Proceedings 7th International Logic Programming Conference
, pp. 459-477
-
-
-
28
-
-
0026156912
-
Three-valued nonmonotonic formalisms and semantics of logic programs
-
T.C. Przymusinski, Three-valued nonmonotonic formalisms and semantics of logic programs, Artificial Intelligence 49 (1991) 309-343; extended abstract appeared as: Three-valued non-monotonic formalisms and logic programming, in: Proceedings 1st International Conference on Principles of Knowledge Representation and Reasoning (KR-89), Toronto, Ont. (Morgan Kaufmann, Los Altos, CA, 1989) 341-348.
-
(1991)
Artificial Intelligence
, vol.49
, pp. 309-343
-
-
Przymusinski, T.C.1
-
29
-
-
0345970617
-
Three-valued non-monotonic formalisms and logic programming
-
Toronto, Ont. Morgan Kaufmann, Los Altos, CA
-
T.C. Przymusinski, Three-valued nonmonotonic formalisms and semantics of logic programs, Artificial Intelligence 49 (1991) 309-343; extended abstract appeared as: Three-valued non-monotonic formalisms and logic programming, in: Proceedings 1st International Conference on Principles of Knowledge Representation and Reasoning (KR-89), Toronto, Ont. (Morgan Kaufmann, Los Altos, CA, 1989) 341-348.
-
(1989)
Proceedings 1st International Conference on Principles of Knowledge Representation and Reasoning (KR-89)
, pp. 341-348
-
-
-
30
-
-
84959318170
-
Semantics of normal and disjunctive logic programs: A unifying framework
-
J. Dix, L.M. Pereira and T.C. Przymusinski, eds., Santa Margherita Ligure, Italy, Springer, Berlin
-
T.C. Przymusinski, Semantics of normal and disjunctive logic programs: a unifying framework, in: J. Dix, L.M. Pereira and T.C. Przymusinski, eds., Proceedings Workshop on Non-Monotonic Extensions of Logic Programming at the 11th International Logic Programming Conference (ICLP-95), Santa Margherita Ligure, Italy, 1994 (Springer, Berlin, 1995) 43-67.
-
(1994)
Proceedings Workshop on Non-Monotonic Extensions of Logic Programming at the 11th International Logic Programming Conference (ICLP-95)
, pp. 43-67
-
-
Przymusinski, T.C.1
-
31
-
-
21844487368
-
Static semantics for normal and disjunctive logic programs
-
Special Issue on Disjunctive Programs
-
T.C. Przymusinski, Static semantics for normal and disjunctive logic programs, Ann. Math. Artif. Intell. (Special Issue on Disjunctive Programs) 14 (1995) 323-357.
-
(1995)
Ann. Math. Artif. Intell.
, vol.14
, pp. 323-357
-
-
Przymusinski, T.C.1
-
33
-
-
0002726244
-
On closed-world data bases
-
H. Gallaire and J. Minker, eds., Plenum Press, New York
-
R. Reiter, On closed-world data bases, in: H. Gallaire and J. Minker, eds., Logic and Data Bases (Plenum Press, New York, 1978) 55-76.
-
(1978)
Logic and Data Bases
, pp. 55-76
-
-
Reiter, R.1
-
35
-
-
0024143038
-
Inferring negative information from disjunctive databases
-
K. Ross and R. Topor, Inferring negative information from disjunctive databases, J. Automated Reasoning 4 (1988) 397-424.
-
(1988)
J. Automated Reasoning
, vol.4
, pp. 397-424
-
-
Ross, K.1
Topor, R.2
-
36
-
-
0001598046
-
The well-founded semantics for general logic programs
-
to appear
-
A. van Gelder, K.A. Ross and J.S. Schlipf, The well-founded semantics for general logic programs, J. ACM (1990) to appear; preliminary abstract appeared in: Proceedings 7th ACM Symposium on Principles of Database Systems (1988) 221-230.
-
(1990)
J. ACM
-
-
Van Gelder, A.1
Ross, K.A.2
Schlipf, J.S.3
-
37
-
-
30244540536
-
-
A. van Gelder, K.A. Ross and J.S. Schlipf, The well-founded semantics for general logic programs, J. ACM (1990) to appear; preliminary abstract appeared in: Proceedings 7th ACM Symposium on Principles of Database Systems (1988) 221-230.
-
(1988)
Proceedings 7th ACM Symposium on Principles of Database Systems
, pp. 221-230
-
-
-
38
-
-
85033121047
-
Autoepistemic circumscription and logic programming
-
Tech. Rept. TR92-18, Department of Computing Science, University of Alberta, Edmonton, Alta. to appear
-
L. Yuan and J. You, Autoepistemic circumscription and logic programming, Tech. Rept. TR92-18, Department of Computing Science, University of Alberta, Edmonton, Alta. (1992); also: J. Automated Reasoning, to appear.
-
(1992)
J. Automated Reasoning
-
-
Yuan, L.1
You, J.2
|