Jorge Lobo (lobo-j)
Contributions à Philosophie.ch
No contributions yet
Bibliography
Baral, Chitta, Lobo, Jorge and Minker, Jack. 1990. “Generalized Disjunctive Well-Founded Semantics for Logic Programs: Declarative Semantics.” in Methodologies for Intelligent Systems: Proceedings of the Fifth International Symposium, edited by Zbigniew Raś, Maria Zemankova, and Mary L. Emrich. Amsterdam: North-Holland Publishing Co.
Chomicki, Jan, Lobo, Jorge and Naqvi, Shamin. 2000. “A Logic Programming Approach to Conflict Resolution in Policy Management.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 121–132. San Francisco, California: Morgan Kaufmann Publishers.
Lobo, Jorge, Minker, Jack and Rajasekar, Arcot. 1992. Foundations of Disjunctive Logic Programming. Cambridge, Massachusetts: The MIT Press.
Lobo, Jorge, Minker, Jack and Rajasekar, Arcot. 1998. “Semantics for Disjunctive and Normal Disjunctive Logic Programs.” in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 5: Logic Programming, edited by Dov M. Gabbay, Christopher J. Hogger, and James A. Robinson, pp. 325–355. Oxford: Oxford University Press.
Lobo, Jorge and Uzcátegui, Carlos. 1996b. “Abductive Change Operators.” Fundamenta Informaticae 27(4): 385–411.
Lobo, Jorge and Uzcátegui, Carlos. 1997. “Abductive Consequence Relations.” Artificial Intelligence 89(1–2): 149–171.
Minker, Jack, Lobo, Jorge and Rajasekar, Arcot. 1991. “Circumscription and Disjunctive Logic Programming.” in Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, edited by Vladimir Lifschitz, pp. 281–304. New York: Academic Press.
Rajasekar, Arcot, Lobo, Jorge and Minker, Jack. 1989. “Skeptical Reasoning and Disjunctive Programs.” in KR’89: Principles of Knowledge Representation and Reasoning, edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter, pp. 349–356. San Francisco, California: Morgan Kaufmann Publishers.