Reviewed Papers

2016 - 2015

Chiaki Sakama and Katsumi Inoue
Abduction, Conversational Implicature and Misleading in Human Dialogues.,
Logic Journal of the IGPL, vol.24(4), pages 526-541, 2016.
Ryuki Shimoji and Chiaki Sakama
Multiagent Collaborative Search with Self-Interested Agents,
in: Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'15) , pages 242-249, 2015.
Chiaki Sakama
A Formal Account of Deception,
in: Proceedings of the AAAI Fall 2015 Symposium on Deceptive and Counter-Deceptive Machines, Technical Report FS-15-03, AAAI Press, pages 34-41, 2015.
Tony Ribeiro, Morgan Magnin, Katsumi Inoue and Chiaki Sakama
Learning Multi-valued Biological Models with Delayed Influence from Time-Series Observations,
in: Proceedings of the 14th IEEE International Conference on Machine Learning and Applications (ICMLA'15), pages 25-31, 2015.
Martin Caminada and Chiaki Sakama
On the Issue of Argumentation and Informedness,
in: Proceedings of the 2nd International Workshop on Argument for Agreement and Assurance (AAA 2015), Kanagawa, November 2015.
Chiaki Sakama and Tjitze Rienstra
Representing Argumentation Frameworks in Answer Set Programming,
1st International Workshop on Argumentation and Logic Programming (ArgLP 2015), Cork, Ireland, August 2015.
Chiaki Sakama, Tony Ribeiro and Katsumi Inoue
Learning Inference by Induction,
in: Proceedings of the 25th International Conference on Inductive Logic Programming (ILP 2015), Lecture Notes in Artificial Intelligence 9575, Springer-Verlag, pages 183-199, 2015.
Tjitze Rienstra, Chiaki Sakama and Leendert van der Torre
Persistence and Monotonicity Properties of Argumentation Semantics,
in: Proceedings of the 3rd International Workshop on Theory and Applications of Formal Argument (TAFA-15), Lecture Notes in Artificial Intelligence 9524, Springer-Verlag, pages 211-225, 2015.
Chiaki Sakama and Katsumi Inoue
Can Machines Learn Logics?,
in: Proceedings of the 8th International Conference on Artificial General Intelligence (AGI-15), Lecture Notes in Artificial Intelligence 9205, Springer-Verlag, pages 341-351, 2015.
Chiaki Sakama and Katsumi Inoue
Abduction, Conversational Implicature and Misleading,
7th International Conference on Model-based Reasoning in Scientific and Technology (MBR'15), Sestri Levante, Italy, June 2015.
Chiaki Sakama, Martin Caminada and Andreas Herzig
A Formal Account of Dishonesty,
Logic Journal of the IGPL, vol.23(2), pages 259-294, 2015.
Tony Ribeiro, Morgan Magnin, Katsumi Inoue and Chiaki Sakama
Learning Delayed Influences of Biological Systems,
Frontiers in Bioengineering and Biotechnology, 2(81), January 2015.

2014 - 2010

Mikio Yoshida and Chiaki Sakama
Computing Least Generalization by Anti-combination,
24th International Conference on Inductive Logic Programming (ILP 2014), Nancy, France, September 2014.
Chiaki Sakama
Counterfactual Reasoning in Argumentation Frameworks,
in: Proceedings of the 5th International Conference on Computational Models of Argument (COMMA 2014), Frontiers in Artificial Intelligence and Applications, IOS Press, pages 385-396, 2014.
Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen and Chiaki Sakama
Formalizing Negotiations Using Logic Programming,
ACM Transactions on Computational Logic, vol.15(2), Article No.12, 2014.
Katsumi Inoue, Tony Ribeiro and Chiaki Sakama
Learning from Interpretation Transition,
Machine Learning, vol.94(1), pages 51--79, 2014.
Naoki Yamada and Chiaki Sakama
Evolution of Self-Interested Agents: An Experimental Study,
in: Proceedings of the 7th Multi-Disciplinary International Workshop on Artificial Intelligence (MIWAI), Lecture Notes in Artificial Intelligence 8271, Springer-Verlag, pages 329-340, 2013.
Chiaki Sakama
Abduction in Argumentation Frameworks and its Use in Debate Games,
in: New Frontiers in Artificial Intelligence, Lecture Notes in Artificial Intelligence 8417, Springer-Verlag, pages 285-303, 2013.
Chiaki Sakama
Debate Games in Logic Programming,
in: Declarative Programming and Knowledge Management, Lecture Notes in Artificial Intelligence 8439, Springer-Verlag, pages 185-201, 2013.
Tony Ribeiro, Katsumi Inoue and Chiaki Sakama
A BDD-Based Algorithm for Learning from Interpretation Transition,
in: Proceedings of the 23rd International Conference on Inductive Logic Programming (ILP), Lecture Notes in Artificial Intelligence 8812, Springer-Verlag, pages 47-63, 2013.
Chiaki Sakama and Katsumi Inoue
Abduction, Unpredictability and Garden of Eden,
Logic Journal of the IGPL, vol.21(6), pages 980-998, 2013.
Chiaki Sakama
Learning Dishonesty,
in: Proceedings of the 22nd International Conference on Inductive Logic Programming (ILP 2012), Lecture Notes in Artificial Intelligence 7842, Springer-Verlag, pages 225-240, 2013.
Chiaki Sakama
Dishonest Arguments in Debate Games,
in: Proceedings of the 4th International Conference on Computational Models of Argument (COMMA 2012), Frontiers in Artificial Intelligence and Applications 245, IOS Press, pages 177-184, 2012.
Chiaki Sakama
A Formal Model of Dishonest Communication,
Workshop on Formal Models of Communication, Opole, Poland, August 2012.
Katsumi Inoue and Chiaki Sakama
Oscillating Behavior of Logic Programs,
Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz, Lecture Notes in Computer Science 7265, Springer-Verlag, pages 345-362, 2012.
Katsumi Inoue, Chiaki Sakama and Lena Wiese
Confidentiality-Preserving Publishing of EDPs for Credulous and Skeptical Users,
in: Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011), Lecture Notes in Artificial Intelligence 7773, Springer-Verlag, pages 134-151, 2012.
Chiaki Sakama
Dishonest Reasoning by Abduction,
in: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-11), pages 1063-1068, 2011.
Chiaki Sakama, Tran Cao Son, and Enrico Pontelli
A Logical Formulation for Negotiation Among Dishonest Agents,
in: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-11), pages 1069-1074, 2011.
Ngoc-Hieu Nguyen, Tran Cao Son, Enrico Pontelli and Chiaki Sakama
ASP-Prolog for Negotiation among Dishonest Agents,
in: Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-11), Lecture Notes in Artificial Intelligence 6645, Springer-Verlag, pages 331-344, 2011.
Chiaki Sakama
Logical Definitions of Lying,
in: Proceedings of the 14th International Workshop on Trust in Agent Societies (TRUST11), Taipei, Taiwan, May 2011.
Tran Cao Son, Enrico Pontelli and Chiaki Sakama
Formalizing Commitments Using Action Languages,
in: Proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies (DALT 2011), Lecture Notes in Artificial Intelligence 7169, Springer-Verlag, pages 67-83, 2011.
Katsumi Inoue and Chiaki Sakama
Exploring Relations between Answer Set Programs,
in: Proceedings of the Symposium on Constructive Mathematics in Computer Science, Lecture Notes in Artificial Intelligence 6565, Springer-Verlag, pages 91-110, 2011.
Chiaki Sakama and Katsumi Inoue
Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming,
Machine Learning, 83:1-29, Springer-Verlag, 2011.
Chiaki Sakama and Martin Caminada
The Many Faces of Deception,
in: Proceedings of the Thirty Years of Nonmonotonic Reasoning (NonMon@30), Lexington, KY, USA, October 2010.
Chiaki Sakama, Martin Caminada and Andreas Herzig
A Logical Account of Lying,
in: Proceedings of the 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Lecture Notes in Artificial Intelligence 6341, Springer-Verlag, pages 286-299, 2010.
Chiaki Sakama and Tran Cao Son
Interacting Answer Sets,
in: Proceedings of the 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-X), Lecture Notes in Artificial Intelligence 6214, Springer-Verlag, pages 122-140, 2010.

