Reviewed Papers
2023  2020
 Tuan Nguyen Quoc, Katsumi Inoue, and Chiaki Sakama

Linear Algebraic Abduction with Partial Evaluation,
 in:
Proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages (PADL 2023),
pages 197215, 2023.
 Chiaki Sakama and Tran Cao Son

Interlinking Logic Programs and Argumentation Frameworks,
 in:
Proceedings of the 16th International Conference on Logic Programming and NonMonotonic Reasoning (LPNMR 2022),
Lecture Notes in Artificial Intelligence, vol.13416, pages 322335, Springer, 2022.
 Tuan Nguyen Quoc, Katsumi Inoue, and Chiaki Sakama

Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation,
 New Generation Computing, vol. 40(1), pages 225254, 2022.
 Kodai Imanaka and Chiaki Sakama

Predicting Air Ticket Demand using Deep Neural Networks,
 in:
Proceedings of IEEE International Conference on Big Data,
pages 29012908, 2021.
 Tuan Nguyen Quoc, Katsumi Inoue, and Chiaki Sakama

Linear Algebraic Computation of Propositional Horn Abduction,
 in:
Proceedings of IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI),
pages 240247, November, 2021.
 Hien D. Nguyen and Chiaki Sakama

Feature Learning by Least Generalization,
 in:
Proceedings of the 30th International Conference on Inductive Logic Programming/1st International Joint Conference on Learning & Reasoning (IJCLR)
,
Lecture Notes in Artificial Intelligence, vol.13191, pages 193202, Springer, 2021.
 Chiaki Sakama

Deception in Epistemic Causal Logic,

Deceptive AI,
Communications in Computer and Information Science, volume 1296, pages 105123,
Springer, 2021.
 Chiaki Sakama, Katsumi Inoue, and Taisuke Sato

Logic Programming in Tensor Spaces,
 Annals of Mathematics and AI, vol.89(12), pages 11331153, 2021.
 Hien D Nguyen, Chiaki Sakama, Taisuke Sato, and Katsumi Inoue

An Efficient Reasoning Method on Logic Programming using Partial Evaluation in Vector Spaces,
 Journal of Logic and Computation, vol.31(5), pages 1298–1316, 2021.
 Chiaki Sakama and Tran Cao Son

Epistemic Argumentation Framework: Theory and Computation,
 Journal of Artificial Intelligence Research, vol.69, pages 11031126, 2020.
 Tjitze Rienstra, Chiaki Sakama, Leendert van der Torre, and Beishui Liao

A Principlebased Robustness Analysis of Admissibilitybased Argumentation Semantics,
 Argument & Computation, vol.11(3), pages 305339, 2020.
 Tuan Nguyen Quoc, Katsumi Inoue, and Chiaki Sakama

Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation,
 in:
Proceedings of the 36th International Conference on Logic Programming (Technical Communications),
EPTCS 325, pages 192205, 2020.
 Taisuke Sato, Chiaki Sakama and Katsumi Inoue

From 3valued Semantics to Supported Model Computation for Logic Programs in Vector Spaces,
 in:
Proceedings of the 12th International Conference on Agents and Artificial Intelligence
(ICAART), pages 758765, Malta, 2020.
2019  2015
 Chiaki Sakama and Katsumi Inoue

Ordering Argumentation Frameworks,
 in:
Proceedings of the
15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
(ECSQARU 2019),
Lecture Notes in Artificial Intelligence 11726, pages 8798, SpringerVerlag, 2019.
 Hien D. Nguyen and Chiaki Sakama

A New Algorithm for Computing Least Generalization of a Set of Atoms,
 in:
Proceedings of the
29th International Conference on Inductive Logic Programming (ILP 2019),
Lecture Notes in Artificial Intelligence 11770, pages 8197, SpringerVerlag, 2019.
 Chiaki Sakama and Tran Cao Son

Epistemic Argumentation Framework,
 in:
Proceedings of the
16th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2019),
Lecture Notes in Artificial Intelligence 11670, SpringerVerlag, pages 718732, 2019.
 Chiaki Sakama, Katsumi Inoue and Tony Ribeiro

Learning Inference Rules from Data,
 KI  Kunstliche Intelligenz, vol.33(3), pages 267278, 2019.
 Katsumi Inoue and Chiaki Sakama

Disjunctive Abduction,
 New Generation Computing, vol.37(2), pages 219243, 2019.
 Hien D. Nguyen, Chiaki Sakama, Taisuke Sato and Katsumi Inoue

Computing Logic Programming Semantics in Linear Algebra,
 in:
Proceedings of the
12th International Conference on Multidisciplinary Trends in Artificial Intelligence (MIWAI 2018),
Lecture Notes in Artificial Intelligence 11248, SpringerVerlag, pages 3248, 2018.
 Chiaki Sakama, Hien D. Nguyen, Taisuke Sato and Katsumi Inoue

Partial Evaluation of Logic Programs in Vector Spaces,
 in:
Proceedings of the 11th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2018),
Oxford UK, July 2018.
 Taisuke Sato, Katsumi Inoue and Chiaki Sakama

Abducing Relations in Continuous Spaces,
 in:
Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI18),
pages 19561962, 2018.
 Chiaki Sakama

Abduction in Argumentation Frameworks,
 Journal of Applied NonClassical Logics, vol.28(23), pages 218239, 2018.
 Chiaki Sakama and Tjitze Rienstra

Representing Argumentation Frameworks in Answer Set Programming,
 Fundamenta Informaticae, vol.155(3), pages 261292, 2017.
 Chiaki Sakama

A Causal Theory of Speech Acts,
 in:
Proceedings of the 6th International Conference on Logic, Rationality and Interaction (LORI VI),
Lecture Notes in Computer Science 10455, SpringerVerlag, pages 658663, 2017.
 Chiaki Sakama, Katsumi Inoue and Taisuke Sato

Linear Algebraic Characterization of Logic Programs,
 in:
Proceedings of the 10th International Conference on Knowledge Science, Engineering and Management (KSEM 2017),
Lecture Notes in Artificial Intelligence 10412,
SpringerVerlag, pages 520533, 2017. (best paper award)
 Chiaki Sakama and Katsumi Inoue

Abduction, Conversational Implicature and Misleading in Human Dialogues,
 Logic Journal of the IGPL, vol.24(4), pages 526541, 2016.
 Ryuki Shimoji and Chiaki Sakama

Multiagent Collaborative Search with SelfInterested Agents,
 in:
Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'15)
,
pages 242249, 2015.
 Chiaki Sakama

A Formal Account of Deception,
 in:
Proceedings of the AAAI Fall 2015 Symposium on Deceptive and CounterDeceptive Machines,
Technical Report FS1503, AAAI Press, pages 3441, 2015.
 Tony Ribeiro, Morgan Magnin, Katsumi Inoue and Chiaki Sakama

Learning Multivalued Biological Models with Delayed Influence from TimeSeries Observations,
 in:
Proceedings of the 14th IEEE International Conference on Machine Learning and Applications (ICMLA'15),
pages 2531, 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),
New Frontiers in Artificial Intelligence, Lecture Notes in Artificial Intelligence 10091,
SpringerVerlag, pages 317330, 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, SpringerVerlag, pages 183199, 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 (TAFA15),
Lecture Notes in Artificial Intelligence 9524, SpringerVerlag, pages 211225, 2015.
 Chiaki Sakama and Katsumi Inoue

Can Machines Learn Logics?,
 in:
Proceedings of the 8th International Conference on Artificial General Intelligence (AGI15),
Lecture Notes in Artificial Intelligence 9205, SpringerVerlag, pages 341351, 2015.
 Chiaki Sakama and Katsumi Inoue

Abduction, Conversational Implicature and Misleading,

7th International Conference on Modelbased 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 259294, 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 Anticombination,

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 385396, 2014.
 Tran Cao Son, Enrico Pontelli, NgocHieu 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 5179, 2014.
 Naoki Yamada and Chiaki Sakama

Evolution of SelfInterested Agents: An Experimental Study,
 in:
Proceedings of the
7th MultiDisciplinary International Workshop on Artificial Intelligence (MIWAI),
Lecture Notes in Artificial Intelligence 8271, SpringerVerlag, pages 329340, 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, SpringerVerlag, pages 285303, 2013.
 Chiaki Sakama

Debate Games in Logic Programming,
 in:
Declarative Programming and Knowledge Management,
Lecture Notes in Artificial Intelligence 8439, SpringerVerlag, pages 185201, 2013.
 Tony Ribeiro, Katsumi Inoue and Chiaki Sakama

A BDDBased Algorithm for Learning from Interpretation Transition,
 in:
Proceedings of the 23rd International Conference on Inductive Logic Programming
(ILP), Lecture Notes in Artificial Intelligence 8812, SpringerVerlag, pages 4763, 2013.
 Chiaki Sakama and Katsumi Inoue

Abduction, Unpredictability and Garden of Eden,
 Logic Journal of the IGPL, vol.21(6), pages 980998, 2013.
 Chiaki Sakama

Learning Dishonesty,
 in:
Proceedings of the 22nd International Conference on Inductive Logic Programming
(ILP 2012),
Lecture Notes in Artificial Intelligence 7842, SpringerVerlag, pages 225240, 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 177184, 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 LogicBased AI in Honour of Vladimir Lifschitz,
Lecture Notes in Computer Science 7265, SpringerVerlag, pages 345362, 2012.
 Katsumi Inoue, Chiaki Sakama and Lena Wiese

ConfidentialityPreserving 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, SpringerVerlag, pages 134151, 2012.
 Chiaki Sakama

Dishonest Reasoning by Abduction,
 in: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI11),
pages 10631068, 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 (IJCAI11),
pages 10691074, 2011.
 NgocHieu Nguyen, Tran Cao Son, Enrico Pontelli and Chiaki Sakama

ASPProlog for Negotiation among Dishonest Agents,
 in: Proceedings of the 11th International Conference on
Logic Programming and Nonmonotonic Reasoning (LPNMR11),
Lecture Notes in Artificial Intelligence 6645, SpringerVerlag, pages 331344, 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, SpringerVerlag, pages 6783, 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, SpringerVerlag, pages 91110, 2011.
 Chiaki Sakama and Katsumi Inoue

Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming,
 Machine Learning, 83:129, SpringerVerlag, 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, SpringerVerlag, pages 286299, 2010.
 Chiaki Sakama and Tran Cao Son

Interacting Answer Sets,
 in: Proceedings of the 10th International Workshop on Computational Logic in MultiAgent Systems (CLIMAX),
Lecture Notes in Artificial Intelligence 6214, SpringerVerlag, pages 122140, 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,
SpringerVerlag, pages 470476, 2009.
 Chiaki Sakama and Katsumi Inoue

Brave Induction: a logical framework for learning from incomplete information,
 Machine Learning, 76:335, SpringerVerlag, 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, SpringerVerlag, pages 99114, 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 (IJCAI09), pages 930935, 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, SpringerVerlag, pages 208227, 2009.
 Chiaki Sakama and Katsumi Inoue

Equivalence Issues in Abduction and Induction,
 Journal of Applied Logic, 7(3):318328, 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, SpringerVerlag, pages 261278, 2008.
 Katsumi Inoue and Chiaki Sakama

