Reviewed Papers

2011 - 2010
Lena Wiese, Katsumi Inoue, and Chiaki Sakama
Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction,
in: Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011), Vienna, Austria, September 2011.
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), Taipei, Taiwan, May 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.