Using methods of declarative logic programming for intelligent information agents

Theory and Practice of Logic Programming

Volumn 2, Issue 6, 2002, Pages 645-709

  Eiter, Thomas ^a   Fink, Michael ^a   Sabbatini, Giuliana ^a   Tompits, Hans ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

Information agents; Logic programming; Multi agent systems

Indexed keywords

EID: 0346672583     PISSN: 14710684     EISSN: None     Source Type: Journal    
DOI: 10.1017/S1471068402001576     Document Type: Article

References (174)

1. Abiteboul, S., Christophides, V., Cluet, S. and Scholl, M. (1994) From structured documents to novel query facilities. In: Snodgrass, R. and Winslett, M. (eds.), Proc. 1994 ACM SIGMOD Int. Conf. on Management of Data, pp. 313-324. ACM Press.
2. Abiteboul, S., McHugh, J., Quass, D., Widom, J. and Goldman, R. (1997a) Lore: A database management system for semistructured data. SIGMOD Record, 26(3), 54-66.
3. Abiteboul, S., McHugh, J., Quass, D., Widom, J. and Wiener, J. (1997b) The Lorel query language for semistructured data. International Journal on Digital Libraries, 1(1), 68-88.
4. Adali, S. and Emery, R. (1995) A uniform framework for integrating knowledge in heterogeneous knowledge systems. In: Chen, L. and Yu, P. (eds.), Proc. 11th Int. Conf. on Data Engineering (ICDE'95), pp. 513-521. IEEE Computer Society.
5. Adali, S. and Subrahmanian, V. S. (1996) Amalgamating knowledge bases, III: Algorithms, data structures, and query processing. Journal of Logic Programming, 28(1), 45-88.
6. Adali, S., Brink, A., Emery, R., Lu, J., Rajput, A., Rogers, T., Ross, R., Subrahmanian, V. S. and Ward, C. (1995) HERMES: A Heterogeneous Reasoning and Mediator System. Manuscript, URL: http://www.cs.umd.edu/projects/hermes/publications/ abstracts/hermes.html.
7. Alchourrón, C., Gärdenfors, P. and Makinson, D. (1985) On the logic of theory change: partial meet functions for contraction and revision. Journal of Symbolic Logic, 50, 510-530.
8. Alferes, J. and Pereira, L. (1997) Update-programs can update programs. In: Dix, J., Pereira, L. and Przymusinski, T. (eds.), Proc. of Non-monotonic Extensions of Logic Programming (NMELP'96): Lecture Notes in Computer Science 1216, pp. 110-131. Springer-Verlag.
9. Alferes, J. and Pereira, L. (2000) Updates plus preferences. In: Aciego, M., de Guzmán, I., Brewka, G. and Pereira, L. (eds.), Proc. 7th European Workshop on Logics in Artificial Intelligence (JELIA 2000): Lecture Notes in Computer Science 1919, pp. 345-360. Springer-Verlag.
10. Alferes, J., Leite, J., Pereira, L., Przymusinska, H. and Przymusinski, T. (1998) Dynamic logic programming. In: Cohn, A., Schubert, L. and Shapiro, S. (eds.), Proc. 6th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'98), pp. 98-111. Morgan Kaufmann.
11. Alferes, J., Pereira, L., Przymusinska, H. and Przymusinski, T. (1999a) LUPS - A language for updating logic programs. In: Gelfond, M., Leone, N. and Pfeifer, G. (eds.), Proc. 5th Int. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR'99): Lecture Notes in Computer Science 1730, pp. 162-176. Springer-Verlag.
12. Alferes, J., Pereira, L., Przymusinska, H., Przymusinski, T. and Quaresma, P. (1999b) Preliminary exploration on actions as updates. In: Meo, M. and Vilares-Ferro, M. (eds.), Proc. 1999 Joint Conf. on Declarative Programming (AGP'99), pp. 259-271. L'Aquila, Italy.
13. Alferes, J., Leite, J., Pereira, L., Przymusinska, H. and Przymusinski, T. (2000a) Dynamic updates of non-monotonic knowledge bases. Journal of Logic Programming, 45(1-3), 43-70.
14. Alferes, J., Leite, J. and Pereira, L. (2000b) Multi-dimensional dynamic logic programming. In: Sadri, F. and Satoh, K. (eds.), Proc. CL-2000 Workshop on Computational Logic in Multi-agent Systems (CLIMA 2000), pp. 17-26.
15. Analyti, A. and Pramanik, S. (1995) Reliable semantics for extended logic programs with rule prioritization. Journal of Logic and Computation, 5(3), 303-324.
16. Arens, Y. (1990) Services and information management for decision support. Proc. Annual AI Systems in Government Conf. (AISIG'90). Washington, DC.
17. Arens, Y. and Knoblock, C. (1992) Planning and reformulating queries for semantically-modeled multidatabase systems. Proc. 1st Int. Conf. on Information and Knowledge Managements (CIKM 1992), pp. 92-101. Baltimore, MD.
18. Arens, Y., Chee, C., Hsu, C. and Knoblock, C. (1993) Retrieving and integrating data from multiple information sources. International Journal of Cooperative Information Systems, 2(2), 127-158.
19. Arens, Y., Knoblock, C. and Shen, W. (1996) Query reformulation for dynamic information integration. Journal of Intelligent Information Systems, 6(2-3), 99-130.
20. Arisha, K., Eiter, T., Kraus, S., Ozean, F., Ross, R. and Subrahmanian, V. S. (1999) IMPACT: A platform for collaborating agents. IEEE Intelligent Systems, 14(2), 64-72.
21. Baader, F. and Hollunder, B. (1995) Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic. Journal of Automated Reasoning, 15(1), 41-68.
22. Bacchus, F., Grove, A. J., Halpern, J. Y. and Koller, D. (1993) Statistical foundations for default reasoning. In: Bajesy, R. (ed.), Proc. 13th Int. Joint Conf. on Artificial Intelligence (IJCAI'93), pp. 563-569. Morgan Kaufmann.
23. Baral, C. and Gelfond, M. (1997) Reasoning about effects of concurrent actions. Journal of Logic Programming, 31(1-3), 85-117.
24. Baral, C. and Gelfond, M. (2000) Reasoning agents in dynamic domains. In: Minker, J. (ed.), Logic-based Artificial Intelligence, pp. 257-279. Kluwer Academic.
25. Baral, C., Kraus, S., Minker, J. and Subrahmanian, V. S. (1991a) Combining knowledge bases consisting of first order theories. In: Ras, Z. and Zemankova, M. (eds.), Proc. 6th Int. Symp. on Methodologies for Intelligent Systems (ISMIS'91): Lecture Notes in Computer Science 542, pp. 92-101. Springer-Verlag.
26. Baral, C., Kraus, S. and Minker, J. (1991b) Combining multiple knowledge bases. IEEE Trans. on Knowledge and Data Engineering, 3(2), 208-220.
27. Baral, C., Kraus, S. and Minker, J. (1994) Combining default logic databases. International Journal of Intelligent and Cooperative Information Systems, 3(3), 319-348.
28. Bargmeyer, B., Fowler, J., Nodine, M. and Perry, B. (1999) Agent-based semantic interoperability in InfoSleuth. SIGMOD Record, 28(1), 60-67.
29. Bayardo, R., Bohrer, B., Brice, R., Cichocki, A., Fowler, J., Helal, A., Kashyap, V., Ksiezyk, T., Martin, G., Nodine, M., Rashid, M., Rusinkiewicz, M., Shea, R., Unnikrishnan, C., Unruh, A. and Woelk, D. (1997) InfoSleuth: Semantic integration of information in open and dynamic environments (Experience Paper). In: Peckham, J. (ed.), Proc. ACM SIGMOD Int. Conf. on Management of Data, pp. 195-206. ACM Press.
30. Bohrer, W., Ngu, A. and Nodine, M. (1999) Semantic brokering over dynamic heterogeneous data sources in InfoSleuth. Proc. 15th Int. Conf. on Data Engineering (ICDE'99), pp. 358-365. IEEE Press.
31. Bondarenko, A., Dung, P.M., Kowalski, R. and Toni, F. (1997) An abstract argumentation-theoretic approach to default reasoning. Artificial Intelligence, 93, 63-101.
32. Bonner, A. and Kifer, M. (1994) An overview of transaction logic. Theoretical Computer Science, 133(2), 205-265.
33. Bonner, A. and Kifer, M. (1998) The state of change: a survey. In: Freitag, B., Decker, H., Kifer, M. and Voronkov, A. (eds.), Transactions and Change in Logic Databases, International Seminar on Logic Databases and the Meaning of Change: Lecture Notes in Computer Science 1472, pp. 1-36. Springer-Verlag.
34. Bressan, S. and Goh, C. (1998) Answering queries in context In: Andreasen, T., Christiansen, H. and Legind Larsen, H. (eds.), Proc. 3rd Int. Conf. on Flexible Query Answering Systems (FQAS'98): Lecture Notes in Computer Science 1495, pp. 68-82. Springer-Verlag.
35. Bressan, S., Goh, C., Fynn, K., Jakobisiak, M., Hussein, K., Kon, H., Lee, T., Madnick, S., Pena, T., Qu, J., Shum, A. and Siegel, M. (1997) The COntext INterchange mediator prototype. In: Peckham, J. (ed.), Proc. ACM SIGMOD Int. Conf. on Management of Data, pp. 525-527. ACM Press.
36. Brewka, G. (1994) Adding priorities and specificity to default logic. In: MacNish, C., Pearce, D. and Pereira, L. (eds.), Proc. Europ. Workshop on Logics in Artificial Intelligence (JELIA'94): Lecture Notes in Computer Science 838, pp. 247-260. Springer-Verlag.
37. Brewka, G. (1996) Well-founded semantics for extended logic programs with dynamic preferences. Journal of Artificial Intelligence Research, 4, 19-36.
38. Brewka, G. (2000) Declarative representation of revision strategies. Proc. 14th European Conf. on Artificial Intelligence (ECAI 2000), pp. 18-22.
39. Brewka, G. and Eiter, T. (1999) Preferred answer sets for extended logic programs. Artificial Intelligence, 109(1-2), 297-356.
40. Brewka, G. and Eiter, T. (2000) Prioritizing default logic. In: Hölldobler, S. (ed.), Intellectics and Computational Logic - Papers in Honor of Wolfgang Bibel, pp. 27-45. Kluwer Academic.
41. Buccafurri, F., Faber, W. and Leone, N. (2001) Disjunctive logic programs with inheritance. Theory and Practice of Logic Programming. (To appear.) (Also available as: Technical report DBAI-TR-99-30, Institute of Information Systems, TU Vienna, 1999.)
42. Buccafurri, F., Faber, W. and Leone, N. (2001) Disjunctive logic programs with inheritance. Theory and Practice of Logic Programming. (To appear.) (Also available as: Technical report DBAI-TR-99-30, Institute of Information Systems, TU Vienna, 1999.)
43. Buccafurri, F., Leone, N. and Rullo, P. (1996) Stable models and their computation for logic programming with inheritance and true negation. Journal of Logic Programming, 27(1), 5-43.
44. Buccafurri, F., Faber, W. and Leone, N. (1999a) Disjunctive logic programs with inheritance. In: De Schreye, D. (ed.), Proc. 16th Int. Conf. on Logic Programming (ICLP'99), pp. 79-93. MIT Press.
45. Buccafurri, F., Leone, N. and Rullo, P. (1999b) Semantics and expressiveness of disjunctive ordered logic. Ann. of Math. and Artificial Intelligence, 25(3-4), 311-337.
46. Buccafurri, F., Leone, N. and Rullo, P. (2000) Enhancing disjunctive datalog by constraints. IEEE Trans. Knowledge and Data Engineering, 12(5), 845-860.
47. Calvanese, D., De Giacomo, G. and Lenzerini, M. (1998) What can knowledge representation do for semi-structured data? Proc. 15th Nat. Conf. on Artificial Intelligence and 10th Innovative Applications of Artificial Intelligence Conf. (AAAI/IAAI 1998), pp. 205-210. AAAI Press/MIT Press.
48. Calvanese, D., De Giacomo, G. and Lenzerini, M. (1999) Representing and reasoning on XML documents: a description logic approach. Journal of Logic and Computation, 9(3), 295-318.
49. Cannata, P., Huhns, M., Jacobs, N., Ksiezyk, T., Ong, K., Sheth, A., Singh, M., Tomlinson, C. and Woelk, D. (1997) The Carnot heterogeneous database project: implemented applications. Distributed and Parallel Databases, 5(2), 207-225.
50. Cimatti, A. and Roveri, M. (1999) Conformant planning via model checking. In: Biundo, S. and Fox, M. (eds.), Recent Advances in AI Planning, Proc. 5th Europ. Conf. on Planning (ECP'99): Lecture Notes in Computer Science 1809, pp. 21-34. Springer-Verlag.
51. Cimatti, A., Roveri, M. and Traverso, P. (1998) Strong planning in non-deterministic domains via model checking. In: Simmons, R., Veloso, M. and Smith, S. (eds.), Proc. 4th Int. Conf. on Artificial Intelligence Planning Systems (AIPS'98), pp. 36-43. AAAI Press.
52. Clarke, E.M., Grumberg, O. and Peled, D. (2000) Model Checking. MIT Press.
53. Cohen, W. (1998a) Integration of heterogeneous databases without common domains using queries based on textual similarity. In: Haas, L. and Tiwary, A. (eds.), Proc. ACM SIGMOD Int. Conf. on Management of Data (SIGMOD 1998), pp. 201-212. ACM Press.
54. Cohen, W. (1998b) A Web-based information system that reasons with structured collections of text In: Sycara, K. and Wooldridge, M. (eds.), Proc. 2nd Int. Conf. on Autonomous Agents, pp. 400-407. ACM Press.
55. Decker, K., Sycara, K. and Williamson, M. (1997) Middle-agents for the Internet. Proc. 15th Int. Joint Conf. on Artificial Intelligence (IJCAI'97), 1, 578-583. Morgan Kaufmann.
56. Dekhtyar, A. and Subrahmanian, V. S. (2000) Hybrid probabilistic programs. Journal of Logic Programming, 43(3), 187-250.
57. Delgrande, J. and Schaub, T. (2000) Expressing preferences in default logic. Artificial Intelligence, 123(1-2), 41-87.
58. Delgrande, J., Schaub, T. and Tompits, H. (2000a) A compilation of Brewka and Eiter's approach to prioritization. In: Aciego, M., de Guzmàn, I., Brewka, G. and Pereira, L. (eds.), Proc. 7th Europ. Workshop on Logics in Artificial Intelligence (JELIA 2000): Lecture Notes in Computer Science 1919, pp. 376-390. Springer-Verlag.
59. Delgrande, J., Schaub, T. and Tompits, H. (2000b) A compiler for ordered logic programs. In: Baral, C. and Truszczynski, M. (eds.), Proc. 8th Int. Workshop on Non-monotonic Reasoning (NMR 2000).
60. Delgrande, J., Schaub, T. and Tompits, H. (2000c) Logic programs with compiled preference. In: Horn, W. (ed.), Proc. 14th Europ. Conf. on Artificial Intelligence (ECAI 2000), pp. 392-398. IOS Press.
61. Dell'Acqua, P. and Pereira, L. (1999a) Preferring and Updating with Multi-Agents. Draft.
62. Dell'Acqua, P. and Pereira, L. (1999b) Updating agents. In: Rochefort, S., Sadri, F. and Toni, F. (eds.), Proc. ICLP'99 Workshop on Multi-agent Systems in Logic Programming (MAS'99).
63. Dell'Acqua, P., Sadri, F. and Toni, F. (1998) Combining introspection and communication with rationality and reactivity in agents. In: Dix, J., del Cerro, L. and Furbach, U. (eds.), Proc. European Workshop on Logics in Artificial Intelligence (JELIA'98): Lecture Notes in Computer Science 1489, pp. 17-32. Springer-Verlag.
64. Dimopoulos, Y. and Kakas, A. (2000) Information integration and computational logic. Computational Logic, Special Issue on the Future Technological Roadmap of Compulog-net, 1-41. (URL: http://www.compulog.org/net/Forum/Supportdocs.html.)
65. Dix, J. (1996) Semantics of logic programs: their intuitions and formal properties. An overview. In: Fuhrmann, A. and Rott, H. (eds.), Logic, Action and Information - Essays on Logic in Philosophy and Artificial Intelligence, pp. 241-327. DeGruyter.
66. Dix, J., Pick, G. and Subrahmanian, V. S. (2000a) Meta agent programs. Journal of Logic Programming, 46(1-2), 1-60.
67. Dix, J., Nanni, M. and Subrahmanian, V. S. (2000b) Probabilistic agent programs. ACM Trans. Computational Logic, 1(2), 208-246.
68. Dung, P. M. (1993) On the acceptability of arguments and its fundamental role in nonmonotonic reasoning and logic programming. In: Bajcsy, R. (ed.), Proc. 13th Int. Joint Conf. on Artificial Intelligence (IJCAI'93), pp. 852-859. Morgan Kaufmann.
69. Duschka, O. and Genesereth, M. (1997) Query planning in Infomaster. Proc. 12th Annual ACM Symposium on Applied Computing (SAC'97), pp. 109-111.
70. Eiter, T. Subrahmanian, V. S. (1999) Heterogeneous active agents, II: Algorithms and complexity. Artificial Intelligence, 108(1-2), 257-307.
71. Eiter, T., Pick, G. and Subrahmanian, V. S. (1999) Heterogeneous active agents, I: Semantics. Artificial Intelligence, 108(1-2), 179-255.
72. Eiter, T., Fink, M., Sabbatini, G. and Tompits, H. (2000a) Considerations on updates of logic programs. In: Aciego, M., de Guzmán, I., Brewka, G. and Pereira, L. (eds.), Proc. 7th Europ. Workshop on Logic in Artificial Intelligence (JELIA 2000): Lecture Notes in Artificial Intelligence 1919, pp. 2-20. Springer-Verlag.
73. Eiter, T., Fink, M., Sabbatini, G. and Tompits, H. (2000b) On Updates of Logic Programs: Semantics and Properties. Technical Report, INFSYS RR-1843-00-08. Technische Universitat Wien, Inst. für Informationssysteme, Abt. Wissensbasierte Systeme.
74. Emerson, E. (1996) Automated temporal reasoning about reactive systems. In: Moller, F. and Birtwistle, G. (eds.), Logics for Concurrency: Structure versus Automata: Lecture Notes in Computer Science 1043, pp. 41-101. Springer-Verlag.
75. Emerson, E. and Srinivasan, J. (1988) Branching time temporal logic. In: de Bakker, J., de Roever, W. and Rozenberg, G. (eds.), Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency (REX Workshop 1988): Lecture Notes in Computer Science 354, pp. 123-172. Springer-Verlag.
76. Finin, T., Fritzson, R., McKay, D. and McEntire, R. (1994) KQML as an agent communication language. Proc. 3rd Int. Conf. on Information and Knowledge Management (CIKM'94), pp. 456-463. ACM.
77. Flach, P. and Kakas, A. (2000) Abduction and Induction - Essays on Their Relation and Integration. Kluwer Academic.
78. Flores-Mendez, R. (1999) Towards a standardization of multi-agent system frameworks. ACM Crossroads, 5(4), 18-24.
79. Foo, N. and Zhang, Y. (1997a) Answer sets for prioritized logic programs. In: Maluszynski, J. (ed.), Proc. Int. Logic Programming Symp. (ILPS'97), pp. 69-83. MIT Press.
80. Foo, N. and Zhang, Y. (1997b) Towards generalized rule-based updates. Proc. 15th Int. Joint Conf. on Artificial Intelligence (IJCAI'97), 1, 82-88. Morgan Kaufmann.
81. Foo, N. and Zhang, Y. (1998) Updating logic programs. In: Prade, H. (ed.), Proc. 13th Europ. Conf. on Artificial Intelligence (ECAI'98), pp. 403-407. Wiley.
82. Fröhlich, P., Nejdl, W., Schroeder, M., Damásio, C. and Pereira, L. (1999) Using extended logic programming for alarm-correlation in cellular phone networks. In: Imam, I., Kodratoff, Y., El-Dessouki, A. and Ali, M. (eds.), Multiple Approaches to Intelligent Systems, Proc. 12th Int. Conf. on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE'99): Lecture Notes in Computer Science 1611, pp. 343-352. Springer-Verlag.
83. Gabbay, D., Laenens, E. and Vermeir, D. (1991) Credulous vs. sceptical semantics for ordered logic programs. In: Allen, J., Fikes, R. and Sandewall, E. (eds.), Proc. 2nd Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'91), pp. 208-217. Morgan Kaufmann.
84. Garcia-Molina, H., Hammer, J., Ireland, K., Papakonstantinou, Y., Ullman, J. and Widom, J. (1995) Integrating and accessing heterogeneous information sources in TSIMMIS. Proc. AAAI Symp. on Information Gathering, pp. 61-64.
85. Garcia-Molina, H., Papakonstantinou, Y., Quass, D., Rajaraman, A., Sagiv, Y., Ullman, J., Vassalos, V. and Widom, J. (1997) The TSIMMIS approach to mediation: data models and languages. Journal of Intelligent Information Systems, 8(2), 117-132.
86. Gärdenfors, P. and Rott, H. (1995) Belief revision. In: Gabbay, D, Hogger, C. and Robinson, J. (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Volume IV: Epistemic and Temporal Reasoning, pp. 35-132. Oxford Science Publications.
87. Gelfond, M. and Lifschitz, V. (1988) The stable model semantics for logic programming. In: Kowalski, R. and Bowen, K. (eds.), Logic Programming, Proc. 5th Int. Conf. and Symp. (ICLP/SLP'88), pp. 1070-1080. MIT Press.
88. Gelfond, M. and Lifschitz, V. (1991) Classical negation in logic programs and disjunctive databases. New Generation Computing, 9(3-4), 365-386.
89. Gelfond, M. and Lifschitz, V. (1998) Action languages. Electronic Trans. Artificial Intelligence, 2(3-4), 193-210.
90. Gelfond, M. and Son, T. (1998) Reasoning with prioritized defaults. In: Dix, J., Pereira, L. and Przymusinski, T. (eds.), Logic Programming and Knowledge Representation, 3rd Int. Workshop, Selected Papers (LPKR'97): Lecture Notes in Computer Science 1471, pp. 164-223. Springer-Verlag.
91. Genesereth, M. (1991) Knowledge Interchange Format. In: Allen, J., Fikes, R. and Sandewall, E. (eds.), Proc. 2nd Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'91), pp. 599-600. Morgan Kaufmann.
92. Genesereth, M., Keller, A. and Duschka, O. (1997) Infomaster: An information integration system. In: Peckham, J. (ed.), Proc. ACM SIGMOD Int. Conf. on Management of Data, pp. 539-542. ACM Press.
93. Georgeff, M. and Rao, A. (1991) Modeling rational agents within a BDI-architecture. In: Allen, J., Fikes, R. and Sandewall, E. (eds.), Proc. 2nd Int. Conf. on Knowledge Representation and Reasoning (KR'91), pp. 473-484. Morgan Kaufmann.
94. Giunchiglia, E. and Lifschitz, V. (1999) Action languages, temporal action logics and the situation calculus. Linkoping Electronic Articles in Computer and Information Science, 4, 1-7.
95. Giunchiglia, E., Kartha, G. and Lifschitz, V. (1997) Representing action: indeterminacy and ramifications. Artificial Intelligence, 95(2), 409-438.
96. Harel, D. (1979) First-order Dynamic Logic: Lecture Notes in Computer Science 68. Springer-Verlag.
97. Harel, D., Kozen, D. and Parikh, R. (1982) Process logic: expressiveness, decidability, completeness. J. of Computer and System Sciences, 25(2), 144-170.
98. Huhns, M. and Singh, M. (1992) The semantic integration of information models. AAAI Workshop on Cooperation among Heterogeneous Intelligent Agents.
99. Huhns, M. and Singh, M. (1994) Automating workflows for service provisioning: integrating AI and database technologies. IEEE Expert, 9(5), 19-23.
100. Hunter, A. (2000a) Merging potentially inconsistent items of structured text. IEEE Trans. Knowledge and Data Engineering, 34(3), 305-332.
101. Hunter, A. (2000b) Reasoning with inconsistency in structured text. Knowledge Engineering Review, 15(2), 1-21.
102. Inoue, K. and Sakama, C. (1994) On the equivalence between disjunctive and abductive logic programs. In: Van Hentenryck, P. (ed.), Proc. 11th Int. Conf. on Logic Programming (ICLP'94), pp. 489-503. MIT Press.
103. Inoue, K. and Sakama, C. (1995) Abductive framework for nonmonotonic theory change. Proc. 14th Int. Joint Conf. on Artificial Intelligence (IJCAI'95), pp. 204-210. Morgan Kaufmann.
104. Inoue, K. and Sakama, C. (1996) Representing priorities in logic programs. In: Maher, M. (ed.), Proc. Joint Int. Conf. and Symp. on Logic Programming (JICSLP'96), pp. 82-96. MIT Press.
105. Inoue, K. and Sakama, C. (1999) Updating extended logic programs through abduction. In: Gelfond, M., Leone, N. and Pfeifer, G. (eds.), Proc. 5th Int. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR'99): Notes in Artificial Intelligence 1730, pp. 147-161. Springer-Verlag.
106. Inoue, K and Sakama, C. (2000a) Abductive logic programming and disjunctive logic programming: their relationship and transferability. Journal of Logic Programming, 44(1-3), 75-100.
107. Inoue, K. and Sakama, C. (2000b) Prioritized logic programming and its applications to commonsense reasoning. Artificial Intelligence, 123(1-2), 185-222.
108. Jennings, N., Noriega, P., Parsons, S. and Sierra, C. (1997) A framework for argumentation-based negotiation. In: Singh, M., Rao, A. and Wooldridge, M. (eds.), Intelligent Agents IV, Proc. 4th Int. Workshop on Agent Theories, Architectures, and Languages (ATAL'97): Lecture Notes in Artificial Intelligence 1365, pp. 177-192. Springer-Verlag.
109. Kakas, A. and Riguzzi, F. (1997) Learning with abduction. In: Lavrac, N. and Dzeroski, S. (eds.), Proc. 7th Int. Workshop on Inductive Logic Programming (ILP'97): Lecture Notes in Computer Science 1297, pp. 181-188. Springer-Verlag.
110. Kakas, A., Kowalski, R. and Toni, F. (1992) Abductive logic programming. Journal of Logic and Computation, 2(6), 719-770.
111. Kakas, A., Kowalski, R. and Toni, F. (1998) The role of abduction in logic programming. In: Gabbay, D., Hogger, C. and Robinson, J. (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Volume V: Logic Programming, pp. 235-324. Oxford University Press.
112. Kakas, A., Miller, R. and Toni, F. (1999) An argumentation framework of reasoning about actions and change. In: Gelfond, M., Leone, N. and Pfeifer, G. (eds.), Proc. 5th Int. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR'99): Lecture Notes in Computer Science 1730, pp. 78-91. Springer-Verlag.
113. Katsuno, H. and Mendelzon, A. (1991) On the difference between updating a knowledge base and revising it. In: Allen, J., Fikes, R. and Sandewall, E. (eds.), Proc. 2nd Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'91), pp. 387-394. Morgan Kaufmann.
114. Kifer, M. and Subrahmanian, V. S. (1992) Theory of generalized annotated logic programming and its applications. Journal of Logic Programming, 12(3-4), 335-367.
115. Knoblock, C. (1995) Planning, executing, sensing and replanning for information gathering. Proc. 14th Int. Joint Conf. on Artificial Intelligence (IJCAI'95), pp. 1686-1693. Morgan Kaufmann.
116. Kowalski, R. and Sadri, F. (1991) Logic programs with exceptions. New Generation Computing, 9(3-4), 387-400.
117. Kowalski, R. and Sadri, F. (1996) Towards a unified agent architecture that combines rationality with reactivity. In: Pedreschi, D. and Zaniolo, C. (eds.), Logic in Databases, Proc. Int. Workshop (LID'96): Lecture Notes in Computer Science 1154, pp. 137-149. Springer-Verlag.
118. Kowalski, R. and Sadri, F. (1997) Reconciling the event calculus with the situation calculus. Journal of Logic Programming, 31(1-3), 39-58.
119. Kowalski, R. and Sadri, F. (1999) From logic programming towards multi-agent systems. Ann. of Math. and Artificial Intelligence, 25(3-4), 391-419.
120. Kowalski, R. and Sergot, M. (1986) A logic-based calculus of events. New Generation Computing, 4(1), 67-95.
121. Kowalski, R. and Toni, F. (1995) Reduction of abductive logic programs to normal logic programs. In: Sterling, L. (ed.), Proc. 12th Int. Conf. on Logic Programming (ICLP'95), pp. 367-381. MIT Press.
122. Kowalski, R. and Toni, F. (1996) Abstract argumentation. Artificial Intelligence and Law, 4(3-4), 275-296.
123. Laenens, E. and Vermeir, D. (1990) A fixpoint semantics for ordered logic. Journal of Logic and Computation, 1(2), 159-185.
124. Lamma, E., Mello, P., Milano, M. and Riguzzi, F. (1999) Integrating induction and abduction in logic programming. Information Sciences, 116(1), 25-54.
125. Lamma, E., Riguzzi, F. and Pereira, L. (2000) Strategies in combined learning via logic programs. Machine Learning, 38(1-2), 63-87.
126. Leite, J. and Pereira, L. (1997) Generalizing updates: from models to programs. In: Dix, J., Pereira, L. and Przymusinski, T. (eds.), Logic Programming and Knowledge Representation, Selected Papers 3rd Int. Workshop (LPKR'97): Lecture Notes in Artificial Intelligence 1471, pp. 224-246. Springe-Verlagr.
127. Levy, A. and Rousset, M. (1996) CARIN: A representation language combining Horn rules and description logics. In: Wahlster, W. (ed.), Proc. 12th Europ. Conf. on Artificial Intelligence (ECAI'96), pp. 323-327. Wiley.
128. Levy, A. and Weld, D. (2000) Intelligent Internet systems. Artificial Intelligence, 118(1-2), 1-14.
129. Levy, A., Srivastava, D. and Kirk, T. (1995) Data model and query evaluation in global information systems. Journal of Intelligent Information Systems, 5(2), 121-143.
130. Levy, A, Rajaraman, A. and Ordille, J. (1996a) Query-answering algorithms for information agents. In: Proc. 13th Nat. Conf. on Artificial Intelligence and 8th Innovative Applications of Artificial Intelligence Conf. (AAAI/IAAI'96), 1, 40-47. AAAI Press/MIT Press.
131. Levy, A., Rajaraman, A. and Ordille, J. (1996b) Querying heterogeneous information sources using source descriptions. In: Vijayaraman, T., Buchmann, A., Mohan, C. and Sarda, N. (eds.), Proc. 22th Int. Conf. on Very Large Data Bases (VLDB'96), pp. 251-262. Morgan Kaufmann.
132. Liberatore, P. and Schaerf, M. (1998) Arbitration (or how to merge knowledge bases). IEEE Trans. Knowledge and Data Engineering, 10(1), 76-90.
133. Lifschitz, V. (1999) Action languages, answer sets and planning. In: Apt, K., Marek, V., Truszczynski, M. and Warren, D. (eds.), The Logic Programming Paradigm: A 25-year Perspective, pp. 357-373. Springer.
134. Lifschitz, V. and Woo, T. (1992) Answer sets in general nonmonotonic reasoning (preliminary report). Pages 603-614 of: Nebel, B., Rich, C., & Swartout, W. (eds), Proc. 3rd Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'92). Morgan Kaufmann.
135. Lukasiewicz, T. (1998) Probabilistic logic programming. In: Prade, H. (ed.), Proc. 13th Europ. Conf. on Artificial Intelligence (ECAI'98), pp. 388-392. Wiley.
136. Lukasiewicz, T. (2001) Probabilistic logic programming with conditional constraints. ACM Trans. on Computational Logic. (To appear.) (Also available as: Technical report, INFSYS-TR 1843-00-01, Institute of Information Systems, TU Vienna, 2000.)
137. Lukasiewicz, T. (2001) Probabilistic logic programming with conditional constraints. ACM Trans. on Computational Logic. (To appear.) (Also available as: Technical report, INFSYS-TR 1843-00-01, Institute of Information Systems, TU Vienna, 2000.)
138. MacGregor, R. (1991) Inside the LOOM description classifier. SIGART Bulletin, 2(3), 88-92.
139. Marek, V. and Truszczynski, M. (1993) Nonmonotonic Logics - Context-dependent Reasoning. Springer-Verlag.
140. Marek, V. and Truszczynski, M. (1994) Revision specifications by means of programs. In: MacNish, C., Pearce, D. and Pereira, L. (eds.), Proc. Europ. Workshop on Logics in Artificial Intelligence (JELIA'94): Lecture Notes in Artificial Intelligence 838, pp. 122-136. Springer-Verlag.
141. Marek, V. and Truszczynski, M. (1999) Logic Programming with Costs. Unpublished manuscript.
142. Moore, R. (1985) Semantical considerations on nonmonotonic logics. Artificial Intelligence, 25(1), 75-94.
143. Nebel, B. (1998) How hard is it to revise a belief base? In: Dubois, D. and Prade, H. (eds.), Handbook on Defeasible Reasoning and Uncertainty Management Systems: Volume III: Belief change, pp. 77-145. Kluwer Academic.
144. Ng, R. (1997) Semantics, consistency, and query processing of empirical deductive databases. IEEE Trans. Knowledge and Data Engineering, 9(1), 32-49.
145. Ng, R. and Subrahmanian, V. S. (1992) Probabilistic logic programming. Information and Computation, 101(2), 150-201.
146. Ng, R. and Subrahmanian, V. S. (1993) A semantical framework for supporting subjective and conditional probabilities in deductive databases. Journal of Automated Reasoning, 10(2), 191-235.
147. Ng, R. and Subrahmanian, V. S. (1994) Stable semantics for probabilistic deductive databases. Information & Computation, 110(1), 42-83.
148. Niemelä, I., Simons, P. and Soininen, T. (1999) Stable model semantics of weight constraint rules. In: Gelfond, M., Leone, N. and Pfeifer, G. (eds.), Proc. 5th Int. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR'99): Lecture Notes in Computer Science 1730, pp. 317-331. Springer-Verlag.
149. Nute, D. (1994) Defeasible logic. In: Gabbay, D., Hogger, C. and Robinson, J. (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Volume III, pp. 353-395. Clarendon Press.
150. Pearl, J. (1989) Probabilistic semantics for nonmonotonic reasoning: a survey. In: Brachman, R., Levesque, H. and Reiter, R. (eds.), Proc. 1st Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'89), pp. 505-516. Morgan Kaufmann.
151. Pinto, J. and Reiter, R. (1993) Temporal reasoning in logic programming: a case study for the situation calculus. In: Warren, D. (ed.), Proc. 10th Int. Conf. on Logic Programming (ICLP'93), pp. 203-221. MIT Press.
152. Pinto, J. and Reiter, R. (1995) Reasoning about time in the situation calculus. Ann. of Math. and Artificial Intelligence, 14(2-4), 251-268.
153. Poole, D. (1993) Logic programming, abduction and probability - a top-down anytime algorithm for estimating prior and posterior probabilities. New Generation Computing, 11(3), 377-400.
154. Pradhan, S. and Minker, J. (1996) Using priorities to combine knowledge bases. International Journal of Cooperative Intelligent Systems, 5(2-3), 333-364.
155. Prakken, H. and Sartor, G. (1997) Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-classical Logics, 7, 25-75.
156. Prakken, H. and Sartor, G. (1999) A system for defeasible argumentation, with defeasible priorities. In: Wooldridge, M. and Veloso, M. (eds.), Artificial Intelligence Today: Recent Trend and Developments: Lecture Notes in Computer Science 160, pp. 365-379. Springer-Verlag.
157. Pratt, V. (1990) Action logic and pure induction. In: van Eijck, J. (ed.), Proc. Europ. Workshop of Logics in Artificial Intelligence (JELIA'90): Lecture Notes in Computer Science 478, pp. 97-120. Springer-Verlag.
158. Przymusinski, T. and Turner, H. (1997) Update by means of inference rules. Journal of Logic Programming, 30(2), 125-143.
159. Quass, D., Rajaraman, A., Sagiv, Y., Ullman, J. and Widom, J. (1995) Querying semistructured heterogeneous information. In: Ling, T., Mendelzon, A. and Vieille, L. (eds.), Proc. 4th Int. Conf. on Deductive and Object-oriented Databases (DOOD'95): Lecture Notes in Computer Science 1013, pp. 319-344. Springer-Verlag.
160. Ramakrishnan, I., Rao, P., Sagonas, K., Swift, T. and Warren, D. (1995) Efficient tabling mechanisms for logic programs. In: Sterling, L. (ed.), Proc. 12th Int. Conf. on Logic Programming (ICLP'95), pp. 697-711. MIT Press.
161. Revesz, P. (1993) On the semantics of theory change: arbitration between old and new information. Proc. 12th ACM SIGACT SIGMOD-SIGART Symp. on Principles of Database Systems (PODS'93), pp. 71-82. ACM Press.
162. Rintanen, J. (1998) Lexicographic priorities in default logic. Artificial Intelligence, 106(2), 221-265.
163. Sadri, F. and Toni, F. (2000) Computational logic and multi-agent systems: a roadmap. Computational Logic, Special Issue on the Future Technological Roadmap of Compulog-net, 1-31. (URL: http://www.compulog.org/net/Forum/Supportdocs.html.)
164. Sagonas, K., Swift, T. and Warren, D. (1994) XSB as an efficient deductive database engine. In: Snodgrass, R. and Winslett, M. (eds.), Proc. 1994 ACM SIGMOD Int. Conf. on Management of Data, pp. 442-453. ACM Press.
165. Sakama, C. (2000) Abductive generalization and specialization. In: Flach, P. and Kakas, A. (eds.), Abduction and Induction - Essays on their Relation and Integration, pp. 253-265. Kluwer Academic.
166. Subrahmanian, V. S. (1987) On the semantics of quantitative logic programs. Proc. 4th IEEE Symp. on Logic Programming (SLP'87), pp. 173-182. Computer Society Press.
167. Subrahmanian, V. S. (1994) Amalgamating knowledge bases. ACM Trans. Database Systems, 19(2), 291-331.
168. Subrahmanian, V. S., Dix, J., Eiter, T., Kraus, S., Ozean, F., Ross, R. and Bonatti, P. (2000) Heterogeneous Agent Systems. MIT Press.
169. Thomas, B. (1998) Intelligent Web querying with logic programs. Proc. Workshop on Inference Mechanisms in Knowledge-based Systems at the Nat. German AI Conf. KI'98.
170. Thomas, B. (1999) Logic programs for intelligent Web search. In: Ras, Z. and Skowron, A. (eds.), Proc. 11th Int. Symp. on Foundations of Intelligent Systems (ISMIS'99): Lecture Notes in Computer Science 1609, pp. 190-198. Springer-Verlag.
171. Turner, H. (1997) Representing actions in logic programs and default theories: a situation calculus approach. Journal of Logic Programming, 31(1-3), 245-298.
172. van Emden, M. (1986) Quantitative deduction and its fixpoint theory. Journal of Logic Programming, 3(1), 37-53.
173. Wiederhold, G. (1992) Mediators in the architecture of future information systems. IEEE Computer, 25(3), 38-49.
174. Wooldridge, M. (2000) Reasoning about Rational Agents. MIT Press.