2009 - 2005

Chiaki Sakama
Social Default Theories,
in: Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09), Lecture Notes in Artificial Intelligence 5753, Springer-Verlag, pages 470-476, 2009.
Chiaki Sakama and Katsumi Inoue
Brave Induction: a logical framework for learning from incomplete information,
Machine Learning, 76:3-35, Springer-Verlag, 2009.
Tran Cao Son, Enrico Pontelli, and Chiaki Sakama
Logic Programming for Multiagent Planning with Negotiation,
in: Proceedings of the 25th International Conference on Logic Programming (ICLP'09), Lecture Notes in Computer Science 5649, Springer-Verlag, pages 99-114, 2009.
Tran Cao Son and Chiaki Sakama
Negotiation Using Logic Programming with Consistency Restoring Rules,
in: Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09), pages 930-935, 2009.
Tran Cao Son and Chiaki Sakama
Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming,
in: Proceedings of the 6th International Workshop on Declarative Agent Languages and Technologies (DALT'09), Lecture Notes in Artificial Intelligence 5948, Springer-Verlag, pages 208-227, 2009.
Chiaki Sakama and Katsumi Inoue
Equivalence Issues in Abduction and Induction,
Journal of Applied Logic, 7(3):318-328, Elsevier, 2009.
Chiaki Sakama and Katsumi Inoue
Brave Induction,
in: Proceedings of the 18th International Conference on Inductive Logic Programming (ILP'08), Lecture Notes in Artificial Intelligence 5194, Springer-Verlag, pages 261-278, 2008.
Katsumi Inoue and Chiaki Sakama
Comparing Abductive Theories,
in: Proceedings of the 18th European Conference on Artificial Intelligence (ECAI'08), IOS Press, pages 35-39, 2008.
Chiaki Sakama
Inductive Negotiation in Answer Set Programming,
in: Proceedings of the 6th International Workshop on Declarative Agent Languages and Technologies (DALT'08) , Lecture Notes in Artificial Intelligence 5397, Springer-Verlag, pages 143-160, 2008.
(Shorter version) Negotiation by Induction,
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'08), pages 1459-1462, 2008.
Chiaki Sakama and Katsumi Inoue
Coordination in Answer Set Programming,
ACM Transactions on Computational Logic, 9(2), Article No.9, 2008.
Katsumi Inoue and Chiaki Sakama
Generality and Equivalence Relations in Default Logic,
in: Proceedings of the 22nd Conference on Artificial Intelligence (AAAI-07), pages 434-439, 2007.
Ken-ichi Maeda and Chiaki Sakama
Identifying Cellular Automata Rules,
Journal of Cellular Automata, vol.2(1):1-20, Old City Publishing, 2007.
Chiaki Sakama and Katsumi Inoue
Negotiation by Abduction and Relaxation,
in: Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'07), pages 1018-1025, 2007.
Martin Caminada and Chiaki Sakama
On the Existence of Answer Sets in Normal Extended Logic Programs,
in: Proceedings of the 7th IJCAI International Workshop on Nonmontonic Reasoning, Action and Change (NRAC'07), pages 25-32, January, 2007.
Chiaki Sakama and Katsumi Inoue
Constructing Consensus Logic Programs,
in: Proceedings of the 16th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'06), Lecture Notes in Computer Science 4407, Springer-Verlag, pages 26-42, 2007.
Katsumi Inoue and Chiaki Sakama
On Abductive Equivalence,
Lorenzo Magnani (ed.), Model-Based Reasoning in Science and Engineering. Cognitive Science, Epistemology, Logic, Studies in Logic, pages 333-352, College Publications, London, 2006.
Katsumi Inoue and Chiaki Sakama
Generality Relations in Answer Set Programming,
in: Proceedings of the 22nd International Conference on Logic Programming (ICLP'06), Lecture Notes in Computer Science 4079, Springer-Verlag, pages 211-225, 2006.
Katsumi Inoue and Chiaki Sakama
Abductive Equivalence in First-order Logic,
Logic Journal of the IGPL, 14(2):333-346, Oxford University Press, 2006.
Chiaki Sakama and Katsumi Inoue
Combining Answer Sets of Nonmonotonic Logic Programs,
in: Proceedings of the 6th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VI), Lecture Notes in Artificial Intelligence 3900, Springer-Verlag, pages 320-339, 2006.
Chiaki Sakama and Katsumi Inoue
Inductive Equivalence of Logic Programs,
in: Proceedings of the 15th International Conference on Inductive Logic Programming (ILP'05), Lecture Notes in Artificial Intelligence 3625, Springer-Verlag, pages 312-329, 2005.
Katsumi Inoue and Chiaki Sakama
Equivalence in Abductive Logic,
in: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05), pages 472-477, 2005.
Chiaki Sakama
Ordering Default Theories and Nonmonotonic Logic Programs,
Theoretical Computer Science, 338:127-152, Elsevier, 2005.
Chiaki Sakama
Induction from Answer Sets in Nonmonotonic Logic Programs,
ACM Transactions on Computational Logic, 6(2):203-231, 2005.
Chiaki Sakama and Katsumi Inoue
Coordination between Logical Agents,
in: Proceedings of the 5th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-V), Lecture Notes in Artificial Intelligence 3487, Springer-Verlag, pages 161-177, 2005.

2004 - 2000

Katsumi Inoue and Chiaki Sakama
Equivalence of Logic Programs under Updates,
in: Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA'04), Lecture Notes in Artificial Intelligence 3229, Springer-Verlag, pages 174-186, 2004.
Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama and Katsumi Nitta
The PLP System,
in: Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA'04), Lecture Notes in Artificial Intelligence 3229, Springer-Verlag, pages 706-709, 2004.
Chiaki Sakama
Ordering Default Theories,
in: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-03), Morgan Kaufmann Publishers, pages 839-844, 2003.
Chiaki Sakama and Katsumi Inoue
An Abductive Framework for Computing Knowledge Base Updates,
Theory and Practice of Logic Programming, 3(6):671-713, Cambridge University Press, 2003.
Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama and Katsumi Nitta
Computing Preferred Answer Sets in Asnwer Set Programming,
in: Proceedings of the 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'03), Lecture Notes in Artificial Intelligence 2850, Springer-Verlag, pages 259-273, 2003.
Ken-ichi Maeda and Chiaki Sakama
Discovery of Cellular Automata Rules Using Cases,
in: Proceedings of the 6th International Conference on Discovery Science (DS'03), Lecture Notes in Artificial Intelligence 2843, Springer-Verlag, pages 357-364, 2003.
Katsumi Inoue and Chiaki Sakama
Disjunctive Explanations,
in: Proceedings of the 18th International Conference on Logic Programming (ICLP'02), Lecture Notes in Computer Science 2401, Springer-Verlag, pages 317-332, 2002.
Full version: Disjunctive Explanations in Abductive Logic Programming, Electronic Transactions on Artificial Intelligence 7 (Special Issue on Machine Intelligence 19), to appear.
Chiaki Sakama
Nonmonotonic Inductive Logic Programming (invited talk),
in: Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'01), Lecture Notes in Artificial Intelligence 2173, Springer-Verlag, pages 62-80, 2001.
Chiaki Sakama
Learning by Answer Sets,
in: Proceedings of the AAAI Spring Symposium on Answer Set Programming, Technical Report SS-01-01, AAAI Press, pages 181-187, 2001.
Chiaki Sakama and Katsumi Inoue
Prioritized Logic Programming and its Application to Commonsense Reasoning,
Artificial Intelligence 123(1-2):185-222, Elsevier, 2000.
Chiaki Sakama
Inverse Entailment in Nonmonotonic Logic Programs,
in: Proceedings of the 10th International Conference on Inductive Logic Programming (ILP-2000), Lecture Notes in Artificial Intelligence 1866, Springer-Verlag, pages 209-224, 2000.
Chiaki Sakama and Katsumi Inoue
Abductive Logic Programming and Disjunctive Logic Programming: Their Relationship and Transferability,
Journal of Logic Programming 44(1-3):75-100, Elsevier, 2000.
Chiaki Sakama
Abductive Generalization and Specialization,
in: Peter A. Flach and Antonis C. Kakas (eds.), Abduction and Induction, Essays on their Relation and Integration, Applied Logic Series 18, Kluwer Academic, pages 253-265, 2000.
Ken Satoh, Katsumi Inoue, Koji Iwanuma, and Chiaki Sakama
Speculative Computation by Abduction under Incomplete Communication Environments,
in: Proceedings of the 4th International Conference on Multi-Agent Systems (ICMAS'00), IEEE Computer Society, pages 263-270, 2000.
Chiaki Sakama, Katsumi Inoue, Koji Iwanuma, and Ken Satoh
A Defeasible Reasoning System in Multi-Agent Environments,
in: Proceedings of the 1th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA'00), pages 1-6, Imperial College, 2000.

1999 - 1995

Katsumi Inoue and Chiaki Sakama
Computing Extended Abduction Through Transaction Programs,
in: Annals of Mathematics and Artificial Intelligence 25(3-4):339-367, Baltzer Science Publishers, 1999.
Chiaki Sakama and Katsumi Inoue
Updating Extended Logic Programs through Abduction,
in: Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'99), Lecture Notes in Artificial Intelligence 1730, Springer-Verlag, pages 147-161, 1999.
Katsumi Inoue and Chiaki Sakama
Abducing Priorities to Derive Intended Conclusions,
in: Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-99), Morgan Kaufmann, pages 44-49, 1999.
Chiaki Sakama
Some Properties of Inverse Resolution in Normal Logic Programs,
in: Proceedings of the 9th International Workshop on Inductive Logic Programming (ILP'99), Lecture Notes in Artificial Intelligence 1634, Springer-Verlag, pages 279-290, 1999.
Katsumi Inoue and Chiaki Sakama
Specifying Transactions for Extended Abduction,
in: Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR'98), pages 394-405, Morgan Kaufmann, 1998.
Katsumi Inoue and Chiaki Sakama
Negation as Failure in the Head,
Journal of Logic Programming 35(1):39-78, North-Holland, 1998.
Chiaki Sakama and Hirohisa Seki
Partial Deduction in Disjunctive Logic Programming,
Journal of Logic Programming 32(3):229-245, North-Holland, 1997.
Chiaki Sakama and Katsumi Inoue
Representing Priorities in Logic Programs,
in: Proceedings of the Joint International Conference and Symposium on Logic Programming (JICSLP'96), pages 82-96, MIT Press, 1996.

Katsumi Inoue and Chiaki Sakama
A Fixpoint Characterization of Abductive Logic Programs,
Journal of Logic Programming 27(2):107-136, North-Holland, 1996.
Katsumi Inoue and Chiaki Sakama
Abductive Framework for Nonmonotonic Theory Change,
in: Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI-95), pages 204-210, Morgan Kaufmann, 1995.

Chiaki Sakama and Katsumi Inoue
Embedding Circumscriptive Theories in General Disjunctive Programs,
in: Proceedings of the 3rd International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'95), Lecture Notes in Artificial Intelligence 928, pages 344-357, Springer-Verlag, 1995.

Chiaki Sakama and Katsumi Inoue
The Effect of Partial Deduction in Abductive Reasoning,
in: Proceedings of the 12th International Conference on Logic Programming (ICLP'95), pages 383-397, MIT Press, 1995.

Chiaki Sakama and Katsumi Inoue
Paraconsistent Stable Semantics for Extended Disjunctive Programs,
Journal of Logic and Computation 5(3):265-285, Oxford University Press, 1995.

1994 - 1990

Chiaki Sakama
Studies on Disjunctive Logic Programming,
Dissertation, Kyoto University, 1994.

Chiaki Sakama and Katsumi Inoue
An Alternative Approach to the Semantics of Disjunctive Logic Programs and Deductive Databases,
Journal of Automated Reasoning 13(1):145-172, Kluwer Academic Publishers, 1994.

Chiaki Sakama and Hirohisa Seki
Partial Deduction of Disjunctive Logic Programs: A Declarative Approach,
in: Proceedings of the 14th International Workshop on Logic Program Synthesis and Transformation (LOPSTR'94), Lecture Notes in Computer Science 883, pages 170-182, Springer-Verlag, 1994.

Chiaki Sakama and Katsumi Inoue
On the Equivalence between Disjunctive and Abductive Logic Programs,
in: Proceedings of the 11th International Conference on Logic Programming (ICLP'94) , pages 489-503, MIT Press, 1994.

Katsumi Inoue and Chiaki Sakama
On Positive Occurrences of Negation as Failure,
in: Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'94), pages 293-304, Morgan Kaufmann Publishers, 1994.

Chiaki Sakama and Katsumi Inoue
Relating Disjunctive Logic Programs to Default Theories,
in: Proceedings of the 2nd International Workshop on Logic Programming and Nonmonotonic Reasoning (LPNMR'93), pages 266-282, MIT Press, 1993.

Katsumi Inoue and Chiaki Sakama
Transforming Abductive Logic Programs to Disjunctive Programs,
in: Proceedings of the 10th International Conference on Logic Programming (ICLP'93), pages 335-353, MIT Press, 1993.

Chiaki Sakama and Katsumi Inoue
Negation in Disjunctive Logic Programs,
in: Proceedings of the 10th International Conference on Logic Programming (ICLP'93), pages 703-719, MIT Press, 1993.

Chiaki Sakama
Extended Well-founded Semantics for Paraconsistent Logic Programs,
in: Proceedings of the International Conference on Fifth Generation Computer Systems (FGCS'92), pages 592-599, Ohmsha LTD., 1992.

- 1989

Chiaki Sakama
Possible Model Semantics for Disjunctive Databases,
in: Proceedings of the 1st International Conference on Deductive and Object-Oriented Databases (DOOD'89), pages 369-383, North-Holland, 1989.
Chiaki Sakama and Akira Okumura
Nonmonotonic Parallel Inheritance Network,
in: Logic Programming '88, Lecture Notes in Artificial Intelligence 383, pages 53-66, Springer-Verlag, 1988.

Chiaki Sakama and Hidenori Itoh
Handling Knowledge by its Representative,
in: Proceedings of the 2nd International Conference on Expert Database Systems (EDS'88), pages 551-565, Benjamin/Cummings, 1988.

Chiaki Sakama and Hidenori Itoh
Partial Evaluation of Queries in Deductive Databases,
New Generation Computing 6(2-3):249-258, Ohmsha, LTD.& Springer-Verlag, 1988.