Chiaki Sakama

Katsumi Inoue, Chiaki Sakama: Oscillating Behavior of Logic Programs. Correct Reasoning 2012: 345-362

Chiaki Sakama: Dishonest Arguments in Debate Games. COMMA 2012: 177-184

Chiaki Sakama, Sebastian Sardiña, Wamberto Vasconcelos, Michael Winikoff (Eds.): Declarative Agent Languages and Technologies IX - 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers. Lecture Notes in Computer Science 7169, Springer 2012, isbn 978-3-642-29112-8

Chiaki Sakama, Katsumi Inoue: Inductive equivalence in clausal logic and nonmonotonic logic programming. Machine Learning 83(1): 1-29 (2011)

Tran Cao Son, Enrico Pontelli, Chiaki Sakama: An Experiment in Formalizing Commitments Using Action Languages. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011

Katsumi Inoue, Chiaki Sakama: Exploring Relations between Answer Set Programs. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 91-110

Tran Cao Son, Enrico Pontelli, Chiaki Sakama: Formalizing Commitments Using Action Languages. DALT 2011: 67-83

Chiaki Sakama: Dishonest Reasoning by Abduction. IJCAI 2011: 1063-1064

Chiaki Sakama, Tran Cao Son, Enrico Pontelli: A Logical Formulation for Negotiation among Dishonest Agents. IJCAI 2011: 1069-1074

Ngoc-Hieu Nguyen, Tran Cao Son, Enrico Pontelli, Chiaki Sakama: ASP-Prolog for Negotiation among Dishonest Agents. LPNMR 2011: 331-344

Katsumi Inoue, Chiaki Sakama, Lena Wiese: Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction. CoRR abs/1108.5825 (2011)

Chiaki Sakama, Martin Caminada, Andreas Herzig: A Logical Account of Lying. JELIA 2010: 286-299

Chiaki Sakama, Katsumi Inoue: Equivalence issues in abduction and induction. J. Applied Logic 7(3): 318-328 (2009)

Chiaki Sakama, Katsumi Inoue: Brave induction: a logical framework for learning from incomplete information. Machine Learning 76(1): 3-35 (2009)

Chiaki Sakama, Tran Cao Son: Interacting Answer Sets. CLIMA 2009: 122-140

Tran Cao Son, Chiaki Sakama: Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming. DALT 2009: 208-227

Tran Cao Son, Enrico Pontelli, Chiaki Sakama: Logic Programming for Multiagent Planning with Negotiation. ICLP 2009: 99-114

Tran Cao Son, Chiaki Sakama: Negotiation Using Logic Programming with Consistency Restoring Rules. IJCAI 2009: 930-935

Chiaki Sakama: Social Default Theories. LPNMR 2009: 470-476

Chiaki Sakama, Katsumi Inoue: Coordination in answer set programming. ACM Trans. Comput. Log. 9(2) (2008)

Chiaki Sakama: Negotiation by induction. AAMAS (3) 2008: 1459-1462

Chiaki Sakama: Inductive Negotiation in Answer Set Programming. DALT 2008: 143-160

Katsumi Inoue, Chiaki Sakama: Comparing Abductive Theories. ECAI 2008: 35-39

Chiaki Sakama, Katsumi Inoue: Brave Induction. ILP 2008: 261-278

Ken-ichi Maeda, Chiaki Sakama: Identifying Cellular Automata Rules. J. Cellular Automata 2(1): 1-20 (2007)

Katsumi Inoue, Chiaki Sakama: Generality and Equivalence Relations in Default Logic. AAAI 2007: 434-439

Chiaki Sakama, Katsumi Inoue: Negotiation by abduction and relaxation. AAMAS 2007: 242

Katsumi Inoue, Chiaki Sakama: Abductive Equivalence in First-order Logic. Logic Journal of the IGPL 14(2): 333-346 (2006)

Martin Caminada, Chiaki Sakama: On the Existence of Answer Sets in Normal Extended Logic Programs. ECAI 2006: 743-744

Katsumi Inoue, Chiaki Sakama: Generality Relations in Answer Set Programming. ICLP 2006: 211-225

Chiaki Sakama, Katsumi Inoue: Constructing Consensus Logic Programs. LOPSTR 2006: 26-42

Chiaki Sakama: Ordering default theories and nonmonotonic logic programs. Theor. Comput. Sci. 338(1-3): 127-152 (2005)

Chiaki Sakama: Induction from answer sets in nonmonotonic logic programs. ACM Trans. Comput. Log. 6(2): 203-231 (2005)

Chiaki Sakama, Katsumi Inoue: Combining Answer Sets of Nonmonotonic Logic Programs. Answer Set Programming 2005

Chiaki Sakama, Katsumi Inoue: Combining Answer Sets of Nonmonotonic Logic Programs. CLIMA 2005: 320-339

Katsumi Inoue, Chiaki Sakama: Equivalence in Abductive Logic. IJCAI 2005: 472-477

Chiaki Sakama, Katsumi Inoue: Inductive Equivalence of Logic Programs. ILP 2005: 312-329

Chiaki Sakama, Katsumi Inoue: Coordination Between Logical Agents. CLIMA 2004: 161-177

Katsumi Inoue, Chiaki Sakama: Equivalence of Logic Programs Under Updates. JELIA 2004: 174-186

Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta: The PLP System. JELIA 2004: 706-709

Chiaki Sakama, Katsumi Inoue: An Abductive Framework For Computing Knowledge Base Updates. CoRR cs.DB/0405076 (2004)

Chiaki Sakama, Katsumi Inoue: An abductive framework for computing knowledge base updates. TPLP 3(6): 671-713 (2003)