Comparing Abductive Theories,
 in: Proceedings of the 18th European Conference on Artificial Intelligence (ECAI'08),
IOS Press, pages 3539, 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, SpringerVerlag, pages 143160, 2008.
(Shorter version) Negotiation by Induction,
 Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'08), pages 14591462, 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 (AAAI07),
pages 434439, 2007.
 Kenichi Maeda and Chiaki Sakama

Identifying Cellular Automata Rules,
 Journal of Cellular Automata, vol.2(1):120, 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 10181025, 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 2532, January, 2007.
 Chiaki Sakama and Katsumi Inoue

Constructing Consensus Logic Programs,
 in: Proceedings of the 16th International Symposium on
Logicbased Program Synthesis and Transformation (LOPSTR'06),
Lecture Notes in Computer Science 4407, SpringerVerlag, pages 2642, 2007.
 Katsumi Inoue and Chiaki Sakama

On Abductive Equivalence,
 Lorenzo Magnani (ed.),
ModelBased Reasoning in Science and Engineering. Cognitive Science, Epistemology, Logic, Studies in Logic, pages 333352, 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, SpringerVerlag, pages 211225, 2006.
 Katsumi Inoue and Chiaki Sakama

Abductive Equivalence in Firstorder Logic,
 Logic Journal of the IGPL, 14(2):333346,
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 MultiAgent Systems (CLIMAVI),
Lecture Notes in Artificial Intelligence 3900, SpringerVerlag,
pages 320339, 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, SpringerVerlag, pages 312329, 2005.
 Katsumi Inoue and Chiaki Sakama

Equivalence in Abductive Logic,
 in: Proceedings of the 19th International Joint Conference on
Artificial Intelligence (IJCAI05), pages 472477, 2005.
 Chiaki Sakama

Ordering Default Theories and Nonmonotonic Logic Programs,
 Theoretical Computer Science, 338:127152, Elsevier, 2005.
 Chiaki Sakama

Induction from Answer Sets in Nonmonotonic Logic Programs,
 ACM Transactions on Computational Logic, 6(2):203231, 2005.
 Chiaki Sakama and Katsumi Inoue

Coordination between Logical Agents,
 in: Proceedings of the 5th International Workshop on
Computational Logic in MultiAgent Systems (CLIMAV),
Lecture Notes in Artificial Intelligence 3487, SpringerVerlag,
pages 161177, 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,
SpringerVerlag, pages 174186, 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,
SpringerVerlag, pages 706709, 2004.
 Chiaki Sakama

Ordering Default Theories,
 in: Proceedings of the 18th International Joint Conference on
Artificial Intelligence (IJCAI03), Morgan Kaufmann Publishers,
pages 839844, 2003.
 Chiaki Sakama and Katsumi Inoue

An Abductive Framework for Computing Knowledge Base Updates,
 Theory and Practice of Logic Programming, 3(6):671713,
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,
SpringerVerlag, pages 259273, 2003.
 Kenichi 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,
SpringerVerlag, pages 357364, 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,
SpringerVerlag, pages 317332, 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,
SpringerVerlag, pages 6280, 2001.
 Chiaki Sakama

Learning by Answer Sets,
 in: Proceedings of the AAAI Spring Symposium on Answer Set
Programming, Technical Report SS0101,
AAAI Press, pages 181187, 2001.
 Chiaki Sakama and Katsumi Inoue

Prioritized Logic Programming and its Application to Commonsense Reasoning,
 Artificial Intelligence 123(12):185222,
Elsevier, 2000.
 Chiaki Sakama

Inverse Entailment in Nonmonotonic Logic Programs,
 in: Proceedings of the 10th International Conference on
Inductive Logic Programming (ILP2000),
Lecture Notes in Artificial Intelligence 1866,
SpringerVerlag, pages 209224, 2000.
 Chiaki Sakama and Katsumi Inoue

Abductive Logic Programming and Disjunctive Logic Programming:
Their Relationship and Transferability,
 Journal of Logic Programming 44(13):75100,
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 253265, 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
MultiAgent Systems (ICMAS'00), IEEE Computer Society, pages 263270, 2000.
 Chiaki Sakama, Katsumi Inoue, Koji Iwanuma, and Ken Satoh

A Defeasible Reasoning System in MultiAgent Environments,
 in: Proceedings of the 1th International Workshop on Computational Logic in
MultiAgent Systems (CLIMA'00), pages 16, Imperial College, 2000.
1999  1995
 Katsumi Inoue and Chiaki Sakama

Computing Extended Abduction Through Transaction Programs,
 in:
Annals of Mathematics and Artificial Intelligence 25(34):339367,
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,
SpringerVerlag, pages 147161, 1999.
 Katsumi Inoue and Chiaki Sakama

Abducing Priorities to Derive Intended Conclusions,
 in:
Proceedings of the 16th International Joint Conference
on Artificial Intelligence (IJCAI99),
Morgan Kaufmann, pages 4449, 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,
SpringerVerlag, pages 279290, 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 394405, Morgan Kaufmann, 1998.
 Katsumi Inoue and Chiaki Sakama

Negation as Failure in the Head,
 Journal of Logic Programming 35(1):3978,
NorthHolland, 1998.
 Chiaki Sakama and Hirohisa Seki

Partial Deduction in Disjunctive Logic Programming,
 Journal of Logic Programming 32(3):229245,
NorthHolland, 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 8296, MIT Press, 1996.
 Katsumi Inoue and Chiaki Sakama

A Fixpoint Characterization of Abductive Logic Programs,
 Journal of Logic Programming 27(2):107136,
NorthHolland, 1996.
 Katsumi Inoue and Chiaki Sakama

Abductive Framework for Nonmonotonic Theory Change,
 in: Proceedings of the 14th International Joint Conference on
Artificial Intelligence (IJCAI95), pages 204210, 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 344357,
SpringerVerlag, 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 383397, MIT Press, 1995.
 Chiaki Sakama and Katsumi Inoue

Paraconsistent Stable Semantics for Extended Disjunctive Programs,
 Journal of Logic and Computation 5(3):265285,
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):145172,
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 170182,
SpringerVerlag, 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 489503, 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 293304, 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 266282,
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 335353, 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 703719, MIT Press, 1993.
 Chiaki Sakama

Extended Wellfounded Semantics for Paraconsistent Logic Programs,
in: Proceedings of the International Conference on Fifth Generation
Computer Systems (FGCS'92), pages 592599, Ohmsha LTD., 1992.
 1989
 Chiaki Sakama

Possible Model Semantics for Disjunctive Databases,
in: Proceedings of the 1st International Conference on Deductive and
ObjectOriented Databases (DOOD'89), pages 369383, NorthHolland, 1989.
 Chiaki Sakama and Akira Okumura

Nonmonotonic Parallel Inheritance Network,
in: Logic Programming '88,
Lecture Notes in Artificial Intelligence 383, pages 5366,
SpringerVerlag, 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 551565, Benjamin/Cummings, 1988.
 Chiaki Sakama and Hidenori Itoh

Partial Evaluation of Queries in Deductive Databases,
New Generation Computing 6(23):249258,
Ohmsha, LTD.& SpringerVerlag, 1988.