Ken-ichi Maeda, Chiaki Sakama: Discovery of Cellular Automata Rules Using Cases. Discovery Science 2003: 360-368

Chiaki Sakama: Ordering Default Theories. IJCAI 2003: 839-846

Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta: Computing Preferred Answer Sets in Answer Set Programming. LPAR 2003: 259-273

Chiaki Sakama: Towards the Integration of Inductive and Nonmonotonic Logic Programming. Progress in Discovery Science 2002: 178-188

Katsumi Inoue, Chiaki Sakama: Disjunctive Explanations. ICLP 2002: 317-332

Chiaki Sakama: Learning by Answer Sets. Answer Set Programming 2001

Chiaki Sakama: Nonmonotonic Inductive Logic Programming. LPNMR 2001: 62-80

Chiaki Sakama, Katsumi Inoue: Prioritized logic programming and its application to commonsense reasoning. Artif. Intell. 123(1-2): 185-222 (2000)

Chiaki Sakama, Katsumi Inoue: Abductive logic programming and disjunctive logic programming: their relationship and transferability. J. Log. Program. 44(1-3): 75-100 (2000)

Chiaki Sakama, Katsumi Inoue, Koji Iwanuma, Ken Satoh: A Defeasible Reasoning System in Multi-Agent Environment. CL-2000 Workshop on Computational Logic in Multi-Agent Systems 2000: 1-6

Ken Satoh, Katsumi Inoue, Koji Iwanuma, Chiaki Sakama: Speculative Computation by Abduction under Incomplete Communication Environments. ICMAS 2000: 263-270

Chiaki Sakama: Inverse Entailment in Nonmonotonic Logic Programs. ILP 2000: 209-224

Katsumi Inoue, Chiaki Sakama: Computing Extended Abduction Through Transaction Programs. Ann. Math. Artif. Intell. 25(3-4): 339-367 (1999)

Katsumi Inoue, Chiaki Sakama: Abducing Priorities to Derive Intended Conclusions. IJCAI 1999: 44-49

Chiaki Sakama: Some Properties of Invers Resolution in Normal Logic Programs. ILP 1999: 279-290

Chiaki Sakama, Katsumi Inoue: Updating Extended Logic Programs through Abduction. LPNMR 1999: 147-161

Katsumi Inoue, Chiaki Sakama: Negation as Failure in the Head. J. Log. Program. 35(1): 39-78 (1998)

Katsumi Inoue, Chiaki Sakama: Specifying Transactions for Extended Abduction. KR 1998: 394-405

Chiaki Sakama, Hirohisa Seki: Partial Deduction in Disjunctive Logic Programming. J. Log. Program. 32(3): 229-245 (1997)

Katsumi Inoue, Chiaki Sakama: A Fixpoint Characterization of Abductive Logic Programs. J. Log. Program. 27(2): 107-136 (1996)

Chiaki Sakama, Katsumi Inoue: Representing Priorities in Logic Programs. JICSLP 1996: 82-96

Chiaki Sakama, Katsumi Inoue: Paraconsistent Stable Semantics for Extended Disjunctive Programs. J. Log. Comput. 5(3): 265-285 (1995)

Chiaki Sakama, Katsumi Inoue: The Effect of Partial Deduction in Abductive Reasoning. ICLP 1995: 383-397

Katsumi Inoue, Chiaki Sakama: Abductive Framework for Nonmonotonic Theory Change. IJCAI 1995: 204-210

Chiaki Sakama, Katsumi Inoue: Embedding Circumscriptive Theories in General Disjunctive Programs. LPNMR 1995: 344-357

Hendrik Decker, Ulrich Geske, Antonis C. Kakas, Chiaki Sakama, Dietmar Seipel, Toni Urpí (Eds.): Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995. GMD-Studien Nr. 266. Gesellschaft für Mathematik und Datenverarbeitung MbH 1995, isbn 3-88457-266-0

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

Chiaki Sakama, Katsumi Inoue: On the Equivalence between Disjunctive and Abductive Logic Programs. ICLP 1994: 489-503

Katsumi Inoue, Chiaki Sakama: On Positive Occurrences of Negation as Failure. KR 1994: 293-304

Chiaki Sakama, Hirohisa Seki: Partial Deduction of Disjunctive Logic Programs: A Declarative Approach. LOPSTR 1994: 170-182

Katsumi Inoue, Chiaki Sakama: Transforming Abductive Logic Programs to Disjunctive Programs. ICLP 1993: 335-353

Chiaki Sakama, Katsumi Inoue: Negation in Disjunctive Logic Programs. ICLP 1993: 703-719

Chiaki Sakama, Katsumi Inoue: Relating Disjunctive Logic Programs to Default Theories. LPNMR 1993: 266-282

Chiaki Sakama: Extended Well-Founded Semantics for Paraconsistent Logic Programs. FGCS 1992: 592-599

Chiaki Sakama: Possible Model Semantics for Disjunctive Databases II (Extended Abstract). LPNMR 1990: 107-114

Chiaki Sakama: Possible Model Semantics for Disjunctive Databases. DOOD 1989: 369-383

Chiaki Sakama, Hidenori Itoh: Partial Evaluation of Queries in Deductive Databases. New Generation Comput. 6(2&3): 249-258 (1988)

Chiaki Sakama, Hidenori Itoh: Handling Knowledge by its Representative. Expert Database Conf. 1988: 551-565

Chiaki Sakama, Akira Okumura: Nonmonotonic Parallel Inheritance Network. LP 1988: 53-66

Hidenori Itoh, Masaaki Abe, Chiaki Sakama, Yuji Mitomo: Parallel Control Techniques for Dedicated Relational Database Engines. ICDE 1987: 208-215